转自http://sbp810050504.blog.51cto.com/2799422/883904
我一直想写一些关于图论学习的收获。一直由于这样或者那样的原因都没有开始。无论如何，现在开始吧！
那么到底什么是图呢？我们这里说的图当然不是像照片一样的东东。最权威的定义：图=顶点集合+边集合。换言之，凡是能抽象成点集合和边集合的东 西都是图。比如：中国地图。地图上的城市是一个个的点，而任意两个相邻城市之间有路。那么地图就是很直观的一种图。为了更方便的表示，我们引入了英语单 词。Vertext(顶点),Edge(边)，Graph（图）。不管什么图，就可以用G<V,E>表示了。
地图是一种图，中国的七大水系网也是一种图。很多湖泊可以视为点，而长江、黄河这些可以看作边。由于水流基本上是单向的(当然也有倒流的情况，这里我们理 想化就忽略了)，所以，像这样：边有方向的图我们称为有方向的图（长江水只能从喜马拉雅流向东海，而绝对不会反过来的）简称有向图。如果边没有方向，那当 然称为无向图了。
我们还是回到地图。都说条条大路通北京（你说罗马也没错），那么有到底有多少条路到北京呢？在图论里，把这样连接到一个点的边的数量（比如连接到北京的路）称为：度！
对于图的所有顶点，我们可以统计出每个顶点的度。像这样的一串数字，我们称之为：度序列。那么反过来，给定一个序列，能否判断这个序列是可图的 呢？这里有一个定理：Havel-Hakimi定理可以用来判定一个序列是否可图。Poj1659就是用Havel-Hakimi解决的。
Havel-Hakimi定理的内容可百度之。
例题：POJ-1659
Havel-Hakimi定理很容易理解：
三步走就可以了：
比如序列：4 7 7 3 3 3 2 1
| 下标 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 值 | 4 | 7 | 7 | 3 | 3 | 3 | 2 | 1 |
第一步：把序列按降序排序。
| 下标 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 值 | 7 | 7 | 4 | 3 | 3 | 3 | 2 | 1 |
第二步：删除第一个数7。序列变成
| 下标 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
| 值 | 7 | 4 | 3 | 3 | 3 | 2 | 1 |
第三步：从头开始，数7个数，也就是下标：[1,7]把[1,7]区间里的值都减1
由于第一个数已经删除，那么序列变成这样的了：
| 下标 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
| 值 | 6 | 3 | 2 | 2 | 2 | 1 | 0 |
然后：
重复第一步：排序。
重复第二步：删除第一个数6
重复第三步：从头开始数6个数：也就是下标【1,6】，把区间【1，6】中的数删除。序列变成：
| 下标 | 1 | 2 | 3 | 4 | 5 | 6 |
| 值 | 2 | 1 | 1 | 1 | 0 | -1 |
由于已经出现了-1，而一个点的边数（度）不可能为负数。所以，我们就可以判定序列无法构成一个图，所以此序列是不可图的。
下面再举一个例子：
已经排序：
| 5 | 4 | 3 | 3 | 2 | 2 | 2 | 1 | 1 | 1. |
删除第一个数5：
| 4 | 3 | 3 | 2 | 2 | 2 | 1 | 1 | 1. |
把前面5个数减1：
| 3 | 2 | 2 | 1 | 1 | 2 | 1 | 1 | 1. |
排序：
| 3 | 2 | 2 | 2 | 1 | 1 | 1 | 1 | 1. |
删除第一个数3：
| 2 | 2 | 2 | 1 | 1 | 1 | 1 | 1. |
把前面3个数减1：
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1. |
排序：
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1. |
删除第一个数1：
| 1 | 1 | 1 | 1 | 1 | 1 | 1. |
把前面1个数减1：
| 0 | 1 | 1 | 1 | 1 | 1 | 1. |
排序：
| 1 | 1 | 1 | 1 | 1 | 1 | 0 |
删除第一个数1：
| 1 | 1 | 1 | 1 | 1 | 0 |
把前面1个数减1：
| 0 | 1 | 1 | 1 | 1 | 0 |
排序：
| 1 | 1 | 1 | 1 | 0 | 0 |
依此类推：到最后只剩下：
| 0 | 0 | 0 | 0 |
由此判断该序列是可图的。
 JS API支付)
