結果
問題 | No.963 門松列列(2) |
ユーザー | tko919 |
提出日時 | 2020-01-06 22:12:39 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 283 ms / 3,000 ms |
コード長 | 6,834 bytes |
コンパイル時間 | 1,987 ms |
コンパイル使用メモリ | 181,072 KB |
実行使用メモリ | 21,016 KB |
最終ジャッジ日時 | 2024-11-23 00:08:35 |
合計ジャッジ時間 | 3,808 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 24 ms
15,616 KB |
testcase_01 | AC | 23 ms
15,616 KB |
testcase_02 | AC | 23 ms
15,512 KB |
testcase_03 | AC | 24 ms
15,508 KB |
testcase_04 | AC | 24 ms
15,616 KB |
testcase_05 | AC | 150 ms
18,540 KB |
testcase_06 | AC | 35 ms
15,872 KB |
testcase_07 | AC | 144 ms
18,220 KB |
testcase_08 | AC | 256 ms
19,840 KB |
testcase_09 | AC | 273 ms
20,492 KB |
testcase_10 | AC | 283 ms
21,016 KB |
ソースコード
#define _USE_MATH_DEFINES #include <bits/stdc++.h> using namespace std; //template #define rep(i,a,b) for(int i=(a);i<(b);i++) #define rrep(i,a,b) for(int i=(a);i>(b);i--) #define ALL(v) (v).begin(),(v).end() typedef long long int ll; const int inf = 0x3fffffff; const ll INF = 0x1fffffffffffffff; const double eps=1e-12; string to_str(ll x){string res; while(x)res+=('0'+(x%10)),x/=10; reverse(ALL(res)); return res;} template<class T> inline bool chmax(T& a,T b){ if(a<b){a=b;return 1;}return 0; } template<class T> inline bool chmin(T& a,T b){ if(a>b){a=b;return 1;}return 0; } //template end template<unsigned mod>struct mint { static int get_mod(){return mod;} int val; int inv() const{ int tmp,a=val,b=mod,x=1,y=0; while(b)tmp=a/b,a-=tmp*b,swap(a,b),x-=tmp*y,swap(x,y); if(x<0)x+=mod; return x; } mint():val(0){} mint(ll x):val(x>=0?x%mod:mod+(x%mod)){} mint pow(ll t){mint res=1,b=*this; while(t){if(t&1)res*=b;b*=b;t>>=1;}return res;} mint& operator+=(const mint& x){if((val+=x.val)>=mod)val-=mod;return *this;} mint& operator-=(const mint& x){if((val+=mod-x.val)>=mod)val-=mod; return *this;} mint& operator*=(const mint& x){val=(ll)val*x.val%mod; return *this;} mint& operator/=(const mint& x){val=(ll)val*x.inv()%mod; return *this;} mint operator+(const mint& x)const{return mint(*this)+=x;} mint operator-(const mint& x)const{return mint(*this)-=x;} mint operator*(const mint& x)const{return mint(*this)*=x;} mint operator/(const mint& x)const{return mint(*this)/=x;} bool operator==(const mint& x)const{return val==x.val;} bool operator!=(const mint& x)const{return val!=x.val;} }; using Mint=mint<1012924417>; struct factorial { vector<Mint> Fact, Finv; public: factorial(int maxx){ Fact.resize(maxx+1),Finv.resize(maxx+1); Fact[0]=Mint(1); rep(i,0,maxx)Fact[i+1]=Fact[i]*(i+1); Finv[maxx]=Mint(1)/Fact[maxx]; rrep(i,maxx,0)Finv[i-1]=Finv[i]*i; } Mint fact(int n,bool inv=0){if(inv)return Finv[n];else return Fact[n];} Mint nPr(int n,int r){if(n<0||n<r||r<0)return Mint(0);else return Fact[n]*Finv[n-r];} Mint nCr(int n,int r){if(n<0||n<r||r<0)return Mint(0);else return Fact[n]*Finv[r]*Finv[n-r];} }; Mint prt=2; vector<Mint> rt,irt; void init(int lg=20){ while(prt.pow((Mint::get_mod()-1)>>1)==1)prt+=1; rt.resize(1<<lg,1); irt.resize(1<<lg,1); rep(w,0,lg){ int mask=(1<<w)-1,t=Mint(-1).val>>w; Mint g=prt.pow(t),ig=g.inv(); rep(i,0,mask){ rt[mask+i+1]=rt[mask+i]*g; irt[mask+i+1]=irt[mask+i]*ig; } } } struct FPS{ vector<Mint> f; FPS():f({1}){} FPS(int _n):f(_n){} Mint& operator[](const int i){return f[i];} FPS inv()const{ assert(f[0]!=0); int n=f.size(); FPS res(n); res.f[0]=f[0].inv(); for(int k=1;k<n;k<<=1){ FPS g(k*2),h(k*2); rep(i,0,min(k*2,n))g[i]=f[i]; rep(i,0,k)h[i]=res[i]; g.ntt(); h.ntt(); rep(i,0,k*2)g[i]*=h[i]; g.ntt(1); rep(i,0,k)g[i]=0,g[i+k]*=-1; g.ntt(); rep(i,0,k*2)g[i]*=h[i]; g.ntt(1); rep(i,k,min(k*2,n))res[i]=g[i]; } return res; } void ntt(bool inv=0){ int n=f.size(); if(n==1)return; if(inv){ for(int i=1;i<n;i<<=1){ for(int j=0;j<n;j+=i*2){ rep(k,0,i){ f[i+j+k]*=irt[i*2-1+k]; const Mint tmp=f[j+k]-f[i+j+k]; f[j+k]+=f[i+j+k]; f[i+j+k]=tmp; } } } Mint mul=Mint(n).inv(); rep(i,0,n)f[i]*=mul; }else{ for(int i=n>>1;i;i>>=1){ for(int j=0;j<n;j+=i*2){ rep(k,0,i){ const Mint tmp=f[j+k]-f[i+j+k]; f[j+k]+=f[i+j+k]; f[i+j+k]=tmp*rt[i*2-1+k]; } } } } } FPS operator+(const FPS& g)const{return FPS(*this)+=g;} FPS operator-(const FPS& g)const{return FPS(*this)-=g;} FPS operator*(const FPS& g)const{return FPS(*this)*=g;} template<class T>FPS operator*(T t)const{return FPS(*this)*=t;} FPS operator/(const FPS& g)const{return FPS(*this)/=g;} template<class T>FPS operator/(T t)const{return FPS(*this)/=t;} FPS& operator+=(FPS g){ int m=max(f.size(),g.f.size()); if(f.size()!=g.f.size()){ if(m==f.size())g.f.resize(m); else f.resize(m); } rep(i,0,m)f[i]+=g[i]; return *this; } FPS& operator-=(FPS g){ int m=max(f.size(),g.f.size()); if(f.size()!=g.f.size()){ if(m==f.size())g.f.resize(m); else f.resize(m); } rep(i,0,m)f[i]-=g[i]; return *this; } FPS& operator*=(FPS g){ int n=1; while(n<f.size()+g.f.size()-1)n<<=1; f.resize(n); g.f.resize(n); ntt(); g.ntt(); rep(i,0,n)f[i]*=g[i]; ntt(1); return *this; } template<class T>FPS& operator*=(T t){ for(auto&x:f)x*=t; return *this; } FPS& operator/=(FPS g){*this*=g.inv(); return *this;} template<class T>FPS& operator/=(T t){ for(auto&x:f)x/=t; return *this; } FPS sqrt(){ int n=f.size(); FPS res(1); res[0]=1; for(int k=1;k<n;k<<=1){ FPS ff=*this; res.f.resize(k*2); res+=ff/res; res/=2; } res.f.resize(n); return res; } FPS diff(){ FPS res=*this; rep(i,0,res.f.size()-1)res[i]=res[i+1]*(i+1); res.f.pop_back(); return res; } FPS inte(){ FPS res=*this; res.f.push_back(0); rrep(i,res.f.size()-1,0)res[i]=res[i-1]/i; res[0]=0; return res; } FPS log(){ assert(f[0]==1); FPS res=diff()/(*this); res.f.resize(f.size()-1); res=res.inte(); return res; } FPS exp(){ assert(f[0]==0); int m=f.size(),n=1; while(n<m)n<<=1; f.resize(n); FPS d=diff(),res(n); vector<FPS> pre; for(int k=n;k;k>>=1){ FPS g=d; g.f.resize(k); g.ntt(); pre.push_back(g); } auto dfs=[&](auto dfs,int l,int r,int dep)->void{ if(r-l==1){if(l>0)res[l]/=l; return;} int m=(l+r)>>1; dfs(dfs,l,m,dep+1); FPS g(r-l); rep(i,0,m-l)g[i]=res[l+i]; g.ntt(); rep(i,0,r-l)g[i]*=pre[dep][i]; g.ntt(1); rep(i,m,r)res[i]+=g[i-l-1]; dfs(dfs,m,r,dep+1); }; res[0]=1; dfs(dfs,0,n,0); res.f.resize(m); return res; } }; //need to initialize factorial fact(400010); Mint pre[210000]; int main(){ init(); int n; scanf("%d",&n); pre[0]=1; rep(i,0,209000)pre[i+1]=pre[i]*2; FPS b(n+10); b[0]=1; rep(i,1,n+10)b[i]=b[i-1]/(i+1); b=b.inv(); rep(i,1,n+10)b[i]*=fact.fact(i); FPS tanf(n+10),cosf(n+10); rep(i,1,(n+9)/2+1){ tanf[i*2-1]=pre[i*2]*(pre[i*2]-1)*b[i*2]/fact.fact(i*2); if(i%2==0)tanf[i*2-1]*=-1; } rep(i,0,(n+9)/2+1){ cosf[i*2]=fact.fact(i*2).inv(); if(i&1)cosf[i*2]*=-1; } FPS res=tanf+cosf.inv(); res[n]*=fact.fact(n)*2; printf("%d\n",res[n].val); return 0; }