結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 45 ms
53,632 KB
testcase_01 AC 44 ms
53,888 KB
testcase_02 AC 44 ms
53,632 KB
testcase_03 AC 44 ms
53,632 KB
testcase_04 AC 44 ms
53,888 KB
testcase_05 AC 44 ms
53,760 KB
testcase_06 AC 45 ms
53,632 KB
testcase_07 AC 397 ms
113,536 KB
testcase_08 AC 410 ms
115,840 KB
testcase_09 AC 455 ms
126,336 KB
testcase_10 AC 489 ms
129,920 KB
testcase_11 AC 455 ms
125,824 KB
testcase_12 AC 416 ms
136,576 KB
testcase_13 AC 497 ms
139,392 KB
testcase_14 AC 183 ms
89,856 KB
testcase_15 AC 185 ms
89,600 KB
testcase_16 AC 178 ms
88,576 KB
testcase_17 AC 191 ms
89,472 KB
testcase_18 AC 175 ms
87,680 KB
testcase_19 AC 188 ms
88,064 KB
testcase_20 AC 187 ms
89,600 KB
testcase_21 AC 186 ms
88,832 KB
testcase_22 AC 296 ms
99,328 KB
testcase_23 AC 210 ms
92,288 KB
testcase_24 AC 445 ms
120,960 KB
testcase_25 AC 515 ms
132,608 KB
testcase_26 AC 354 ms
105,984 KB
testcase_27 AC 181 ms
95,872 KB
testcase_28 AC 182 ms
95,872 KB
testcase_29 AC 377 ms
131,072 KB
testcase_30 AC 161 ms
96,512 KB
testcase_31 AC 305 ms
123,136 KB
testcase_32 AC 97 ms
77,056 KB
testcase_33 AC 709 ms
315,272 KB
testcase_34 AC 886 ms
312,824 KB
testcase_35 AC 95 ms
77,696 KB
testcase_36 AC 44 ms
53,376 KB
testcase_37 AC 43 ms
53,632 KB
testcase_38 AC 101 ms
77,312 KB
testcase_39 AC 355 ms
157,440 KB
testcase_40 AC 358 ms
157,312 KB
testcase_41 AC 353 ms
157,440 KB
testcase_42 WA -
testcase_43 AC 45 ms
53,632 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