結果
| 問題 | No.2293 無向辺 2-SAT |
| ユーザー |
 minimum
|
| 提出日時 | 2023-05-05 22:25:09 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 2,503 bytes |
| コンパイル時間 | 478 ms |
| コンパイル使用メモリ | 82,176 KB |
| 実行使用メモリ | 126,552 KB |
| 最終ジャッジ日時 | 2024-05-02 17:06:46 |
| 合計ジャッジ時間 | 17,167 ms |
|
ジャッジサーバーID （参考情報） |
judge2 / judge4 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 49 ms
52,352 KB |
| testcase_01 | AC | 44 ms
55,680 KB |
| testcase_02 | AC | 41 ms
52,480 KB |
| testcase_03 | AC | 2,530 ms
126,552 KB |
| testcase_04 | AC | 3,149 ms
101,816 KB |
| testcase_05 | AC | 2,269 ms
90,008 KB |
| testcase_06 | TLE | - |
| testcase_07 | -- | - |
| testcase_08 | -- | - |
| testcase_09 | -- | - |
| testcase_10 | -- | - |
| testcase_11 | -- | - |
| testcase_12 | -- | - |
| testcase_13 | -- | - |
| testcase_14 | -- | - |
| testcase_15 | -- | - |
| testcase_16 | -- | - |
| testcase_17 | -- | - |
| testcase_18 | -- | - |
| testcase_19 | -- | - |
| testcase_20 | -- | - |
| testcase_21 | -- | - |
| testcase_22 | -- | - |
| testcase_23 | -- | - |
| testcase_24 | -- | - |
| testcase_25 | -- | - |
| testcase_26 | -- | - |
| testcase_27 | -- | - |
| testcase_28 | -- | - |
| testcase_29 | -- | - |
| testcase_30 | -- | - |
| testcase_31 | -- | - |
| testcase_32 | -- | - |
| testcase_33 | -- | - |
| testcase_34 | -- | - |
| testcase_35 | -- | - |
| testcase_36 | -- | - |
| testcase_37 | -- | - |
| testcase_38 | -- | - |
| testcase_39 | -- | - |
| testcase_40 | -- | - |
| testcase_41 | -- | - |
| testcase_42 | -- | - |
| testcase_43 | -- | - |
| testcase_44 | -- | - |
| testcase_45 | -- | - |
| testcase_46 | -- | - |
| testcase_47 | -- | - |
| testcase_48 | -- | - |
| testcase_49 | -- | - |
| testcase_50 | -- | - |
| testcase_51 | -- | - |
| testcase_52 | -- | - |
| testcase_53 | -- | - |
| testcase_54 | -- | - |
| testcase_55 | -- | - |
ソースコード
class DisjointSetUnion():
def __init__(self, n):
self.n = n
self.par_or_size = [-1] * n
def merge(self, a, b):
assert(0 <= a < self.n)
assert(0 <= b < self.n)
la = self.leader(a)
lb = self.leader(b)
if la == lb:
return la
if -self.par_or_size[la] < -self.par_or_size[lb]:
la, lb = lb, la
self.par_or_size[la] += self.par_or_size[lb]
self.par_or_size[lb] = la
return la
def same(self, a, b):
assert(0 <= a < self.n)
assert(0 <= b < self.n)
return self.leader(a) == self.leader(b)
def leader(self, a):
assert(0 <= a < self.n)
if (self.par_or_size[a] < 0):
return a
else:
self.par_or_size[a] = self.leader(self.par_or_size[a])
return self.par_or_size[a]
def size(self, a):
assert(0 <= a < self.n)
return - self.par_or_size[self.leader(a)]
def group(self):
result = dict()
for a in range(self.n):
la = self.leader(a)
if la not in result:
result[la] = []
result[la].append(a)
return result
MOD = 998244353
N, Q = map(int, input().split())
cnt = 2 * N
valid = 1
dsu = DisjointSetUnion(2 * N)
done = set()
for _ in range(Q):
query = list(map(int, input().split()))
if query[0] == 2:
u, v = query[1] - 1, query[2] - 1
if u != v:
done.add(u)
done.add(v)
if not dsu.same(u, v + N):
cnt -= 1
if not dsu.same(v, u + N):
cnt -= 1
dsu.merge(u, v + N)
dsu.merge(v, u + N)
if dsu.same(u, u + N) or dsu.same(v, v + N):
valid = 0
else:
valid = 0
elif query[0] == 1:
u, v = query[1] - 1, query[2] - 1
if u != v:
done.add(u)
done.add(v)
if not dsu.same(u, v):
cnt -= 1
if not dsu.same(u + N, v + N):
cnt -= 1
dsu.merge(u, v)
dsu.merge(u + N, v + N)
if dsu.same(u, u + N) or dsu.same(v, v + N):
valid = 0
else:
pass
else:
cnt = 2 * N
for i in done:
dsu.par_or_size[i] = -1
dsu.par_or_size[i + N] = -1
valid = 1
if valid:
print(pow(2, cnt // 2, MOD))
else:
print(0)