結果

問題 No.2780 The Bottle Imp
ユーザー titiatitia
提出日時 2024-06-07 22:19:49
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 2,576 bytes
コンパイル時間 700 ms
コンパイル使用メモリ 81,920 KB
実行使用メモリ 123,284 KB
最終ジャッジ日時 2024-12-27 14:00:24
合計ジャッジ時間 10,055 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 50 ms
52,608 KB
testcase_01 AC 44 ms
51,968 KB
testcase_02 AC 43 ms
52,096 KB
testcase_03 AC 50 ms
52,352 KB
testcase_04 AC 47 ms
52,224 KB
testcase_05 AC 46 ms
52,096 KB
testcase_06 AC 45 ms
52,224 KB
testcase_07 RE -
testcase_08 RE -
testcase_09 RE -
testcase_10 RE -
testcase_11 RE -
testcase_12 RE -
testcase_13 RE -
testcase_14 AC 159 ms
80,640 KB
testcase_15 AC 149 ms
80,640 KB
testcase_16 AC 170 ms
80,768 KB
testcase_17 AC 153 ms
80,768 KB
testcase_18 AC 143 ms
81,152 KB
testcase_19 AC 149 ms
80,768 KB
testcase_20 AC 147 ms
81,024 KB
testcase_21 AC 146 ms
80,768 KB
testcase_22 AC 191 ms
82,832 KB
testcase_23 AC 155 ms
80,512 KB
testcase_24 RE -
testcase_25 RE -
testcase_26 AC 239 ms
92,544 KB
testcase_27 AC 169 ms
102,784 KB
testcase_28 AC 175 ms
102,528 KB
testcase_29 AC 191 ms
95,744 KB
testcase_30 AC 158 ms
89,472 KB
testcase_31 AC 260 ms
119,716 KB
testcase_32 AC 104 ms
79,360 KB
testcase_33 AC 218 ms
111,488 KB
testcase_34 AC 267 ms
123,284 KB
testcase_35 AC 109 ms
77,952 KB
testcase_36 AC 43 ms
52,352 KB
testcase_37 AC 45 ms
52,352 KB
testcase_38 AC 122 ms
78,080 KB
testcase_39 AC 202 ms
105,216 KB
testcase_40 AC 227 ms
105,088 KB
testcase_41 AC 219 ms
105,344 KB
testcase_42 AC 48 ms
52,096 KB
testcase_43 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = sys.stdin.readline

N=int(input())

E=[[] for i in range(N)]
E_INV=[[] for i in range(N)]

for i in range(N):
    A=list(map(int,input().split()))

    for a in A[1:]:
        E[i].append(a-1)
        E_INV[a-1].append(i)

# （一般グラフの）トポロジカルソート、SCC

# DFSして帰り際にTOPに点を放り込んでいる。
# NOWで現在地点、USEINDで、どこの辺まで既に見たか、を調べている。
def Top_sort(E):
    Parent=[-1]*N
    USEIND=[0]*N
    TOP=[]

    for ROOT in range(N):
        if Parent[ROOT]!=-1:
            continue
        Parent[ROOT]=ROOT

        NOW=ROOT

        while NOW!=ROOT or USEIND[ROOT]!=len(E[ROOT]):

            if USEIND[NOW]==len(E[NOW]):
                TOP.append(NOW)
                NOW=Parent[NOW]
            elif E[NOW][USEIND[NOW]]==Parent[NOW]:
                USEIND[NOW]+=1
            else:
                NEXT=E[NOW][USEIND[NOW]]
                USEIND[NOW]+=1
                if Parent[NEXT]==-1:
                    Parent[NEXT]=NOW
                    NOW=NEXT
        TOP.append(ROOT)
        
    return TOP[::-1]


USE=[0]*N
SCC=[]

# SCCを調べるための逆順DFS。
# やっていることはhttps://manabitimes.jp/math/1250　などと同じ。
def dfs2(x):
    Q=[x]
    USE[x]=1
    ANS=[]

    while Q:
        x=Q.pop()
        ANS.append(x)
        for to in E_INV[x]:
            if USE[to]==0:
                USE[to]=1
                Q.append(to)
    return ANS

TOP_SORT=Top_sort(E)

for x in TOP_SORT:
    if USE[x]==0:
        SCC.append(dfs2(x))

#print(SCC)

E2=[set() for i in range(N)]

# UnionFind

Group = [i for i in range(N+1)] # グループ分け
Nodes = [1]*(N+1) # 各グループのノードの数

def find(x):
    while Group[x] != x:
        x=Group[x]
    return x

def Union(x,y):
    if find(x) != find(y):
        if Nodes[find(x)] < Nodes[find(y)]:
            
            Nodes[find(y)] += Nodes[find(x)]
            Nodes[find(x)] = 0
            Group[find(x)] = find(y)
            
        else:
            Nodes[find(x)] += Nodes[find(y)]
            Nodes[find(y)] = 0
            Group[find(y)] = find(x)

for i in range(len(SCC)):
    LIST=SCC[i]
    for j in range(1,len(LIST)):
        x=LIST[i]
        y=LIST[i-1]

        Union(x,y)

for i in range(N):
    for to in E[i]:
        E2[find(i)].add(find(to))

flag=1
for i in range(1,len(SCC)):
    x=SCC[i-1][0]
    y=SCC[i][0]

    if find(y) in E2[find(x)]:
        pass
    else:
        flag=0

if flag==1:
    print("Yes")
else:
    print("No")
0