結果

問題 No.2536 同値性と充足可能性
コンテスト
ユーザー 👑 tails
提出日時 2023-11-10 22:14:16
言語 cLay
(20250308-1 + boost 1.89.0)
コンパイル:
clayc _filename_
実行:
./a.out
結果
AC  
実行時間 13 ms / 2,000 ms
コード長 357 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,929 ms
コンパイル使用メモリ 193,152 KB
実行使用メモリ 8,192 KB
最終ジャッジ日時 2026-04-13 04:29:45
合計ジャッジ時間 5,392 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 31
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

ll@n,@m,x[n],y=0,z[2n]{};
unionFind u('m',2n,1);
rep(m){
	ll@i;
	string@e;
	ll@j;
	if(e[2]=='='){
		u(2i-2,2j-2);
		u(2i-1,2j-1);
	}else{
		u(2i-2,2j-1);
		u(2i-1,2j-2);
	}
	if(u(2i-2)==u(2i-1)){
		wt("No");
		exit(0);
	}
}
rep(i,n){
	z[u(2i)]+=1;
}
rep(i,n){
	ll r=u(2i);
	if(z[r]>z[r^1]||z[r]==z[r^1]&&r%2==0){
		x[y++]=i+1;
	}
}
wtLn("Yes",y);
wt(x(y));
0