Havel-Hakimi定理，可图性判定（是否可以连成图）

Havel定理描述

给定一个非负整数序列{d1,d2,...dn}，若存在一个无向图使得图中各点的度与此序列一一对应，则称此序列可图化。进一步，若图为简单图，则称此序列可简单图化。

这个定理写起来麻烦，实际上就是说，我们把d 大到小排序以后，找出度最大的点(设度为d1)，把它和度次大的d1个点之间连边，然后这个点就可以不管了，一直继续这个过程，直到建出完整的图，或出现负度等明显不合理的情况。

 

判定过程：（1）对当前数列排序，使其呈递减，（2）删除头部的数a[i]，使接下来的a[i]个数减1    （3）一直循环直到当前序列出现负数（即不是可图的情况）或者当前序列全为0 （可图）时退出。

有2种可以提前跳出的情况：

（1）某次对剩下序列排序后，最大的度数（设为d1）超过了剩下的顶点数；

（2）对最大度数后面的d1个数各减1后，出现了负数。

 

 

 

Havel-Hakimi定理很容易理解：

三步走就可以了：

比如序列：4 7 7 3 3 3 2 1

 

 

下标

1

2

3

4

5