結果

問題 No.1502 Many Simple Additions
ユーザー 👑 SPD_9X2SPD_9X2
提出日時 2021-05-07 22:31:02
言語 PyPy3
(7.3.13)
結果
AC  
実行時間 356 ms / 2,000 ms
コード長 2,914 bytes
コンパイル時間 364 ms
コンパイル使用メモリ 87,032 KB
実行使用メモリ 97,820 KB
最終ジャッジ日時 2023-10-13 22:34:36
合計ジャッジ時間 7,877 ms
ジャッジサーバーID
(参考情報)
judge11 / judge15
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 87 ms
71,648 KB
testcase_01 AC 85 ms
71,776 KB
testcase_02 AC 86 ms
71,640 KB
testcase_03 AC 84 ms
71,572 KB
testcase_04 AC 83 ms
71,548 KB
testcase_05 AC 91 ms
71,500 KB
testcase_06 AC 86 ms
71,516 KB
testcase_07 AC 87 ms
71,520 KB
testcase_08 AC 86 ms
71,852 KB
testcase_09 AC 87 ms
71,336 KB
testcase_10 AC 89 ms
71,364 KB
testcase_11 AC 91 ms
71,544 KB
testcase_12 AC 89 ms
71,480 KB
testcase_13 AC 87 ms
71,644 KB
testcase_14 AC 86 ms
71,868 KB
testcase_15 AC 84 ms
71,484 KB
testcase_16 AC 84 ms
71,668 KB
testcase_17 AC 86 ms
71,340 KB
testcase_18 AC 86 ms
71,332 KB
testcase_19 AC 86 ms
71,668 KB
testcase_20 AC 85 ms
71,864 KB
testcase_21 AC 83 ms
71,532 KB
testcase_22 AC 84 ms
71,812 KB
testcase_23 AC 84 ms
71,340 KB
testcase_24 AC 85 ms
71,344 KB
testcase_25 AC 85 ms
71,440 KB
testcase_26 AC 84 ms
71,368 KB
testcase_27 AC 186 ms
97,000 KB
testcase_28 AC 185 ms
97,588 KB
testcase_29 AC 137 ms
84,412 KB
testcase_30 AC 323 ms
97,440 KB
testcase_31 AC 333 ms
97,820 KB
testcase_32 AC 356 ms
97,164 KB
testcase_33 AC 237 ms
88,568 KB
testcase_34 AC 229 ms
88,888 KB
testcase_35 AC 241 ms
88,756 KB
testcase_36 AC 151 ms
84,932 KB
testcase_37 AC 153 ms
85,112 KB
testcase_38 AC 171 ms
83,720 KB
testcase_39 AC 146 ms
82,828 KB
testcase_40 AC 167 ms
84,596 KB
testcase_41 AC 142 ms
80,920 KB
testcase_42 AC 178 ms
92,228 KB
testcase_43 AC 85 ms
71,512 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

"""

まず、
連結成分ごとに考えられる
奇閉路がある場合、連結成分内が一意に決まる

Aが全てK以下の場合から、K-1以下の場合を引けばいい

全てK以下の場合の数を求めたい

"""

import sys
from sys import stdin
from collections import deque

mod = 10**9+7

def solve(LIM):

    state = [0] * N
    plus  = [0] * N
    ans = 1

    for i in range(N):

        maxx = LIM
        minx = 1
        X = None

        if state[i] == 0:
            nset = set([i])
            q = deque([i])
            state[i] = 1

            while q:
                v = q.popleft()
                #xの可能性範囲を狭める
                if state[v] == 1: # 1 <= X+plus[v] <= LIM
                    maxx = min(maxx,LIM-plus[v])
                    minx = max(minx,1-plus[v])
                else: # 1 <= -X+plus[v] <= LIM
                    maxx = min(maxx, plus[v]-1)
                    minx = max(minx,plus[v]-LIM)
                
                for nex,z in lis[v]:
                    
                    if state[nex] == 0: #新たに定義
                        state[nex] = -1 * state[v]
                        plus[nex] = z - plus[v]
                        q.append(nex)
                        
                    elif state[nex] != state[v]: #別側の場合、整合性チェック
                        if plus[v] + plus[nex] != z:
                            return 0

                    else: #同じ側の場合
                        if X == None: #Xが未定義の場合
                            if state[v] == 1: #2x+plus[v]+plus[nex] = z
                                x2 = z - plus[v] - plus[nex]
                                if x2 % 2 == 1 or x2 <= 0:
                                    return 0
                                else:
                                    X = x2 // 2
                            else: #-2x + p+p = z
                                x2 = plus[v] + plus[nex] - z
                                if x2 % 2 == 1 or x2 <= 0:
                                    return 0
                                else:
                                    X = x2 // 2
                        
                        else: #Xが定義済みの場合整合性チェック
                            if state[v] * X + plus[v] + state[nex] * X + plus[nex] != z:
                                return 0

            #可能性を書ける
            if X == None:
                ans *= max(0,maxx-minx+1)
            elif minx <= X <= maxx:
                ans *= 1
            else:
                ans *= 0
            ans %= mod
    return ans
    

N,M,K = map(int,stdin.readline().split())

lis = [ [] for i in range(N)]
for i in range(M):

    X,Y,Z = map(int,stdin.readline().split())
    X -= 1
    Y -= 1

    lis[X].append((Y,Z))
    lis[Y].append((X,Z))

print ((solve(K)-solve(K-1)) % mod)
0