結果

問題 No.1112 冥界の音楽
コンテスト
ユーザー roaris
提出日時 2020-07-10 23:03:05
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 1,728 bytes
コンパイル時間 2,135 ms
コンパイル使用メモリ 202,460 KB
最終ジャッジ日時 2025-01-11 19:10:19
ジャッジサーバーID
（参考情報） 		judge5 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 28 WA * 6
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i=0; i<n; i++)
#define pb push_back
//#define int long long
typedef vector<long long> vec;
typedef vector<vec> mat;
const long long MOD = 1000000007;

int K, M;
long long N;
int serial[10][10];
bool ok[10][10][10];

mat mat_mul(mat A, mat B) {
    mat C(A.size(), vec(B[0].size()));
    
    for (int i=0; i<A.size(); i++) {
        for (int j=0; j<B[0].size(); j++) {
            for (int k=0; k<A[0].size(); k++) {
                C[i][j] += A[i][k]*B[k][j];
                C[i][j] %= MOD;
            }
        }
    }
    
    return C;
}

mat mat_pow(mat A, int n) {
    mat res(A.size(), vec(A.size()));
    
    for (int i=0; i<A.size(); i++) {
        res[i][i] = 1;
    }
    
    while (n > 0) {
        if (n & 1) {
            res = mat_mul(A, res);
        }
        
        n >>= 1;
        A = mat_mul(A, A);
    }
    
    return res;
}
 
int main() {
    cin.tie(0); ios::sync_with_stdio(false);
    cin >> K >> M >> N;
    if (N==3) {
        int ans = 0;
        rep(i, M) {
            int P, Q, R; cin >> P >> Q >> R;
            if (P==1 && R==1) ans++;
        }
        cout << ans << endl;
        exit(0);
    }
    
    int c = 0;
    rep(i, K) rep(j, K) {
        serial[i][j] = c;
        c++;
    }
    rep(i, M) {
        int P, Q, R; cin >> P >> Q >> R;
        ok[P-1][Q-1][R-1] = true;
    }
    mat A(c, vec(c));
    rep(i, K) rep(j, K) rep(k, K) {
        if (ok[i][j][k]){
            A[serial[i][j]][serial[j][k]] = 1;
        }
    }
    mat res = mat_pow(A, N-2);
    long long ans = 0;
    rep(i, K) rep(j, K) {
        ans += res[serial[0][i]][serial[j][0]];
        ans %= MOD;
    }
    cout << ans << endl;
}
0