結果

問題 No.1364 [Renaming] Road to Cherry from Zelkova
ユーザー H3PO4H3PO4
提出日時 2021-01-22 22:59:43
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
WA  
実行時間 -
コード長 1,698 bytes
コンパイル時間 566 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 178,700 KB
最終ジャッジ日時 2024-12-28 05:32:33
合計ジャッジ時間 95,051 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1,090 ms
56,056 KB
testcase_01 AC 1,000 ms
56,228 KB
testcase_02 AC 1,004 ms
56,116 KB
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 TLE -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 TLE -
testcase_23 AC 1,276 ms
73,128 KB
testcase_24 AC 1,302 ms
71,344 KB
testcase_25 AC 2,257 ms
130,580 KB
testcase_26 TLE -
testcase_27 TLE -
testcase_28 AC 1,856 ms
110,508 KB
testcase_29 AC 2,422 ms
144,864 KB
testcase_30 AC 1,858 ms
114,096 KB
testcase_31 AC 1,426 ms
87,184 KB
testcase_32 AC 2,133 ms
129,972 KB
testcase_33 TLE -
testcase_34 TLE -
testcase_35 AC 2,010 ms
114,752 KB
testcase_36 AC 2,060 ms
114,300 KB
testcase_37 AC 1,882 ms
106,764 KB
testcase_38 WA -
testcase_39 WA -
testcase_40 WA -
testcase_41 WA -
testcase_42 WA -
testcase_43 AC 2,492 ms
149,704 KB
testcase_44 AC 1,617 ms
87,456 KB
testcase_45 AC 2,291 ms
149,676 KB
testcase_46 AC 1,014 ms
56,368 KB
testcase_47 AC 968 ms
112,632 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
from collections import defaultdict, deque
from scipy.sparse.csgraph import connected_components
from scipy.sparse import csr_matrix

input = sys.stdin.buffer.readline


def topological_sort(N, edges):
    outs = defaultdict(list)
    ins = defaultdict(int)
    for v1, v2, in edges:
        outs[v1].append(v2)
        ins[v2] += 1

    q = deque(v1 for v1 in range(N) if ins[v1] == 0)
    while q:
        v1 = q.popleft()
        yield v1
        for v2 in outs[v1]:
            ins[v2] -= 1
            if ins[v2] == 0:
                q.append(v2)


MOD = 10 ** 9 + 7
N, M = map(int, input().split())
edges = [list(map(int, input().split())) for _ in range(M)]

# 強連結成分分解により不要部分を削除
edges_set = set((u, v) for u, v, _, _ in edges)
edges_set.add((N, 0))
frm, to = [], []
for u, v in edges_set:
    frm.append(u)
    to.append(v)
matr = csr_matrix(([1] * len(frm), (frm, to)), shape=(N + 1, N + 1))
_, labels = connected_components(matr, connection='strong')
l0 = labels[0]
if l0 != labels[-1]: print(0);exit()  # 弱連結でもない
nodes = [i for i, x in enumerate(labels) if x == l0]

# 座圧
comp = {x: i for i, x in enumerate(nodes)}
N1 = len(comp)
succ = [[] for _ in range(N1)]
new_edges = set()
for u, v, l, a in edges:
    if u in comp and v in comp:
        cu, cv = comp[u], comp[v]
        succ[cu].append((cv, l, a))
        new_edges.add((cu, cv))

# トポソ
ts = list(topological_sort(N1, new_edges))
if len(ts) != N1: print('INF');exit()

assert ts[0] == comp[0]
assert ts[-1] == comp[N]

dp = [0] * N1
for v in ts:
    cur = dp[v]
    for s, l, a in succ[v]:
        dp[s] += (cur + l) * a
        dp[s] %= MOD
print(dp[ts[-1]])
0