#692467 (C++17) No.1667 Forest

• 問題: No.1667 Forest
• ユーザー: nok0
• 提出日時: 2021-08-26 22:48:40
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 220 ms / 3,000 ms
• コード長: 1,001 bytes
• コンパイル時間: 2,225 ms
• コンパイル使用メモリ: 205,560 KB
• 実行使用メモリ: 4,384 KB
• 最終ジャッジ日時: 2023-08-21 18:59:48
• 合計ジャッジ時間: 4,433 ms
• ジャッジサーバーID （参考情報）: judge11 / judge13

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	220 ms; 4,376 KB
testcase_01	AC	217 ms; 4,376 KB
testcase_02	AC	213 ms; 4,376 KB
testcase_03	AC	3 ms; 4,380 KB
testcase_04	AC	210 ms; 4,384 KB
testcase_05	AC	122 ms; 4,376 KB
testcase_06	AC	72 ms; 4,380 KB
testcase_07	AC	44 ms; 4,380 KB
testcase_08	AC	21 ms; 4,376 KB
testcase_09	AC	12 ms; 4,376 KB
testcase_10	AC	7 ms; 4,380 KB
testcase_11	AC	2 ms; 4,376 KB
testcase_12	AC	1 ms; 4,376 KB
testcase_13	AC	2 ms; 4,380 KB
testcase_14	AC	2 ms; 4,376 KB
testcase_15	AC	1 ms; 4,376 KB
testcase_16	AC	2 ms; 4,376 KB
testcase_17	AC	2 ms; 4,376 KB

ソースコード

#include <bits/stdc++.h>

#include <atcoder/modint>
using namespace std;
using mint = atcoder::modint;

int main() {
	int n, m;
	cin >> n >> m;
	mint::set_mod(m);

	const int CombMAX = 500;
	std::vector<mint> fac(CombMAX + 1), finv(CombMAX + 1), inv(CombMAX + 1);
	fac[0] = fac[1] = 1;
	finv[0] = finv[1] = 1;
	inv[1] = 1;
	for(int i = 2; i <= CombMAX; i++) {
		fac[i] = fac[i - 1] * i;
		inv[i] = (mint)m - inv[m % i] * (m / i);
		finv[i] = finv[i - 1] * inv[i];
	}

	auto binom = [&](int n, int r) -> mint {
		if(n < r or n < 0 or r < 0) return 0;
		assert(n <= CombMAX);
		return fac[n] * finv[r] * finv[n - r];
	};

	vector dp(n + 1, vector(n, mint(0)));
	dp[0][0] = 1;

	for(int i = 0; i < n; i++) {
		for(int j = 0; j < n; j++) {
			if(dp[i][j] == 0) continue;
			dp[i + 1][j] += dp[i][j];
			for(int k = 2; k <= n - i; k++)
				dp[i + k][j + k - 1] += dp[i][j] * binom(n - i - 1, k - 1) * mint(k).pow(k - 2);
		}
	}

	for(int i = 0; i < n; i++) printf("%d\n", dp.back()[i].val());

	return 0;
}