This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
// https://www.cnblogs.com/legendstane/p/loj-3276-uoj-506-joisc-2020-day-2-ruins-2-solution-counting-dp.html
#include <bits/stdc++.h>
using namespace std;
#ifdef LOCAL
#include "debug.h"
#else
#define debug(...) 42
#endif
const int N = 605, MD = 1e9 + 7;
int n;
int dp[N], f[N][N], C[N][N], fact[N];
bool spec[2 * N];
int add(int a, int b) {
  if ((a += b) >= MD) {
    a -= MD;
  }
  return a;
}
int bpow(int a, int b = MD - 2) {
  int res = 1;
  for (; b; a = (long long) a * a % MD, b /= 2) {
    if (b & 1) {
      res = (long long) res * a % MD;
    }
  }
  return res;
}
int main() {
  ios::sync_with_stdio(false); cin.tie(nullptr);
  cin >> n;
  for (int i = 1; i <= n; ++i) {
    int x; cin >> x;
    spec[x] = 1;
  }
  f[0][0] = 1;
  fact[0] = 1;
  for (int i = 0; i <= n; ++i) {
    fact[i + 1] = (long long) fact[i] * (i + 1) % MD;
    C[i][0] = 1;
    for (int j = 1; j <= i; ++j) {
      C[i][j] = add(C[i - 1][j], C[i - 1][j - 1]);
    }
    for (int j = i; j <= min(i * 2, n); ++j) {
      f[i + 1][j] = add(f[i + 1][j], f[i][j]);
      f[i + 1][j + 1] = add(f[i + 1][j + 1], 2 * f[i][j] % MD);
      f[i + 1][j + 2] = add(f[i + 1][j + 2], f[i][j]);
    }
  }
  int cnt = 0;
  dp[0] = 1;
  for (int i = 2 * n; i > 0; --i) {
    if (spec[i]) {
      for (int j = n - 1; j >= 0; --j) {
        if (dp[j]) {
          for (int k = 1; j + k <= n; ++k) {
            dp[j + k] = add(dp[j + k], (long long) dp[j] * C[cnt - j][k - 1] % MD * fact[k - 1] % MD * f[k - 1][k - 1] % MD * (k + 1) % MD);
          }
        }
      }
      ++cnt;
    } else {
      int x = 2 * n - i - cnt;
      for (int j = 0; j <= n; ++j) {
        dp[j] = (long long) dp[j] * (j - x) % MD;
      }
    }
  }
  cout << (long long) dp[n] * bpow(bpow(2, n)) % MD;
  return 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... |