結果

問題 No.1364 [Renaming] Road to Cherry from Zelkova
ユーザー neterukunneterukun
提出日時 2021-01-22 22:29:20
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 483 ms / 2,500 ms
コード長 2,215 bytes
コンパイル時間 317 ms
コンパイル使用メモリ 82,504 KB
実行使用メモリ 174,384 KB
最終ジャッジ日時 2024-12-29 09:07:51
合計ジャッジ時間 13,371 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 38 ms
52,940 KB
testcase_01 AC 39 ms
53,464 KB
testcase_02 AC 39 ms
53,024 KB
testcase_03 AC 39 ms
53,532 KB
testcase_04 AC 40 ms
54,660 KB
testcase_05 AC 40 ms
53,468 KB
testcase_06 AC 39 ms
53,304 KB
testcase_07 AC 39 ms
53,072 KB
testcase_08 AC 91 ms
79,016 KB
testcase_09 AC 104 ms
78,400 KB
testcase_10 AC 107 ms
79,380 KB
testcase_11 AC 88 ms
78,840 KB
testcase_12 AC 135 ms
80,304 KB
testcase_13 AC 207 ms
110,272 KB
testcase_14 AC 320 ms
119,180 KB
testcase_15 AC 265 ms
113,772 KB
testcase_16 AC 233 ms
105,116 KB
testcase_17 AC 141 ms
94,316 KB
testcase_18 AC 310 ms
132,636 KB
testcase_19 AC 288 ms
123,932 KB
testcase_20 AC 325 ms
132,732 KB
testcase_21 AC 313 ms
133,256 KB
testcase_22 AC 315 ms
130,668 KB
testcase_23 AC 147 ms
90,932 KB
testcase_24 AC 120 ms
83,076 KB
testcase_25 AC 321 ms
131,848 KB
testcase_26 AC 483 ms
174,384 KB
testcase_27 AC 374 ms
147,080 KB
testcase_28 AC 269 ms
126,792 KB
testcase_29 AC 350 ms
142,296 KB
testcase_30 AC 277 ms
129,164 KB
testcase_31 AC 194 ms
101,340 KB
testcase_32 AC 307 ms
136,296 KB
testcase_33 AC 453 ms
153,464 KB
testcase_34 AC 474 ms
152,956 KB
testcase_35 AC 220 ms
106,516 KB
testcase_36 AC 204 ms
105,120 KB
testcase_37 AC 269 ms
115,728 KB
testcase_38 AC 334 ms
108,584 KB
testcase_39 AC 340 ms
108,700 KB
testcase_40 AC 346 ms
108,680 KB
testcase_41 AC 356 ms
108,628 KB
testcase_42 AC 338 ms
108,840 KB
testcase_43 AC 372 ms
168,824 KB
testcase_44 AC 166 ms
115,088 KB
testcase_45 AC 283 ms
157,000 KB
testcase_46 AC 47 ms
66,804 KB
testcase_47 AC 37 ms
52,812 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = sys.stdin.buffer.readline


def topological_sorted(digraph):
    n = len(digraph)
    indegree = [0] * n
    for v in range(n):
        for nxt_v in digraph[v]:
            indegree[nxt_v] += 1

    tp_order = [i for i in range(n) if indegree[i] == 0]
    stack = tp_order[:]
    while stack:
        v = stack.pop()
        for nxt_v in digraph[v]:
            indegree[nxt_v] -= 1
            if indegree[nxt_v] == 0:
                stack.append(nxt_v)
                tp_order.append(nxt_v)

    return len(tp_order) == n, tp_order


n, m = map(int, input().split())
edges = [list(map(int, input().split())) for i in range(m)]
MOD = 10 ** 9 + 7


graph = [[] for i in range(n + 1)]
for u, v, _, _ in edges:
    graph[u].append(v)
rev_graph = [[] for i in range(n + 1)]
for u, v, _, _ in edges:
    rev_graph[v].append(u)

root = 0
reach = [False] * (n + 1)
reach[0] = True
stack = [root]
while stack:
    v = stack.pop()
    for nxt_v in graph[v]:
        if reach[nxt_v]:
            continue
        reach[nxt_v] = True
        stack.append(nxt_v)

root = n
rev_reach = [False] * (n + 1)
rev_reach[n] = True
stack = [root]
while stack:
    v = stack.pop()
    for nxt_v in rev_graph[v]:
        if rev_reach[nxt_v]:
            continue
        rev_reach[nxt_v] = True
        stack.append(nxt_v)

if not reach[n]:
    print(0)
    exit()

for i in range(n + 1):
    reach[i] = reach[i] & rev_reach[i]

graph = [set() for i in range(n + 1)]
memo = {}
for u, v, l, a in edges:
    if reach[u] and reach[v]:
        graph[u].add(v)
        if (u, v) not in memo:
            memo[u, v] = []
        memo[u, v].append((l, a))

flag, tp_order = topological_sorted(graph)
if not flag:
    print("INF")
    exit()

    

nxt_ptn = [0] * (n + 1)
nxt_ptn[n] = 1
for v in tp_order[::-1]:
    for nxt_v in graph[v]:
        for l, a in memo[v, nxt_v]:
            nxt_ptn[v] += nxt_ptn[nxt_v] * a
            nxt_ptn[v] %= MOD

ans = 0
ptn = [0] * (n + 1)
ptn[0] = 1
for v in tp_order:
    for nxt_v in graph[v]:
        for l, a in memo[v, nxt_v]:
            ptn[nxt_v] += ptn[v] * a
            ans += ptn[v] * nxt_ptn[nxt_v] * l * a
            ptn[nxt_v] %= MOD
            ans %= MOD
print(ans)
0