- Grado (teoría de grafos)
-
En Teoría de grafos, el grado o valencia de un vértice es el número de aristas incidentes al vértice. El grado de un vértice x es denotado por grado(x), g(x) o gr(x) (aunque también se usa δ(x), y del inglés d(x) y deg(x)). El grado máximo de un grafo G es denotado por Δ(G) y el grado mínimo de un grafo G es denotado por δ(G).
Contenido
Vecindad de un vértice
Otra forma de definir el grado de un vértice es a través de su vecindad. La vecindad de un vértice x , denotado como está dado por todos los vértices adyacentes a x.
de modo que el grado del vértice x es el número de vecinos que tiene: .
Lema del apretón de manos
La fórmula de la sumatoria de grados, que relaciona la valencia de los vértices con el número de aristas es conocida como Lema del apretón de manos:
Lema del apretón de manos. La suma de los grados de un grafo es igual al doble del número de aristas:
Su demostración es una prueba del doble conteo, esto porque, como cada arista tiene dos vértices extremos, es contada dos veces en las valencias de estos.
Algunas implicaciones del Lema del apretón de manos son:
- En un grafo siempre hay un número par de valencias de grado impar.
- No puede existir un grafo r-regular de s vertices si r y s son impares.
- El número de aristas de un grafo k-regular es , y por ende, el número de aristas de un grafo completo de n vertices es
Digrafos
En el caso de los dígrafos, se suele distinguir entre valencia de entrada , como el número de aristas que tiene al vértice x como vértice final y la valencia de salida como el número de aristas que tiene al vértice x como vértice inicial, de forma que .
El Lema del apretón de manos también es cierto en los dígrafos, para ello hay que distinguir entre valencia de entrada y la valencia de salida de algún vértice x. Por lo tanto, el Lema se expresa del siguiente modo:Secuencia de grados
Una secuencia de grados o lista de grados de un grafo no-dirigido es una secuencia de números, los cuales son grados de los vértices de algún grafo. Para el grafo de la imagen su secuencia de enteros es (3, 3, 3, 2, 2, 1, 0). La lista de grados es un invariante (topológica) de un grafo, aunque dos grafos con igual lista de grados no son necesariamente isomorfos.
Un problema interesante es determinar si una secuencia de enteros no-negativos cualquiera es o no gráfica, es decir, es una secuencia de grados de un grafo (simple). Erdős y Gallai[2] (1960) resuelven el problema con su teorema de existencia, mientras que Havel[3] (1955) y Hakimi[4] (1962) nos entregan un teorema de construcción que justifica el Algoritmo Havel-Hakimi para construir un grafo a partir de una secuencia de grados.
Teorema de Erdős-Callai. La secuencia de enteros con es una secuencia de grados de un grafo simple, si y sólo si:
- La suma de los enteros de la secuencia es par, y
Teorema de Havel-Hakimi. Una secuencia de enteros es gráfica sí, y sólo sí también lo es la lista: , que resulta de eliminar el primer elemento y restar una unidad a los siguientes d1 valores de la lista.
Valores especiales
- Un vértice con grado 0 se llama vértice aislado. Un grafo formado por vértices aislados se llama grafo vacio
- En un árbol, el vértice de grado 1 se llama hoja y forma parte del grupo de los vértices terminales.
Propiedades globales
- Si cada vértice de un grafo cualquiera tiene grado k, entonces el grafo es llamado grafo regular de grado k.
- Un grafo simple conexo contiene un camino Euleriano sí, y sólo sí el grafo contiene 0 ó 2 vértices de grado impar. Si el grafo no tiene vértices de grado impar entonces contiene un ciclo Euleriano.
- Por el Teorema de Brooks el número cromático de un grafo G que no es un grafo completo ni un ciclo de longitud impar es a lo sumo: , y por el Teorema de Vizing todo grafo tiene índice cromático a lo más Δ + 1
Véase también
Referencias
- ↑ Euler, L. (1736). «Solutio problematis ad geometriam situs pertinentis». Commentarii Academiae Scientiarum Imperialis Petropolitanae 8. 128-140. http://math.dartmouth.edu/~euler/docs/originals/E053.pdf.
- ↑ Erdős, P. ; Gallai, T. (1960). «Graphs with prescribed degree of vertices». Mat. Lapok 11. 264–274..
- ↑ Havel, V. (1955). «A remark on the existence of finite graphs.». Časopis Pest. Mat. 80. 477–480..
- ↑ Hakimi, S.L. (1962). «On the realizability of a set of integers as degrees of the vertices of a simple graph». J. SIAM Appl. Math 10. 496–506..
Wikimedia foundation. 2010.