poj 1659 Frogs' Neighborhood （可图的判定）

题目链接：http://poj.org/problem?id=1659

解题报告：（Havel-Hakimi 定理）

给定一个度数列，将其从大到小排序   将将第一个元素删除，然后（第一个元素长度）后面的元素各减去1，一次往后递归循环，如果度数变为负的肯定不会联通

举个例子 2 5 1 2 4 1 3 1 3 2    是否可图

排序后5 4 3 3 2 2 2 1 1 1 删除首元素，后面5个元素各减1得：

3 2 2 1 1 2 1 1 1，重新排序得：3 2 2 2 1 1 1 1 1 ，删除3 后面3个元素各减1的 1 1 1 1 1 1 1 1 ；

再陆续重复、排序得1 1 1 1 1 1 0、1 1 1 1 0 0、1 1  0 0 0、0 0  0 0；

素以该序列可图

code：

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;

int edge[15][15];

struct node
{
	int x,num;
}a[15];

int cmp(const node a1,const node a2)
{
	return a1.x>a2.x;
}


int main()
{
	int T,n,flag;
	scanf("%d",&T);
	while(T--)
	{
		memset(edge,0,sizeof(edge));
		scanf("%d",&n);
		for(int i=1;i<=n;i++)
		{
			scanf("%d",&a[i].x);
			a[i].num=i;
		} 
		sort(a+1,a+n+1,cmp);
		flag=0;
		//for(int i=1;i<=n;i++)
		//	printf("%d ",a[i]);
		//printf("\n");
		for(int i=1;i<=n;i++)
		{
			int b=a[i].x;
			if(b+i>n) b = n-i;
			for(int j=i+1;j<=b+i;j++)
			{
				edge[a[i].num][a[j].num]=edge[a[j].num][a[i].num]=1;
				a[j].x--;
				if(a[j].x<0)
					flag=1;
			//	printf("%d ",a[j]);
			}
			sort(a+1,a+n+1,cmp);
			//printf("\n");
		}
		if(flag==1) printf("NO\n");
		else 
		{
			printf("YES\n");
			for(int i=1;i<=n;i++)
			{
				printf("%d",edge[i][1]);
				for(int j=2;j<=n;j++)
					printf(" %d",edge[i][j]);
				printf("\n");
			}
		}
		printf("\n");
	}
	return 0;
}