結果

問題 No.93 ペガサス
コンテスト
ユーザー Yang33
提出日時 2018-04-22 03:37:24
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 23 ms / 5,000 ms
コード長 2,589 bytes
コンパイル時間 1,679 ms
コンパイル使用メモリ 167,392 KB
実行使用メモリ 34,792 KB
最終ジャッジ日時 2024-06-27 05:32:39
合計ジャッジ時間 2,644 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 16
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

using VS = vector<string>;    using LL = long long;
using VI = vector<int>;       using VVI = vector<VI>;
using PII = pair<int, int>;   using PLL = pair<LL, LL>;
using VL = vector<LL>;        using VVL = vector<VL>;

#define ALL(a)  begin((a)),end((a))
#define RALL(a) (a).rbegin(), (a).rend()
#define PB push_back
#define EB emplace_back
#define MP make_pair
#define SZ(a) int((a).size())
#define SORT(c) sort(ALL((c)))
#define RSORT(c) sort(RALL((c)))
#define UNIQ(c) (c).erase(unique(ALL((c))), end((c)))
#define FOR(i, s, e) for (int(i) = (s); (i) < (e); (i)++)
#define FORR(i, s, e) for (int(i) = (s); (i) > (e); (i)--)
#define debug(x) cerr << #x << ": " << x << endl
const int INF = 1e9;                          const LL LINF = 1e16;
const LL MOD = 1000000007;                    const double PI = acos(-1.0);
int DX[8] = { 0, 0, 1, -1, 1, 1, -1, -1 };    int DY[8] = { 1, -1, 0, 0, 1, -1, 1, -1 };

/* -----  2018/04/19  Problem: yukicoder 093  / Link: http://yukicoder.me/problems/no/093  ----- */
/* ------問題------



-----問題ここまで----- */
/* -----解説等-----

挿入DPのお気持ちはわかったけど

----解説ここまで---- */

LL N;

LL ans = 0LL;

LL dp[1003][1003][2][2];

int main() {
	cin.tie(0);
	ios_base::sync_with_stdio(false);

	cin >> N;
	dp[1][0][0][0] = 1;
	dp[2][0][0][0] = 2;
	FOR(i, 2, N) {
		FOR(j, 0, N) {


			{
				LL dp00 = dp[i][j][0][0];
				dp[i + 1][j + 1][0][1] += (2)*dp00; // o i-2 o
		   if(j)dp[i + 1][j - 1][0][0] += (j)*dp00; // [j]
				dp[i + 1][j    ][0][0] += (i - j - 1)*dp00; // other
			}
		    if(j){
				LL dp01 = dp[i][j][0][1];
				dp[i + 1][j - 1][0][0] += (1)*dp01; // i-1 o i-3
				dp[i + 1][j + 1][1][1] += (2)*dp01; // o i-2 o
				dp[i + 1][j - 1][1][0] += (j - 1)*dp01; // [j]
				dp[i + 1][j    ][1][0] += (i - j - 1)*dp01; // other 
			}
			if(j){

				LL dp10 = dp[i][j][1][0];
				dp[i + 1][j-1+1][0][1] += (1)*dp10; // i-2 o i-4
				dp[i + 1][j + 1][0][1] += (1)*dp10; // o i-2 i-4
				dp[i + 1][j - 1][0][0] += (j - 1)*dp10; // [j]
				dp[i + 1][j   ][0][0] += (i - j)*dp10; // other 
			}
			if(j){
				LL dp11 = dp[i][j][1][1];
				dp[i + 1][j-1+1][1][1] += (1)*dp11; // i-2 o i-4
				dp[i + 1][j + 1][1][1] += (1)*dp11; // o i-2 i-4
				dp[i + 1][j - 1][0][0] += (1)*dp11; // i-1 o i-3
				dp[i + 1][j - 1][1][0] += (j - 2)*dp11; // [j]
				dp[i + 1][j    ][1][0] += (i - j)*dp11; // other 
			}
		}
		// mod
		FOR(j, 0, N + 1)FOR(x, 0, 2)FOR(y, 0, 2)dp[i + 1][j][x][y] %= MOD;
	}




	ans = dp[N][0][0][0]%MOD;
	cout << ans << "\n";

	return 0;
}
0