結果

問題 No.2536 同値性と充足可能性
ユーザー ニックネームニックネーム
提出日時 2023-11-10 22:21:10
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
WA  
実行時間 -
コード長 792 bytes
コンパイル時間 167 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 18,304 KB
最終ジャッジ日時 2024-09-26 01:46:48
合計ジャッジ時間 10,639 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 8 WA * 23
権限があれば一括ダウンロードができます

ソースコード

diff # 

class UF:
    def __init__(self,n):
        self.p = [-1]*n
    def f(self,x):
        if self.p[x]<0: return x
        else: self.p[x] = self.f(self.p[x]); return self.p[x]
    def u(self,x,y):
        x = self.f(x); y = self.f(y)
        if x==y: return
        if -self.p[x]<-self.p[y]: x,y = y,x
        self.p[x] += self.p[y]; self.p[y] = x
    def s(self,x,y): return self.f(x) == self.f(y)
n,m = map(int,input().split())
uf = UF(2*n)
for _ in range(m):
    i,e,j = input().split()
    i,j = int(i)-1,int(j)-1
    if e=="<==>": uf.u(i,j); uf.u(i+n,j+n)
    else: uf.u(i,j+n); uf.u(i+n,j)
for i in range(n):
    if uf.s(i,i+n): exit(print("No"))
print("Yes")
a = [i+1 for i in range(n) if uf.f(i)==uf.f(0)]
b = [i+1 for i in range(n) if uf.f(i)!=uf.f(0)]
print(*a if len(b)<=n//2 else b)
0