結果
| 問題 |
No.196 典型DP (1)
|
| コンテスト | |
| ユーザー |
veqcc
|
| 提出日時 | 2019-02-21 21:38:40 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
RE
|
| 実行時間 | - |
| コード長 | 1,421 bytes |
| コンパイル時間 | 880 ms |
| コンパイル使用メモリ | 95,432 KB |
| 実行使用メモリ | 90,368 KB |
| 最終ジャッジ日時 | 2024-11-21 06:28:50 |
| 合計ジャッジ時間 | 14,297 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 23 RE * 15 TLE * 3 |
ソースコード
#include <algorithm>
#include <iostream>
#include <iomanip>
#include <cstring>
#include <string>
#include <vector>
#include <queue>
#include <cmath>
#include <stack>
#include <set>
#include <map>
typedef long long ll;
typedef unsigned int uint;
using namespace std;
const ll MOD = 1000000007LL;
int n, K;
vector <int> edge[2005];
ll dp[2005][2005]; // 頂点i以下のsubtreeにおいて、ちょうどj個の頂点を黒にする場合の数
int dfs(int cur, int par) {
ll dp2[2][K+1]; // 子をx番目まで見たときに、頂点i以下でちょうどj個を黒にする場合の数
fill(dp2[0], dp2[1]+K+1, 0);
dp2[0][0] = 1;
int sm = 1;
int x = 0, y = 1;
for (auto child : edge[cur]) {
if (child == par) continue;
int sz = dfs(child, cur);
sm += sz;
for (int j = 0; j <= sz; j++) {
for (int k = 0; k <= min(sm, K) - j; k++) {
(dp2[y][j+k] += dp2[x][k] * dp[child][j] % MOD) %= MOD;
}
}
swap(x, y);
fill(dp2[y], dp2[y]+K+1, 0);
}
for (int i = 0; i <= sm; i++) dp[cur][i] = dp2[x][i];
if (sm <= K) (dp[cur][sm] += 1) %= MOD;
return sm;
}
int main() {
cin >> n >> K;
for (int i = 1; i < n; i++) {
int a, b;
cin >> a >> b;
edge[a].push_back(b);
edge[b].push_back(a);
}
dfs(0, -1);
cout << dp[0][K] << "\n";
return 0;
}
veqcc