/*
ЗАПУСКАЕМ
░ГУСЯ░▄▀▀▀▄░РАБОТЯГУ░░
▄███▀░◐░░░▌░░░░░░░
░░░░▌░░░░░▐░░░░░░░
░░░░▐░░░░░▐░░░░░░░
░░░░▌░░░░░▐▄▄░░░░░
░░░░▌░░░░▄▀▒▒▀▀▀▀▄
░░░▐░░░░▐▒▒▒▒▒▒▒▒▀▀▄
░░░▐░░░░▐▄▒▒▒▒▒▒▒▒▒▒▀▄
░░░░▀▄░░░░▀▄▒▒▒▒▒▒▒▒▒▒▀▄
░░░░░░▀▄▄▄▄▄█▄▄▄▄▄▄▄▄▄▄▄▀▄
░░░░░░░░░░░▌▌░▌▌░░░░░
░░░░░░░░░░░▌▌░▌▌░░░░░
░░░░░░░░░▄▄▌▌▄▌▌░░░░░
*/
#include <iostream>
#include <complex>
#include <vector>
#include <string>
#include <algorithm>
#include <cstdio>
#include <numeric>
#include <cstring>
#include <ctime>
#include <cstdlib>
#include <set>
#include <map>
#include <unordered_map>
#include <unordered_set>
#include <list>
#include <cmath>
#include <bitset>
#include <cassert>
#include <queue>
#include <stack>
#include <deque>
#include <random>
using namespace std;
template<typename T1, typename T2>inline void chkmin(T1 &x, T2 y) { if (x > y) x = y; }
template<typename T1, typename T2>inline void chkmax(T1 &x, T2 y) { if (x < y) x = y; }
#define sz(c) (int)(c).size()
#define all(c) (c).begin(), (c).end()
#define rall(c) (c).rbegin(), (c).rend()
#define left left228
#define right right228
#define rank rank228
#define y1 y1228
#define read(FILENAME) freopen((FILENAME + ".in").c_str(), "r", stdin)
#define write(FILENAME) freopen((FILENAME + ".out").c_str(), "w", stdout)
#define files(FILENAME) read(FILENAME), write(FILENAME)
#define pb push_back
#define mp make_pair
using ll = long long;
using ld = long double;
// const int MAXMEM = 200 * 1000 * 1024;
// char _memory[MAXMEM];
// size_t _ptr = 0;
// void* operator new(size_t _x) { _ptr += _x; return _memory + _ptr - _x; }
// void operator delete (void*) noexcept {}
const string FILENAME = "input";
const int MAXN = 1205;
const int Mod = 1000000007;
int sum(int a, int b){
return (a + b >= Mod ? a + b - Mod: a + b);
}
int mul(int a, int b) {
return ((ll)a * b) % Mod;
}
int powm(int a, int b) {
int res = 1;
while (b) {
if (b & 1) {
res = mul(res, a);
}
b >>= 1;
a = mul(a, a);
}
return res;
}
int n;
int a[MAXN];
bool survived[MAXN];
int c[MAXN][MAXN];
int fact[MAXN];
int pr[MAXN][MAXN];
int ways[MAXN];
int dp[2][MAXN];
int main() {
ios_base::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
// read(FILENAME);
cin >> n;
for (int i = 0; i < n; i++) {
cin >> a[i];
survived[a[i]] = true;
}
for (int i = 0; i <= 2 * n; i++) {
for (int j = 0; j <= i; j++) {
if (j == 0 || j == i) {
c[i][j] = 1;
} else {
c[i][j] = sum(c[i - 1][j], c[i - 1][j - 1]);
}
}
}
fact[0] = 1;
for (int i = 1; i <= 2 * n; i++) {
fact[i] = mul(fact[i - 1], i);
}
pr[0][0] = 1;
for (int i = 0; i <= 2 * n; i++) {
for (int j = i; j <= 2 * n + 1; j++) {
if (j + 2 <= 2 * n) {
pr[i + 1][j + 2] = sum(pr[i + 1][j + 2], pr[i][j]);
}
if (j + 1 <= 2 * n) {
pr[i + 1][j + 1] = sum(pr[i + 1][j + 1], sum(pr[i][j], pr[i][j]));
}
pr[i + 1][j] = sum(pr[i + 1][j], pr[i][j]);
}
}
// cout << pr[1][1] << endl;
for (int i = 1; i <= 2 * n + 1; i++) {
ways[i] = pr[i - 1][i - 1];
ways[i] = mul(ways[i], mul(fact[i - 1], i + 1));
}
dp[0][0] = 1;
// cout << c[0][0] << endl;
int cnt1 = 0, cnt0 = 0;
for (int i = 2 * n; i >= 1; i--) {
for (int j = cnt0; j <= cnt1 + 1; j++) {
if (dp[0][j] != 0) {
if (survived[i]) {
dp[1][j] = sum(dp[1][j], dp[0][j]);
for (int k = j + 1; k <= cnt1 + 2; k++) {
int val = mul(mul(dp[0][j], c[cnt1 - j][k - j - 1]), ways[k - j]);
dp[1][k] = sum(dp[1][k], val);
}
} else {
dp[1][j] = sum(dp[1][j], mul(dp[0][j], j - cnt0));
}
}
}
if (survived[i]) {
cnt1++;
} else {
cnt0++;
}
for (int j = 0; j <= n + 1; j++) {
dp[0][j] = dp[1][j];
// cout << dp[0][j] << ' ';
dp[1][j] = 0;
}
//cout << endl;
}
int res = dp[0][n];
res = mul(res, powm(powm(2, n), Mod - 2));
cout << res << '\n';
return 0;
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
5 ms |
384 KB |
Output is correct |
2 |
Correct |
5 ms |
640 KB |
Output is correct |
3 |
Correct |
5 ms |
640 KB |
Output is correct |
4 |
Correct |
5 ms |
512 KB |
Output is correct |
5 |
Correct |
5 ms |
640 KB |
Output is correct |
6 |
Correct |
4 ms |
640 KB |
Output is correct |
7 |
Correct |
5 ms |
640 KB |
Output is correct |
8 |
Correct |
5 ms |
640 KB |
Output is correct |
9 |
Correct |
5 ms |
512 KB |
Output is correct |
10 |
Correct |
5 ms |
640 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
5 ms |
384 KB |
Output is correct |
2 |
Correct |
5 ms |
640 KB |
Output is correct |
3 |
Correct |
5 ms |
640 KB |
Output is correct |
4 |
Correct |
5 ms |
512 KB |
Output is correct |
5 |
Correct |
5 ms |
640 KB |
Output is correct |
6 |
Correct |
4 ms |
640 KB |
Output is correct |
7 |
Correct |
5 ms |
640 KB |
Output is correct |
8 |
Correct |
5 ms |
640 KB |
Output is correct |
9 |
Correct |
5 ms |
512 KB |
Output is correct |
10 |
Correct |
5 ms |
640 KB |
Output is correct |
11 |
Correct |
5 ms |
1408 KB |
Output is correct |
12 |
Correct |
5 ms |
1408 KB |
Output is correct |
13 |
Correct |
5 ms |
1408 KB |
Output is correct |
14 |
Correct |
5 ms |
1400 KB |
Output is correct |
15 |
Correct |
6 ms |
1408 KB |
Output is correct |
16 |
Correct |
5 ms |
1408 KB |
Output is correct |
17 |
Correct |
5 ms |
1408 KB |
Output is correct |
18 |
Correct |
5 ms |
1408 KB |
Output is correct |
19 |
Correct |
5 ms |
1408 KB |
Output is correct |
20 |
Correct |
6 ms |
1408 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
5 ms |
384 KB |
Output is correct |
2 |
Correct |
5 ms |
640 KB |
Output is correct |
3 |
Correct |
5 ms |
640 KB |
Output is correct |
4 |
Correct |
5 ms |
512 KB |
Output is correct |
5 |
Correct |
5 ms |
640 KB |
Output is correct |
6 |
Correct |
4 ms |
640 KB |
Output is correct |
7 |
Correct |
5 ms |
640 KB |
Output is correct |
8 |
Correct |
5 ms |
640 KB |
Output is correct |
9 |
Correct |
5 ms |
512 KB |
Output is correct |
10 |
Correct |
5 ms |
640 KB |
Output is correct |
11 |
Correct |
5 ms |
1408 KB |
Output is correct |
12 |
Correct |
5 ms |
1408 KB |
Output is correct |
13 |
Correct |
5 ms |
1408 KB |
Output is correct |
14 |
Correct |
5 ms |
1400 KB |
Output is correct |
15 |
Correct |
6 ms |
1408 KB |
Output is correct |
16 |
Correct |
5 ms |
1408 KB |
Output is correct |
17 |
Correct |
5 ms |
1408 KB |
Output is correct |
18 |
Correct |
5 ms |
1408 KB |
Output is correct |
19 |
Correct |
5 ms |
1408 KB |
Output is correct |
20 |
Correct |
6 ms |
1408 KB |
Output is correct |
21 |
Correct |
20 ms |
11520 KB |
Output is correct |
22 |
Correct |
19 ms |
11520 KB |
Output is correct |
23 |
Correct |
20 ms |
11648 KB |
Output is correct |
24 |
Correct |
22 ms |
11520 KB |
Output is correct |
25 |
Correct |
18 ms |
11648 KB |
Output is correct |
26 |
Correct |
19 ms |
11584 KB |
Output is correct |
27 |
Correct |
19 ms |
11648 KB |
Output is correct |
28 |
Correct |
18 ms |
11648 KB |
Output is correct |
29 |
Correct |
18 ms |
11520 KB |
Output is correct |
30 |
Correct |
219 ms |
11520 KB |
Output is correct |
31 |
Correct |
119 ms |
11520 KB |
Output is correct |
32 |
Correct |
165 ms |
11520 KB |
Output is correct |
33 |
Correct |
210 ms |
11640 KB |
Output is correct |
34 |
Correct |
117 ms |
11648 KB |
Output is correct |
35 |
Correct |
162 ms |
11648 KB |
Output is correct |
36 |
Correct |
198 ms |
11520 KB |
Output is correct |