結果

問題 No.1023 Cyclic Tour
コンテスト
ユーザー H3PO4
提出日時 2021-09-04 09:16:53
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 1,086 ms / 2,000 ms
コード長 2,082 bytes
コンパイル時間 201 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 62,824 KB
最終ジャッジ日時 2024-12-17 15:45:27
合計ジャッジ時間 40,886 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 49
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
from collections import deque

input = sys.stdin.buffer.readline


class UnionFind:
    def __init__(self, n):
        self.n = n
        self.parent = [i for i in range(n)]
        self.height = [1] * n
        self.size = [1] * n

    def find(self, x):
        if self.parent[x] == x:
            return x
        else:
            self.parent[x] = self.find(self.parent[x])
            return self.parent[x]

    def unite(self, x, y):
        x = self.find(x)
        y = self.find(y)
        if x != y:
            if self.height[x] < self.height[y]:
                self.parent[x] = y
                self.size[y] += self.size[x]
            else:
                self.parent[y] = x
                self.size[x] += self.size[y]
                if self.height[x] == self.height[y]:
                    self.height[x] += 1

    def issame(self, x, y):
        return self.find(x) == self.find(y)

    def group_size(self, x):
        return self.size[self.find(x)]

    def group_members(self, x):
        root = self.find(x)
        return [i for i in range(self.n) if self.find(i) == root]

    def roots(self):
        return [i for i, x in enumerate(self.parent) if i == x]

    def group_count(self):
        return len(self.roots())


N, M = map(int, input().split())
directed = []
uf = UnionFind(N)
for _ in range(M):
    a, b, c = map(int, input().split())
    a -= 1
    b -= 1
    if c == 1:
        if uf.issame(a, b):
            # 無向辺のみで閉路アリ
            print('Yes')
            exit()
        uf.unite(a, b)
    else:
        # assert c == 2
        directed.append((a, b))

new_nodes_dict = {x: i for i, x in enumerate(uf.roots())}
L = len(new_nodes_dict)
G = [[] for _ in range(L)]
deg = [0] * L
for a, b in directed:
    an = new_nodes_dict[uf.find(a)]
    bn = new_nodes_dict[uf.find(b)]
    deg[bn] += 1
    G[an].append(bn)

d = deque([i for i, x in enumerate(deg) if not x])
while d:
    v = d.popleft()
    for x in G[v]:
        deg[x] -= 1
        if not deg[x]:
            d.append(x)
print('Yes' if max(deg) else 'No')
0