1.

8 Algoritmo de
Havel-Hakimi

Aplicaciones de la
Teora de Grafos
a la vida real

Alberto Conejero y Cristina Jordn

Depto. Matemtica Aplicada
E.T.S. Ingeniera Informtica
Universitat Politcnica de Valncia

Aplicaciones de la Teora de Grafos a la vida real

Teorema de Havel-Hakimi
Cmo se pueden comprobar si una sucesin es grfica?
Teorema de Havel-Hakimi (1955,1962)
Sea la sucesin decreciente de enteros no negativos
s, t1, t2,., ts, d1, d2,, dr
(s, t1, t2,., ts, d1, d2,, dr) es una sucesin grfica
si y slo si
(t1-1, t2-1,., ts-1, d1, d2,, dr) es una sucesin grfica
La aplicacin reiterada de este teorema da lugar a un algoritmo que
permite determinar si una sucesin es o no grfica y, en caso de serlo, uno
de los posibles grafos de los que es su sucesin grfica.

1.8. El algoritmo de Havel- Hakimi

Aplicaciones de la Teora de Grafos a la vida real

Ejemplo
Cmo se aplica el Teorema de Havel-Hakimi?
Sea la sucesin decreciente de enteros no negativos
4, 3, 3, 2, 2
(4, 3, 3, 2, 2) es una sucesin grfica
si y slo si
(3-1, 3-1, 2-1, 2-1) es una sucesin grfica,
que es (2,2,1,1), y esta sucesin es grfica
si y slo si
(2-1,1-1,1) es una sucesin grfica.
Y lo que queda es (1,0,1). Reordenando y quitando elementos nulos queda (1,1).
1.8. El algoritmo de Havel- Hakimi

Aplicaciones de la Teora de Grafos a la vida real

Ejemplo
Veamos cmo la aplicacin de este teorema permite construir el grafo que
tiene a (4,3,3,2,2) como sucesin grfica:

A B C
4 3 3
! 2 2
! ! 1
! ! !

D E
2 2
1 1
! 1
! !

1.8. El algoritmo de Havel- Hakimi

Aplicaciones de la Teora de Grafos a la vida real

Algoritmo de Havel-Hakimi
Algoritmo de Havel-Hakimi
1. Comencemos con una sucesin decreciente de enteros no negativos
s, t1, t2,., ts, d1, d2,, dr
y con un grafo vaco con tantos vrtices como nmeros haya en esa sucesin.
2. Eliminamos el nmero mayor de la lista (el de la izquierda que hemos
denotado por s), y restamos una unidad a los s siguientes vrtices de la lista,
t1, t2,., ts. Si alguno de los nmeros t1-1, t2-2,., ts-1 fuera negativo no existe
el grao buscado y la sucesin no es grfica.
3. Conectamos en el grafo el vrtice asociado a s con los vrtices asociados a
t1, t2,., ts mediante aristas.
4. Si la lista no es decreciente la reordenamos pero evitando confundir los
nombres de los vrtices.
5. Volvemos al paso 2 hasta que no queden nmeros en la lista.
1.8. El algoritmo de Havel- Hakimi

Aplicaciones de la Teora de Grafos a la vida real

Ejemplo
Nos piden disear una red con 7 ordenadores de manera que el nmero de
conexiones de cada uno de ellos sea:
5, 4, 2, 3, 3, 2, 1.
Ser posible construir una red con las caractersticas dadas?
Solucin
Teniendo en cuenta que:
- Cada ordenador se representa con un vrtice
- (u,v) representa el cable que une el ordenador u con el v,
el problema original se transforma en determinar si existe un grafo
- no dirigido (porque (u,v) representa una conexin entre ordenadores)
- simple (porque no se conecta nunca un ordenador a s mismo)
- que tenga por grados de sus vrtices los valores dados
Es decir, tenemos que determinar si la sucesin decreciente de nmeros enteros no
negativos
5, 4, 3, 3, 2, 2, 1
es una sucesin grfica o no lo es.
1.8. El algoritmo de Havel- Hakimi

Aplicaciones de la Teora de Grafos a la vida real

Ejemplo
Parece razonable que S que es una sucesin grfica dado que:
el nmero de impares en la sucesin dada, 5, 4, 3, 3, 2, 2, 1 es par
el primer trmino de la sucesin, 5, es menor estricto que el nmero de
trminos de la sucesin, 7.
Aplicamos el algoritmo de Havel-Hakimi

A B C
5 4 3
! 3 2
! 1
C
1
!

D E F G
3 2 2 1
2 1 1 1
1 ! 1 1
D F G E
1 1 1 !
! 1 1 !
! !

1.8. El algoritmo de Havel- Hakimi