結果

問題 No.1112 冥界の音楽
ユーザー nrvftnrvft
提出日時 2020-07-10 22:34:05
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 6,060 bytes
コンパイル時間 2,271 ms
コンパイル使用メモリ 209,204 KB
実行使用メモリ 8,616 KB
最終ジャッジ日時 2023-08-01 18:37:10
合計ジャッジ時間 11,420 ms
ジャッジサーバーID
(参考情報)
judge13 / judge14
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 31 ms
4,376 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 2 ms
4,376 KB
testcase_03 AC 2 ms
4,380 KB
testcase_04 AC 2 ms
4,380 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 AC 173 ms
4,376 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 2 ms
4,380 KB
testcase_09 AC 19 ms
4,376 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 AC 36 ms
4,380 KB
testcase_12 AC 2 ms
4,376 KB
testcase_13 AC 71 ms
4,380 KB
testcase_14 AC 888 ms
4,380 KB
testcase_15 AC 123 ms
4,376 KB
testcase_16 AC 1 ms
4,380 KB
testcase_17 AC 150 ms
4,376 KB
testcase_18 AC 144 ms
4,380 KB
testcase_19 AC 1 ms
4,376 KB
testcase_20 AC 20 ms
4,376 KB
testcase_21 AC 822 ms
4,376 KB
testcase_22 AC 822 ms
4,380 KB
testcase_23 AC 110 ms
4,376 KB
testcase_24 AC 2 ms
4,380 KB
testcase_25 AC 2 ms
4,380 KB
testcase_26 AC 2 ms
4,376 KB
testcase_27 AC 2 ms
4,380 KB
testcase_28 AC 7 ms
4,380 KB
testcase_29 AC 1 ms
4,380 KB
testcase_30 AC 481 ms
4,380 KB
testcase_31 AC 6 ms
4,376 KB
testcase_32 AC 536 ms
4,380 KB
testcase_33 AC 2 ms
4,380 KB
testcase_34 AC 1 ms
4,376 KB
testcase_35 AC 2 ms
4,380 KB
testcase_36 TLE -
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ld = long double;
using vl = vector<ll>;
template<class T> using vc = vector<T>;
template<class T> using vvc = vector<vector<T>>;

#define eb emplace_back
#define all(x) (x).begin(), (x).end()
#define rep(i, n) for (ll i = 0; i < (n); i++)
#define repr(i, n) for (ll i = (n)-1; i >= 0; i--)
#define repe(i, l, r) for (ll i = (l); i < (r); i++)
#define reper(i, l, r) for (ll i = (r)-1; i >= (l); i--)
#define repa(i,n) for (auto& i: n)

template<class T> inline bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T> inline bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }
void init() {cin.tie(0);ios::sync_with_stdio(false);cout << fixed << setprecision(15);}

#ifdef DEBUG
template <class T, class N> void verr(const T& a, const N& n) { rep(i, n) cerr << a[i] << " "; cerr << "\n" << flush; }
ll dbgt = 1; void err() { cerr << "passed " << dbgt++ << "\n" << flush; }
template<class H, class... T> void err(H&& h,T&&... t){ cerr<< h << (sizeof...(t)?" ":"\n") << flush; if(sizeof...(t)>0) err(forward<T>(t)...); }
#endif

const ll INF = 4e18;
const ld EPS = 1e-11;
const ld PI = acos(-1.0L);
const ll MOD = 1e9 + 7;
// const ll MOD = 998244353;
//--------------------------------------------------------------------------------//
// modint
template<int MOD> struct Fp {
    long long val;
    constexpr Fp(long long v = 0) noexcept : val(v % MOD) {
        if (val < 0) val += MOD;
    }
    constexpr int getmod() { return MOD; }
    constexpr Fp operator - () const noexcept {
        return val ? MOD - val : 0;
    }
    constexpr Fp operator + (const Fp& r) const noexcept { return Fp(*this) += r; }
    constexpr Fp operator - (const Fp& r) const noexcept { return Fp(*this) -= r; }
    constexpr Fp operator * (const Fp& r) const noexcept { return Fp(*this) *= r; }
    constexpr Fp operator / (const Fp& r) const noexcept { return Fp(*this) /= r; }
    constexpr Fp& operator += (const Fp& r) noexcept {
        val += r.val;
        if (val >= MOD) val -= MOD;
        return *this;
    }
    constexpr Fp& operator -= (const Fp& r) noexcept {
        val -= r.val;
        if (val < 0) val += MOD;
        return *this;
    }
    constexpr Fp& operator *= (const Fp& r) noexcept {
        val = val * r.val % MOD;
        return *this;
    }
    constexpr Fp& operator /= (const Fp& r) noexcept {
        long long a = r.val, b = MOD, u = 1, v = 0;
        while (b) {
            long long t = a / b;
            a -= t * b; swap(a, b);
            u -= t * v; swap(u, v);
        }
        val = val * u % MOD;
        if (val < 0) val += MOD;
        return *this;
    }
    constexpr bool operator == (const Fp& r) const noexcept {
        return this->val == r.val;
    }
    constexpr bool operator != (const Fp& r) const noexcept {
        return this->val != r.val;
    }
    friend constexpr ostream& operator << (ostream &os, const Fp<MOD>& x) noexcept {
        return os << x.val;
    }
    friend constexpr Fp<MOD> modpow(const Fp<MOD> &a, long long n) noexcept {
        if (n == 0) return 1;
        auto t = modpow(a, n / 2, MOD);
        t = t * t;
        if (n & 1) t = t * a;
        return t;
    }
};
using mint = Fp<MOD>;

template <class T>
struct Matrix {
    vector<vector<T>> mat;
    int row, col;

    Matrix(int r, int c, T v = 0) : mat(r, vector<T>(c, v)), row(r), col(c){};

    inline const vector<T> &operator[](int k) const { return mat[k]; }
    inline vector<T> &operator[](int k) { return mat[k]; }

    Matrix &operator+=(const Matrix &A) {
        for (int i = 0; i < row; i++)
            for (int j = 0; j < col; j++)
                (*this)[i][j] += A[i][j];
        return (*this);
    }

    Matrix &operator-=(const Matrix &A) {
        for (int i = 0; i < row; i++)
            for (int j = 0; j < col; j++)
                (*this)[i][j] -= A[i][j];
        return (*this);
    }

    Matrix &operator*=(const Matrix &A) {
        vector<vector<T>> res(row, vector<T>(A.col, 0));
        for (int i = 0; i < row; i++)
            for (int j = 0; j < A.col; j++)
                for (int k = 0; k < col; k++)
                    res[i][j] += mat[i][k] * A[k][j];
        mat.swap(res);
        (*this).col = A.col;
        return (*this);
    }

    Matrix &operator^=(long long p) {
        Matrix res = Matrix(row, col);
        for (int i = 0; i < row; i++) res[i][i] = 1;
        
        while(p > 0){
            if (p & 1) res *= *this;
            *this *= *this;
            p >>= 1;
        }
        mat.swap(res.mat);
        return (*this);
    }

    Matrix operator+(const Matrix &B) const { return (Matrix(*this) += B); }
    Matrix operator-(const Matrix &B) const { return (Matrix(*this) -= B); }
    Matrix operator*(const Matrix &B) const { return (Matrix(*this) *= B); }
    Matrix operator^(const long long k) const { return (Matrix(*this) ^= k); }

    friend ostream &operator<<(ostream &os, Matrix &p) {
        for (int i = 0; i < p.row; i++) {
            os << "[";
            for (int j = 0; j < p.col; j++) {
                os << p[i][j] << (j + 1 == p.col ? "]\n" : ",");
            }
        }
        return (os);
    }
};

int main() {
    init();
    ll K, M, N;
    cin >> K >> M >> N;
    vc<array<ll, 3>> A(M);
    rep(i, M) cin >> A[i][0] >> A[i][1] >> A[i][2], A[i][0]--, A[i][1]--, A[i][2]--;

    ll K3 = K * K * K, K2 = K * K;
    Matrix<mint> P(K3, K3), C(K3, 1);
    rep(i, M) if(A[i][0]==0) C[A[i][0] * K2 + A[i][1] * K + A[i][2]][0] += 1;

    rep(i, M) {
        rep(j, K){
            // err(A[i][1] * K + A[i][2] + j, A[i][0] * K2 + A[i][1] * K + A[i][2]);
            // P[A[i][0] * K2 + A[i][1] * K + A[i][0]][j * K2 + A[i][0] * K + A[i][1]] += 1;
            P[A[i][1] * K2 + A[i][2] * K + j][A[i][0] * K2 + A[i][1] *K + A[i][2]] += 1;
        
        }
    }

    // err(P);
    P ^= N - 2;
    // err(P);
    C = P * C;

    mint ans = 0;
    rep(i, K3) if (i % K2 == 0) ans += C[i][0];

    cout << ans << endl;
}
0