結果

問題 No.1502 Many Simple Additions
ユーザー shotoyooshotoyoo
提出日時 2021-05-07 21:59:08
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 1,891 bytes
コンパイル時間 918 ms
コンパイル使用メモリ 86,712 KB
実行使用メモリ 104,384 KB
最終ジャッジ日時 2023-10-13 13:02:43
合計ジャッジ時間 10,644 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 RE -
testcase_01 RE -
testcase_02 RE -
testcase_03 RE -
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 RE -
testcase_08 RE -
testcase_09 RE -
testcase_10 RE -
testcase_11 RE -
testcase_12 RE -
testcase_13 RE -
testcase_14 RE -
testcase_15 RE -
testcase_16 RE -
testcase_17 RE -
testcase_18 RE -
testcase_19 RE -
testcase_20 RE -
testcase_21 RE -
testcase_22 RE -
testcase_23 RE -
testcase_24 RE -
testcase_25 RE -
testcase_26 RE -
testcase_27 RE -
testcase_28 RE -
testcase_29 RE -
testcase_30 RE -
testcase_31 RE -
testcase_32 RE -
testcase_33 RE -
testcase_34 RE -
testcase_35 RE -
testcase_36 RE -
testcase_37 RE -
testcase_38 RE -
testcase_39 RE -
testcase_40 RE -
testcase_41 RE -
testcase_42 RE -
testcase_43 RE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = lambda : sys.stdin.readline().rstrip()

sys.setrecursionlimit(2*10**5+10)
write = lambda x: sys.stdout.write(x+"\n")
debug = lambda x: sys.stderr.write(x+"\n")

# グラフの読み込み・重みあり
n,m,k = map(int, input().split())
ns = [[] for _ in range(n)]
for _ in range(m):
    u,v,c = map(int, input().split())
    u -= 1
    v -= 1
    ns[u].append((c,v))
    ns[v].append((c,u))
def sub(k):
    ans = 1
    seen = [0]*n
    a = [0]*n
    b = [0]*n
    M = 10**9+7
    for u in range(n):
        if seen[u]:
            continue
        res = _sub(u,seen,a,b,k)
        if res==0:
            return 0
        ans *= res
        ans %= M
    return ans
def _sub(u,seen,a,b,k):
    seen[u] = 1
    a[u] = 1
    b[u] = 0
    val = None
    q = [u]
    lb = 1
    ub = k
    while q:
        u = q.pop()
        aa,bb = a[u],b[u]
        if aa==1:
            lb = max(lb, 1-bb)
            ub = min(ub, k-bb)
        else:
            lb = max(lb, bb-k)
            ub = min(ub, bb-1)
        for c,v in ns[u]:
            na = -aa
            nb = -bb+c
            if not seen[v]:
                a[v] = na
                b[v] = nb
                seen[v] = 1
                q.append(v)
            else:
                va,vb = a[v],b[v]
                if va==na:
                    if vb!=nb:
                        return 0
                else:
                    if (nb-vb) % (va-na) != 0:
                        return 0
                    nval = (nb-vb) // (va-na)
                    if val is not None and nval!=val:
                        return 0
                    val = nval
                    if not 1<=val<=k:
                        return 0
    if val is not None:
        if all(aa*val+bb<=k for aa,bb in zip(a,b)):
            return 1
        return 0
    else:
        return max(0, ub-lb+1)
ans = sub(k) - sub(k-1)
print(ans%M)
0