結果

問題 No.2780 The Bottle Imp
コンテスト
ユーザー norioc
提出日時 2026-10-04 15:25:09
言語 PyPy3
(7.3.23 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 366 ms / 2,000 ms
+ 824µs
コード長 1,624 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 68 ms
コンパイル使用メモリ 81,252 KB
実行使用メモリ 269,312 KB
最終ジャッジ日時 2026-10-04 15:25:32
合計ジャッジ時間 10,344 ms
ジャッジサーバーID
（参考情報） 		judge4_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 40
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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


def scc(n: int, adj: dict[int, list[int]]) -> list[list[int]]:
    """グラフを強連結成分分解する。

    Args:
        n: 頂点数
        adj: 隣接リスト {u: [v...]}

    Returns:
        強連結成分のリスト (トポロジカル順)
    """

    def dfs(v, used, acc):
        used[v] = True
        for to in adj[v]:
            if used[to]: continue
            dfs(to, used, acc)
        acc.append(v)

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

    r_adj = defaultdict(list)  # 逆辺
    for k, vs in adj.items():
        for v in vs:
            r_adj[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)

cc = scc(N, adj)

# 開始頂点 0 が SCC の先頭になければ No
if 0 not in cc[0]:
    print('No')
    exit()

for a, b in pairwise(cc):
    vset = set(b)
    ok = False
    for u in a:
        if any(v in vset for v in adj[u]):
            ok = True
            break

    if not ok:
        print('No')
        break
else:
    print('Yes')
0