poj-1659 Frogs' Neighborhood(判断是否可图，Havel_Hakimi定理)

/*判断是否可图,考察Havel-Hakimi定理*/
/*
    首先介绍下度序列：若把图G所有顶点的度数排成一个序列s,则称s为图G的度序列
    判定过程：（1）对当前数列排序，使其呈递减，
              （2）从S【2】开始对其后S【1】个数字-1
              （3）一直循环直到当前序列出现负数（即不是可图的情况）或者当前序列全为0 （可图）时退出。
*/
#include<iostream>
#include<string>
#include<algorithm>
#include<string.h>
using namespace std;
const int N = 15;

typedef struct
{
    int cnt,flg;
} Node;

bool cmp(const Node& a,const Node& b)
{
    if(a.cnt != b.cnt)
    {
        return a.cnt > b.cnt;
    }
    return a.flg < b.flg;
}
int main()
{
    Node d[N];
    int Graph[N][N];
    int ncase;
    cin>>ncase;
    while(ncase--)
    {
        memset(d,0,sizeof(d));
        memset(Graph,0,sizeof(Graph));
        bool flag = false;
        int n;
        cin>>n;
        for(int i = 0 ; i < n ; i++)
        {
            int a;
            cin>>a;
            d[i].cnt = a;
            d[i].flg = i;
        }
        sort(d,d+n,cmp);
        for(int i = 0 ; i < n ; i++)
        {
            for(int j = 1 ; j <= d[0].cnt ; j++)
            {
                d[j].cnt--;
                Graph[d[0].flg][d[j].flg] = 1;/*假设标记原图*/
                Graph[d[j].flg][d[0].flg] = 1;
            }
            d[0].cnt = 0;/*对排序不产生影响*/
            sort(d,d+n,cmp);
            if(d[n-1].cnt < 0)/*出现负值则说明不可图*/
            {
                flag = true;
                break;
            }
        }
        if(flag)
        {
            cout<<"NO"<<endl;
        }
        else
        {
            cout<<"YES"<<endl;
            for(int i = 0 ; i < n ; i++)
            {
                for(int j = 0 ; j < n ; j++)
                {
                    cout<<Graph[i][j]<<" ";
                }
                cout<<endl;
            }
        }
        cout<<endl;
    }
    return 0;
}