poj 1659 Frogs' Neighborhood（Havel定理求度序列是否成图）

Frogs' Neighborhood

Description

未名湖附近共有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。每两个数字之间输出一个空格。如果存在多种可能，只需给出一种符合条件的情形。相邻两组测试数据之间输出一个空行。

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 

Source

POJ Monthly--2004.05.15 Alcyone@pku

Havel定理

每次对当前度序列进行降序排序，每次将数组的第一个元素与（假设当前度为d）数组的第二个元素到第d+1个元素匹配，即后面这些元素的度减1，一但出现负值，说明图不成立

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
#define N 15
struct node
{
    int id,degree;
}point[N];
int n,g[N][N];
int cmp(node a,node b)
{
    return a.degree>b.degree;
}
bool Havel()
{
    int k,i;
    k=0;
    while(k<n)
    {
        sort(point+k,point+n,cmp);
        if(point[k].degree>n-k-1)
            break;
        for(i=1;i<=point[k].degree;i++)
        {
            if(point[k+i].degree<=0)
                break;
            point[k+i].degree--;
            g[point[k].id][point[k+i].id]=g[point[k+i].id][point[k].id]=1;
        }
        if(i<=point[k].degree) break;
        k++;
    }
    if(k<n)
        return false;
    else
        return true;
}
void Outputgraph()
{
    int i,j;
    printf("YES\n");
    for(i=0;i<n;i++)
    {
        for(j=0;j<n;j++)
        {
            if(j)
                printf(" ");
            printf("%d",g[i][j]);
        }
        printf("\n");
    }
}
int main()
{
    int T,i;
    scanf("%d",&T);
    while(T--)
    {
        memset(g,0,sizeof(g));
        scanf("%d",&n);
        for(i=0;i<n;i++)
        {
            scanf("%d",&point[i].degree);
            point[i].id=i;
        }
        if(Havel())
            Outputgraph();
        else
            printf("NO\n");
        if(T)
            printf("\n");
    }
    return 0;
}