結果

問題 No.3508 OR Mapping
コンテスト
ユーザー 👑 tails
提出日時 2026-04-19 03:59:17
言語 cLay
(20250308-1 + boost 1.89.0)
コンパイル:
clayc _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 440 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 4,687 ms
コンパイル使用メモリ 194,384 KB
実行使用メモリ 66,560 KB
最終ジャッジ日時 2026-04-19 03:59:38
合計ジャッジ時間 12,819 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge1_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 52 WA * 13
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

void no(){
	wt("No");
	exit(0);
}

{

int@n,@m,@k,@(u,v)--[m],r[n],c[n]{};
graph g;
g.setDirectEdge(n,m,u,v);
int rn=g.scc(r);
if(r[0]){
	no();
}
unionFind d('m',n*2,1);
rep(j,m){
	if(r[u[j]]==r[v[j]]){
		d(u[j],v[j]+n);
		d(u[j]+n,v[j]);
	}else if(r[u[j]]+1!=r[v[j]]){
		no();
	}
}
rep(i,n){
	c[r[i]]+=1;
}
bool f=true;
rep(i,rn){
	if(f&&c[i]==1){
		no();
	}
	f=c[i]==1;
}
rep(i,n){
	if(c[r[i]]>1&&d(i)!=d(i+n)){
		no();
	}
}
wt("Yes");

}
0