結果
問題 | No.2293 無向辺 2-SAT |
ユーザー | ニックネーム |
提出日時 | 2023-05-05 22:38:31 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 2,768 ms / 4,000 ms |
コード長 | 917 bytes |
コンパイル時間 | 384 ms |
コンパイル使用メモリ | 82,432 KB |
実行使用メモリ | 151,072 KB |
最終ジャッジ日時 | 2024-05-02 17:35:42 |
合計ジャッジ時間 | 91,321 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 43 ms
52,352 KB |
testcase_01 | AC | 41 ms
52,224 KB |
testcase_02 | AC | 41 ms
51,968 KB |
testcase_03 | AC | 2,768 ms
151,072 KB |
testcase_04 | AC | 961 ms
79,028 KB |
testcase_05 | AC | 941 ms
79,620 KB |
testcase_06 | AC | 883 ms
78,424 KB |
testcase_07 | AC | 621 ms
76,416 KB |
testcase_08 | AC | 889 ms
77,972 KB |
testcase_09 | AC | 831 ms
77,696 KB |
testcase_10 | AC | 804 ms
78,148 KB |
testcase_11 | AC | 932 ms
79,432 KB |
testcase_12 | AC | 878 ms
77,488 KB |
testcase_13 | AC | 930 ms
78,708 KB |
testcase_14 | AC | 1,146 ms
81,268 KB |
testcase_15 | AC | 1,440 ms
86,200 KB |
testcase_16 | AC | 940 ms
79,536 KB |
testcase_17 | AC | 1,063 ms
98,940 KB |
testcase_18 | AC | 914 ms
78,040 KB |
testcase_19 | AC | 532 ms
77,728 KB |
testcase_20 | AC | 1,792 ms
90,836 KB |
testcase_21 | AC | 1,949 ms
90,760 KB |
testcase_22 | AC | 1,858 ms
111,228 KB |
testcase_23 | AC | 1,776 ms
106,400 KB |
testcase_24 | AC | 1,878 ms
107,244 KB |
testcase_25 | AC | 1,760 ms
108,180 KB |
testcase_26 | AC | 1,801 ms
108,252 KB |
testcase_27 | AC | 1,810 ms
110,352 KB |
testcase_28 | AC | 1,840 ms
108,892 KB |
testcase_29 | AC | 1,851 ms
109,672 KB |
testcase_30 | AC | 1,877 ms
111,012 KB |
testcase_31 | AC | 1,847 ms
110,172 KB |
testcase_32 | AC | 1,896 ms
90,808 KB |
testcase_33 | AC | 1,962 ms
91,372 KB |
testcase_34 | AC | 1,834 ms
88,708 KB |
testcase_35 | AC | 1,890 ms
89,996 KB |
testcase_36 | AC | 1,919 ms
89,852 KB |
testcase_37 | AC | 1,922 ms
90,224 KB |
testcase_38 | AC | 1,893 ms
90,768 KB |
testcase_39 | AC | 1,899 ms
90,140 KB |
testcase_40 | AC | 1,937 ms
90,776 KB |
testcase_41 | AC | 1,041 ms
81,048 KB |
testcase_42 | AC | 1,567 ms
86,256 KB |
testcase_43 | AC | 1,826 ms
88,500 KB |
testcase_44 | AC | 1,973 ms
91,532 KB |
testcase_45 | AC | 1,998 ms
91,348 KB |
testcase_46 | AC | 1,715 ms
85,156 KB |
testcase_47 | AC | 1,949 ms
91,596 KB |
testcase_48 | AC | 1,867 ms
90,556 KB |
testcase_49 | AC | 1,827 ms
92,116 KB |
testcase_50 | AC | 1,724 ms
91,224 KB |
testcase_51 | AC | 1,724 ms
92,012 KB |
testcase_52 | AC | 1,688 ms
97,208 KB |
testcase_53 | AC | 1,699 ms
99,072 KB |
testcase_54 | AC | 1,764 ms
109,396 KB |
testcase_55 | AC | 1,677 ms
117,872 KB |
ソースコード
class UF: def __init__(self,n): self.p = {} def f(self,x): if x not in self.p: self.p[x] = -1; return x elif self.p[x]<0: return x else: self.p[x] = self.f(self.p[x]); return self.p[x] def u(self,x,y): x = self.f(x); y = self.f(y) if x==y: return if -self.p[x]<-self.p[y]: x,y = y,x self.p[x] += self.p[y]; self.p[y] = x def s(self,x,y): return self.f(x) == self.f(y) n,q = map(int,input().split()) mod = 998244353; uf = UF(2*n); c = n for _ in range(q): t,*uv = map(int,input().split()) if t==1: u,v = [w-1 for w in uv] if uf.s(u,v+n): c = -1 elif not uf.s(u,v): uf.u(u,v); uf.u(u+n,v+n); c -= 1 if t==2: u,v = [w-1 for w in uv] if uf.s(u,v): c = -1 elif not uf.s(u,v+n): uf.u(u,v+n); uf.u(u+n,v); c -= 1 if t==3: uf = UF(2*n); c = n print(pow(2,c,mod) if c>=0 else 0)