結果
問題 | No.2293 無向辺 2-SAT |
ユーザー | t98slider |
提出日時 | 2023-03-17 18:37:36 |
言語 | PyPy3 (7.3.15) |
結果 |
RE
|
実行時間 | - |
コード長 | 1,733 bytes |
コンパイル時間 | 314 ms |
コンパイル使用メモリ | 82,008 KB |
実行使用メモリ | 83,916 KB |
最終ジャッジ日時 | 2024-05-02 03:50:01 |
合計ジャッジ時間 | 12,090 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 39 ms
53,176 KB |
testcase_01 | AC | 48 ms
63,332 KB |
testcase_02 | AC | 40 ms
53,148 KB |
testcase_03 | RE | - |
testcase_04 | AC | 316 ms
82,432 KB |
testcase_05 | AC | 308 ms
80,128 KB |
testcase_06 | AC | 295 ms
79,488 KB |
testcase_07 | AC | 150 ms
81,152 KB |
testcase_08 | AC | 298 ms
82,316 KB |
testcase_09 | AC | 293 ms
82,868 KB |
testcase_10 | AC | 351 ms
83,916 KB |
testcase_11 | AC | 309 ms
82,176 KB |
testcase_12 | AC | 300 ms
82,392 KB |
testcase_13 | AC | 341 ms
79,480 KB |
testcase_14 | RE | - |
testcase_15 | RE | - |
testcase_16 | AC | 324 ms
82,472 KB |
testcase_17 | RE | - |
testcase_18 | AC | 295 ms
82,176 KB |
testcase_19 | AC | 224 ms
79,232 KB |
testcase_20 | RE | - |
testcase_21 | RE | - |
testcase_22 | RE | - |
testcase_23 | RE | - |
testcase_24 | RE | - |
testcase_25 | RE | - |
testcase_26 | RE | - |
testcase_27 | RE | - |
testcase_28 | RE | - |
testcase_29 | RE | - |
testcase_30 | RE | - |
testcase_31 | RE | - |
testcase_32 | RE | - |
testcase_33 | RE | - |
testcase_34 | RE | - |
testcase_35 | RE | - |
testcase_36 | RE | - |
testcase_37 | RE | - |
testcase_38 | RE | - |
testcase_39 | RE | - |
testcase_40 | RE | - |
testcase_41 | RE | - |
testcase_42 | RE | - |
testcase_43 | RE | - |
testcase_44 | RE | - |
testcase_45 | RE | - |
testcase_46 | RE | - |
testcase_47 | RE | - |
testcase_48 | RE | - |
testcase_49 | RE | - |
testcase_50 | RE | - |
testcase_51 | RE | - |
testcase_52 | RE | - |
testcase_53 | RE | - |
testcase_54 | RE | - |
testcase_55 | RE | - |
ソースコード
from sys import stdin class UnionFind(): def __init__(self, n): self.N = n self.siz = n self.parent_or_size = [-1] * n self.used_list = [] def leader(self, x): if self.parent_or_size[x] < 0: return x if self.parent_or_size[self.parent_or_size[x]] < 0: return self.parent_or_size[x] self.parent_or_size[x] = leader(self.parent_or_size[x]) return self.parent_or_size[x] def same(self, x, y): return self.leader(x) == self.leader(y) def merge(self, x, y): rx, ry = self.leader(x), self.leader(y) if rx == ry: return if self.parent_or_size[rx] > self.parent_or_size[ry]: rx, ry = ry, rx self.parent_or_size[rx] += self.parent_or_size[ry] self.parent_or_size[ry] = rx self.siz -= 1 self.used_list.append(rx) self.used_list.append(ry) def reset(self): self.siz = self.N for pos in self.used_list: self.parent_or_size[pos] = -1 self.used_list.clear() N, Q = map(int, input().split()) is_zero = 0 uf = UnionFind(2 * N) pow2 = [0] * (N + 1) pow2[0] = 1 for i in range(N): pow2[i + 1] = (pow2[i] + pow2[i]) % 998244353 for _ in range(Q): query = list(map(int, stdin.readline().split())) if query[0] <= 2: query[1] -= 1 query[2] -= 1 if query[0] == 1: uf.merge(query[1], query[2]) uf.merge(query[1] + N, query[2] + N) else: uf.merge(query[1], query[2] + N) uf.merge(query[1] + N, query[2]) if uf.same(query[1], query[1] + N): is_zero = 1 else: is_zero = 0 uf.reset() print(0 if is_zero else pow2[uf.siz >> 1])