可图性问题

Frogs' Neighborhood

Time Limit: 5000MS		Memory Limit: 10000K
Total Submissions: 6678		Accepted: 2905		Special Judge

Description

未名湖附近共有N个大小湖泊L₁, L₂, ..., L_n(其中包括未名湖)，每个湖泊L_i里住着一只青蛙F_i(1 ≤i ≤N)。如果湖泊L_i和L_j之间有水路相连，则青蛙F_i和F_j互称为邻居。现在已知每只青蛙的邻居数目x₁,x₂, ...,x_n，请你给出每两个湖泊之间的相连关系。

Input

第一行是测试数据的组数T(0 ≤ T ≤ 20)。每组数据包括两行，第一行是整数N(2 < N < 10)，第二行是N个整数，x₁,x₂,...,x_n(0 ≤x_i ≤ N)。

Output

对输入的每组测试数据，如果不存在可能的相连关系，输出"NO"。否则输出"YES"，并用N×N的矩阵表示湖泊间的相邻关系，即如果湖泊i与湖泊j之间有水路相连，则第i行的第j个数字为1，否则为0。每两个数字之间输出一个空格。如果存在多种可能，只需给出一种符合条件的情形。相邻两组测试数据之间输出一个空行。

Sample Input

3
7
4 3 1 5 4 2 1 
6
4 3 1 4 2 0 
6
2 3 1 1 2 1 

Sample Output

YES
0 1 0 1 1 0 1 
1 0 0 1 1 0 0 
0 0 0 1 0 0 0 
1 1 1 0 1 1 0 
1 1 0 1 0 1 0 
0 0 0 1 1 0 0 
1 0 0 0 0 0 0 

NO

YES
0 1 0 0 1 0 
1 0 0 1 1 0 
0 0 0 0 0 1 
0 1 0 0 0 0 
1 1 0 0 0 0 
0 0 1 0 0 0 

 

代码：

#include<iostream>
#include<cstring>
#include<algorithm>
#define Maxn 20
using namespace std;

struct frog
{
    int index;
    int degree;
}f[Maxn];
int cmp(const frog &a,const frog &b)
{
    return a.degree-b.degree>0;
}
int adjmat[Maxn][Maxn];
int main()
{
    int t,n,flag;
    cin>>t;
    while(t--){
        flag=1;
        cin>>n;
        for(int i=0;i<n;i++){
            cin>>f[i].degree;
            f[i].index=i;
        }
        memset(adjmat,0,sizeof(adjmat));
       /* sort(f,f+n,cmp);
        for(int i=0;i<n;i++)
            cout<<" "<<f[i].degree;
        cout<<endl;*/
        for(int i=0;i<n&&flag;i++){
            sort(f+i,f+n,cmp);
            if(f[i].degree>n-1-i) {flag=0;break;} //点不够
            for(int j=i+1;j<=i+f[i].degree;j++){ //遍历需要减一
                if(f[j].degree) {
                    f[j].degree--;
                    adjmat[f[i].index][f[j].index]=adjmat[f[j].index][f[i].index]=1;
                }
                else {flag=0;break;} //不够减
            }
        }
        if(!flag) cout<<"NO"<<endl;
        else{
            cout<<"YES"<<endl;
            for(int i=0;i<n;i++){
                for(int j=0;j<n;j++)
                    if(j==0) cout<<adjmat[i][j];
                    else cout<<" "<<adjmat[i][j];
                cout<<endl;
            }
        }
        if(t) cout<<endl;
    }
    return 0;
}

注：此题为简单图的可图性问题，有一叫做Havel-Hakimi定理，其核心思想是贪心。定理有些问题，不是非递减，应该是非递增。