标签：pre suf re int vis Fishing inline Net BZOJ1242

传送门

题解：

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

利用完美消除序列的定义：$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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。