結果
| 問題 |
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;
}