题目链接:http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=15
题意:给定一个图。判断是不是弦图?
思路:(1)神马是弦图?对于一个无向图,若该图的任意一个长度大于3的环中存在一条边连接这个环上不相邻的两点,则此图称作弦图。
(2)什么是团?团是原图的一个子图,子图就是包含了原图的某些点,那么就要包含这些点之间的边。并且团不是一般的子图而是一个完全子图,就是这个子图的任意两个顶点之间都有边。下面的ABCD就是原图的一个团。
(3)完美消除序列:原图的一个点的序列(每个点出现且恰好出现一次)v1, v2,……, vn满足{vi, vi+1,…,vn}的组成的子图为团。
(4)一个无向图是弦图当且仅当它有一个完美消除序列。
(5)如何计算完美消除序列?最大势算法:
从n到1的顺序依次给点标号(标号为i的点出现在完美消除序列的第i个)。 设label[i]表示第i个点与多少个已标号的点相
邻,每次选择label[i]最大的未标号的点进行标号。注意这里只是计算出了完美消除序列,但是在求出这个之后还没有判定是不是弦图。
(6)如何从完美消除序列判断原图是不是弦
图?最朴素的办法是依次判断
{vi+1,…,vn}中所有与vi相邻的点是否构成了一个团。可以这样优化:设{vi+1,…,vn}中所有与vi相邻的点依次为
vj1,……,vjk。只需判断vj1是否与vj2,……,vjk相邻即可。
int n,m,g[N][N];
int d[N],a[N],h[N],p[N]; int OK()
{
int i,j,u;
vector<int> V;
FORL1(i,n)
{
V.clear();
FOR1(j,n) if(g[a[i]][j]) if(p[j]>i) V.pb(j);
for(j=1;j<SZ(V);j++) if(p[V[0]]>p[V[j]])
{
swap(V[0],V[j]);
}
for(j=1;j<SZ(V);j++)
{
if(!g[V[0]][V[j]]) return 0;
}
}
return 1;
} int main()
{
Rush(n)
{
RD(m);
if(!n&&!m) break;
int i,j,k,u,v;
clr(g,0);
FOR1(i,m)
{
RD(u,v);
g[u][v]=g[v][u]=1;
}
clr(d,0); clr(h,0);
FORL1(i,n)
{
u=-1;
FOR1(j,n) if(!h[j]&&d[j]>u) u=d[j],k=j;
a[i]=k; h[k]=1; p[k]=i;
FOR1(j,n) if(g[k][j]) d[j]++;
} if(OK()) puts("Perfect");
else puts("Imperfect");
puts("");
}
return 0;
}