結果

問題 No.2536 同値性と充足可能性
ユーザー ニックネーム
提出日時 2023-11-10 22:43:50
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
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
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 31
権限があれば一括ダウンロードができます

ソースコード

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