結果

問題 No.1023 Cyclic Tour
ユーザー ptotq
提出日時 2020-04-10 22:21:20
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,358 bytes
コンパイル時間 188 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 370,360 KB
最終ジャッジ日時 2024-09-15 20:55:18
合計ジャッジ時間 10,152 ms
ジャッジサーバーID
(参考情報)
judge4 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 4
other AC * 7 WA * 5 TLE * 1 -- * 36
権限があれば一括ダウンロードができます

ソースコード

diff #

import sys
input = sys.stdin.readline


def kosaraju(edges, reverse_edges):
    import sys
    from operator import itemgetter
    sys.setrecursionlimit(10**7)
    v_count = len(edges)
    order = [0]*v_count
    k = [1]

    def get_order(v):
        order[v] = 1
        for dest in edges[v]:
            if order[dest] == 0:
                get_order(dest)
        order[v] = k[0]
        k[0] += 1

    def get_components(v):
        order[v] = 0
        return [v] + [_v for dest in reverse_edges[v] if order[dest] > 0 for _v in get_components(dest)]

    for v in range(v_count):
        if order[v] == 0:
            get_order(v)

    return [get_components(v) for v, _ in sorted(enumerate(order), key=itemgetter(1), reverse=True) if order[v] > 0]


N, M = map(int, input().split())
vi = {i: i for i in range(N)}
edges = []

for u, v, c in (map(int, input().split()) for _ in range(M)):
    u -= 1
    v -= 1
    if c == 1:
        if vi[u] == vi[v]:
            print('Yes')
            exit()
        vi[v] = vi[u]
    else:
        edges.append((u, v))

adj = [set() for _ in range(N)]
rev = [set() for _ in range(N)]
for u, v in edges:
    if vi[u] == vi[v]:
        print('Yes')
        exit()
    adj[vi[u]].add(vi[v])
    rev[vi[v]].add(vi[u])

res = kosaraju(adj, rev)
if max(len(sc) for sc in res) > 1:
    print('Yes')
else:
    print('No')
0