結果
問題 |
No.1073 無限すごろく
|
ユーザー |
|
提出日時 | 2020-07-01 11:21:15 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 3 ms / 2,000 ms |
コード長 | 1,909 bytes |
コンパイル時間 | 1,799 ms |
コンパイル使用メモリ | 174,664 KB |
実行使用メモリ | 6,944 KB |
最終ジャッジ日時 | 2024-09-13 20:54:18 |
合計ジャッジ時間 | 2,899 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 30 |
ソースコード
#include <bits/stdc++.h> #define all(x) (x).begin(), (x).end() typedef long long ll; #define MOD 1000000007 using namespace std; ll k; long long extGCD(long long a, long long b, long long &x, long long &y) { if(b == 0) { x = 1; y = 0; return a; } long long d = extGCD(b, a % b, y, x); // 再帰的に解く y -= a / b * x; return d; } // 負の数にも対応した mod (a = -11 とかでも OK) inline long long mod(long long a, long long m) { return (a % m + m) % m; } // 逆元計算 (ここでは a と m が互いに素であることが必要) long long modinv(long long a, long long m) { long long x, y; extGCD(a, m, x, y); return mod(x, m); // 気持ち的には x % m だが、x が負かもしれないので } vector<vector<ll>> ope(vector<vector<ll>> &mat1, vector<vector<ll>> &mat2) { vector<vector<ll>> res(k, vector<ll>(k, 0)); for(int i = 0; i < k; i++) { for(int j = 0; j < k; j++) { for(int l = 0; l < k; l++) { res[i][j] += mat1[i][l] * mat2[l][j] % MOD; res[i][j] %= MOD; } } } return res; } vector<vector<ll>> modpow(vector<vector<ll>> a, ll n) { vector<vector<ll>> res = a; n--; while(n > 0) { if(n & 1) res = ope(res, a); a = ope(a, a); n >>= 1; } return res; } int main() { ll n; cin >> n; n += 5; k = 6; vector<ll> init = {1, 0, 0, 0, 0, 0}; vector<vector<ll>> mat(k, vector<ll>(k, 0)); for(int i = 0; i < k; i++) { mat[0][i] = modinv(6, MOD); } for(int i = 1; i < k; i++) { for(int j = 0; j < k; j++) { mat[i][i - 1] = 1; } } auto ret = modpow(mat, n - 5); ll ans = 0; for(int i = 0; i < k; i++) { ans += ret[0][i] * init[i] % MOD; ans %= MOD; } cout << ans << endl; }