Havel-Hakimi定理

Havel定理是用来判断是否成图的，对于一个点的序列，现在已知每个点的度，要求判定是否可以按要求组成一个图

判定过程：

1. 把所有点按照度的大小从大到小排序
2. 对首元素的度为s1，则删除该元素，把他后面的s1个元素的度都-1，然后重新排序
3. 不断重复这个循环，如果过程中有点的度变成了-1，则不能成图，如果最后所有点的度都为0，则可以成图
4. 可以在给点的度-1的时候把s1和后面的连起来，就可以输出图了

//Havel-Hakimi
bool Havel()
{
    for(int i = 1; i < n; i++)
    {
        sort(s+i, s+1+n, cmp);
        if(i + s[i] >= n) return false;   //如果改点的度大于所剩的点，无法成图 
        int u = s[i];
        for(int j = i+1; j <= i+u; j++)
        {
            s[j]--;
            if(s[j] < 0) return false;
        }
    }
    if(s[n-1] != 0) return false;
    return true;
}

例题：POJ1659（模板题，要输出图）

（时间关系暂时不做）