結果

問題 No.194 フィボナッチ数列の理解(1)
ユーザー 沙耶花沙耶花
提出日時 2021-11-04 05:56:53
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 575 ms / 5,000 ms
コード長 2,302 bytes
コンパイル時間 4,943 ms
コンパイル使用メモリ 278,984 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-14 01:12:54
合計ジャッジ時間 8,211 ms
ジャッジサーバーID
(参考情報)
judge5 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

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

ソースコード

diff #
プレゼンテーションモードにする

#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 100000000001
template <class T>
vector<T> convolution_mint(vector<T> a,vector<T> b){
static constexpr unsigned long long M0 = 998244353;
static constexpr unsigned long long M1 = 754974721;
static constexpr unsigned long long M2 = 469762049;
vector<long long> aa(a.size()),bb(b.size());
rep(i,a.size())aa[i] = a[i].val();
rep(i,b.size())bb[i] = b[i].val();
auto c0 = convolution<M0>(aa,bb);
auto c1 = convolution<M1>(aa,bb);
auto c2 = convolution<M2>(aa,bb);
vector<mint> ret(c0.size());
vector<long long> m = {M0,M1,M2};
rep(i,c0.size()){
ret[i] += c0[i];
{
long long cur = c0[i];
cur %= M1;
cur = c1[i]-cur;
if(cur<0)cur += M1;
cur *= 416537774;
cur %= M1;
mint m = M0;
ret[i] += m*cur;
cur *= M0;
cur += c0[i];
cur %= M2;
cur = c2[i] - cur;
if(cur<0)cur += M2;
cur *= 429847628;
cur %= M2;
m *= M1;
ret[i] += m * cur;
}
}
return ret;
}
vector<mint> mul(vector<mint> a,vector<mint> b){
/*
vector<mint> c(a.size()+b.size()-1,0);
rep(i,a.size()){
rep(j,b.size()){
c[i+j] += a[i]*b[j];
}
}
return c;
*/
return convolution_mint(a,b);
}
//first a[0],a[1],...
//nxt c[0]*a[i-1]+c[1]*a[i-2]+...
mint Bostan_Mori(vector<mint> a,vector<mint> c,long long n){
int d = c.size();
rep(i,c.size()){
c[i] *= -1;
}
c.insert(c.begin(),1);
a.insert(a.begin(),0);
a = mul(a,c);
while(a.size()>1+d)a.pop_back();
while(n!=0){
auto cinv = c;
for(int i=1;i<cinv.size();i+=2)cinv[i] *= -1;
a = mul(a,cinv);
c = mul(c,cinv);
{
vector<mint> na;
for(int i=(n&1LL);i<a.size();i+=2)na.push_back(a[i]);
swap(a,na);
}
{
vector<mint> nc;
for(int i=0;i<c.size();i+=2)nc.push_back(c[i]);
swap(c,nc);
}
n>>=1;
}
return a[0] / c[0];
}
int main(){
long long N,K;
cin>>N>>K;
vector<mint> c(N,1);
vector<mint> a(N);
rep(i,N){
int t;
cin>>t;
a[i] = t;
}
cout<<Bostan_Mori(a,c,K).val()<<' ';
a.insert(a.begin(),0);
rep(i,N)a[i+1] += a[i];
c.assign(N+1,0);
c[0] = 2;
c.back() = -1;
cout<<Bostan_Mori(a,c,K+1).val()<<endl;
return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0