結果

問題 No.2780 The Bottle Imp
ユーザー noriocnorioc
提出日時 2024-08-28 06:33:09
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 607 ms / 2,000 ms
コード長 1,625 bytes
コンパイル時間 549 ms
コンパイル使用メモリ 82,320 KB
実行使用メモリ 284,968 KB
最終ジャッジ日時 2024-08-28 06:33:25
合計ジャッジ時間 13,216 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 39 ms
54,428 KB
testcase_01 AC 39 ms
54,856 KB
testcase_02 AC 38 ms
54,192 KB
testcase_03 AC 39 ms
54,528 KB
testcase_04 AC 39 ms
54,236 KB
testcase_05 AC 40 ms
54,220 KB
testcase_06 AC 39 ms
55,492 KB
testcase_07 AC 386 ms
110,316 KB
testcase_08 AC 374 ms
112,044 KB
testcase_09 AC 419 ms
122,168 KB
testcase_10 AC 455 ms
122,984 KB
testcase_11 AC 417 ms
122,920 KB
testcase_12 AC 362 ms
124,280 KB
testcase_13 AC 473 ms
124,840 KB
testcase_14 AC 162 ms
90,388 KB
testcase_15 AC 158 ms
90,996 KB
testcase_16 AC 156 ms
89,316 KB
testcase_17 AC 165 ms
90,100 KB
testcase_18 AC 158 ms
88,084 KB
testcase_19 AC 170 ms
88,256 KB
testcase_20 AC 188 ms
90,680 KB
testcase_21 AC 166 ms
88,824 KB
testcase_22 AC 253 ms
97,132 KB
testcase_23 AC 182 ms
91,752 KB
testcase_24 AC 380 ms
113,464 KB
testcase_25 AC 482 ms
122,768 KB
testcase_26 AC 319 ms
107,132 KB
testcase_27 AC 159 ms
92,556 KB
testcase_28 AC 151 ms
92,468 KB
testcase_29 AC 275 ms
123,036 KB
testcase_30 AC 140 ms
91,808 KB
testcase_31 AC 261 ms
112,572 KB
testcase_32 AC 78 ms
77,636 KB
testcase_33 AC 607 ms
284,968 KB
testcase_34 AC 493 ms
249,788 KB
testcase_35 AC 85 ms
77,380 KB
testcase_36 AC 40 ms
55,524 KB
testcase_37 AC 40 ms
54,816 KB
testcase_38 AC 87 ms
77,380 KB
testcase_39 AC 314 ms
144,432 KB
testcase_40 AC 319 ms
143,992 KB
testcase_41 AC 326 ms
144,748 KB
testcase_42 AC 39 ms
54,016 KB
testcase_43 AC 40 ms
53,676 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

from collections import defaultdict
import sys
sys.setrecursionlimit(10 ** 6)


# n : 頂点数
# 辺 : {u: [v...]}
# return : 強連結成分のリスト (トポロジカルソート順)
def scc(n, adj) -> list:
    def dfs(node, used, acc):
        used[node] = True
        for to in adj[node]:
            if used[to]: continue
            dfs(to, used, acc)
        acc.append(node)

    def r_dfs(node, used, g):
        used[node] = True
        g.append(node)
        for to in radj[node]:
            if used[to]: continue
            r_dfs(to, used, g)

    radj = defaultdict(list)  # 逆辺
    for k, vs in adj.items():
        for v in vs:
            radj[v].append(k)

    acc = []
    used = [False] * n
    for i in range(n):
        if used[i]: continue
        dfs(i, used, acc)

    cc = []
    used = [False] * n
    for node in reversed(acc):
        if used[node]: continue
        g = []
        r_dfs(node, used, g)
        cc.append(g)
    return cc


N = int(input())
adj = defaultdict(list)
for i in range(N):
    M, *A = list(map(int, input().split()))
    for a in A:
        adj[i].append(a-1)


ss = scc(N, adj)
group_inds = [0] * N
for i, cc in enumerate(ss):
    for x in cc:
        group_inds[x] = i

# SCC の先頭に 0 が含まれない
if 0 not in ss[0]:
    print('No')
    exit()

# SCC の各グループから次の SCC へ遷移できるか
for i in range(len(ss)-1):
    ok = False
    for x in ss[i]:
        for y in adj[x]:
            if group_inds[y] == i+1:
                ok = True
                break

    if not ok:
        print('No')
        exit()

print('Yes')
0