結果

問題 No.1112 冥界の音楽
ユーザー rianoriano
提出日時 2022-01-01 14:29:58
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 5,076 bytes
コンパイル時間 1,876 ms
コンパイル使用メモリ 175,260 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-10 04:12:58
合計ジャッジ時間 3,308 ms
ジャッジサーバーID
(参考情報)
judge3 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 AC 2 ms
5,248 KB
testcase_11 AC 2 ms
5,248 KB
testcase_12 AC 2 ms
5,248 KB
testcase_13 AC 2 ms
5,248 KB
testcase_14 AC 4 ms
5,248 KB
testcase_15 AC 4 ms
5,248 KB
testcase_16 AC 4 ms
5,248 KB
testcase_17 AC 4 ms
5,248 KB
testcase_18 AC 4 ms
5,248 KB
testcase_19 AC 4 ms
5,248 KB
testcase_20 AC 4 ms
5,248 KB
testcase_21 AC 4 ms
5,248 KB
testcase_22 AC 4 ms
5,248 KB
testcase_23 AC 3 ms
5,248 KB
testcase_24 AC 10 ms
5,248 KB
testcase_25 AC 10 ms
5,248 KB
testcase_26 AC 10 ms
5,248 KB
testcase_27 AC 9 ms
5,248 KB
testcase_28 AC 10 ms
5,248 KB
testcase_29 AC 10 ms
5,248 KB
testcase_30 AC 9 ms
5,248 KB
testcase_31 AC 10 ms
5,248 KB
testcase_32 AC 10 ms
5,248 KB
testcase_33 AC 9 ms
5,248 KB
testcase_34 AC 9 ms
5,248 KB
testcase_35 AC 10 ms
5,248 KB
testcase_36 AC 11 ms
5,248 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function 'std::vector<std::vector<long long int> > pw_matrix(std::vector<std::vector<long long int> >&, long long int)':
main.cpp:155:1: warning: control reaches end of non-void function [-Wreturn-type]
  155 | }
      | ^

ソースコード

diff #

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define rep(i,n) for(int i=0;i<n;i++)
#define rrep(i,n) for(int i=n-1;i>=0;i--)
#define rrep2(i,n,k) for(int i=n-1;i>=n-k;i--)
#define vll(n,i) vector<long long>(n,i)
#define v2ll(n,m,i) vector<vector<long long>>(n,vll(m,i))
#define v3ll(n,m,k,i) vector<vector<vector<long long>>>(n,v2ll(m,k,i))
#define v4ll(n,m,k,l,i) vector<vector<vector<vector<long long>>>>(n,v3ll(m,k,l,i))
#define all(v) v.begin(),v.end()
#define chmin(k,m) k = min(k,m)
#define chmax(k,m) k = max(k,m)
#define Pr pair<ll,ll>
#define Tp tuple<ll,ll,ll>
#define riano_ std::ios::sync_with_stdio(false);std::cin.tie(nullptr)
using Graph = vector<vector<Tp>>;

const ll mod = 1000000007;
template<uint64_t mod>
struct modint{
    uint64_t val;
    constexpr modint(const int64_t val_=0) noexcept:val((val_%int64_t(mod)+int64_t(mod))%int64_t(mod)){}
    constexpr modint operator-() const noexcept{
        return modint(*this)=mod-val;
    }
    constexpr modint operator+(const modint rhs) const noexcept{
        return modint(*this)+=rhs;
    }
    constexpr modint operator-(const modint rhs) const noexcept{
        return modint(*this)-=rhs;
    }
    constexpr modint operator*(const modint rhs) const noexcept{
        return modint(*this)*=rhs;
    }
    constexpr modint operator/(const modint rhs) const noexcept{
        return modint(*this)/=rhs;
    }
    constexpr modint &operator+=(const modint rhs) noexcept{
        val+=rhs.val;
        val-=((val>=mod)?mod:0);
        return (*this);
    }
    constexpr modint &operator-=(const modint rhs) noexcept{
        val+=((val<rhs.val)?mod:0);
        val-=rhs.val;
        return (*this);
    }
    constexpr modint &operator*=(const modint rhs) noexcept{
        val=val*rhs.val%mod;
        return (*this);
    }
    constexpr modint &operator/=(modint rhs) noexcept{
        uint64_t ex=mod-2;
        modint now=1;
        while(ex){
            now*=((ex&1)?rhs:1);
            rhs*=rhs,ex>>=1;
        }
        return (*this)*=now;
    }
    modint & operator++(){
        val++;
        if (val == mod) val = 0;
        return *this;
    }
    modint operator++(int){
        modint<mod> res = *this;
        ++*this;
        return res;
    }
    constexpr bool operator==(const modint rhs) noexcept{
        return val==rhs.val;
    }
    constexpr bool operator!=(const modint rhs) noexcept{
        return val!=rhs.val;
    }
    friend constexpr ostream &operator<<(ostream& os,const modint x) noexcept{
        return os<<(x.val);
    }
    friend constexpr istream &operator>>(istream& is,modint& x) noexcept{
        uint64_t t;
        is>>t,x=t;
        return is;
    }
};
typedef modint<mod> mint;
mint pw(long long a,long long b,long long m = mod){
    if(a%m==0) return mint(0);
    if(b==0) return mint(1);
    else if(b%2==0){
        long long x = pw(a,b/2,m).val;
        return mint(x*x);
    }
    else{
        long long x = pw(a,b-1,m).val;
        return mint(a*x);
    }
}
mint modinv(long long a, long long m = mod) {
    long long b = m, u = 1, v = 0;
    while (b) {
        long long t = a / b;
        a -= t * b; swap(a, b);
        u -= t * v; swap(u, v);
    }
    u %= m;
    return mint(u);
}
#define vm(n,i) vector<mint>(n,i)
#define v2m(n,m,i) vector<vector<mint>>(n,vm(m,i))
#define v3m(n,m,k,i) vector<vector<vector<mint>>>(n,v2m(m,k,i))
#define v4m(n,m,k,l,i) vector<vector<vector<vector<mint>>>>(n,v3m(m,k,l,i))

//行列累乗 matrix power
//modをglobalに定義しておく
vector<vector<ll>> pw_matrix(vector<vector<ll>> &M,ll n){
    if(n==0){
        vector<vector<ll>> E = M;
        rep(i,M.size()){
            rep(j,M.size()){
                if(i==j) E[i][j] = 1;
                else E[i][j] = 0;
            }
        }
        return E;
    }
    if(n==1) return M;
    if(n%2==1){
        auto K = pw_matrix(M,n-1);
        int a = M.size();
        vector<vector<ll>> L(a,vector<ll>(a));
        rep(i,a){
            rep(j,a){
                ll b = 0;
                rep(k,a) b += (M[i][k]*K[k][j])%mod;
                L[i][j] = b%mod;
            }
        }
        return L;
    }
    if(n%2==0){
        auto K = pw_matrix(M,n/2);
        int a = M.size();
        vector<vector<ll>> L(a,vector<ll>(a));
        rep(i,a){
            rep(j,a){
                ll b = 0;
                rep(k,a) b += (K[i][k]*K[k][j])%mod;
                L[i][j] = b%mod;
            }
        }
        return L;
    }
}

int main() {
    riano_; ll ans = 0;
    ll N,M,K; cin >> K >> M >> N;
    //main関数内 sizeは適宜買える
    vector<vector<ll>> Mat(36,vector<ll>(36,0)); //もとの行列
    vector<ll> a(36,0); //初期値
    rep(i,6){
        a[6*i] = 1;
    }
    //行列の成分を代入
    rep(i,M){
        ll a,b,c; cin >> a >> b >> c;
        Mat[(c-1)*6+b-1][(b-1)*6+a-1] = 1;
    }
    auto S = pw_matrix(Mat,N-2);
    //ll ans = 0;
    rep(i,6){ //size変える
        rep(j,36){
            ans += (S[i][j]*a[j])%mod;
            ans %= mod;
        }
    }
    cout << ans << endl;
}
0