結果

問題 No.1112 冥界の音楽
ユーザー sten_sansten_san
提出日時 2021-10-02 17:52:42
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 10 ms / 2,000 ms
コード長 2,601 bytes
コンパイル時間 2,570 ms
コンパイル使用メモリ 216,656 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-07-20 12:50:21
合計ジャッジ時間 4,256 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 9 ms
5,248 KB
testcase_01 AC 10 ms
5,376 KB
testcase_02 AC 10 ms
5,376 KB
testcase_03 AC 10 ms
5,376 KB
testcase_04 AC 10 ms
5,376 KB
testcase_05 AC 10 ms
5,376 KB
testcase_06 AC 9 ms
5,376 KB
testcase_07 AC 10 ms
5,376 KB
testcase_08 AC 10 ms
5,376 KB
testcase_09 AC 10 ms
5,376 KB
testcase_10 AC 10 ms
5,376 KB
testcase_11 AC 10 ms
5,376 KB
testcase_12 AC 10 ms
5,376 KB
testcase_13 AC 9 ms
5,376 KB
testcase_14 AC 10 ms
5,376 KB
testcase_15 AC 10 ms
5,376 KB
testcase_16 AC 10 ms
5,376 KB
testcase_17 AC 10 ms
5,376 KB
testcase_18 AC 10 ms
5,376 KB
testcase_19 AC 10 ms
5,376 KB
testcase_20 AC 10 ms
5,376 KB
testcase_21 AC 10 ms
5,376 KB
testcase_22 AC 9 ms
5,376 KB
testcase_23 AC 9 ms
5,376 KB
testcase_24 AC 10 ms
5,376 KB
testcase_25 AC 10 ms
5,376 KB
testcase_26 AC 9 ms
5,376 KB
testcase_27 AC 10 ms
5,376 KB
testcase_28 AC 10 ms
5,376 KB
testcase_29 AC 10 ms
5,376 KB
testcase_30 AC 10 ms
5,376 KB
testcase_31 AC 10 ms
5,376 KB
testcase_32 AC 10 ms
5,376 KB
testcase_33 AC 10 ms
5,376 KB
testcase_34 AC 10 ms
5,376 KB
testcase_35 AC 10 ms
5,376 KB
testcase_36 AC 10 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

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