結果

問題 No.2536 同値性と充足可能性
ユーザー ニックネームニックネーム
提出日時 2023-11-10 22:21:10
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
WA  
実行時間 -
コード長 792 bytes
コンパイル時間 167 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 18,304 KB
最終ジャッジ日時 2024-09-26 01:46:48
合計ジャッジ時間 10,639 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 AC 29 ms
10,752 KB
testcase_02 WA -
testcase_03 AC 30 ms
10,752 KB
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 AC 31 ms
10,752 KB
testcase_20 AC 69 ms
10,752 KB
testcase_21 AC 73 ms
10,752 KB
testcase_22 AC 77 ms
10,752 KB
testcase_23 AC 469 ms
11,136 KB
testcase_24 AC 461 ms
11,136 KB
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
権限があれば一括ダウンロードができます

ソースコード

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