結果

問題 No.2536 同値性と充足可能性
コンテスト
ユーザー ニックネーム
提出日時 2023-11-10 22:42:26
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
WA  
実行時間 -
コード長 692 bytes
コンパイル時間 105 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 38,432 KB
最終ジャッジ日時 2024-09-26 01:58:47
合計ジャッジ時間 7,129 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 22 WA * 9
権限があれば一括ダウンロードができます

ソースコード

diff # 

n,m = map(int,input().split())
adj = [[] for _ in range(n)]
ban = [[] for _ in range(n)]
g = [0]+[-1]*(n-1); st = [0]
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)
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