結果

問題 No.1112 冥界の音楽
ユーザー sten_san
提出日時 2021-10-02 17:52:42
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 2,601 bytes
コンパイル時間 2,399 ms
コンパイル使用メモリ 209,152 KB
最終ジャッジ日時 2025-01-24 20:01:50
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 34
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

struct iofast_t {
    iofast_t() {
        ios::sync_with_stdio(false);
        cin.tie(nullptr);
    }
} iofast;

struct uns_t {} uns;
template <typename Element, typename Head, typename ...Args>
auto vec(Element init, Head arg, Args ...args) {
    if constexpr (sizeof...(Args) == 0) return std::vector(arg, init);
    else return std::vector(arg, vec(init, args...));
}
template <typename Element, typename Head, typename ...Args>
auto vec(uns_t, Head arg, Args ...args) {
    return vec(Element(), arg, args...);
}

template <typename T, typename Compare = less<T>>
T &chmin(T &l, T r, Compare &&f = less<T>()) { return l = min(l, r, f); }
template <typename T, typename Compare = less<T>>
T &chmax(T &l, T r, Compare &&f = less<T>()) { return l = max(l, r, f); }

#include <atcoder/modint>
using mint = atcoder::modint1000000007;

int main() {
    constexpr int lim = 6;
    constexpr int log = 60;

    int64_t k, m, n; cin >> k >> m >> n;

    auto dub = vec<mint>(0, log + 1, lim, lim, lim, lim);
    for (int i = 0; i < m; ++i) {
        int p, q, r; cin >> p >> q >> r; --p; --q; --r;
        dub[0][p][q][q][r] = 1;
    }

    for (int l = 1; l <= log; ++l) {
        for (int i = 0; i < lim; ++i) {
            for (int j = 0; j < lim; ++j) {
                for (int p = 0; p < lim; ++p) {
                    for (int q = 0; q < lim; ++q) {
                        for (int s = 0; s < lim; ++s) {
                            for (int t = 0; t < lim; ++t) {
                                dub[l][i][j][s][t] += dub[l - 1][i][j][p][q] * dub[l - 1][p][q][s][t];
                            }
                        }
                    }
                }
            }
        }
    }

    auto dp1 = vec<mint>(0, lim, lim);
    auto dp2 = vec<mint>(0, lim, lim);

    fill(begin(dp1[0]), end(dp1[0]), 1);

    n -= 2;
    for (int l = 0; l <= log; ++l) {
        if (!(n & (INT64_C(1) << l))) {
            continue;
        }

        for (int i = 0; i < lim; ++i) {
            for (int j = 0; j < lim; ++j) {
                dp2[i][j] = 0;
            }
        }

        for (int i = 0; i < lim; ++i) {
            for (int j = 0; j < lim; ++j) {
                for (int p = 0; p < lim; ++p) {
                    for (int q = 0; q < lim; ++q) {
                        dp2[p][q] += dp1[i][j] * dub[l][i][j][p][q];
                    }
                }
            }
        }

        swap(dp1, dp2);
    }

    mint ans = 0;
    for (int i = 0; i < lim; ++i) {
        ans += dp1[i][0];
    }

    cout << ans.val() << endl;
}
0