En teoría de grafos , un bucle (también llamado bucle propio o bucle de bucle ) es una arista que conecta un vértice consigo mismo. Un grafo simple no contiene bucles.
Dependiendo del contexto, un gráfico o un multigráfico puede definirse de modo que permita o no la presencia de bucles (a menudo junto con permitir o no múltiples aristas entre los mismos vértices):
Cuando los gráficos se definen de manera que permitan bucles y aristas múltiples, un gráfico sin bucles ni aristas múltiples a menudo se distingue de otros gráficos llamándolo gráfico simple .
Cuando los gráficos se definen de manera tal que no se permiten bucles ni aristas múltiples, un gráfico que sí tiene bucles o aristas múltiples a menudo se distingue de los gráficos que satisfacen estas restricciones llamándolo multigráfico o pseudográfico .
En un grafo con un vértice, todas las aristas deben ser bucles. Este tipo de grafo se denomina ramo .
Un caso especial es un bucle, que suma dos al grado. Esto se puede entender haciendo que cada conexión de la arista del bucle cuente como su propio vértice adyacente. En otras palabras, un vértice con un bucle se "ve" a sí mismo como un vértice adyacente desde ambos extremos de la arista, sumando así dos, no uno, al grado.
Este artículo incorpora material de dominio público de Paul E. Black. "Self loop". Diccionario de algoritmos y estructuras de datos . NIST .