传送门

题解：

利用最大势算法求出序列之后需要证明这个序列是否是完美消除序列。

利用完美消除序列的定义：$p_i$pi​在$\{p_i,p_{i+1},\cdots p_n\}${pi​,pi+1​,⋯pn​}的导出子图里面是一个单纯点。

那么所有与$p_i$pi​相邻的点必须全部相邻。

直接判断标号最小的那个点是否和剩下的全部相邻就行了。

证明的话，CDQ论文里面有，自己去看。

代码：

#include<bits/stdc++.h>
#define ll long long
#define re register
#define gc get_char
#define cs const

namespace IO{
	inline char get_char(){
		static cs int Rlen=1<<22|1;
		static char buf[Rlen],*p1,*p2;
		return (p1==p2)&&(p2=(p1=buf)+fread(buf,1,Rlen,stdin),p1==p2)?EOF:*p1++;
	}
	
	template<typename T>
	inline T get(){
		char c;
		while(!isdigit(c=gc()));T num=c^48;
		while(isdigit(c=gc()))num=(num+(num<<2)<<1)+(c^48);
		return num;
	}
	inline int getint(){return get<int>();}
} 
using namespace IO;

using std::cerr;
using std::cout;

cs int N=1e3+5;

int n,m;

struct LI{
	int id;
	LI *pre,*suf;
	LI(){}
	inline void del(){
		pre->suf=suf;
		if(suf)suf->pre=pre;
	}
	inline void push(LI *p){
		p->pre=this;
		p->suf=suf;
		if(suf)suf->pre=p;
		suf=p;
	}
}head[N],p[N];

std::vector<int> G[N];
bool vis[N],con[N][N];
int nd[N],cnt[N],pos[N];

inline void addedge(int u,int v){
	con[u][v]=con[v][u]=true;
	G[u].push_back(v);G[v].push_back(u); 
}

inline void MSC(){
	for(int re i=1;i<=n;++i)head[0].push(&p[i]),p[i].id=i,con[i][i]=true;
	int mxc=0;
	for(int re i=1;i<=n;++i){
		while(head[mxc+1].suf)++mxc;
		while(!head[mxc].suf)--mxc;
		int u=head[mxc].suf->id;
		head[mxc].suf->del();
		nd[n-i+1]=u;vis[u]=true;pos[u]=n-i+1;
		for(int re e=G[u].size()-1;~e;--e){
			int v=G[u][e];
			if(!vis[v]){
				p[v].del();
				head[++cnt[v]].push(&p[v]);
			}
		}
	}
}

inline bool check(){
	memset(vis,0,sizeof vis);
	static int to[N],cnt,mn;
	for(int re i=n;i;--i){
		int u=nd[i];cnt=0,mn=n;vis[u]=true;
		for(int re e=G[u].size()-1;~e;--e){
			int v=G[u][e];
			if(vis[v]){
				mn=std::min(mn,pos[v]);
				to[++cnt]=v;
			}
		}
		if(mn==n)continue;
		for(int re i=1;i<=cnt;++i)if(!con[nd[mn]][to[i]])return false;
	}
	return true;
}

signed main(){
//	freopen("fishing.in","r",stdin);//freopen("fishing.out","w",stdout);
	n=getint(),m=getint();
	for(int re i=1;i<=m;++i)addedge(getint(),getint());
	MSC();
	puts(check()?"Perfect":"Imperfect");
	return 0;
}

标签：pre,suf,re,int,vis,Fishing,inline,Net,BZOJ1242
来源： https://blog.csdn.net/zxyoi_dreamer/article/details/96850136