結果

問題 No.2536 同値性と充足可能性
ユーザー ニックネームニックネーム
提出日時 2023-11-10 22:43:50
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 764 ms / 2,000 ms
コード長 774 bytes
コンパイル時間 274 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 40,960 KB
最終ジャッジ日時 2024-09-26 01:59:14
合計ジャッジ時間 8,038 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 29 ms
10,880 KB
testcase_01 AC 30 ms
10,752 KB
testcase_02 AC 30 ms
10,752 KB
testcase_03 AC 30 ms
10,752 KB
testcase_04 AC 29 ms
10,880 KB
testcase_05 AC 29 ms
10,752 KB
testcase_06 AC 29 ms
10,752 KB
testcase_07 AC 29 ms
10,752 KB
testcase_08 AC 30 ms
10,752 KB
testcase_09 AC 30 ms
10,752 KB
testcase_10 AC 30 ms
10,880 KB
testcase_11 AC 30 ms
10,880 KB
testcase_12 AC 30 ms
10,880 KB
testcase_13 AC 30 ms
10,752 KB
testcase_14 AC 30 ms
10,752 KB
testcase_15 AC 30 ms
10,880 KB
testcase_16 AC 30 ms
10,880 KB
testcase_17 AC 34 ms
10,752 KB
testcase_18 AC 34 ms
10,752 KB
testcase_19 AC 30 ms
10,880 KB
testcase_20 AC 62 ms
11,008 KB
testcase_21 AC 66 ms
11,520 KB
testcase_22 AC 66 ms
11,520 KB
testcase_23 AC 401 ms
20,480 KB
testcase_24 AC 414 ms
20,992 KB
testcase_25 AC 764 ms
40,704 KB
testcase_26 AC 732 ms
40,320 KB
testcase_27 AC 740 ms
40,576 KB
testcase_28 AC 739 ms
40,448 KB
testcase_29 AC 720 ms
40,576 KB
testcase_30 AC 701 ms
40,960 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

n,m = map(int,input().split())
adj = [[] for _ in range(n)]
ban = [[] for _ in range(n)]
g = [-1]*n
for _ in range(m):
    i,e,j = input().split()
    i,j = int(i)-1,int(j)-1
    if e=="<==>": adj[i].append(j); adj[j].append(i)
    else: ban[i].append(j); ban[j].append(i)
for i in range(n):
    if g[i]!=-1: continue
    g[i] = 0; st = [i]
    while st:
        p = st.pop()
        for c in adj[p]:
            if g[c]==-1: g[c] = g[p]; st.append(c)
            elif g[c]!=g[p]: exit(print("No"))
        for c in ban[p]:
            if g[c]==-1: g[c] = g[p]^1; st.append(c)
            elif g[c]==g[p]: exit(print("No"))
a = [i+1 for i in range(n) if g[i]==0]
b = [i+1 for i in range(n) if g[i]==1]
print("Yes"); print(max(len(a),len(b)))
print(*a if len(b)<=n//2 else b)
0