（图论）使用Havel-Hakimi定理判断给出的序列是否可图

先行概念：

度序列（degree sequence）：若把图 G所有顶点的度数排成一个序列 s，则称 s为图 G的度序 列。例如，图 1.1(a)所示无向图 G1的度序列为 s: 2, 5, 4, 3, 3, 1；或 s': 1, 2, 3, 3, 4, 5；或 s'': 5, 4, 3, 3, 2, 1。 其中序列 s 是按顶点序号排序的，序列 s'是按度数非减顺序排列的，序列 s''是按度数非增顺序排 列的。给定一个图，确定它的度序列很简单，但是其逆问题并不容易，即给定一个由非负整数组 成的有限序列 s，判断 s是否是某个图的度序列。 序列是可图的（graphic）：一个非负整数组成的有限序列如果是某个无向图的度序列，则称 该序列是可图的。判定一个序列是否是可图的，有以下 Havel-Hakimi 定理。

引入正题

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个数。 例如，判断序列 s: 7, 7, 4, 3, 3, 3, 2, 1是否是可图的。删除序列 s的首项 7，对其后的 7项每项 减1