POJ 1659 Frogs' Neighborhood（Havel定理）

未名湖附近共有N个大小湖泊L1, L2, ..., Ln(其中包括未名湖)，每个湖泊Li里住着一只青蛙Fi(1 ≤ i ≤ N)。如果湖泊Li和Lj之间有水路相连，则青蛙Fi和Fj互称为邻居。现在已知每只青蛙的邻居数目x1, x2, ..., xn，请你给出每两个湖泊之间的相连关系。

Input

第一行是测试数据的组数T(0 ≤ T ≤ 20)。每组数据包括两行，第一行是整数N(2 < N < 10)，第二行是N个整数，x1, x2,..., xn(0 ≤ xi ≤ N)。

Output

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

 

分析：在一个无向图中，已知n个结点的度数，然后判断这个序列是否是可构建成图的。对序列进行从大到小排序，把度最大的清零，与度最大的相邻的顶点度的数量减一，若出现负数则不能构成图，否则把book[0][j],book[j][0]标记为1，重复以上过程n次。

代码如下：

#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;
struct node
{
	int degree;//顶点的度 
	int id;//对应的下标 
}dis[12]; 

bool cmp(node a,node b)
{
	return a.degree>b.degree;
}

int main()
{
	int t,n,i,j,find,book[12][12];
	scanf("%d",&t);
	while(t--)
	{
		memset(book,0,sizeof(book));
		find=0;
		scanf("%d",&n);
		for(i=0;i<n;i++)
		{
			scanf("%d",&dis[i].degree);
			dis[i].id=i;
		}
		for(i=0;i<n;i++)
		{
			sort(dis,dis+n,cmp);//把度从大到小进行排序 
			for(j=1;j<=dis[0].degree;j++)
			{ 
				dis[j].degree--;//与dis[0].id相邻的顶点的度减一 
				if(dis[j].degree<0)
				{//顶点的度小于0时 
					find=1;
					break;
				}
				book[dis[0].id][dis[j].id]=1;//符合条件标记为1 
				book[dis[j].id][dis[0].id]=1;//符合条件标记为1 
			}
			dis[0].degree=0;//把最大的度清零 
		}
		if(find==1)
		printf("NO\n");
		else
		{
			printf("YES\n");
			for(i=0;i<n;i++)
			{
				for(j=0;j<n-1;j++)
				{
					printf("%d ",book[i][j]);
				}
				printf("%d\n",book[i][n-1]);
			}
		
		}
		printf("\n");
	}
	return 0;
}