結果

問題 No.1112 冥界の音楽
ユーザー peroonperoon
提出日時 2020-08-17 01:26:00
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 20 ms / 2,000 ms
コード長 6,957 bytes
コンパイル時間 2,390 ms
コンパイル使用メモリ 188,056 KB
実行使用メモリ 6,464 KB
最終ジャッジ日時 2023-08-01 19:37:07
合計ジャッジ時間 4,330 ms
ジャッジサーバーID
(参考情報)
judge12 / judge14
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,384 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 2 ms
4,380 KB
testcase_03 AC 2 ms
4,380 KB
testcase_04 AC 2 ms
4,376 KB
testcase_05 AC 2 ms
4,380 KB
testcase_06 AC 2 ms
4,380 KB
testcase_07 AC 2 ms
4,380 KB
testcase_08 AC 2 ms
4,376 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 1 ms
4,380 KB
testcase_11 AC 2 ms
4,380 KB
testcase_12 AC 2 ms
4,376 KB
testcase_13 AC 2 ms
4,380 KB
testcase_14 AC 7 ms
4,376 KB
testcase_15 AC 3 ms
4,380 KB
testcase_16 AC 1 ms
4,376 KB
testcase_17 AC 3 ms
4,376 KB
testcase_18 AC 3 ms
4,380 KB
testcase_19 AC 1 ms
4,376 KB
testcase_20 AC 3 ms
4,376 KB
testcase_21 AC 6 ms
4,380 KB
testcase_22 AC 5 ms
4,432 KB
testcase_23 AC 2 ms
4,380 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 2 ms
4,380 KB
testcase_29 AC 2 ms
4,376 KB
testcase_30 AC 7 ms
4,668 KB
testcase_31 AC 2 ms
4,376 KB
testcase_32 AC 8 ms
4,848 KB
testcase_33 AC 2 ms
4,380 KB
testcase_34 AC 2 ms
4,384 KB
testcase_35 AC 2 ms
4,376 KB
testcase_36 AC 20 ms
6,464 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#ifdef LOCAL
    #define _GLIBCXX_DEBUG
    #define __clock__
#else
    #pragma GCC optimize("Ofast")
#endif
#include<bits/stdc++.h>
using namespace std;
using ll = long long;
using ld = long double;
using VI = vector<ll>;
using VV = vector<VI>;
using VS = vector<string>;
using PII = pair<ll, ll>;

// tourist set
template <typename A, typename B>
string to_string(pair<A, B> p);

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p);

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> p);

string to_string(const string& s) {
  return '"' + s + '"';
}

string to_string(const char* s) {
  return to_string((string) s);
}

string to_string(bool b) {
  return (b ? "true" : "false");
}

string to_string(vector<bool> v) {
  bool first = true;
  string res = "{";
  for (int i = 0; i < static_cast<int>(v.size()); i++) {
    if (!first) {
      res += ", ";
    }
    first = false;
    res += to_string(v[i]);
  }
  res += "}";
  return res;
}

template <size_t N>
string to_string(bitset<N> v) {
  string res = "";
  for (size_t i = 0; i < N; i++) {
    res += static_cast<char>('0' + v[i]);
  }
  return res;
}

template <typename A>
string to_string(A v) {
  bool first = true;
  string res = "{";
  for (const auto &x : v) {
    if (!first) {
      res += ", ";
    }
    first = false;
    res += to_string(x);
  }
  res += "}";
  return res;
}

template <typename A, typename B>
string to_string(pair<A, B> p) {
  return "(" + to_string(p.first) + ", " + to_string(p.second) + ")";
}

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p) {
  return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ")";
}

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> p) {
  return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ", " + to_string(get<3>(p)) + ")";
}

void debug_out() { cerr << '\n'; }

template <typename Head, typename... Tail>
void debug_out(Head H, Tail... T) {
  cerr << " " << to_string(H);
  debug_out(T...);
}

#ifdef LOCAL
#define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__)
#else
#define debug(...) 42
#endif
// tourist set end

template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }

#define FOR(i,a,b) for(ll i=(a);i<(b);++i)
#define rep(i,b) FOR(i, 0, b)
#define ALL(v) (v).begin(), (v).end()
#define p(s) cout<<(s)<<'\n'
#define p2(s, t) cout << (s) << " " << (t) << '\n'
#define br() p("")
#define pn(s) cout << (#s) << " " << (s) << '\n'
#define SZ(x) ((int)(x).size())
#define SORT(A) sort(ALL(A))
#define RSORT(A) sort(ALL(A), greater<ll>())
#define MP make_pair
#define p_yes() p("YES")
#define p_no() p("NO")

ll SUM(VI& V){
  return accumulate(ALL(V), 0LL);
}

ll MIN(VI& V){return *min_element(ALL(V));}
ll MAX(VI& V){return *max_element(ALL(V));}

void print_vector(VI& V){
  ll n = V.size();
  rep(i, n){
    if(i) cout << ' ';
    cout << V[i];
  }
  cout << endl;
}

ll gcd(ll a,ll b){
    if(b == 0) return a;
    return gcd(b,a%b);
}

ll lcm(ll a,ll b){
    ll g = gcd(a,b);
    return a / g * b;
}

// long double
using ld = long double;
#define EPS (1e-14)
#define equals(a,b) (fabs((a)-(b)) < EPS)

void no(){p_no(); exit(0);}
void yes(){p_yes(); exit(0);}

const ll mod = 1e9 + 7;
const ll inf = 1e18;
const double PI = acos(-1);

// snuke's mint
// auto mod int
// https://youtu.be/L8grWxBlIZ4?t=9858
// https://youtu.be/ERZuLAxZffQ?t=4807 : optimize
// https://youtu.be/8uowVvQ_-Mo?t=1329 : division
// const int mod = 1000000007;
struct mint {
  ll x; // typedef long long ll;
  mint(ll x=0):x((x%mod+mod)%mod){}
  mint operator-() const { return mint(-x);}
  mint& operator+=(const mint a) {
    if ((x += a.x) >= mod) x -= mod;
    return *this;
  }
  mint& operator-=(const mint a) {
    if ((x += mod-a.x) >= mod) x -= mod;
    return *this;
  }
  mint& operator*=(const mint a) {
    (x *= a.x) %= mod;
    return *this;
  }
  mint operator+(const mint a) const {
    mint res(*this);
    return res+=a;
  }
  mint operator-(const mint a) const {
    mint res(*this);
    return res-=a;
  }
  mint operator*(const mint a) const {
    mint res(*this);
    return res*=a;
  }
  mint pow(ll t) const {
    if (!t) return 1;
    mint a = pow(t>>1);
    a *= a;
    if (t&1) a *= *this;
    return a;
  }

  // for prime mod
  mint inv() const {
    return pow(mod-2);
  }
  mint& operator/=(const mint a) {
    return (*this) *= a.inv();
  }
  mint operator/(const mint a) const {
    mint res(*this);
    return res/=a;
  }
};

// matrix
using Mat = vector<vector<mint>>;
// Matrix Library
// maybe..
// x = a行b列
// y = b行c列
Mat mat_mul(const Mat& x, const Mat& y){
    int a = x.size();
    int b = x[0].size();
    int c = y[0].size();
    Mat z(a, vector<mint>(c, 0));
    FOR(i, 0, a){
        FOR(j, 0, c){
            FOR(k, 0, b){
                z[i][j] += x[i][k] * y[k][j];
            }
        }
    }
    return z;
}
Mat mat_pow(const Mat& x, ll k){
    int n = x.size();
    Mat y(n, vector<mint>(n, 0));
    FOR(i, 0, n){
        y[i][i] = 1;
    }
    auto z = x;
    if(k==0) return y;
    if(k==1) return z;

    if(k%2==0){
        return mat_pow(mat_mul(x, x), k/2);
    }else{
        return mat_mul(x, mat_pow(x, k-1));
    }
}
void print_mat(Mat x){
    ll H = x.size();
    FOR(i, 0, H){
        for(mint v : x[i]){
          cout << v.x << ' ';
        }
        cout << endl;
    }
}
void print_matrix_size(Mat& m){
  ll h = m.size();
  ll w = m[0].size();
  debug(h,w);
}


int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);

    // input
    ll K,M,N;
    cin>>K>>M>>N;
    debug(K,M,N);

    // idにエンコードする
    // a,bは0-indexとする
    auto f = [&](ll a, ll b){
      return K*a+b;
    };

    VI P(M);
    VI Q(M);
    VI R(M);
    rep(i,M){
      cin>>P[i]>>Q[i]>>R[i];
      P[i]--;
      Q[i]--;
      R[i]--;
    }

    rep(i,M){
      ll a = P[i];
      ll b = Q[i];
      ll c = R[i];
      ll id = f(a,b);
      debug(a,b,id);
    }

    // 次元
    // 行列はJ x J次元
    // ベクトルはJ次元
    ll J = K*K;
    
    // J行1列の初期ベクトル
    Mat I(J, vector<mint>(1));
    rep(i,M){
      ll a = P[i];
      ll b = Q[i];
      ll id = f(a,b);
      if(a==0){
        I[id][0]=1;
      }
    }

    // 遷移行列
    Mat m(J, vector<mint>(J));
    rep(i,M){
      ll a = P[i];
      ll b = Q[i];
      ll c = R[i];
      ll fr = f(a,b);
      ll to = f(b,c);
      m[to][fr]=1;
    }
    auto m2 = mat_pow(m, N-2);

    auto result = mat_mul(m2, I);
    print_matrix_size(result);

    mint ans = 0;

    rep(i,K){
      // (i,0)で終わるもの
      ll id = f(i, 0);
      ans += result[id][0];
    }

    p(ans.x);

    return 0;
}
0