Havel定理

/*
********************************havel定理********************************************
给定一个非负整数序列{dn}，若存在一个无向图使得图中各点的度与此序列一一对应，则称此序
列可图化。进一步，若图为简单图，则称此序列可简单图化 　　

可图化的判定：d1+d2+……dn=0（mod 2）。关于具体图的构造，我们可以简单地把奇数度的点配
对，剩下的全部搞成自环。 　

可简单图化的判定（Havel定理）：把序列排成不增序，即d1>=d2>=……>=dn，则d可简单图化当且仅当
d’={d2-1，d3-1，……d(d1+1)-1， d(d1+2)，d(d1+3)，……dn}可简单图化。简单的说，把d排序后，
找出度最大的点（设度为d1），把它与度次大的d1个点之间连边，然后这个点就可以不管了，一直继续这
个过程，直到建出完整的图，或出现负度等明显不合理的情况。
对于一个给定的度序列，看能不能形成一个简单无向图。

Havel算法的思想简单的说如下：

   (1)对序列从大到小进行排序。
   (2)设最大的度数为 t ，把最大的度数置0，然后把最大度数后(不包括自己)的t 个度数分别减1
(意思就是把度数最大的点与后几个点进行连接)
   (3)如果序列中出现了负数，证明无法构成。如果序列全部变为0，证明能构成，跳出循环。前两
   点不出现，就跳回第一步！

   举例说明：

   4 4 3 3 2 2
   第二步后0 3 2 2 1 2
   排完续后3 2 2 2 1 0
   第二步后0 1 1 1 1 0
   排完续后1 1 1 1 0 0
   第二步后0 0 1 1 0 0
   排完续后1 1 0 0 0 0
   第二步后0 0 0 0 0 0
   全为0，能构成图，跳出！


   2 1 1 1
   第二步后0 0 0 1
   排完续后1 0 0 0
   第二步后0 -1 0 0
   出现负数，直接退出！
*/

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstdlib>
#include<cmath>
#include<cstring>
using namespace std;

const int maxn=1005;

int degree[maxn];//存储度

bool cmp(int a,int b)//从大到小排序
{
    return a>b;
}

bool iswx_graph(int n)//n代表顶点数
{
    int sum;   //0的个数
    int max_degree;//最大度的值
    for(int i=0; i<n; i++)
    {
        sort(degree,degree+n,cmp);//从大到小排序
        max_degree=degree[0];//做大度赋给max_degree，并赋值为0
        degree[0]=0;
        for(int j=1; j<max_degree+1&&j<n; j++)//最大度的后max_degree个数自减
        {
            degree[j]--;
        }
        sum=0;
        for(int k=0; k<n; k++)
        {
            if(degree[k]<0)//出现负数则不能形成无向图
                return false;
            else if(degree[k]==0)//统计0的个数
                ++sum;
            if(sum==n)//所有的度全部为0时能构成图
                return true;
        }
    }
}

int main()
{
    int n;
    int t;
    cin>>t;
    while(t--)
    {
        cin>>n;
        for(int i=0;i<n;i++)
        {
            cin>>degree[i];
        }
        if(iswx_graph(n)==true)
        cout<<"yes"<<endl;
        else
        cout<<"no"<<endl;
    }
    return 0;
}