結果

問題 No.1073 無限すごろく
ユーザー mugen_1337mugen_1337
提出日時 2020-06-05 22:30:02
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 4,295 bytes
コンパイル時間 3,075 ms
コンパイル使用メモリ 210,508 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-05-09 22:03:57
合計ジャッジ時間 4,191 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 2 ms
5,376 KB
testcase_11 AC 2 ms
5,376 KB
testcase_12 AC 2 ms
5,376 KB
testcase_13 AC 2 ms
5,376 KB
testcase_14 AC 2 ms
5,376 KB
testcase_15 AC 2 ms
5,376 KB
testcase_16 AC 2 ms
5,376 KB
testcase_17 AC 2 ms
5,376 KB
testcase_18 AC 2 ms
5,376 KB
testcase_19 AC 2 ms
5,376 KB
testcase_20 AC 2 ms
5,376 KB
testcase_21 AC 2 ms
5,376 KB
testcase_22 AC 2 ms
5,376 KB
testcase_23 AC 2 ms
5,376 KB
testcase_24 AC 2 ms
5,376 KB
testcase_25 AC 2 ms
5,376 KB
testcase_26 AC 2 ms
5,376 KB
testcase_27 AC 2 ms
5,376 KB
testcase_28 AC 2 ms
5,376 KB
testcase_29 AC 2 ms
5,376 KB
testcase_30 AC 2 ms
5,376 KB
testcase_31 AC 2 ms
5,376 KB
testcase_32 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#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;
}
0