結果

問題 No.2536 同値性と充足可能性
ユーザー miya145592miya145592
提出日時 2023-11-10 23:25:12
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 486 ms / 2,000 ms
コード長 3,412 bytes
コンパイル時間 187 ms
コンパイル使用メモリ 82,468 KB
実行使用メモリ 151,424 KB
最終ジャッジ日時 2024-09-26 02:21:10
合計ジャッジ時間 5,890 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 37 ms
52,992 KB
testcase_01 AC 34 ms
52,992 KB
testcase_02 AC 35 ms
52,864 KB
testcase_03 AC 35 ms
52,992 KB
testcase_04 AC 34 ms
52,864 KB
testcase_05 AC 34 ms
52,932 KB
testcase_06 AC 33 ms
52,864 KB
testcase_07 AC 34 ms
52,608 KB
testcase_08 AC 35 ms
53,376 KB
testcase_09 AC 35 ms
52,608 KB
testcase_10 AC 33 ms
52,736 KB
testcase_11 AC 33 ms
52,992 KB
testcase_12 AC 34 ms
53,120 KB
testcase_13 AC 35 ms
53,120 KB
testcase_14 AC 34 ms
53,088 KB
testcase_15 AC 33 ms
52,992 KB
testcase_16 AC 34 ms
52,992 KB
testcase_17 AC 53 ms
67,328 KB
testcase_18 AC 49 ms
65,556 KB
testcase_19 AC 36 ms
53,248 KB
testcase_20 AC 52 ms
70,520 KB
testcase_21 AC 69 ms
78,432 KB
testcase_22 AC 72 ms
78,336 KB
testcase_23 AC 171 ms
97,664 KB
testcase_24 AC 165 ms
96,992 KB
testcase_25 AC 482 ms
139,264 KB
testcase_26 AC 486 ms
150,292 KB
testcase_27 AC 370 ms
139,264 KB
testcase_28 AC 465 ms
151,424 KB
testcase_29 AC 446 ms
145,988 KB
testcase_30 AC 317 ms
148,416 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class UnionFind:
    def __init__(self, n, w=None):
        self.par = [-1]*n
        self.rank = [0]*n
        self.siz = [1]*n
        self.cnt = n
        self.min_node = [i for i in range(n)]
        self.weight = w if w else [1]*n

    def root(self, x):
        if self.par[x] == -1:
            return x
        self.par[x] = self.root(self.par[x])
        return self.par[x]

    def issame(self, x, y):
        return self.root(x) == self.root(y)
            
    def unite(self, x, y):
        px = self.root(x)
        py = self.root(y)
        if px == py:
            return False
        if self.rank[px] < self.rank[py]:
            px, py = py, px
        self.par[py] = px
        if self.rank[px] == self.rank[py]:
            self.rank[px] += 1
        self.siz[px] += self.siz[py]
        self.cnt -= 1
        self.min_node[px] = min(self.min_node[px], self.min_node[py])
        self.weight[px] += self.weight[py]
        return False

    def count(self):
        return self.cnt

    def min(self, x):
        return self.min_node[self.root(x)]

    def getweight(self, x):
        return self.weight[self.root(x)]
    
    def size(self, x):
        return self.siz[self.root(x)]

import sys
sys.setrecursionlimit(10**6)
input = sys.stdin.readline
N, M = map(int, input().split())
iEj = [input().split() for _ in range(M)]
UF = UnionFind(N)
for i, E, j in iEj:
    i = int(i)
    j = int(j)
    i-=1
    j-=1
    if E=="<==>":
        UF.unite(i, j)
D = dict()
Z = []
for i in range(N):
    r = UF.root(i)
    if r not in D:
        D[r] = len(D)
        Z.append(r)
G = [[] for _ in range(len(D))]
UF2 = UnionFind(len(D))
for i, E, j in iEj:
    i = int(i)
    j = int(j)
    i-=1
    j-=1
    if E=="<=/=>":
        ri = UF.root(i)
        rj = UF.root(j)
        if ri==rj:
            print("No")
            exit()
        G[D[ri]].append(D[rj])
        G[D[rj]].append(D[ri])
        UF2.unite(D[ri], D[rj])

color = [0] * len(D)

# 頂点を1と-1で塗っていく
def dfs(v, c):
    color[v] = c    # 頂点vをcで塗る
    for i in range(len(G[v])):
        # 隣接している頂点が同じ色ならFalse
        if color[G[v][i]] == c:
            return False
        # 隣接している頂点がまだ塗られていないなら-cで塗る
        if color[G[v][i]] == 0 and not dfs(G[v][i], -c):
            return False
    # すべての頂点を塗れたらTrue
    return True

for i in range(len(D)):
    if color[i] == 0:
        # まだ頂点iが塗られていなければ1で塗る
        if not dfs(i, 1):
            print("No")
            exit()

color_cnt = dict()
color_group = dict()
for i in range(len(D)):
    ri = UF2.root(i)
    if ri not in color_cnt:
        color_cnt[ri] = [0, 0]
        color_group[ri] = [[], []]
    c = color[i]
    if c==1:
        color_cnt[ri][1] += UF.size(Z[i])
        color_group[ri][1].append(Z[i])
    else:
        color_cnt[ri][0] += UF.size(Z[i])
        color_group[ri][0].append(Z[i])

cnt = 0
group = []
for key in color_cnt:
    cnt0, cnt1 = color_cnt[key]
    if cnt0<cnt1:
        cnt+=cnt1
        group.extend(color_group[key][1])
    else:
        cnt+=cnt0
        group.extend(color_group[key][0])

if (N+1)//2 > cnt:
    print("No")
    exit()

group = set(group)
ans = []
for i in range(N):
    ri = UF.root(i)
    if ri in group:
        ans.append(i+1)
print("Yes")
print(len(ans))
print(*ans)
0