結果

問題 No.963 門松列列(2)
ユーザー tko919tko919
提出日時 2020-01-06 22:12:39
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 254 ms / 3,000 ms
コード長 6,834 bytes
コンパイル時間 1,809 ms
コンパイル使用メモリ 180,888 KB
実行使用メモリ 21,020 KB
最終ジャッジ日時 2024-05-02 10:57:20
合計ジャッジ時間 3,861 ms
ジャッジサーバーID
(参考情報)
judge5 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 21 ms
15,488 KB
testcase_01 AC 21 ms
15,488 KB
testcase_02 AC 22 ms
15,616 KB
testcase_03 AC 21 ms
15,488 KB
testcase_04 AC 20 ms
15,488 KB
testcase_05 AC 131 ms
18,672 KB
testcase_06 AC 33 ms
15,744 KB
testcase_07 AC 128 ms
18,136 KB
testcase_08 AC 240 ms
19,712 KB
testcase_09 AC 249 ms
20,488 KB
testcase_10 AC 254 ms
21,020 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

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