結果

問題 No.2536 同値性と充足可能性
ユーザー tails
提出日時 2023-11-10 22:14:16
言語 cLay
(20241019-1)
結果
AC  
実行時間 17 ms / 2,000 ms
コード長 357 bytes
コンパイル時間 3,921 ms
コンパイル使用メモリ 176,240 KB
実行使用メモリ 8,192 KB
最終ジャッジ日時 2024-09-26 01:42:43
合計ジャッジ時間 5,355 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 31
権限があれば一括ダウンロードができます

ソースコード

diff #

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