結果
問題 | No.2536 同値性と充足可能性 |
ユーザー |
![]() |
提出日時 | 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 |
ソースコード
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));