結果

問題 No.1112 冥界の音楽
ユーザー maspy
提出日時 2020-07-10 23:05:35
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 552 ms / 2,000 ms
コード長 1,052 bytes
コンパイル時間 246 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 44,640 KB
最終ジャッジ日時 2024-10-11 18:03:28
合計ジャッジ時間 22,956 ms
ジャッジサーバーID
(参考情報)
judge4 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 34
権限があれば一括ダウンロードができます

ソースコード

diff #

import sys
import numpy as np

read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

MOD = 10**9 + 7

K, M, N = map(int, readline().split())
m = map(lambda x: int(x) - 1, read().split())
PQR = tuple(zip(m, m, m))

def make_mat(PQR):
    A = np.zeros((K * K, K * K), np.int64)
    for p, q, r in PQR:
        key1 = K * p + q
        key2 = K * q + r
        A[key2, key1] = 1
    return A

def mat_mul(A, B):
    A1, A2 = A >> 15, A & (1 << 15) - 1
    B1, B2 = B >> 15, B & (1 << 15) - 1
    X = np.dot(A1, B1) % MOD
    Y = np.dot(A2, B2) % MOD
    Z = (np.dot(A1 + A2, B1 + B2) - X - Y) % MOD
    return ((X << 30) + (Z << 15) + Y) % MOD

def mat_power(A, N):
    P = np.eye(A.shape[0], dtype=np.int64)
    while N:
        if N & 1:
            P = mat_mul(P, A)
        A = mat_mul(A, A)
        N >>= 1
    return P

A = make_mat(PQR)
B = mat_power(A, N - 2)

ans = 0
for a in range(K):
    for b in range(K):
        key1 = a
        key2 = b * K
        ans += B[key2, key1]

print(ans % MOD)
0