bzoj1242: Zju1015 Fishing Net弦图判定

Description

在一个高度信息化的渔村，鱼网的制作和修补都是由电脑完成。众所周知，鱼网是由网组成的(废话)，网组成的东西叫网眼。如果网眼够小，就能捕到很多鱼；如果网眼太大，鱼就会全部漏走。每次捕鱼回来，鱼网都会烂得很厉害，小网眼会变成网眼，那鱼网就需要修补。他们希望有一个程序能够为他们判断鱼网是否需要修补。程序会把鱼网看作一个联通的图(不用进一步解释了吧)。他们的判断方法是：任何一个长度(组成其的边的数目)超过3的闭合的圈，都必须有一条交线将它分作两部分。(提示：递归下去，其实就是每个网眼都只能是三角形)如果合乎要求，程序就输出“Perfect”,否则输出”Imperfect”. 注：这里的交线是指一个联结一封闭圈的不同结点而捕属于该圈的一条边。

Input

数据以一行N M开始，表示鱼网有N个结点和M条边。(n<=0<=1000)以下M行是M条边的描述。每行两个整数A，B，表示结点A与结点B之间存在一条边。

Output

输出每个鱼网的测试结果，Perfect或Imperfect

Sample Input

4 4
1 2
2 3
3 4
4 1

Sample Output

Imperfect

思路

标准的MCS算法模板裸题~~

代码

#include <bits/stdc++.h>
#define N 1101
using namespace std;
struct pppp{int to,nxt;}a[N*N*4];
bool con[N][N],vis[N];
int st[N],top,rk[N],sa[N],d[N],n,m,pp=0;
int tot,he[N*2];
#define f(x) x+n+1
void read(int &x){x=0;char c=getchar();while(!isdigit(c))c=getchar();while(isdigit(c)){x=x*10+c-'0';c=getchar();}
}
inline void add(int x,int y){a[++pp].to=y;a[pp].nxt=he[x];he[x]=pp;}
void mcs(){for(int i=1;i<=n;i++)add(f(0),i);int pos,mx=0;for(int i=n;i;--i){pos=0;for(int j=he[f(mx)];j&&!pos;j=a[j].nxt)if(!vis[a[j].to]) {pos=a[j].to;vis[pos]=true;sa[i]=pos;}else he[f(mx)]=a[j].nxt;if(!pos)mx--,i++;else{for(int j=he[pos];j;j=a[j].nxt)if(!vis[a[j].to]){d[a[j].to]++;add(f(d[a[j].to]),a[j].to);mx=max(mx,d[a[j].to]);}}}
}
int main(){read(n),read(m);int u,v;for(int i=1;i<=m;++i){read(u),read(v);add(u,v);add(v,u);con[u][v]=con[v][u]=true;}mcs();for(int i=1;i<=n;++i)rk[sa[i]]=i;rk[0]=n+5;int now;for(int i=n;i;--i){now=sa[i];top=0;for(int j=he[now];j;j=a[j].nxt)if(rk[a[j].to]>i)st[++top]=a[j].to;for(int j=2;j<=top;j++)if(!con[st[1]][st[j]]){puts("Imperfect");return 0;}}puts("Perfect");return 0;
}

bzoj1242: Zju1015 Fishing Net弦图判定相关推荐

bzoj 1242: Zju1015 Fishing Net 弦图判定
1242: Zju1015 Fishing Net弦图判定 Time Limit: 10 Sec Memory Limit: 162 MB Submit: 214 Solved: 81 [Subm ...
bzoj 1242 Zju1015 Fishing Net 弦图判定
1242: Zju1015 Fishing Net弦图判定 Time Limit: 10 Sec Memory Limit: 162 MB [Submit][Status][Discuss] Des ...
ZOJ 1015 弦图判定
一些定义: 弦图是一种特殊图:它的所有极小环都只有3个顶点. 单纯点:该顶点与其邻接点在原图中的导出子图是一个完全图. 图G的完美消去序列:一个顶点序列a1a2a3...an,使得对于每个元素ai,a ...
图论 —— 弦图 —— LexBFS 算法
[概述] LexBFS 是字典序广度优先搜索(Lexicographic BFS),其常用于弦图的判定. 每次按从 n 到 1 的顺序依次给点编号,每个点维护一个 list,用于记录与其相邻的已标号点 ...
弦图与完美消除序列（bzoj 1006: [HNOI2008]神奇的国度）
诱导子图:子图中任意一条边的两个端点一定也都在这个子图中最大团:团中任意两点之间一定都有边,而包含顶点最多的团就是最大团最小团覆盖:用最少的团覆盖图中所有的点最大独立集:独立集中任意两点之间一定 ...
图论：关于弦图的几个图论结论
定义弦:连接环中不相邻的两个点的边一个图是弦图当图中任意长度大于3的环都至少有一个弦. α(G):\alpha(G):α(G):图GGG中最大独立集的大小,称为最大独立集数 κ(G):\kappa ...
概率图模型-可分解图-连接树算法-弦图-图论
概率图模型–精确推断算法的原理本文主要内容本文从可分解图出发,逐渐引入弦图,三角化图,然后揭示了为什么引入可分解图,因为可分解图是在连接树算法中最终得到的,还讲解了为什么要使用连接树算法,因为连接 ...
图论 —— 弦图 —— MCS 算法
[概述] MCS 算法是最大势算法(Maximum Cardinality Search),其常用于弦图的判定.求弦图的最大团.最小着色.最大独立集.最小团覆盖等. 一个无向图的弦图当且仅当其有一个完 ...
P3196 [HNOI2008]神奇的国度（弦图的最小染色问题）
整理的算法模板合集: ACM模板题目传送门 K国是一个热衷三角形的国度,连人的交往也只喜欢三角原则.他们认为三角关系:即AB相互认识,BC相互认识,CA相互认识,是简洁高效的.为了巩固三角关系,K国 ...