結果
| 問題 |
No.1073 無限すごろく
|
| コンテスト | |
| ユーザー |
mugen_1337
|
| 提出日時 | 2020-06-05 22:30:02 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 3 ms / 2,000 ms |
| コード長 | 4,295 bytes |
| コンパイル時間 | 2,662 ms |
| コンパイル使用メモリ | 203,420 KB |
| 最終ジャッジ日時 | 2025-01-10 22:44:00 |
|
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 30 |
ソースコード
#include<bits/stdc++.h>
using namespace std;
#define ALL(x) x.begin(),x.end()
#define rep(i,n) for(int i=0;i<(n);i++)
#define debug(v) cout<<#v<<":";for(auto x:v){cout<<x<<' ';}cout<<endl;
#define INF 1000000000
#define mod 1000000007
using ll=long long;
const ll LINF=1001002003004005006ll;
int dx[]={1,0,-1,0};
int dy[]={0,1,0,-1};
// ll gcd(ll a,ll b){return b?gcd(b,a%b):a;}
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(b<a){a=b;return true;}return false;}
ll fact_mod(ll n) {
ll ret=1;
for(ll i=2;i<=n;i++) ret=ret*(i%mod)%mod;
return ret;
}
ll pow_mod(ll x, ll n){
if(n==0) return 1;
ll ret=pow_mod((x*x) % mod, n/2);
if(n&1) ret=(ret*x)%mod;
return ret;
}
//O(r)
ll combination_mod(ll n, ll r) {
if(r>n-r) r=n-r;
if(r==0) return 1;
ll a=1;
for(ll i=0;i<r;i++) a=a*((n-i)%mod)%mod;
ll b=pow_mod(fact_mod(r), mod-2);
return (a%mod)*(b%mod)%mod;
}
ll inv_mod(ll n){
return pow_mod(n,mod-2);
}
template<class T>
vector<vector<T>> matplus(vector<vector<T>> a,vector<vector<T>> b){
asert(a.size()==b.size() and a[0].size()==b[0].size());
for(int i=0;i<a.size();i++){
for(int j=0;j<a[0].size();j++){
a[i][j]+=b[i][j];
}
}
return a;
}
template<class T>
vector<vector<T>> matminus(vector<vector<T>> a,vector<vector<T>> b){
asert(a.size()==b.size() and a[0].size()==b[0].size());
for(int i=0;i<a.size();i++){
for(int j=0;j<a[0].size();j++){
a[i][j]-=b[i][j];
}
}
return a;
}
template<class T>
vector<vector<T>> matmul(vector<vector<T>> a,vector<vector<T>> b){
assert(a[0].size()==b.size());
int n=b.size();
vector<vector<T>> ret(a.size(),vector<T>(b[0].size(),0));
for(int i=0;i<a.size();i++){
for(int j=0;j<b[0].size();j++){
for(int k=0;k<n;k++){
ret[i][j]+=a[i][k]*b[k][j];
}
}
}
return ret;
}
template<class T>
vector<vector<T>> matpow(vector<vector<T>> a,ll k){
assert(a.size()==a[0].size());
int n=a.size();
vector<vector<T>> ret(n,vector<T>(n,0));
for(int i=0;i<n;i++) ret[i][i]=1;
while(k>0){
if(k&1) ret=matmul(ret,a);
a=matmul(a,a);
k>>=1;
}
return ret;
}
//mod
vector<vector<ll>> matplus_mod(vector<vector<ll>> a,vector<vector<ll>> b){
assert(a.size()==b.size() and a[0].size()==b[0].size());
for(int i=0;i<a.size();i++){
for(int j=0;j<a[0].size();j++){
a[i][j]+=b[i][j];
if(a[i][j]>=mod) a[i][j]-=mod;
}
}
return a;
}
vector<vector<ll>> matminus_mod(vector<vector<ll>> a,vector<vector<ll>> b){
assert(a.size()==b.size() and a[0].size()==b[0].size());
for(int i=0;i<a.size();i++){
for(int j=0;j<a[0].size();j++){
a[i][j]-=b[i][j];
if(a[i][j]<0) a[i][j]+=mod;
}
}
return a;
}
vector<vector<ll>> matmul_mod(vector<vector<ll>> a,vector<vector<ll>> b){
assert(a[0].size()==b.size());
int n=b.size();
vector<vector<ll>> ret(a.size(),vector<ll>(b[0].size(),0));
for(int i=0;i<a.size();i++){
for(int j=0;j<b[0].size();j++){
for(int k=0;k<n;k++){
ret[i][j]+=a[i][k]*b[k][j]%mod;
ret[i][j]%=mod;
}
}
}
return ret;
}
vector<vector<ll>> matpow_mod(vector<vector<ll>> a,ll k){
assert(a.size()==a[0].size());
int n=a.size();
vector<vector<ll>> ret(n,vector<ll>(n,0));
for(int i=0;i<n;i++) ret[i][i]=1;
while(k>0){
if(k&1) ret=matmul_mod(ret,a);
a=matmul_mod(a,a);
k>>=1;
}
return ret;
}
signed main(){
cin.tie(0);
ios::sync_with_stdio(0);
const ll i6=inv_mod(6);
ll n;cin>>n;
vector<vector<ll>> mat(6,vector<ll>(6,0));
rep(j,6)mat[5][j]=i6;
mat[0][1]=1;mat[1][2]=1;mat[2][3]=1;mat[3][4]=1;mat[4][5]=1;
vector<vector<ll>> p(6,vector<ll>(1));
p[0][0]=1;
for(int i=1;i<6;i++){
ll s=0;
rep(j,i){
s+=p[j][0];
s%=mod;
}
s=s*i6%mod;
p[i][0]=s;
}
auto res=matpow_mod(mat,n);
res=matmul_mod(res,p);
cout<<res[0][0]<<endl;
return 0;
}
mugen_1337