Secuencia de grados
En el campo matemático de la teoría de grafos, una secuencia de grados también llamada sucesión gráfica o lista de grados de un grafo no dirigido es una secuencia de números, los cuales son grados de los vértices del grafo.
La lista de grados es un invariante (topológico) 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[1] en 1960 resuelven el problema con su teorema de existencia: Teorema de Erdős-GallaiLa secuencia de enteros
d
es una secuencia de grados de un grafo simple, si y sólo si: Mientras que Havel[2] en 1955 y Hakimi[3] en 1962 nos entregan un teorema de construcción que justifica el Algoritmo de Havel-Hakimi para construir un grafo a partir de una secuencia de grados.
Teorema de Havel-HakimiUna secuencia de enteros
d
d
d
es gráfica sí, y sólo sí también lo es la lista:
d
, que resulta de eliminar el primer elemento y restar una unidad a los siguientes
valores de la lista.
El problema de la secuencia de enteros gráfica para multigrafos o pseudografos es: dada una secuencia de enteros no negativos, determinar si es o no (multi)gráfica, es decir, es una secuencia de grados de un psedugrafo o multigrafo.
Hakimi en 1962, nos entrega un resultado: Teorema de HakimiUna secuencia de enteros
es multigráfica (o pseudográfica) sí, y sólo sí la suma
{\displaystyle \sum _{i=1}^{k}d_{i}}
es par y
