結果

問題 No.2780 The Bottle Imp
ユーザー ああいいああいい
提出日時 2024-06-12 12:31:17
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 465 ms / 2,000 ms
コード長 4,076 bytes
コンパイル時間 409 ms
コンパイル使用メモリ 82,084 KB
実行使用メモリ 149,464 KB
最終ジャッジ日時 2024-06-12 12:31:28
合計ジャッジ時間 9,931 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 38 ms
53,600 KB
testcase_01 AC 40 ms
54,188 KB
testcase_02 AC 39 ms
53,628 KB
testcase_03 AC 38 ms
53,008 KB
testcase_04 AC 38 ms
53,168 KB
testcase_05 AC 39 ms
53,656 KB
testcase_06 AC 38 ms
53,668 KB
testcase_07 AC 307 ms
100,592 KB
testcase_08 AC 327 ms
100,576 KB
testcase_09 AC 306 ms
101,064 KB
testcase_10 AC 316 ms
100,048 KB
testcase_11 AC 317 ms
100,452 KB
testcase_12 AC 465 ms
134,156 KB
testcase_13 AC 449 ms
132,044 KB
testcase_14 AC 130 ms
80,048 KB
testcase_15 AC 127 ms
80,176 KB
testcase_16 AC 121 ms
78,796 KB
testcase_17 AC 122 ms
79,460 KB
testcase_18 AC 130 ms
80,360 KB
testcase_19 AC 123 ms
79,736 KB
testcase_20 AC 124 ms
80,088 KB
testcase_21 AC 121 ms
79,568 KB
testcase_22 AC 212 ms
83,904 KB
testcase_23 AC 133 ms
80,192 KB
testcase_24 AC 285 ms
93,724 KB
testcase_25 AC 396 ms
115,648 KB
testcase_26 AC 245 ms
87,124 KB
testcase_27 AC 152 ms
93,064 KB
testcase_28 AC 153 ms
92,772 KB
testcase_29 AC 182 ms
95,232 KB
testcase_30 AC 158 ms
94,108 KB
testcase_31 AC 218 ms
103,412 KB
testcase_32 AC 80 ms
76,904 KB
testcase_33 AC 223 ms
116,324 KB
testcase_34 AC 297 ms
149,464 KB
testcase_35 AC 86 ms
76,964 KB
testcase_36 AC 38 ms
53,176 KB
testcase_37 AC 39 ms
53,100 KB
testcase_38 AC 88 ms
76,760 KB
testcase_39 AC 200 ms
104,428 KB
testcase_40 AC 196 ms
104,544 KB
testcase_41 AC 193 ms
104,616 KB
testcase_42 AC 40 ms
53,660 KB
testcase_43 AC 38 ms
53,184 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 


#強連結成分分解
#分解したら、sG を　頂点数num のグラフとして普通に扱えばいい
#sG は set で作ってある
#Componentに各成分を構成するもとの頂点を入れてる
class SCC():

    #index :0-index or 1-index
    #逆グラフは自動で作る
    def __init__(self,G,index = 1):
        self.G = G
        self.N = len(G)
        self.index = index
        self.rG = self.make_reverse()
        self.parent = [0] * self.N  #各頂点の属する強連結成分の番号

        self.num = 0     #強連結成分の数
        
        self.build()
        self.sG,self.top,self.Component = self.make_sG()

        
        #sG 縮約後のグラフ。setでつくってある
        #top sGをトポロジカルソートしたもの
        #Component 各強連結成分に属する頂点をまとめた配列

    #逆グラフを作る
    def make_reverse(self):
        G = self.G
        rG = [[] for _ in range(self.N)]
        for v in range(self.index,self.N):
            for u in G[v]:
                rG[u].append(v)
        return rG
    def build(self):
        G = self.G
        rG = self.rG
        parent = self.parent
        
        order = []
        memo = [0] * self.N
        stack = []
        label = 0
        for v in range(self.index,self.N):
            if memo[v] == 1:continue
            stack.append((v,0))
            memo[v] = 1
            while stack:
                now,i = stack.pop()
                while i < len(G[now]):
                    u = G[now][i]
                    if memo[u] == 0:
                        memo[u] = 1
                        stack.append((now,i+1))
                        stack.append((u,0))
                        break
                    i += 1
                if i == len(G[now]):
                    order.append(now)
                        
        memo = [0] * self.N
        for v in reversed(order):
            if memo[v] == 1:continue
            stack.append(v)
            memo[v] = 1
            parent[v] = label
            while stack:
                now = stack.pop()
                for u in rG[now]:
                    if memo[u] == 1:
                        continue
                    memo[u] = 1
                    stack.append(u)
                    parent[u] = label
            label += 1
        self.num = label
    #縮約後のグラフを作る
    #トポロジカルソートもする
    def make_sG(self):
        sG = [set() for _ in range(self.num)]
        sGnum = [0] * self.num
        Component = [[] for _ in range(self.num)]
        G = self.G
        parent = self.parent
        for v in range(self.index,self.N):
            pv = parent[v]
            Component[pv].append(v)
            for u in G[v]:
                pu = parent[u]
                if pu == pv:continue
                if pu not in sG[pv]:
                    sG[pv].add(pu)
                    sGnum[pu] += 1
        top = []
        stack = []
        for i in range(self.num):
            if sGnum[i] == 0:
                stack.append(i)
        while stack:
            now = stack.pop()
            top.append(now)
            for v in sG[now]:
                sGnum[v] -= 1
                if sGnum[v] == 0:
                    stack.append(v)
        return sG,top,Component
        

        
N = int(input())

G = [[] for _ in range(N)]
for _ in range(N):
    m,*A = list(map(int,input().split()))
    for a in A:
        G[_].append(a - 1)
scc = SCC(G,0)
sG = scc.sG


flag = True
n = scc.num
memo = [0] * n
stack = [0]
memo[0] = 1
c = 1
if scc.parent[0] != scc.top[0]:flag = False

"""
for s in scc.sG:
    if len(s) > 1:flag = False
"""
"""
while stack:
    now = stack.pop()
    for s in sG[now]:
        if memo[s] == 0:
            memo[s] = 1
            c += 1
            stack.append(s)
if c != n:flag = False
"""
for i in range(scc.num - 1):
    if scc.top[i + 1] not in sG[i]:
        flag = False
if flag:
    print('Yes')
else:
    print('No')

"""
print(scc.top,scc.parent)
print(scc.sG)
print(scc.num)
"""
0