可图性判定

可以构成图的判定
两个概念：
1、度的序列：若把图G的所有顶点的度数排成一个序列S，则称S为图G的度序列。
2、序列是可图的：一个非负整数组成的有限序列如果是某个无向图的度序列，则称该序列是可图的
Havel-Hakimi定理
判定过程：
（1）对当前数列排序，使其呈递减，
（2）从S【2】开始对其后S【1】个数字-1，
（3）一直循环直到当前序列出现负数（即不是可图的情况）或者当前序列全为0 （可图）时退出。

HDU 2454

#include <bits/stdc++.h>
#define ll long long

using namespace std;

int a[1010];
bool cmp(int a,int b){return a>b;}
int main(){
    ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
    int t;cin>>t;
    while(t--){
        int n;cin>>n;
        for(int i=0;i<n;i++)cin>>a[i];

        sort(a,a+n,cmp);
        bool k=0;
        while(a[0]){
            int num=a[0],f=0;
            a[0]=0;
            for(int i=1;i<=num;i++){
                a[i]--;
                if(a[i]<0){f=1;break;}
            }
            if(f){k=1;break;}
            sort(a,a+n,cmp);
        }
        if(k)cout<<"no"<<endl;
        else cout<<"yes"<<endl;
        
        for(int i=0;i<n;i++)a[i]=0;
    }
    return 0;
}