Submission #696537

#TimeUsernameProblemLanguageResultExecution timeMemory
696537lucriRuins 3 (JOI20_ruins3)C++17
0 / 100
1 ms212 KiB
#include <bits/stdc++.h> #define MOD 1000000007 using namespace std; unordered_map<int,int>ma; long long putere(long long a,long long b) { if(b==0) return 1; long long p=putere(a,b/2); p*=p; p%=MOD; if(b%2) { p*=a; p%=MOD; } return p; } int fact[610],comb[610][610]; void factorial() { fact[0]=1; for(long long i=1;i<=600;++i) fact[i]=fact[i-1]*i%MOD; } long long combinari(long long n,long long m) { long long ans=1; ans=fact[n]; ans*=putere(fact[m],MOD-2); ans%=MOD; ans*=putere(fact[n-m],MOD-2); ans%=MOD; return ans; } short n,v[610]; int cod(short step,short nrstack,short ppoz,bool exista) { return ((1LL*step*601+nrstack)*600+ppoz-1)*2+exista-1; } long long raspunde(short step,short nrstack,short ppoz,bool exista) { if(ma.find(cod(step,nrstack,ppoz,exista))!=ma.end()) return ma[cod(step,nrstack,ppoz,exista)]; if(step==n) { return 1; } int ans=0; short ramas=n-step-nrstack; short posibileInceput=v[ppoz]-1-(2*step-step+ppoz-1-nrstack); if(exista==false) { if(posibileInceput&&ramas>=1&&nrstack==1) { if(step==n-1) { return 1; } if(ramas-1) ans=(1LL*ans+1LL*posibileInceput*(ramas-1)%MOD*raspunde(step+1,nrstack,ppoz,false))%MOD; int q=putere(comb[n-ppoz][step+1-ppoz],MOD-2); for(int newppoz=ppoz+1;newppoz<=step+2;++newppoz) ans=(1LL*ans+1LL*comb[n-newppoz][step+2-newppoz]*q%MOD*posibileInceput%MOD*raspunde(step+1,nrstack,newppoz,false))%MOD; } if(ramas>=3) ans=(1LL*ans+1LL*comb[ramas-1][2]*raspunde(step+1,nrstack+1,ppoz,false))%MOD; if(ramas>=2) ans=(1LL*ans+1LL*(ramas-1)*raspunde(step+1,nrstack+1,ppoz,true))%MOD; if(posibileInceput>=2&&nrstack>=1) ans=(1LL*ans+1LL*comb[posibileInceput][2]*raspunde(step+1,nrstack-1,ppoz,false))%MOD; if(posibileInceput&&nrstack>=1&&ramas>=1) { if(ramas-1) ans=(1LL*ans+1LL*posibileInceput*(ramas-1)%MOD*raspunde(step+1,nrstack,ppoz,false))%MOD; ans=(1LL*ans+1LL*posibileInceput*raspunde(step+1,nrstack,ppoz,true))%MOD; } } else { if(posibileInceput>=2) { if(nrstack>=2) ans=(1LL*ans+1LL*comb[posibileInceput][2]*raspunde(step+1,nrstack-1,ppoz,true))%MOD; else { if(step==n-1) { return 1; } int q=putere(comb[n-ppoz][step+1-ppoz],MOD-2); for(int newppoz=ppoz+1;newppoz<=step+2;++newppoz) ans=(1LL*ans+1LL*comb[n-newppoz][step+2-newppoz]*q%MOD*comb[posibileInceput][2]%MOD*raspunde(step+1,nrstack-1,newppoz,false))%MOD; } } if(ramas>=2) ans=(1LL*ans+1LL*comb[ramas][2]*raspunde(step+1,nrstack+1,ppoz,true))%MOD; if(posibileInceput&&ramas>=1) ans=(1LL*ans+1LL*posibileInceput*ramas%MOD*raspunde(step+1,nrstack,ppoz,true))%MOD; } ma[cod(step,nrstack,ppoz,exista)]=ans; return ans; } int main() { ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL); factorial(); cin>>n; for(int i=1;i<=n;++i) cin>>v[i]; for(int i=0;i<=n;++i) for(int j=0;j<=i;++j) comb[i][j]=combinari(i,j); cout<<raspunde(0,0,1,false); return 0; }
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...