結果

問題 No.2536 同値性と充足可能性
ユーザー flygonflygon
提出日時 2023-11-10 22:02:19
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,393 bytes
コンパイル時間 394 ms
コンパイル使用メモリ 82,260 KB
実行使用メモリ 104,012 KB
最終ジャッジ日時 2024-09-26 01:32:54
合計ジャッジ時間 5,181 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 39 ms
54,804 KB
testcase_01 AC 39 ms
54,784 KB
testcase_02 AC 44 ms
56,284 KB
testcase_03 AC 40 ms
55,636 KB
testcase_04 AC 40 ms
55,464 KB
testcase_05 AC 40 ms
55,812 KB
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 AC 40 ms
55,996 KB
testcase_10 AC 40 ms
55,540 KB
testcase_11 AC 41 ms
55,168 KB
testcase_12 AC 40 ms
55,212 KB
testcase_13 AC 42 ms
55,768 KB
testcase_14 AC 40 ms
54,912 KB
testcase_15 AC 39 ms
55,304 KB
testcase_16 AC 39 ms
55,520 KB
testcase_17 AC 50 ms
66,100 KB
testcase_18 AC 50 ms
65,664 KB
testcase_19 WA -
testcase_20 AC 59 ms
73,664 KB
testcase_21 AC 63 ms
74,496 KB
testcase_22 AC 69 ms
77,184 KB
testcase_23 AC 147 ms
86,656 KB
testcase_24 AC 141 ms
86,928 KB
testcase_25 WA -
testcase_26 WA -
testcase_27 AC 202 ms
103,144 KB
testcase_28 WA -
testcase_29 WA -
testcase_30 AC 178 ms
104,012 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
sys.setrecursionlimit(5*10**5)
input = sys.stdin.readline
from collections import defaultdict, deque, Counter
from heapq import heappop, heappush
from bisect import bisect_left, bisect_right
from math import gcd
from collections import defaultdict
n,m = map(int,input().split())
graph = [[] for i in range(n+1)]
for i in range(m):
    u, e, v = map(str,input().split())
    u = int(u)
    v = int(v)
    if e == "<=/=>":
        graph[u].append((v,1))
        graph[v].append((u,1))
    else:
        graph[u].append((v,0))
        graph[v].append((u,0))

def bfs(s, n):
    que = deque([s])
    depth = [-1]*(n+1)
    depth[s] = 0
    ok = 1
    while que:
        crr = que.popleft()
        for nxt,w in graph[crr]:
            if depth[nxt] == -1:
                depth[nxt] = depth[crr]^w
                que.append(nxt)
            else:
                if depth[nxt] != depth[crr]^w:
                    ok = 0

    return ok, depth
ok, d = bfs(1, n)
if not ok:
    print('No')
else:
    z = []
    o = []
    no = []
    for i in range(1, n+1):
        if d[i] == 1:
            o.append(i)
        elif d[i] == 0:
            z.append(i)
        else:
            no.append(i)
    print('Yes')
    if len(o) > len(z):
        o += no
        o.sort()
        print(len(o))
        print(*o)
    else:
        z+= no
        z.sort()
        print(len(z))
        print(*z)
0