Submission #947277
Source Code Expand
#include<bits/stdc++.h> using namespace std; #define int long long typedef vector<int>vint; typedef pair<int,int>pint; typedef vector<pint>vpint; #define rep(i,n) for(int i=0;i<(n);i++) #define reps(i,f,n) for(int i=(f);i<(n);i++) #define all(v) (v).begin(),(v).end() #define each(it,v) for(__typeof((v).begin()) it=(v).begin();it!=(v).end();it++) #define pb push_back #define fi first #define se second template<typename A,typename B>inline void chmin(A &a,B b){if(a>b)a=b;} template<typename A,typename B>inline void chmax(A &a,B b){if(a<b)a=b;} const int mod=1000000007; int fact[1111111]; int inv[1111111]; int mpow(int n,int m){ int ret=1; while(m){ if(m&1)ret=ret*n%mod; n=n*n%mod; m>>=1; } return ret; } int C(int n,int k){ return fact[n]*inv[k]%mod*inv[n-k]%mod; } struct BIT{ int N; vector<int>dat; void init(int n){ N=n; dat.resize(N+1); } BIT(){} BIT(int n){init(n);} void add(int k,int x){ for(k++;k<=N;k+=k&-k)dat[k]+=x; } int sum(int k){ int ret=0; for(k++;k;k-=k&-k)ret+=dat[k]; return ret; } }; int N; int P[555555]; bool ex[555555]; int acc[555555]; signed main(){ fact[0]=1; for(int i=1;i<1111111;i++)fact[i]=fact[i-1]*i%mod; inv[1111111-1]=mpow(fact[1111111-1],mod-2); for(int i=1111111-2;i>=0;i--)inv[i]=inv[i+1]*(i+1)%mod; cin>>N; rep(i,N)cin>>P[i]; rep(i,N)ex[P[i]]=true; for(int i=1;i<=N;i++){ acc[i]=acc[i-1]; if(!ex[i])acc[i]++; } int ans=0; int emp=0; int allemp=acc[N]; BIT bit;bit.init(N+114); int sum=0; for(int i=N-1;i>=0;i--){ int f=fact[N-i-1]; if(P[i]){ ans=(ans+bit.sum(P[i])*fact[allemp]%mod*f)%mod; int s=acc[P[i]]; if(s){ ans=(ans+fact[allemp-1]*emp%mod*s%mod*f)%mod; } bit.add(P[i],1); if(allemp)sum=(sum+fact[allemp-1]*(acc[N]-acc[P[i]]))%mod; continue; } int tmp=allemp*(allemp-1)/2; tmp%=mod; if(emp)ans=(ans+tmp*fact[allemp-2]%mod*emp%mod*f)%mod; ans=(ans+sum*f)%mod; emp++; } ans=(ans+fact[allemp])%mod; cout<<ans<<endl; return 0; }
Submission Info
Submission Time | |
---|---|
Task | E - Encyclopedia of Permutations |
User | latte0119 |
Language | C++14 (GCC 5.4.1) |
Score | 1200 |
Code Size | 2377 Byte |
Status | AC |
Exec Time | 293 ms |
Memory | 29824 KB |
Judge Result
Set Name | Sample | Subtask | All | ||||||
---|---|---|---|---|---|---|---|---|---|
Score / Max Score | 0 / 0 | 500 / 500 | 700 / 700 | ||||||
Status |
|
|
|
Set Name | Test Cases |
---|---|
Sample | 0_000.txt, 0_001.txt, 0_002.txt, 0_003.txt, 0_004.txt |
Subtask | 0_000.txt, 0_001.txt, 0_002.txt, 0_003.txt, 0_004.txt, 1_005.txt, 1_006.txt, 1_007.txt, 1_008.txt, 1_009.txt, 1_010.txt, 1_011.txt, 1_012.txt, 1_013.txt, 1_014.txt, 1_015.txt, 1_016.txt, 1_017.txt, 1_018.txt, 1_019.txt, 1_020.txt, 1_021.txt, 1_022.txt, 1_023.txt, 1_024.txt, 1_025.txt, 1_026.txt, 1_027.txt, 1_028.txt, 1_029.txt, 1_030.txt, 1_031.txt, 1_032.txt |
All | 0_000.txt, 0_001.txt, 0_002.txt, 0_003.txt, 0_004.txt, 1_005.txt, 1_006.txt, 1_007.txt, 1_008.txt, 1_009.txt, 1_010.txt, 1_011.txt, 1_012.txt, 1_013.txt, 1_014.txt, 1_015.txt, 1_016.txt, 1_017.txt, 1_018.txt, 1_019.txt, 1_020.txt, 1_021.txt, 1_022.txt, 1_023.txt, 1_024.txt, 1_025.txt, 1_026.txt, 1_027.txt, 1_028.txt, 1_029.txt, 1_030.txt, 1_031.txt, 1_032.txt, 2_033.txt, 2_034.txt, 2_035.txt, 2_036.txt, 2_037.txt, 2_038.txt, 2_039.txt, 2_040.txt, 2_041.txt, 2_042.txt, 2_043.txt, 2_044.txt, 2_045.txt, 2_046.txt, 2_047.txt, 2_048.txt, 2_049.txt, 2_050.txt, 2_051.txt, 2_052.txt, 2_053.txt, 2_054.txt, 2_055.txt, 2_056.txt, 2_057.txt |
Case Name | Status | Exec Time | Memory |
---|---|---|---|
0_000.txt | AC | 34 ms | 17664 KB |
0_001.txt | AC | 34 ms | 17664 KB |
0_002.txt | AC | 34 ms | 17664 KB |
0_003.txt | AC | 34 ms | 17664 KB |
0_004.txt | AC | 34 ms | 17664 KB |
1_005.txt | AC | 34 ms | 17664 KB |
1_006.txt | AC | 34 ms | 17664 KB |
1_007.txt | AC | 34 ms | 17664 KB |
1_008.txt | AC | 34 ms | 17664 KB |
1_009.txt | AC | 34 ms | 17664 KB |
1_010.txt | AC | 34 ms | 17664 KB |
1_011.txt | AC | 34 ms | 17664 KB |
1_012.txt | AC | 35 ms | 17664 KB |
1_013.txt | AC | 34 ms | 17664 KB |
1_014.txt | AC | 34 ms | 17664 KB |
1_015.txt | AC | 34 ms | 17664 KB |
1_016.txt | AC | 35 ms | 17664 KB |
1_017.txt | AC | 34 ms | 17664 KB |
1_018.txt | AC | 35 ms | 17664 KB |
1_019.txt | AC | 34 ms | 17664 KB |
1_020.txt | AC | 34 ms | 17664 KB |
1_021.txt | AC | 34 ms | 17664 KB |
1_022.txt | AC | 35 ms | 17664 KB |
1_023.txt | AC | 35 ms | 17664 KB |
1_024.txt | AC | 35 ms | 17664 KB |
1_025.txt | AC | 34 ms | 17664 KB |
1_026.txt | AC | 35 ms | 17664 KB |
1_027.txt | AC | 36 ms | 17664 KB |
1_028.txt | AC | 35 ms | 17664 KB |
1_029.txt | AC | 35 ms | 17664 KB |
1_030.txt | AC | 35 ms | 17664 KB |
1_031.txt | AC | 35 ms | 17664 KB |
1_032.txt | AC | 35 ms | 17664 KB |
2_033.txt | AC | 134 ms | 29440 KB |
2_034.txt | AC | 84 ms | 23424 KB |
2_035.txt | AC | 155 ms | 29824 KB |
2_036.txt | AC | 145 ms | 28800 KB |
2_037.txt | AC | 175 ms | 29824 KB |
2_038.txt | AC | 157 ms | 28288 KB |
2_039.txt | AC | 194 ms | 29824 KB |
2_040.txt | AC | 111 ms | 23680 KB |
2_041.txt | AC | 212 ms | 29824 KB |
2_042.txt | AC | 62 ms | 19968 KB |
2_043.txt | AC | 231 ms | 29824 KB |
2_044.txt | AC | 159 ms | 25600 KB |
2_045.txt | AC | 248 ms | 29824 KB |
2_046.txt | AC | 237 ms | 29312 KB |
2_047.txt | AC | 265 ms | 29824 KB |
2_048.txt | AC | 124 ms | 23040 KB |
2_049.txt | AC | 278 ms | 29824 KB |
2_050.txt | AC | 187 ms | 25600 KB |
2_051.txt | AC | 274 ms | 29824 KB |
2_052.txt | AC | 247 ms | 28672 KB |
2_053.txt | AC | 134 ms | 29312 KB |
2_054.txt | AC | 293 ms | 29824 KB |
2_055.txt | AC | 219 ms | 29824 KB |
2_056.txt | AC | 219 ms | 29824 KB |
2_057.txt | AC | 181 ms | 29824 KB |