結果
| 問題 | No.93 ペガサス |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2015-11-10 21:58:12 |
| 言語 | C++11(廃止可能性あり) (gcc 13.3.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 75 ms / 5,000 ms |
| コード長 | 1,299 bytes |
| 記録 | |
| コンパイル時間 | 1,471 ms |
| コンパイル使用メモリ | 159,472 KB |
| 実行使用メモリ | 34,944 KB |
| 最終ジャッジ日時 | 2024-09-13 14:22:13 |
| 合計ジャッジ時間 | 2,762 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 16 |
ソースコード
#include <bits/stdc++.h>
#define GET_MACRO(a, b, c, NAME, ...) NAME
#define rep(...) GET_MACRO(__VA_ARGS__, rep3, rep2)(__VA_ARGS__)
#define rep2(i, a) rep3 (i, 0, a)
#define rep3(i, a, b) for (int i = (a); i < (b); i++)
#define repr(...) GET_MACRO(__VA_ARGS__, repr3, repr2)(__VA_ARGS__)
#define repr2(i, a) repr3 (i, 0, a)
#define repr3(i, a, b) for (int i = (b) - 1; i >= (a); i--)
#define chmin(a, b) ((b) < a && (a = (b), true))
#define chmax(a, b) (a < (b) && (a = (b), true))
using namespace std;
typedef long long ll;
const ll mod = 1e9 + 7;
ll dp[1010][1010][2][2]; // pos, bad, (n-3, n-1), (n-2, n)
int main() {
int n;
cin >> n;
dp[0][0][0][0] = 1;
rep (i, n) rep (j, n + 1) rep (k, 2) rep (l, 2) {
ll v = dp[i][j][k][l];
int way = i + 1;
if (k) {
// n-3,(n+1),n-1
(dp[i + 1][j][l][true] += v) %= mod;
// (n+1),n-1,n-3
(dp[i + 1][j + k][l][true] += v) %= mod;
way -= 2;
} else {
if (i >= 2) {
// (n+1),n-1 or n-1,(n+1)
(dp[i + 1][j + k][l][true] += v * 2) %= mod;
way -= 2;
}
}
// n-2, (n+1), n
if (l) {
(dp[i + 1][j + k][false][false] += v) %= mod;
way -= 1;
}
(dp[i + 1][j - 1 + k][l][false] += v * j % mod) %= mod;
way -= j;
(dp[i + 1][j + k][l][false] += v * way % mod) %= mod;
}
cout << dp[n][0][0][0] << endl;
}