Hakimi定理(判断是否可图序列)

给定一个非负整数序列{dn},若存在一个无向图使得图中各点的度与此序列一一对应,则称此序列可图化。进一步,若图为简单图,则称此序列可简单图化

可图化的判定:d1+d2+……dn=0(mod 2)。关于具体图的构造,我们可以简单地把奇数度的点配对,剩下的全部搞成自环。

可简单图化的判定(Havel定理):把序列排成不增序,即d1>=d2>=……>=dn,则d可简单图化当且仅当d’={d2-1,d3-1,……d(d1+1)-1, d(d1+2),d(d1+3),……dn}可简单图化。简单的说,把d排序后,找出度最大的点(设度为d1),把它与度次大的d1个点之间连边,然后这个点就可以不管了,一直继续这个过程,直到建出完整的图,或出现负度等明显不合理的情况。

给定一个非负整数序列{dn},若存在一个无向图使得图中各点的度与此序列一一对应,则称此序列可图化。进一步,若图为简单图,则称此序列可简单图化

可图化的判定:d1+d2+……dn=0(mod 2)。关于具体图的构造,我们可以简单地把奇数度的点配对,剩下的全部搞成自环。

可简单图化的判定(Havel定理):把序列排成不增序,即d1>=d2>=……>=dn,则d可简单图化当且仅当d’={d2-1,d3-1,……d(d1+1)-1, d(d1+2),d(d1+3),……dn}可简单图化。简单的说,把d排序后,找出度最大的点(设度为d1),把它与度次大的d1个点之间连边,然后这个点就可以不管了,一直继续这个过程,,直到建出完整的图,或出现负度等明显不合理的情况。

Frogs’ Neighborhood

Time Limit:5000MSMemory Limit:10000K

Total Submissions:8315Accepted:3522Special Judge

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

374 3 1 5 4 2 1 64 3 1 4 2 0 62 3 1 1 2 1

Sample Output

YES0 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 NOYES0 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

#include <stdio.h>#include <string.h>#include <algorithm>using namespace std;struct node{int pos,x;}c[15];//pos表示顶点坐标,x表示顶点的度bool cmp(node a,node b){return a.x>b.x;}int main(){int ncase,n,edge[15][15];//edge是否存在合理的相邻关系scanf("%d",&ncase);while(ncase–){int flag=0;memset(edge,0,sizeof(edge));memset(&c,0,sizeof(&c));scanf("%d",&n);for(int i=0;i<n;i++){scanf("%d",&c[i].x);c[i].pos=i;if(c[i].x>=n)flag=1;}if(flag){printf("NO\n");continue;}int first_pos,first_x;for(int i=0;i<n;i++){sort(c+i,c+n,cmp);//排序。c+i,c+n分别是数组开始,结束地址first_x=c[i].x;first_pos=c[i].pos;for(int k=1;k<=first_x&&!flag;k++){int j=c[i+k].pos;if(c[i+k].x<=0) flag=1;c[i+k].x–;edge[j][first_pos]=edge[first_pos][j]=1;}}if(!flag){printf("YES\n");for(int i=0;i<n;i++){printf("%d",edge[i][0]);for(int j=1;j<n;j++)printf(" %d",edge[i][j]);printf("\n");}}elseprintf("NO\n");printf("\n");}return 0;}

出门走好路,出口说好话,出手做好事。

Hakimi定理(判断是否可图序列)

相关文章:

你感兴趣的文章:

标签云: