This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
// And you curse yourself for things you never done
#include<bits/stdc++.h>
#define F first
#define S second
#define PB push_back
#define sz(s) int((s).size())
#define bit(n,k) (((n)>>(k))&1)
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
const int maxn = 1220, mod = 1e9 + 7, inf = 1e9 + 10;
int dp[maxn][maxn], C[maxn][maxn];
bool is[maxn];
int dp2[maxn][maxn], F[maxn];
int main(){
    ios_base::sync_with_stdio(false); cin.tie(0); cout.tie();
    for(int i = 0; i < maxn; i++){
	C[i][i] = C[i][0] = 1;
	for(int j = 1; j < i; j++)
	    C[i][j] = (C[i-1][j] + C[i-1][j-1]) % mod;
    }
    dp2[0][0] = 1;    
    for(int i = 1; i < maxn; i++){
	for(int j = 0; j <= i; j++){
	    if(j + 2 <= i)
		dp2[i][j] = (1ll * dp2[i][j] + 1ll * C[i-j][2] * dp2[i-1][j+1]) % mod;
	    if(j >= 1)
		dp2[i][j] = (1ll * dp2[i][j] + 1ll * C[i+j][2] * dp2[i-1][j-1]) % mod;
	    if(j < i)
		dp2[i][j] = (1ll * dp2[i][j] + 1ll * (i-j) * (i+j) % mod * dp2[i-1][j]) % mod;
	}
    }
    for(int i = 1; i < maxn; i++){
	F[i] = dp2[i][0];
	for(int j = 1; j < i; j++){
	    F[i] = (1ll * F[i] - 1ll * C[i-1][j-1] %mod * C[i][j] %mod * F[j] % mod * dp2[i-j][0]) % mod;
	}
	F[i] = (F[i] + mod) % mod;
    }
    
    int n;
    cin >> n;
    for(int i = 1; i <= n; i++){
	int x;
	cin >> x;
	is[x] = 1;
    }
    int cnt = 0;
    for(int i = 2*n; i >= 1; i--){
	cnt+= is[i] ? 1 : -1;
	if(cnt < 0)
	    return cout << 0 << endl, 0;
    }
    
    dp[0][0] = 1;
    for(int i = 1; i <= n; i++){
	int A = 0, B = 0;
	for(int j = 2*n; j >= 1; j--){
	    if(is[j]){
		if(++A == i)
		    break;
	    }
	    else{
		++B;
	    }
	}
	for(int j = i; j >= 0; j--){
	    if(B > i-j)
		continue;
	    int extra = i-j - B;
	    if(j > 0)
		dp[i][j] = (dp[i][j] + dp[i-1][j-1]) % mod;
	    for(int k = 1; k + j <= i && k <= extra; k++){
		dp[i][j] = (1ll * dp[i][j] + 1ll * C[j + k-1][k-1] * F[k] % mod * C[extra][k] % mod * dp[i-1][j + k-1]) % mod;
	    }
	}
    }
    return cout << dp[n][0] << endl, 0;
}
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |