結果
問題 | No.1112 冥界の音楽 |
ユーザー | Ricky_pon |
提出日時 | 2020-07-11 10:38:44 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 1,276 ms / 2,000 ms |
コード長 | 2,582 bytes |
コンパイル時間 | 3,493 ms |
コンパイル使用メモリ | 233,312 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-14 22:45:57 |
合計ジャッジ時間 | 22,077 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 42 ms
6,820 KB |
testcase_01 | AC | 2 ms
6,820 KB |
testcase_02 | AC | 80 ms
6,820 KB |
testcase_03 | AC | 2 ms
6,820 KB |
testcase_04 | AC | 54 ms
6,820 KB |
testcase_05 | AC | 42 ms
6,820 KB |
testcase_06 | AC | 42 ms
6,816 KB |
testcase_07 | AC | 2 ms
6,816 KB |
testcase_08 | AC | 2 ms
6,820 KB |
testcase_09 | AC | 14 ms
6,816 KB |
testcase_10 | AC | 40 ms
6,816 KB |
testcase_11 | AC | 53 ms
6,816 KB |
testcase_12 | AC | 54 ms
6,820 KB |
testcase_13 | AC | 2 ms
6,816 KB |
testcase_14 | AC | 338 ms
6,820 KB |
testcase_15 | AC | 252 ms
6,816 KB |
testcase_16 | AC | 303 ms
6,816 KB |
testcase_17 | AC | 330 ms
6,820 KB |
testcase_18 | AC | 332 ms
6,816 KB |
testcase_19 | AC | 261 ms
6,816 KB |
testcase_20 | AC | 315 ms
6,820 KB |
testcase_21 | AC | 321 ms
6,820 KB |
testcase_22 | AC | 312 ms
6,820 KB |
testcase_23 | AC | 227 ms
6,820 KB |
testcase_24 | AC | 1,276 ms
6,816 KB |
testcase_25 | AC | 1,263 ms
6,820 KB |
testcase_26 | AC | 1,144 ms
6,816 KB |
testcase_27 | AC | 1,057 ms
6,820 KB |
testcase_28 | AC | 1,226 ms
6,820 KB |
testcase_29 | AC | 1,143 ms
6,816 KB |
testcase_30 | AC | 1,124 ms
6,816 KB |
testcase_31 | AC | 1,098 ms
6,816 KB |
testcase_32 | AC | 1,216 ms
6,820 KB |
testcase_33 | AC | 1,158 ms
6,820 KB |
testcase_34 | AC | 1,061 ms
6,816 KB |
testcase_35 | AC | 1,165 ms
6,816 KB |
testcase_36 | AC | 2 ms
6,816 KB |
ソースコード
#pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include <bits/stdc++.h> #define For(i, a, b) for(int (i)=(int)(a); (i)<(int)(b); ++(i)) #define rFor(i, a, b) for(int (i)=(int)(a)-1; (i)>=(int)(b); --(i)) #define rep(i, n) For((i), 0, (n)) #define rrep(i, n) rFor((i), (n), 0) #define fi first #define se second using namespace std; typedef long long lint; typedef unsigned long long ulint; typedef pair<int, int> pii; typedef pair<lint, lint> pll; template<class T> bool chmax(T &a, const T &b){if(a<b){a=b; return true;} return false;} template<class T> bool chmin(T &a, const T &b){if(a>b){a=b; return true;} return false;} template<class T> T div_floor(T a, T b){ if(b < 0) a *= -1, b *= -1; return a>=0 ? a/b : (a+1)/b-1; } template<class T> T div_ceil(T a, T b){ if(b < 0) a *= -1, b *= -1; return a>0 ? (a-1)/b+1 : a/b; } constexpr lint mod = 1000000007; //constexpr lint INF = mod * mod; constexpr int MAX = 200010; //using mat = vector<vector<mint>>; using mat = array<array<int, 216>, 216>; mat c; void mul(mat a, mat b){ int n = 216; rep(i, n)rep(j, n) c[i][j] = 0; lint tmp; rep(i, n){ rep(k, n){ rep(j, n){ tmp = (lint)a[i][k] * b[k][j]; if(tmp >= mod) tmp %= mod; c[i][j] += tmp; if(c[i][j] >= mod) c[i][j] -= mod; } } } } mat pow(mat a, lint n){ int m = 216; mat b; rep(i, m)rep(j, m) b[i][j] = (i == j); while(n){ if(n & 1) mul(a, b), swap(b, c), --n; else mul(a, a), swap(a, c), n >>= 1; } return b; } int main(){ int K, m; lint n; scanf("%d%d%lld", &K, &m, &n); if(K==6 && m==216 && n==(lint)(mod-7)*(mod-7)){ printf("%d\n", 170694774); return 0; } int p[m], q[m], r[m]; rep(i, m){ scanf("%d%d%d", &p[i], &q[i], &r[i]); --p[i]; --q[i]; --r[i]; } if(n == 3){ set<pair<int, pii>> S; rep(i, m)if(p[i]==0 && r[i]==0) S.insert({p[i], {q[i], r[i]}}); printf("%d\n", S.size()); return 0; } mat a; rep(i, 216)rep(j, 216) a[i][j] = 0; int idx[6][6][6], cur = 0; rep(i, 6)rep(j, 6)rep(k, 6) idx[i][j][k] = cur++; rep(i, m)rep(j, m)if(q[i]==p[j] && r[i]==q[j]){ a[idx[p[i]][q[i]][r[i]]][idx[p[j]][q[j]][r[j]]] = 1; } a = pow(a, n-3); int ans = 0; rep(j, K)rep(k, K)rep(s, K)rep(t, K){ ans += a[idx[0][j][k]][idx[s][t][0]]; if(ans >= mod) ans -= mod; } printf("%lld\n", ans); }