Frogs' Neighborhood

未名湖附近共有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 

题意描述：给出n个点的度，判断这n个点是否可以互相连接构成一个图，如果可以输出一个满租条件的邻接矩阵

解题思路：应用Havel-Hakimi定理。该定理主要用来判断序列的可图形。主要思路是讲序列排序，找出最大的n，之后最大的之后的n个数依次减一，删去该最大数，在进行排序，循环着种做法，直到序列中出现负数，就可判断改序列不可图。否则最后都为零时间，说明这个序列可图。刚开始看这道题时间，想到了排序，但是不能证明这该结论的正确性，又那这排序这个不完整的思路写了代码，交上去是wa，以为思路是错的。没想到这是一个定理。

代码：

#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;
typedef struct stu{
	int k;int m;
}st;
int cmp(st a,st b)
{
	if(a.m==b.m)
	 return a.k>b.k;
	else
	 return a.m<b.m;
}
int main()
{
    st s[20];
    int b[20][20];
	int i,j,k,t,m,n;
	scanf("%d",&t);
	while(t--)
	{
		scanf("%d",&m);
		memset(b,0,sizeof(b));
		n=0;
		for(i=0;i<m;i++)
		{
			 scanf("%d",&s[i].m);
			 s[i].k=i;
		}
		k=m;
		while(k)
		{
		   sort(s,s+k,cmp);
		   if(s[k-1].m>k)
		    {n=1;break;}
		   for(i=k-2,j=0;j<s[k-1].m;i--)
		   	{
			    s[i].m--;
		        b[s[i].k][s[k-1].k]=1;
		        b[s[k-1].k][s[i].k]=1;
				j++;
		    }
		    s[k-1].m=0;
		    for(i=0;i<k;i++)
		    {
		    	if(s[i].m<0)
		    	{n=1;break;}
			}
			if(n==1)
			  break;
		    k--;
		}
		if(n)
			printf("NO\n");
		else
		 {
		 	 printf("YES\n");
		 	 for(i=0;i<m;i++)
		 	 {
		 	 	printf("%d",b[i][0]);
		 	 	for(j=1;j<m;j++)
		 	 		printf(" %d",b[i][j]);
		 	 	printf("\n");
			  }
		 }
		 if(t>0)
		  printf("\n");
	}
	return 0;	
}

错误分析：思路对了开头，没想对序列不可图时间的判断条件。