結果

問題 No.2780 The Bottle Imp
ユーザー noriocnorioc
提出日時 2024-06-07 23:42:27
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,786 bytes
コンパイル時間 262 ms
コンパイル使用メモリ 82,440 KB
実行使用メモリ 315,784 KB
最終ジャッジ日時 2024-06-08 10:39:30
合計ジャッジ時間 12,612 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 47 ms
53,632 KB
testcase_01 AC 46 ms
53,632 KB
testcase_02 AC 41 ms
53,888 KB
testcase_03 AC 44 ms
53,504 KB
testcase_04 AC 41 ms
53,888 KB
testcase_05 AC 42 ms
53,760 KB
testcase_06 AC 41 ms
53,888 KB
testcase_07 AC 406 ms
113,664 KB
testcase_08 AC 423 ms
115,584 KB
testcase_09 AC 469 ms
126,208 KB
testcase_10 AC 498 ms
130,304 KB
testcase_11 AC 476 ms
125,568 KB
testcase_12 AC 425 ms
136,960 KB
testcase_13 AC 514 ms
139,364 KB
testcase_14 AC 196 ms
89,856 KB
testcase_15 AC 182 ms
89,856 KB
testcase_16 AC 174 ms
88,576 KB
testcase_17 AC 184 ms
90,496 KB
testcase_18 AC 177 ms
87,936 KB
testcase_19 AC 184 ms
88,192 KB
testcase_20 AC 180 ms
89,600 KB
testcase_21 AC 188 ms
88,832 KB
testcase_22 AC 294 ms
98,944 KB
testcase_23 AC 211 ms
92,544 KB
testcase_24 AC 444 ms
121,344 KB
testcase_25 AC 512 ms
132,480 KB
testcase_26 AC 356 ms
105,984 KB
testcase_27 AC 179 ms
95,744 KB
testcase_28 AC 176 ms
95,872 KB
testcase_29 AC 280 ms
131,072 KB
testcase_30 AC 156 ms
96,640 KB
testcase_31 AC 305 ms
123,136 KB
testcase_32 AC 88 ms
77,056 KB
testcase_33 AC 652 ms
315,784 KB
testcase_34 AC 853 ms
312,580 KB
testcase_35 AC 96 ms
77,612 KB
testcase_36 AC 42 ms
53,888 KB
testcase_37 AC 44 ms
53,632 KB
testcase_38 AC 96 ms
77,652 KB
testcase_39 AC 357 ms
157,524 KB
testcase_40 AC 355 ms
157,312 KB
testcase_41 AC 353 ms
157,184 KB
testcase_42 WA -
testcase_43 AC 42 ms
53,504 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)


s = scc(N, adj)
tab = [-1] * N
g = defaultdict(list)
for i, cc in enumerate(s):
    for x in cc:
        tab[x] = i
        g[i].append(x)


def dfs(v):
    used.add(v)
    # 頂点 v の scc
    s = set()
    for cc in g[tab[v]]:
        #print(f'{v=} {cc=}')
        for to in adj[cc]:
            # 頂点 v とは異なる scc に属する
            used.add(to)
            if tab[v] != tab[to]:
                s.add(to)

    #print(f'{v=} {s=}')
    if len(s) > 1:
        print('No')
        exit()

    if len(s) == 1:
        dfs(list(s)[0])


used = set()
dfs(0)
#print(f'{len(used)=}')
if len(used) == N:
    print('Yes')
else:
    print('No')
0