結果

問題 No.1865 Make Cycle
ユーザー tassei903tassei903
提出日時 2022-03-11 12:41:06
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 2,124 ms / 3,000 ms
コード長 1,986 bytes
コンパイル時間 350 ms
コンパイル使用メモリ 86,996 KB
実行使用メモリ 242,608 KB
最終ジャッジ日時 2023-10-05 17:11:58
合計ジャッジ時間 36,277 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1,890 ms
205,448 KB
testcase_01 AC 1,074 ms
138,140 KB
testcase_02 AC 1,963 ms
172,820 KB
testcase_03 AC 1,039 ms
154,220 KB
testcase_04 AC 1,397 ms
179,036 KB
testcase_05 AC 1,392 ms
180,276 KB
testcase_06 AC 1,469 ms
164,492 KB
testcase_07 AC 1,489 ms
160,628 KB
testcase_08 AC 1,991 ms
184,488 KB
testcase_09 AC 1,304 ms
174,624 KB
testcase_10 AC 1,772 ms
182,856 KB
testcase_11 AC 1,555 ms
172,104 KB
testcase_12 AC 1,483 ms
159,968 KB
testcase_13 AC 1,815 ms
242,608 KB
testcase_14 AC 1,204 ms
151,164 KB
testcase_15 AC 1,857 ms
179,832 KB
testcase_16 AC 1,865 ms
185,112 KB
testcase_17 AC 1,328 ms
155,208 KB
testcase_18 AC 1,274 ms
183,964 KB
testcase_19 AC 2,124 ms
205,072 KB
testcase_20 AC 69 ms
71,388 KB
testcase_21 AC 68 ms
71,372 KB
testcase_22 AC 70 ms
71,360 KB
testcase_23 AC 69 ms
71,488 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = lambda :sys.stdin.readline()[:-1]
ni = lambda :int(input())
na = lambda :list(map(int,input().split()))
yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")
no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")
#######################################################################
# 強連結成分分解(SCC): グラフGに対するSCCを行う
# 入力: <N>: 頂点サイズ, <G>: 順方向の有向グラフ, <RG>: 逆方向の有向グラフ
# 出力: (<ラベル数>, <各頂点のラベル番号>)
def scc(N, G, RG, y):
    order = []
    used = [0]*N
    group = [None]*N
    def dfs(s):
        used[s] = 1
        for t,x in G[s]:
            if x > y:
                continue
            if not used[t]:
                dfs(t)
        order.append(s)
    def rdfs(s, col):
        group[s] = col
        used[s] = 1
        for t, x in RG[s]:
            if x > y:
                continue
            if not used[t]:
                rdfs(t, col)
    for i in range(N):
        if not used[i]:
            dfs(i)
    used = [0]*N
    label = 0
    for s in reversed(order):
        if not used[s]:
            rdfs(s, label)
            label += 1
    return label, group

# 縮約後のグラフを構築
def construct(N, G, label, group):
    G0 = [set() for i in range(label)]
    GP = [[] for i in range(label)]
    for v in range(N):
        lbs = group[v]
        for w in G[v]:
            lbt = group[w]
            if lbs == lbt:
                continue
            G0[lbs].add(lbt)
        GP[lbs].append(v)
    return G0, GP
n,q = na()
g = [[] for i in range(n)]
rg = [[] for i in range(n)]

for j in range(q):
    a,b = na()
    a-=1
    b-=1
    g[a].append((b,j))
    rg[b].append((a, j))
sys.setrecursionlimit(200000)



ok = q
ng = -1
while (ok-ng)>1:
    d = (ok+ng)//2
    if scc(n,g,rg,d)[0]<n:
        ok = d
    else:
        ng = d
if ok == q:
    print(-1)
else:
    print(ok+1)
0