結果

問題 No.1112 冥界の音楽
ユーザー roaris
提出日時 2020-07-10 22:27:02
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 1,793 bytes
コンパイル時間 2,091 ms
コンパイル使用メモリ 203,648 KB
最終ジャッジ日時 2025-01-11 18:46:57
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 33 TLE * 1
権限があれば一括ダウンロードができます

ソースコード

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<int> vec;
typedef vector<vec> mat;
const int MOD = 1000000007;

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

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;
}
 
signed 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) rep(k, K) {
        serial[i][j][k] = c;
        c++;
    }
    rep(i, M) {
        int P, Q, R; cin >> P >> Q >> R;
        ok[serial[P-1][Q-1][R-1]] = true;
    }
    mat A(c, vec(c));
    rep(i, K) rep(j, K) rep(k, K) rep(l, K) {
        if (ok[serial[i][j][k]] && ok[serial[j][k][l]]) {
            A[serial[i][j][k]][serial[j][k][l]] = 1;
        }
    }
    mat res = mat_pow(A, N-3);
    int ans = 0;
    rep(i, K) rep(j, K) rep(k, K) rep(l, K) {
        ans += res[serial[0][i][j]][serial[k][l][0]];
        ans %= MOD;
    }
    cout << ans << endl;
}
0