Sucesiones grficas (Havel & Hakimi)

Este mtodo desarrollado por Havel y Hakimi ser el que implementemos en el

proyecto. Es grfico y est basado en la reconstruccin del grafo, el cual obtenemos tras ir
insertando vrtices y aristas en sucesivas iteraciones.

Condiciones
Las condiciones para que una sucesin de grados de un grafo sea grfica son:

La suma debe ser par

El valor mximo debe ser menor que la longitud. Por ejemplo la sucesin
6,4,4,2,1,1 no es grfica pues el valor mayor de la sucesin (6) es igual que la
longitud de esta (6).

Si la sucesin t1-1, t2-1, t3-1,....., ts-1, d1, d2,......, dk es grfica entonces tambin lo es la
sucesin s, t1, t2, t3,....., ts, d1, d2,......, dk.

Si dos grafos son isomorfos entonces tienen la misma sucesin de grados, pero que dos
grafos tengan la misma sucesin de grados no quiere decir que sean isomorfos.Por ejemplo
los dos siguiente grafos tienen la misma sucesin 4,4,3,2,2,2,1. Pero no son isomorfos
porque por ejemplo en el grafo G los nodos de grado 4 no estn unidos, mientras que en el
grafo G' los nodos de grado 4 si lo estn.

Caracterizacin
La sucesin s, t1, t2, t3,....., ts, d1, d2,......, dk es grfica lo es la sucesin t1-1, t2-1, t3-1,.....,
ts-1, d1, d2,......, dk
Demostracin
Sea G el grafo cuya sucesin es s, t1, t2, , ts, d1, ,dk y sean S, T1, T2, Ts , D1,
, Dk los vrtices correspondientes

Si S es adyacente a T1, T2, Ts, borramos S y el grafo H=G-{S} es el grafo

buscado.

Si no es as, S no es adyacente a un Ti pero S es adyacente a un vrtice Dj con ti

dj

Si ti= dj , basta intercambiar los papeles de Ti y de Dj

Si ti >dj,

Ti tiene ms vecinos que Dj. Sea Z vecino de Ti pero no vecino de Dj. Eliminamos
las aristas dibujadas con lneas continuas ( SDj, ZTi ) y creamos las discontinuas
( STi, ZDj). Este grafo G1 tiene la misma sucesin grados en el vrtice S pero tiene
un vecino entre los Ti ms que en el grafo G.
Si en G' ya es S adyacente a T1, T2,Ts, se procede como antes. Y si no lo es se
repite el cambio discontinuas-continuas. Como s es finito se alcanza en algn
momento un grafo Gm cuya sucesin es la dada.

Algoritmo
Partiendo de una sucesin no creciente de enteros positivos o nulos para decidir si sta
es grfica o no, lo que hay que hacer es aplicar la caracterizacin vista en el apartado
anterior 2.2.2.2 hasta que suceda alguna de las dos situaciones siguientes:

Se alcanza una sucesin de 0's la sucesin si es grfica.

Se obtiene un nmero negativo la sucesin no es grfica.