hdu 2454 Degree Sequence of Graph G（Havel-Hakimi算法）

Degree Sequence of Graph G

分析

• 度序列：若把图 G 所有顶点的度数排成一个序列 d，则称 d 为图 G 的度序列
• 简单图：无平行边、无自环（ring）【定义】
• 可图化：给定一个非负整数序列d={d₁,d₂,…d_n}，若存在一个无向图使得图中各点的度与此序列一一对应，则称此序列可图化；
• 可简单图化：给定的度序列若可以对应一个简单图，则称此序列可简单图化；
• 可图化判定： (d₁+d₂+…+d_n)%2 = 0。 构造方法：简单地把奇数度的点配对，其它自环；
• 可简单图化判定： 把序列排成不增序（d₁ >= d₂ >= … >= d_n），则d可简单图化当且仅当d^’={d₂-1, d₃-1, …, d_d1+1-1, d_d1+2, …, d_n}可简单图化。【判定定理】
• Havel-Hakimi算法：
  1）该算法是基于可简单图化判定定理的
  2）算法：d排序，找出度最大的顶点(设度为d₁)，使它和度次大的d₁个点之间有边相连；然后递归处理余下的n-1个顶点，直到构造出完整的图，或出现负度等明显不合理的情况。
  3）算法正确性证明：
  （a）如果按算法构造出一个简单图，则说明此度序列可简单图化；
  （b）如果按算法构造简单图失败，是否意味着按其它算法也一定构造不出简单图呢？答：是的，一定构造不出简单图。此结论可通过逆否命题间接证明。也就是说，如果某度序列存在一个对应的简单图，那么按Havel-Hakimi算法必可以构造出一个简单图。证明如下：
  设度d₁、d₂、d₃、…、d_n对应的顶点分别为V₁、V₂、V₃、…、V_n。
• 若对应的简单图符合Havel-Hakimi算法，即：d^’的前d₁大的度对应的顶点与顶点V₁都有边，则得证；
• 若对应的简单图不符合Havel-Hakimi算法，即：存在顶点V_i，V_i与顶点V₁间无边但V_i的度在序列的前d₁大的度中；同时，存在V_j与V₁有边但顶点V_j度不在序列的前d₁大的度中。因d_i>= d_j，故必存在V_k，V_k与V_i间有边，而与V_j间无边，因此去除V₁V_k、V_iV_k两条边，并添加V₁V_i、V_jV_k两条边，各顶点的度不变，简单图性质不变。只要当前简单图不符合算法，继续上述操作，直到符合算法。因此得证。
• 贪心的观点：因为度越大，越不容易可简单图化，所以先判断度大的点。

代码

#include<bits/stdc++.h>
using namespace std;
int a[10010];
int main(){
	int T, n, tot, ans;
	scanf("%d", &T);
	while(T--){
		scanf("%d", &n);
        tot = 0;
		for(int i = 1; i <= n; i++) scanf("%d", a+i), tot += a[i];
        if(tot&1) { // 可图化判定
            printf("no\n");
            continue;
        }
        // 可简单图化判定
        for(int i = 1; i <= n; i++){
            sort(a+i, a+n+1, [](int x, int y){return x > y;});
            int m = a[i];
            if(m < 0 || m > n-i) break;
            a[i] = 0;
            for(int j = 1; j <= m; j++) a[i+j]--;
        }
        ans = 1;
        for(int i = 1; i <= n && ans; i++){
            if(a[i]) ans = 0;
        }
		printf("%s\n", ans?"yes":"no");
	}
	return 0;
}