結果
| 問題 | No.526 フィボナッチ数列の第N項をMで割った余りを求める |
| コンテスト | |
| ユーザー |
rniya
|
| 提出日時 | 2020-12-01 01:22:26 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 2 ms / 2,000 ms |
| コード長 | 9,234 bytes |
| 記録 | |
| コンパイル時間 | 2,390 ms |
| コンパイル使用メモリ | 198,936 KB |
| 最終ジャッジ日時 | 2025-01-16 10:36:38 |
|
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 12 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
const long long MOD=1000000007;
// const long long MOD=998244353;
#define LOCAL
#pragma region Macros
typedef long long ll;
typedef __int128_t i128;
typedef unsigned int uint;
typedef unsigned long long ull;
#define ALL(x) (x).begin(),(x).end()
const int INF=1e9;
const long long IINF=1e18;
const int dx[4]={1,0,-1,0},dy[4]={0,1,0,-1};
const char dir[4]={'D','R','U','L'};
template<typename T>
istream &operator>>(istream &is,vector<T> &v){
for (T &x:v) is >> x;
return is;
}
template<typename T>
ostream &operator<<(ostream &os,const vector<T> &v){
for (int i=0;i<v.size();++i){
os << v[i] << (i+1==v.size()?"": " ");
}
return os;
}
template<typename T,typename U>
ostream &operator<<(ostream &os,const pair<T,U> &p){
os << '(' << p.first << ',' << p.second << ')';
return os;
}
template<typename T,typename U,typename V>
ostream&operator<<(ostream &os,const tuple<T,U,V> &t){
os << '(' << get<0>(t) << ',' << get<1>(t) << ',' << get<2>(t) << ')';
return os;
}
template<typename T,typename U,typename V,typename W>
ostream&operator<<(ostream &os,const tuple<T,U,V,W> &t){
os << '(' << get<0>(t) << ',' << get<1>(t) << ',' << get<2>(t) << ',' << get<3>(t) << ')';
return os;
}
template<typename T,typename U>
ostream &operator<<(ostream &os,const map<T,U> &m){
os << '{';
for (auto itr=m.begin();itr!=m.end();){
os << '(' << itr->first << ',' << itr->second << ')';
if (++itr!=m.end()) os << ',';
}
os << '}';
return os;
}
template<typename T,typename U>
ostream &operator<<(ostream &os,const unordered_map<T,U> &m){
os << '{';
for (auto itr=m.begin();itr!=m.end();){
os << '(' << itr->first << ',' << itr->second << ')';
if (++itr!=m.end()) os << ',';
}
os << '}';
return os;
}
template<typename T>
ostream &operator<<(ostream &os,const set<T> &s){
os << '{';
for (auto itr=s.begin();itr!=s.end();){
os << *itr;
if (++itr!=s.end()) os << ',';
}
os << '}';
return os;
}
template<typename T>
ostream &operator<<(ostream &os,const multiset<T> &s){
os << '{';
for (auto itr=s.begin();itr!=s.end();){
os << *itr;
if (++itr!=s.end()) os << ',';
}
os << '}';
return os;
}
template<typename T>
ostream &operator<<(ostream &os,const unordered_set<T> &s){
os << '{';
for (auto itr=s.begin();itr!=s.end();){
os << *itr;
if (++itr!=s.end()) os << ',';
}
os << '}';
return os;
}
template<typename T>
ostream &operator<<(ostream &os,const deque<T> &v){
for (int i=0;i<v.size();++i){
os << v[i] << (i+1==v.size()?"": " ");
}
return os;
}
void debug_out(){cerr << '\n';}
template<class Head,class... Tail>
void debug_out(Head&& head,Tail&&... tail){
cerr << head;
if (sizeof...(Tail)>0) cerr << ", ";
debug_out(move(tail)...);
}
#ifdef LOCAL
#define debug(...) cerr << " ";\
cerr << #__VA_ARGS__ << " :[" << __LINE__ << ":" << __FUNCTION__ << "]" << '\n';\
cerr << " ";\
debug_out(__VA_ARGS__)
#else
#define debug(...) 42
#endif
template<typename T> T gcd(T x,T y){return y!=0?gcd(y,x%y):x;}
template<typename T> T lcm(T x,T y){return x/gcd(x,y)*y;}
template<class T1,class T2> inline bool chmin(T1 &a,T2 b){
if (a>b){a=b; return true;} return false;
}
template<class T1,class T2> inline bool chmax(T1 &a,T2 b){
if (a<b){a=b; return true;} return false;
}
#pragma endregion
class dynamic_modint{
using i64=int64_t;
using u32=uint32_t;
using u64=uint64_t;
static u32 &mod(){
static u32 mod_=0;
return mod_;
}
public:
u32 v;
static void set_mod(const u32 x){
assert(x<(u32(1)<<31));
mod()=x;
}
static u32 get_mod(){return mod();}
dynamic_modint(const i64 x=0):v(x<0?get_mod()-1-(-(x+1)%get_mod()):x%get_mod()){}
u32 &value() noexcept {return v;}
const u32 &value() const noexcept {return v;}
dynamic_modint operator+(const dynamic_modint &rhs) const {return dynamic_modint(*this)+=rhs;}
dynamic_modint operator-(const dynamic_modint &rhs) const {return dynamic_modint(*this)-=rhs;}
dynamic_modint operator*(const dynamic_modint &rhs) const {return dynamic_modint(*this)*=rhs;}
dynamic_modint operator/(const dynamic_modint &rhs) const {return dynamic_modint(*this)/=rhs;}
dynamic_modint &operator+=(const dynamic_modint &rhs){
v+=rhs.v;
if (v>=get_mod()) v-=get_mod();
return *this;
}
dynamic_modint &operator-=(const dynamic_modint &rhs){
if (v<rhs.v) v+=get_mod();
v-=rhs.v;
return *this;
}
dynamic_modint &operator*=(const dynamic_modint &rhs){
v=(u64)v*rhs.v%get_mod();
return *this;
}
dynamic_modint &operator/=(const dynamic_modint &rhs){
return *this*=rhs.pow(get_mod()-2);
}
dynamic_modint pow(u64 exp) const {
dynamic_modint self(*this),res(1);
while (exp>0){
if (exp&1) res*=self;
self*=self; exp>>=1;
}
return res;
}
dynamic_modint &operator++(){if (++v==get_mod()) v=0; return *this;}
dynamic_modint &operator--(){if (v==0) v=get_mod(); return --v,*this;}
dynamic_modint operator++(int){dynamic_modint t=*this; return ++*this,t;}
dynamic_modint operator--(int){dynamic_modint t=*this; return --*this,t;}
dynamic_modint operator-(){return dynamic_modint(get_mod()-v);}
template<class T> friend dynamic_modint operator+(T x,dynamic_modint y){return dynamic_modint(x)+y;}
template<class T> friend dynamic_modint operator-(T x,dynamic_modint y){return dynamic_modint(x)-y;}
template<class T> friend dynamic_modint operator*(T x,dynamic_modint y){return dynamic_modint(x)*y;}
template<class T> friend dynamic_modint operator/(T x,dynamic_modint y){return dynamic_modint(x)/y;}
bool operator==(const dynamic_modint &rhs){return v==rhs.v;}
bool operator!=(const dynamic_modint &rhs){return v!=rhs.v;}
bool operator!(){return !v;}
friend istream &operator>>(istream &s,dynamic_modint &rhs){
i64 v; rhs=dynamic_modint{(s>>v,v)}; return s;
}
friend ostream &operator<<(ostream &s,const dynamic_modint &rhs){
return s<<rhs.v;
}
};
template<class T>
struct Matrix{
vector<vector<T>> A;
Matrix(size_t n,size_t m):A(n,vector<T>(m,0)){}
Matrix(size_t n):A(n,vector<T>(n,0)){}
size_t height() const {return A.size();}
size_t width() const {return A[0].size();}
inline const vector<T> &operator[](int i) const {return A[i];}
inline vector<T> &operator[](int i){return A[i];}
static Matrix I(size_t n){
Matrix res(n);
for (int i=0;i<n;++i) res[i][i]=1;
return res;
}
Matrix operator+(const Matrix &B) const {return Matrix(*this)+=B;}
Matrix operator-(const Matrix &B) const {return Matrix(*this)-=B;}
Matrix operator*(const Matrix &B) const {return Matrix(*this)*=B;}
Matrix operator^(const long long k) const {return Matrix(*this)^=k;}
Matrix &operator+=(const Matrix &B){
size_t n=height(),m=width();
assert(n==B.height()&&m==B.width());
for (int i=0;i<n;++i){
for (int j=0;j<m;++j){
(*this)[i][j]+=B[i][j];
}
}
return *this;
}
Matrix &operator-=(const Matrix &B){
size_t n=height(),m=width();
assert(n==B.height()&&m==B.width());
for (int i=0;i<n;++i){
for (int j=0;j<m;++j){
(*this)[i][j]-=B[i][j];
}
}
return *this;
}
Matrix &operator*=(const Matrix &B){
size_t n=height(),m=B.width(),l=width();
assert(l==B.height());
vector<vector<T>> C(n,vector<T>(m,0));
for (int i=0;i<n;++i){
for (int j=0;j<m;++j){
for (int k=0;k<l;++k){
C[i][j]+=(*this)[i][k]*B[k][j];
}
}
}
A.swap(C);
return *this;
}
Matrix &operator^=(long long k){
Matrix res=Matrix::I(height());
while (k>0){
if (k&1) res*=*this;
*this*=*this; k>>=1LL;
}
A.swap(res.A);
return *this;
}
T determinant(){
Matrix B(*this);
T res=1;
for (int i=0;i<width();++i){
int pivot=-1;
for (int j=i;j<height();++j){
if (B[j][i]!=0){
pivot=j;
}
}
if (pivot<0) return 0;
if (pivot!=i){
res*=-1;
swap(B[i],B[pivot]);
}
res*=B[i][i];
T v=T(1)/B[i][i];
for (int j=0;j<width();++j) B[i][j]*=v;
for (int j=i+1;j<height();++j){
T w=B[j][i];
for (int k=0;k<width();++k){
B[j][k]-=B[i][k]*w;
}
}
}
return res;
}
};
using mint=dynamic_modint;
int main(){
cin.tie(0);
ios::sync_with_stdio(false);
int N,M; cin >> N >> M;
mint::set_mod(M);
Matrix<mint> m(2);
m[0][1]=m[1][0]=m[1][1]=1;
m^=N;
cout << m[0][0] << '\n';
}
rniya