PKU 1659 Frogs' Neighborhood - 贪心 Havel定理

题目大意：

给出一个无向图的顶点度序列{dn}，要求判断能否构造出一个简单无向图。若能构造任意一个输出邻接矩阵。

分析：

今年哈尔滨赛区也出了一个一样的题目，而且只要求判定不需要构造。当时我们是用贪心做的，只是到最后也不知道为什么是正确的……

贪心的方法是每次把顶点按度大小从大到小排序，取出度最大的点Vi，依次和度较大的那些顶点Vj连接，同时减去Vj的度。连接完之后就不再考虑Vi了，剩下的点再次排序然后找度最大的去连接……这样就可以构造出一个可行解。

判断无解有两个地方，若某次选出的Vi的度比剩下的顶点还多，则无解；若某次Vj的度减成了负数，则无解。

至于什么是Havel定理，上面这个构造过程就是了^^

详细可以参考这里http://roba.yo2.cn/archives/439802

1. /*
2. PKU1659 Frogs' Neighborhood
3. */
5. #include <stdio.h>
6. #include <stdlib.h>
7. #include <memory.h>
9. #define clr(a) memset(a,0,sizeof(a))
10. #define N 15
12. int d[N],idx[N];
14. int cmp(const void *a,const void *b){
15.     return d[*(int*)b] - d[*(int*)a];
16. }
18. int main()
19. {
20.     int i,j,k,r,n,T;
21.     int a[N][N],flag;
22.     
23.     scanf("%d",&T);
24.     while(T--){
25.         scanf("%d",&n);
26.         for(i=0;i<n;i++){ scanf("%d",&d[i]); idx[i]=i; }
27.         clr(a);
28.         flag=1;
29.         //work
30.         for(k=0;k<n&&flag;k++){
31.             qsort(idx+k,n-k,sizeof(int),cmp);
32.             i=idx[k];
33.             if(d[i]>n-k-1) flag=0;
34.             for(r=1;r<=d[i]&&flag;r++){
35.                 j=idx[k+r];
36.                 if(d[j]<=0) flag=0;
37.                 d[j]--;
38.                 a[i][j]=a[j][i]=1;
39.             }
40.         }
41.         //output
42.         if(flag){
43.             puts("YES");
44.             for(i=0;i<n;i++){
45.                 for(j=0;j<n;j++){
46.                     if(j) printf(" ");
47.                     printf("%d",a[i][j]);
48.                 }
49.                 puts("");
50.             }
51.         }
52.         else puts("NO");
53.         if(T) puts("");
54.     }
55.     
56.     return 0;
57. }