Václav J. Havel

Teorema de Havel-Hakimi

Una secuencia de enteros ${\displaystyle d_{1}\geq d_{2}\geq ...\geq d_{v}\geq 0}$ es gráfica sí, y sólo sí también lo es la lista: ${\displaystyle d_{2}-1,d_{3}-1,...,d_{d_{1}+1}-1,d_{d_{1}+2},...,d_{v}}$, que resulta de eliminar el primer elemento y restar una unidad a los siguientes ${\displaystyle d_{1}}$ valores de la lista.