POJ 1659【Havel-Hakimi 定理】

Havel-Hakimi 定理：

一个非负整数组成的有限序列如果是某个无向图的序列，则称该序列是可图的。

例如，判断序列s: 7, 7, 4, 3, 3, 3, 2, 1 是否是可图的。

删除序列s 的首项7，对其后的7 项每项减1，得到：6, 3, 2, 2, 2, 1, 0。

继续删除序列的首项6，对其后的6 项每项减1，得到：2, 1, 1, 1, 0,-1，

到这一步出现了负数。由于图中不可能存在负度数的顶点，因此该序列不是可图的。

再举一个例子，判断序列s: 5, 4, 3, 3, 2, 2, 2, 1, 1, 1 是否是可图的。

删除序列s 的首项5，对其后的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。

由此可判定该序列是可图的。

Havel-Hakimi 定理实际上给出了根据一个序列s 构造图（或判定s 不是可图的）的方法：把序列s 按照非增顺序

排序以后，其顺序为d1, d2, …, dn；度数最大的顶点（设为v1），将它与度数次大的前d1 个顶点之间连边，然

后这个顶点就可以不管了，即在序列中删除首项d1，并把后面的d1个度数减1；再把剩下的序列重新按非增顺序排

序，按照上述过程连边；…；直到建出完整的图，或出现负度数等明显不合理的情况为止。

再回到本题：

Frogs' Neighborhood

Time Limit: 5000MS		Memory Limit: 10000K
Total Submissions: 10443		Accepted: 4340		Special Judge

Description

未名湖附近共有N个大小湖泊L₁, L₂, ..., L_n(其中包括未名湖)，每个湖泊L_i里住着一只青蛙F_i(1 ≤ i ≤ N)。如果湖泊L_i和L_j之间有水路相连，则青蛙F_i和F_j互称为邻居。现在已知每只青蛙的邻居数目x₁, x₂, ..., x_n，请你给出每两个湖泊之间的相连关系。

Input

第一行是测试数据的组数T(0 ≤ T ≤ 20)。每组数据包括两行，第一行是整数N(2 < N < 10)，第二行是N个整数，x₁, x₂,..., x_n(0 ≤ x_i ≤ 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 NOYES
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

注意：由该定理得到的图是不唯一的。

题解：

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <vector>
#include <set>
#include <map>
#define INF
using namespace std;
const int maxn=105;
int t,n;
int e[maxn][maxn];
struct node{int degree;//顶点的度数int num;//顶点的编号
}a[maxn];
bool cmp(node a,node b){//度数由大到小排序return a.degree>b.degree;
}
int main()
{scanf("%d",&t);while(t--){memset(e,0,sizeof e);scanf("%d",&n);for(int i=0;i<n;i++){scanf("%d",&a[i].degree);a[i].num=i+1;//顶点编号由1-n}int flag=1;//旗帜变量for(int i=0;i<n;i++){sort(a,a+n,cmp);if(a[i].degree>n-i-1){//如果后序顶点的数量小于当前顶点的度数，则无法构成图flag=0;break;}for(int j=i+1;j<=a[i].degree+i&&j<n;j++){a[j].degree--;if(a[j].degree<0){flag=0;break;}e[a[i].num][a[j].num]=e[a[j].num][a[i].num]=1;//连边}}if(flag){printf("YES\n");for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){printf("%d",e[i][j]);if(j!=n)printf(" ");}printf("\n");}}elseprintf("NO\n");printf("\n");}return 0;
}

POJ 1659【Havel-Hakimi 定理】相关推荐

Havel—Hakimi定理(度序列)
对于图的所有顶点,我们可以统计出每个顶点的度.像这样的一串数字,我们称之为:度序列.那么反过来,给定一个序列,能否判断这个序列是可图的呢?这里有一个定理:Havel-Hakimi定理可以用来判定一个序 ...
Havel–Hakimi算法学习笔记（哈维尔算法）详细【Python】
问题来源离散数学的图论中第一个接触到的算法:Havel–Hakimi算法 (哈维尔算法) 判断一个非负序列是否为某无向简单图的度数列的方法(Pyhton代码) 前提提要 1.无向简单图首先先了解 ...
POJ 1265 Area(Pick定理)
POJ 1265 Area(Pick定理) 根据pick定理来做皮克定理是指一个计算点阵中顶点在格点上的多边形面积公式该公式可以表示为 2S=2a+b−2 其中a表示多边形内部的点数,b表示多边形边 ...
POJ 1659 Frogs‘ Neighborhood (Havel 定理)
Havel 定理: 序列的可图:给出一个由非负整数组成的序列,如果是某个无向图的度序列,则称该序列是可图的. 而 Havel 定理,就是判断序列的可图的方法.先按度数从大到小排序, 每次处理完度数一 ...
poj 1659 Havel-hakimi定理
题目链接 http://poj.org/problem?id=1659 题意已知所有顶点的入度,现在问这些顶点是否能构成一张图,如果可以,输出它的邻接矩阵. 题解 Havel-hakimi定理是一个 ...
poj 1265 Area(pick 定理)
链接:poj 1265 题意:从原点出发.给出一些dx,dy移动增量,终于形成一个多边形, 求多边形内部的格点数目,边上的格点数目 .以及面积. 补充知识: 1.以格子点为顶点的线段.覆盖的点的个数为 ...
POJ 1659 Frogs#39; Neighborhood(度序列组成)
意甲冠军中国依据Havel-Hakimi定理构图即可咯先把顶点按度数从大到小排序可图的话度数大的顶点与它后面的度数个顶点相连肯定是满足的出现了-1就说明不可图了 #include ...
POJ 1265-Area(计算几何+皮克定理+多边形面积公式)
题目地址:POJ 1265 题意:给定一个格点多边形,求出内部点数in,边上点数on,和面积S. 思路:运用的定理很多. 1.皮克定理:S=in+on/2-1,即in=(2*S+2-on)/2. 2. ...
POJ 2954-Triangle(计算几何+皮克定理)
题目地址:POJ 2954 题意:给出三角形的三个顶点,求内部格点的个数. 思路:形同POJ 1265. #include <stdio.h> #include <math.h> ...

POJ 1659【Havel-Hakimi 定理】

Havel-Hakimi 定理：

POJ 1659【Havel-Hakimi 定理】相关推荐

最新文章

热门文章