codeforces 1239D

トピックリンク

問題の意味

私は猫を知っている、少なくとも最初の人は、また、関係の他メートルストリップ理解を与え、そして今を選択する必要があるのn個の個人およびnは猫があり、 $J$、個人、 $P$猫、猫は、人々は知らないが必要です。 $J + P == n個$、その後、 $1 \ J、P$、条件が存在するプログラムを満たすかどうかを尋ね、そしてもしそうであれば、ランダム出力を

ソリューション

まず、概念が失われた猫であることができ、nとmの個人との間の関係を理解するようになっており、その後、被験者は、度無し強連結成分が存在するか否かに変換され、強連結成分の総数が1よりも大きいことができる。
観察tarjanプロセスは、強連結成分に見出すことができ、必ずしも最初の学位ではない。
再び直接tarjanあります

#include<bits/stdc++.h>
using namespace std;
const int maxn=1e6+5;
inline int read(){
	char c=getchar();int t=0,f=1;
	while(!isdigit(c)){if(c=='-')f=-1;c=getchar();}
	while(isdigit(c)){t=(t<<3)+(t<<1)+(c^48);c=getchar();}
	return t*f;
}
int n,t,m;
struct edge{
	int v,p;
}e[maxn<<2];
int h[maxn<<1],cnt;
inline void add(int a,int b){
	e[++cnt].p=h[a];
	e[cnt].v=b;
	h[a]=cnt;
}
int dfn[maxn<<1],tot,st[maxn<<1],top,tim,low[maxn],vis[maxn<<1],col[maxn],sz[maxn];
void dfs(int u){tim++;
	dfn[u]=low[u]=tim;st[++top]=u;vis[u]=1;
	for(int i=h[u];i;i=e[i].p){
		int v=e[i].v;
		if(dfn[v]){
			if(vis[v])low[u]=min(low[u],dfn[v]);
		}
		else{
			dfs(v);
			low[u]=min(low[u],low[v]);
		}
	}
	if(low[u]==dfn[u]){
		int tmp;
		tot++;
		do{
			tmp=st[top];
			col[tmp]=tot;
			sz[tot]++;
			vis[tmp]=0;
			top--;
		}while(tmp!=u);
	}
}
int main(){
	t=read();
	while(t--){
		for(int i=1;i<=cnt;i++)e[i].v=e[i].p=0;
		for(int i=1;i<=n+n;i++)h[i]=0;cnt=0;
		for(int i=1;i<=tot;i++)sz[i]=0;tot=0;
		for(int i=1;i<=n;i++)dfn[i]=0,low[i]=0,col[i]=0;
		n=read();m=read();
		for(int i=1;i<=m;i++){
			int a=read(),b=read();
			if(a==b)continue;
			add(a,b);
		}
		for(int i=1;i<=n;i++){
			if(!dfn[i])dfs(i);
		}
		if(tot==1){puts("No");continue;}
		puts("Yes");
		printf("%d %d\n",sz[1],n-sz[1]);
		for(int i=1;i<=n;i++)if(col[i]==1)printf("%d ",i);puts("");
		for(int i=1;i<=n;i++)if(col[i]!=1)printf("%d ",i);puts("");
	}
	return 0;
}