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;
}