图论学习---序列是否可图？

（Havel-Hakimi 定理）

由非负整数组成的非增序列s：d1, d2, …, dn(n ≥ 2, d1 ≥ 1)是可图的，当且仅当序列
                  s1: d2 – 1, d3 – 1, …, dd1+1 – 1, dd1+2, …, dn
是可图的。序列s1 中有n-1 个非负整数，s 序列中d1 后的前d1 个度数（即d2～dd1+1）减1 后构成
s1 中的前d1 个数。

不可图的情况：

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

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

例如：

（1）序列s:7, 7, 4, 3, 3, 3, 2，最大的度数为7，而除去最大度数7之后，序列s1:7,4,3,3,3,2只有6个元素，小于7，不可图。

（2）序列s:7,7,4,3,3,3,2,1,最大度数为7，序列s可图当且仅当s1:6,3,2,2,2,1,0可图，s1可图仅当s2:2,1,1,1,0，-1可图，显然s2中有负数，s2不可图，所以s不可图。