結果
問題 | No.2536 同値性と充足可能性 |
ユーザー | mkawa2 |
提出日時 | 2023-11-10 22:27:10 |
言語 | Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0) |
結果 |
AC
|
実行時間 | 646 ms / 2,000 ms |
コード長 | 1,519 bytes |
コンパイル時間 | 355 ms |
コンパイル使用メモリ | 12,032 KB |
実行使用メモリ | 46,020 KB |
最終ジャッジ日時 | 2023-11-10 22:27:18 |
合計ジャッジ時間 | 7,332 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 31 ms
10,240 KB |
testcase_01 | AC | 32 ms
10,240 KB |
testcase_02 | AC | 32 ms
10,240 KB |
testcase_03 | AC | 32 ms
10,240 KB |
testcase_04 | AC | 31 ms
10,240 KB |
testcase_05 | AC | 30 ms
10,240 KB |
testcase_06 | AC | 30 ms
10,240 KB |
testcase_07 | AC | 30 ms
10,240 KB |
testcase_08 | AC | 30 ms
10,240 KB |
testcase_09 | AC | 31 ms
10,240 KB |
testcase_10 | AC | 31 ms
10,240 KB |
testcase_11 | AC | 30 ms
10,240 KB |
testcase_12 | AC | 30 ms
10,240 KB |
testcase_13 | AC | 31 ms
10,240 KB |
testcase_14 | AC | 31 ms
10,240 KB |
testcase_15 | AC | 31 ms
10,240 KB |
testcase_16 | AC | 31 ms
10,240 KB |
testcase_17 | AC | 34 ms
10,368 KB |
testcase_18 | AC | 34 ms
10,368 KB |
testcase_19 | AC | 31 ms
10,240 KB |
testcase_20 | AC | 51 ms
11,520 KB |
testcase_21 | AC | 53 ms
12,160 KB |
testcase_22 | AC | 53 ms
12,160 KB |
testcase_23 | AC | 305 ms
31,744 KB |
testcase_24 | AC | 311 ms
31,872 KB |
testcase_25 | AC | 634 ms
45,124 KB |
testcase_26 | AC | 586 ms
44,716 KB |
testcase_27 | AC | 646 ms
45,808 KB |
testcase_28 | AC | 573 ms
44,480 KB |
testcase_29 | AC | 630 ms
45,324 KB |
testcase_30 | AC | 579 ms
46,020 KB |
ソースコード
import sys sys.setrecursionlimit(200005) # sys.set_int_max_str_digits(200005) int1 = lambda x: int(x)-1 pDB = lambda *x: print(*x, end="\n", file=sys.stderr) p2D = lambda x: print(*x, sep="\n", end="\n\n", file=sys.stderr) def II(): return int(sys.stdin.readline()) def LI(): return list(map(int, sys.stdin.readline().split())) def LLI(rows_number): return [LI() for _ in range(rows_number)] def LI1(): return list(map(int1, sys.stdin.readline().split())) def LLI1(rows_number): return [LI1() for _ in range(rows_number)] def SI(): return sys.stdin.readline().rstrip() dij = [(0, 1), (-1, 0), (0, -1), (1, 0)] # dij = [(0, 1), (-1, 0), (0, -1), (1, 0), (1, 1), (1, -1), (-1, 1), (-1, -1)] # inf = -1-(-1 << 31) inf = -1-(-1 << 63) md = 10**9+7 # md = 998244353 n, m = LI() to = [[] for _ in range(n)] for _ in range(m): i, e, j = SI().split() i = int1(i) j = int1(j) c = len(e) == 5 to[i].append((j, c)) to[j].append((i, c)) def dfs(u): uu[color[u]].append(u+1) for v, c in to[u]: if color[v] == -1: color[v] = color[u] ^ c if dfs(v): return True elif color[v]!=color[u]^c: return True return False color = [-1]*n ans = [] for u in range(n): if color[u] != -1: continue color[u] = 0 uu = [[], []] if dfs(u): print("No") exit() if len(uu[0])>len(uu[1]): ans+=uu[0] else: ans+=uu[1] # print(color) # print(uu) ans.sort() print("Yes") print(len(ans)) print(*ans)