結果
| 問題 | No.526 フィボナッチ数列の第N項をMで割った余りを求める | 
| コンテスト | |
| ユーザー |  mugen_1337 | 
| 提出日時 | 2020-02-22 16:12:54 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 2 ms / 2,000 ms | 
| コード長 | 3,502 bytes | 
| コンパイル時間 | 1,931 ms | 
| コンパイル使用メモリ | 176,296 KB | 
| 実行使用メモリ | 6,820 KB | 
| 最終ジャッジ日時 | 2024-10-09 17:09:28 | 
| 合計ジャッジ時間 | 2,571 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 12 | 
ソースコード
#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 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }
ll mod;
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);
    
    int n;cin>>n>>mod;
    vector<vector<ll>> A{{1,1},{1,0}};
    vector<vector<ll>> F{{1},{0}};
    auto res=matpow_mod(A,n-1);
    res=matmul_mod(res,F);
    cout<<res[1][0]<<endl;
    return 0;
}
            
            
            
        