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;
}