結果
問題 | No.696 square1001 and Permutation 5 |
ユーザー | tko919 |
提出日時 | 2020-06-22 23:37:06 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 889 ms / 10,000 ms |
コード長 | 12,189 bytes |
コンパイル時間 | 2,699 ms |
コンパイル使用メモリ | 197,228 KB |
実行使用メモリ | 27,908 KB |
最終ジャッジ日時 | 2024-07-03 19:01:03 |
合計ジャッジ時間 | 7,796 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 873 ms
27,908 KB |
testcase_01 | AC | 24 ms
19,716 KB |
testcase_02 | AC | 23 ms
19,624 KB |
testcase_03 | AC | 25 ms
19,688 KB |
testcase_04 | AC | 28 ms
19,796 KB |
testcase_05 | AC | 31 ms
19,824 KB |
testcase_06 | AC | 46 ms
20,032 KB |
testcase_07 | AC | 82 ms
20,528 KB |
testcase_08 | AC | 165 ms
21,336 KB |
testcase_09 | AC | 404 ms
23,516 KB |
testcase_10 | AC | 889 ms
26,964 KB |
testcase_11 | AC | 635 ms
26,744 KB |
testcase_12 | AC | 24 ms
19,764 KB |
testcase_13 | AC | 23 ms
19,736 KB |
ソースコード
#define _USE_MATH_DEFINES #include <bits/stdc++.h> using namespace std; //template #define rep(i,a,b) for(int i=(int)(a);i<(int)(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; template<typename T>inline bool chmax(T& a,T b){if(a<b){a=b;return 1;}return 0;} template<typename T>inline bool chmin(T& a,T b){if(a>b){a=b;return 1;}return 0;} //end template<unsigned mod=998244353>struct fp { unsigned v; static unsigned get_mod(){return mod;} unsigned inv() const{ int tmp,a=v,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; } fp():v(0){} fp(ll x):v(x>=0?x%mod:mod+(x%mod)){} fp operator-()const{return fp(-v);} fp pow(ll t){fp res=1,b=*this; while(t){if(t&1)res*=b;b*=b;t>>=1;} return res;} fp& operator+=(const fp& x){if((v+=x.v)>=mod)v-=mod; return *this;} fp& operator-=(const fp& x){if((v+=mod-x.v)>=mod)v-=mod; return *this;} fp& operator*=(const fp& x){v=ll(v)*x.v%mod; return *this;} fp& operator/=(const fp& x){v=ll(v)*x.inv()%mod; return *this;} fp operator+(const fp& x)const{return fp(*this)+=x;} fp operator-(const fp& x)const{return fp(*this)-=x;} fp operator*(const fp& x)const{return fp(*this)*=x;} fp operator/(const fp& x)const{return fp(*this)/=x;} bool operator==(const fp& x)const{return v==x.v;} bool operator!=(const fp& x)const{return v!=x.v;} }; using Fp=fp<>; template<typename T,unsigned p>struct NTT{ vector<T> rt,irt; NTT(int lg=21){ const unsigned m=T(-1).v; T prt=p; rt.resize(1<<lg,1); irt.resize(1<<lg,1); for(int w=0;w<lg;w++){ int mask=1<<w; T g=prt.pow(m>>w),ig=g.inv(); for(int i=0;i<mask-1;i++){ rt[mask+i+1]=g*rt[mask+i]; irt[mask+i+1]=ig*irt[mask+i]; } } } void ntt(vector<T>& f,bool inv=0){ int n=f.size(); if(inv){ for(int i=1;i<n;i<<=1)for(int j=0;j<n;j+=i*2)for(int k=0;k<i;k++){ f[i+j+k]*=irt[i*2+k]; T tmp=f[j+k]-f[i+j+k]; f[j+k]+=f[i+j+k]; f[i+j+k]=tmp; } T mul=T(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)for(int k=0;k<i;k++){ T tmp=f[j+k]-f[i+j+k]; f[j+k]+=f[i+j+k]; f[i+j+k]=tmp*rt[i*2+k]; } } } template<typename U=T>vector<T> conv(vector<U> a,vector<U> b,bool same=0){ if(a.empty() and b.empty())return vector<T>(); int n=a.size()+b.size()-1,m=1; while(m<n)m<<=1; vector<T> res(m); rep(i,0,a.size()){res[i]=a[i];} ntt(res); if(same)rep(i,0,m)res[i]*=res[i]; else{ vector<T> c(m); rep(i,0,b.size())c[i]=b[i]; ntt(c); rep(i,0,m)res[i]*=c[i]; } ntt(res,1); return res; } }; using F1=fp<167772161>; using F2=fp<469762049>; NTT<F1,3> ntt1(20); NTT<F2,3> ntt2(20); const F1 coeff=F1(F2::get_mod()).inv(); template<int D=4>struct bigint{ int B,sign; vector<ll> v; static int get_D(){return D;} bigint(ll x=0){ B=1; rep(_,0,D)B*=10; sign=0; if(x<0)x*=-1,sign=1; while(x){v.push_back(x%B); x/=B;} } bigint(string s){ B=1; rep(_,0,D)B*=10; sign=0; if(s[0]=='-')s.erase(s.begin()),sign=1; int add=0,cnt=0,base=1; while(s.size()){ if(cnt==D){ v.push_back(add); cnt=0; add=0; base=1; } add=(s.back()-'0')*base+add; cnt++; base*=10; s.pop_back(); } if(add)v.push_back(add); } bigint operator-()const{bigint res=*this; res.sign^=1; return res;} bigint abs()const{bigint res=*this; res.sign=0; return res;} ll& operator[](const int i){return v[i];} int size()const{return v.size();} void norm(){ rep(i,0,v.size()-1){ if(v[i]>=0){v[i+1]+=v[i]/B; v[i]%=B;} else{int c=(-v[i]+B-1)/B; v[i]+=c*B; v[i+1]-=c;} } while(!v.empty() and v.back()>=B){ int c=v.back()/B; v.back()%=B; v.push_back(c); } while(!v.empty() and v.back()==0)v.pop_back(); } string to_str()const{ string res; if(v.empty())return "0"; if(sign)res+='-'; res+=to_string(v.back()); for(int i=v.size()-2;i>=0;i--){ string add; int w=v[i]; rep(_,0,D){ add+=('0'+(w%10)); w/=10; } reverse(ALL(add)); res+=add; } return res; } friend istream& operator>>(istream& is,bigint<D>& x){ string tmp; is>>tmp; x=bigint(tmp); return is; } friend ostream& operator<<(ostream& os,bigint<D> x){ os<<x.to_str(); return os; } bigint& operator<<=(const int& x){ if(!v.empty()){ vector<ll> add(x,0); v.insert(v.begin(),ALL(add)); } return *this; } bigint& operator>>=(const int& x){ v=vector<ll>(v.begin()+min(x,(int)v.size()),v.end()); return *this; } bigint& operator+=(const bigint& x){ if(sign!=x.sign){*this-=(-x); return *this;} if((int)v.size()<(int)x.size())v.resize(x.size(),0); rep(i,0,x.size()){v[i]+=x.v[i];} norm(); return *this; } bigint& operator-=(const bigint& x){ if(sign!=x.sign){*this+=(-x); return *this;} if(abs()<x.abs()){*this=x-(*this); sign^=1; return *this;} rep(i,0,x.size()){v[i]-=x.v[i];} norm(); return *this; } bigint& operator*=(const bigint& x){ sign^=x.sign; auto v1=ntt1.conv<ll>(v,x.v); auto v2=ntt2.conv<ll>(v,x.v); v.assign(v1.size(),0); rep(i,0,v1.size()){ ll val=1LL*F1((v1[i]-F1(v2[i].v))*coeff).v*F2::get_mod()+v2[i].v; for(int j=i;val;j++){ if(j==(int)v.size())v.push_back(0); v[j]+=val%B; val/=B; } } norm(); return *this; } bigint& operator/=(const bigint& x){ bigint a=abs(),b=x.abs(); sign^=x.sign; if(a<b)return *this=bigint(); int d=a.size()-b.size()+1,m=1; while(b.v.back()*m*10<B)m*=10; bigint inv(m*B),pre; while(inv.v!=pre.v){ pre=inv; inv*=((bigint(2)<<2)-inv.mul(b.v.back())); inv>>=2; } int cur=2,bcur=1; pre=bigint(0); while(inv.v!=pre.v){ bigint c; c.v=vector<ll>(b.v.end()-bcur,b.v.end()); pre=inv; inv*=((bigint(2)<<(cur+bcur-1))-inv*c); int nxt=min(cur<<1,d); inv.v=vector<ll>(inv.v.end()-nxt,inv.v.end()); cur=nxt; bcur=min(bcur<<1,b.size()); } inv.v=vector<ll>(inv.v.end()-d,inv.v.end()); bigint res=a*inv; res.v=vector<ll>(res.v.begin()+a.size(),res.v.end()); bigint mul=res*b; while(mul+b<=a){res+=bigint(1); mul+=b;} v=res.v; return *this; } bigint& operator%=(const bigint& x){ bigint div=(*this)/x; (*this)-=div*x; return *this; } bigint square(){ bigint res=*this; res.sign=0; auto v1=ntt1.conv<ll>(v,v,1); auto v2=ntt2.conv<ll>(v,v,1); res.v.assign(v1.size(),0); rep(i,0,v1.size()){ ll val=1LL*F1((v1[i]-F1(v2[i].v))*coeff).v*F2::get_mod()+v2[i].v; for(int j=i;val;j++){ if(j==(int)res.v.size())res.v.push_back(0); res.v[j]+=val%B; val/=B; } } res.norm(); return res; } bigint mul(ll x){ bigint res=*this; if(x<0)res.sign^=1,x*=-1; for(int i=res.v.size()-1;i>=0;i--)res.v[i]*=x; res.norm(); return res; } bigint div(ll x){ bigint res=*this; if(x<0)res.sign^=1,x*=-1; for(int i=res.v.size()-1;i>=0;i--){ if(res.v[i]%x!=0 and i!=0){res.v[i-1]+=B*(res.v[i]%x);} res.v[i]/=x; } res.norm(); return res; } bigint operator<<(const int& x)const{return bigint(*this)<<=x;} bigint operator>>(const int& x)const{return bigint(*this)>>=x;} bigint operator+(const bigint& x)const{return bigint(*this)+=x;} bigint operator-(const bigint& x)const{return bigint(*this)-=x;} bigint operator*(const bigint& x)const{return bigint(*this)*=x;} bigint operator/(const bigint& x)const{return bigint(*this)/=x;} bigint operator%(const bigint& x)const{return bigint(*this)%=x;} bool operator<(const bigint& x)const{ if(sign!=x.sign)return sign>x.sign; if((int)v.size()!=(int)x.size()){ if(sign)return (int)x.size()<(int)v.size(); else return (int)v.size()<(int)x.size(); } for(int i=v.size()-1;i>=0;i--)if(v[i]!=x.v[i]){ if(sign)return x.v[i]<v[i]; else return v[i]<x.v[i]; } return false; } bool operator>(const bigint& x)const{return x<*this;} bool operator<=(const bigint& x)const{return !(*this>x);} bool operator>=(const bigint& x)const{return !(*this<x);} }; typedef bigint<4> Bigint; struct Bigfloat{ Bigint v; int p=0; Bigfloat(){} Bigfloat(const ll& _v){v=Bigint(_v);} Bigfloat(const Bigint& _v,int _p=0):v(_v),p(_p){} void set(int _p){if(p<_p){v>>=(_p-p);} else{v<<=(p-_p);} p=_p;} Bigint to_int()const{if(p<0)return v>>(-p); else return v<<p;} Bigfloat& operator+=(const Bigfloat& x){ if(p>x.p)set(x.p),v+=x.v; else v+=x.v<<(x.p-p); return *this; } Bigfloat& operator-=(const Bigfloat& x){ if(p>x.p)set(x.p),v-=x.v; else v-=x.v<<(x.p-p); return *this; } Bigfloat square(){Bigfloat res=*this; res.p*=2; res.v=res.v.square(); return res;} Bigfloat mul(ll x){Bigfloat res=*this; res.v=v.mul(x); return res;} Bigfloat div(ll x){Bigfloat res=*this; res.v=v.div(x); return res;} Bigfloat& operator*=(const Bigfloat& x){p+=x.p; v*=x.v; return *this;} Bigfloat& operator/=(const Bigfloat& x){p-=x.p; v/=x.v; return *this;} Bigfloat operator+(const Bigfloat& x)const{return Bigfloat(*this)+=x;} Bigfloat operator-(const Bigfloat& x)const{return Bigfloat(*this)-=x;} Bigfloat operator*(const Bigfloat& x)const{return Bigfloat(*this)*=x;} Bigfloat operator/(const Bigfloat& x)const{return Bigfloat(*this)/=x;} string to_str(){ string res=v.to_str(); int d=Bigint::get_D(),s=0; if(v.sign)res=res.substr(1,res.size()-1),s=1; if(p*d>0)res+=string(p*d,'0'); else if(-p*d>=1 and -p*d<(int)res.size()){ res=res.substr(0,(int)res.size()+p*d)+'.'+res.substr((int)res.size()+p*d); } else if(-p*d>=(int)res.size())res="0."+string(-p*d-(int)res.size(),'0')+res; if(s){res='-'+res;} return res; } friend ostream& operator<<(ostream& os,Bigfloat x){ os<<x.to_str(); return os; } }; /* Bigfloat calc_sqrt(Bigint x){ int d=(x.size()+1)/2,cur=1; Bigint res(1),pre; while(pre.v!=res.v){ pre=res; Bigint y=x; if(x.size()>cur*2)y>>=(x.size()-cur*2+(x.size()&1)); res=(res+y/res).div(2); } pre=Bigint(); while(pre.v!=res.v){ pre=res; Bigint y=x; if(x.size()>cur*2)y>>=(x.size()-cur*2+(x.size()&1)); res=(res+y/res).div(2); int nxt=min(cur<<1,d); res<<=(nxt-cur); cur=nxt; } return res; } Bigfloat sqrt(Bigfloat x,int n){ x.p+=n*2; Bigint y=x.to_int(); Bigfloat res=calc_sqrt(y); res.p-=n; return res; } Bigfloat pi(int n){ Bigfloat a(Bigint(1)<<n,-n),b=sqrt(Bigfloat(2),n).div(2),t(2500,-1),p(1),pre; while(1){ Bigfloat res=(a+b).square()/t.mul(4); res.set(-n); pre.set(-n); if(res.v.v==pre.v.v)break; pre=res; Bigfloat na=(a+b).div(2); Bigfloat nb=sqrt(a*b,n); Bigfloat nt=t-p*(a-na).square(); Bigfloat np=p.mul(2); na.set(-n); nb.set(-n); nt.set(-n); np.set(-n); a=na; b=nb; t=nt; p=np; } return pre; } */ struct BIT{ int n; vector<int> a; BIT(int _n):n(_n),a(_n+1){} void add(int i,int x){ for(;i<=n;i+=(i&-i))a[i]+=x; } ll sum(int i){ ll res=0; for(;i;i-=(i&-i))res+=a[i]; return res; } }; typedef pair<Bigint,Bigint> P; int p[101010]; P dfs(int lb,int rb){ if(rb-lb==1)return P{Bigint(p[lb]),Bigint(lb+1)}; int mid=(lb+rb)/2; P p=dfs(lb,mid),q=dfs(mid,rb); q.first*=p.second; q.first+=p.first; q.second*=p.second; return q; } int main(){ int n; cin>>n; vector<int> a(n); rep(i,0,n)cin>>a[i]; BIT bit(n); rep(i,0,n){ p[n-i-1]=a[i]-1-bit.sum(a[i]); bit.add(a[i],1); } Bigint res=dfs(0,n).first; res+=Bigint(1); cout<<res<<endl; return 0; }