图论-度序列可图性判断(Havel-Hakimi定理)

用大白话来讲：

0. Havel定理给出的是一种非常符合正常思维逻辑的构造图的方式（*）（这基本上是按照最极端最可能的情况走的）；同时他也证明了这种构建图的方式是正确的。

1. 这种构建方式（*），先把所有点按度数从大往小排列：d1,d2,....,dn

2. 度数最大的点依次和度数第二第三...第n-1-d1大的点连接。

3. 把度数最大的点和它发出的线从图中删去，于是第二第三...第n-1-d1大的点的度数全部-1

4. 把剩下的点按度数从大大小重新排列，重复1，2，3的步骤

5. 经上述操作后最后所有数都变成0，则可以构成图；如果上述运行过程中出现负数，则直接不成立，可以跳了。

上述白话实际上是定理的充分性，充分性的记忆和理解比较容易，但是定理强就强在这个操作恰好是充分必要的。