結果

問題 No.196 典型DP (1)
ユーザー antaanta
提出日時 2015-09-27 20:52:47
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 13 ms / 2,000 ms
コード長 3,418 bytes
コンパイル時間 958 ms
コンパイル使用メモリ 86,812 KB
実行使用メモリ 4,384 KB
最終ジャッジ日時 2023-09-26 16:59:21
合計ジャッジ時間 3,167 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 2 ms
4,376 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 AC 1 ms
4,376 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 1 ms
4,376 KB
testcase_09 AC 1 ms
4,380 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 AC 2 ms
4,376 KB
testcase_12 AC 2 ms
4,376 KB
testcase_13 AC 2 ms
4,380 KB
testcase_14 AC 1 ms
4,380 KB
testcase_15 AC 2 ms
4,376 KB
testcase_16 AC 2 ms
4,376 KB
testcase_17 AC 3 ms
4,376 KB
testcase_18 AC 5 ms
4,376 KB
testcase_19 AC 5 ms
4,376 KB
testcase_20 AC 7 ms
4,376 KB
testcase_21 AC 6 ms
4,376 KB
testcase_22 AC 7 ms
4,380 KB
testcase_23 AC 9 ms
4,380 KB
testcase_24 AC 8 ms
4,376 KB
testcase_25 AC 9 ms
4,376 KB
testcase_26 AC 12 ms
4,384 KB
testcase_27 AC 12 ms
4,376 KB
testcase_28 AC 12 ms
4,380 KB
testcase_29 AC 12 ms
4,376 KB
testcase_30 AC 12 ms
4,380 KB
testcase_31 AC 13 ms
4,376 KB
testcase_32 AC 13 ms
4,376 KB
testcase_33 AC 12 ms
4,380 KB
testcase_34 AC 13 ms
4,380 KB
testcase_35 AC 13 ms
4,376 KB
testcase_36 AC 12 ms
4,380 KB
testcase_37 AC 7 ms
4,376 KB
testcase_38 AC 12 ms
4,376 KB
testcase_39 AC 11 ms
4,380 KB
testcase_40 AC 12 ms
4,376 KB
testcase_41 AC 2 ms
4,376 KB
testcase_42 AC 2 ms
4,376 KB
testcase_43 AC 1 ms
4,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <string>
#include <vector>
#include <algorithm>
#include <numeric>
#include <set>
#include <map>
#include <queue>
#include <iostream>
#include <sstream>
#include <cstdio>
#include <cmath>
#include <ctime>
#include <cstring>
#include <cctype>
#include <cassert>
#include <limits>
#include <functional>
#define rep(i,n) for(int (i)=0;(i)<(int)(n);++(i))
#define rer(i,l,u) for(int (i)=(int)(l);(i)<=(int)(u);++(i))
#define reu(i,l,u) for(int (i)=(int)(l);(i)<(int)(u);++(i))
#if defined(_MSC_VER) || __cplusplus > 199711L
#define aut(r,v) auto r = (v)
#else
#define aut(r,v) __typeof(v) r = (v)
#endif
#define each(it,o) for(aut(it, (o).begin()); it != (o).end(); ++ it)
#define all(o) (o).begin(), (o).end()
#define pb(x) push_back(x)
#define mp(x,y) make_pair((x),(y))
#define mset(m,v) memset(m,v,sizeof(m))
#define INF 0x3f3f3f3f
#define INFL 0x3f3f3f3f3f3f3f3fLL
using namespace std;
typedef vector<int> vi; typedef pair<int,int> pii; typedef vector<pair<int,int> > vpii; typedef long long ll;
template<typename T, typename U> inline void amin(T &x, U y) { if(y < x) x = y; }
template<typename T, typename U> inline void amax(T &x, U y) { if(x < y) x = y; }

template<int MOD>
struct ModInt {
	static const int Mod = MOD;
	unsigned x;
	ModInt() : x(0) {}
	ModInt(signed sig) { int sigt = sig % MOD; if(sigt < 0) sigt += MOD; x = sigt; }
	ModInt(signed long long sig) { int sigt = sig % MOD; if(sigt < 0) sigt += MOD; x = sigt; }
	int get() const { return (int)x; }

	ModInt &operator+=(ModInt that) { if((x += that.x) >= MOD) x -= MOD; return *this; }
	ModInt &operator-=(ModInt that) { if((x += MOD - that.x) >= MOD) x -= MOD; return *this; }
	ModInt &operator*=(ModInt that) { x = (unsigned long long)x * that.x % MOD; return *this; }

	ModInt operator+(ModInt that) const { return ModInt(*this) += that; }
	ModInt operator-(ModInt that) const { return ModInt(*this) -= that; }
	ModInt operator*(ModInt that) const { return ModInt(*this) *= that; }
};
typedef ModInt<1000000007> mint;

vector<int> t_parent;
vi t_ord;

void tree_getorder(const vector<vi> &g, int root) {
	int n = g.size();
	t_parent.assign(n, -1);
	t_ord.clear();

	vector<int> stk; stk.push_back(root);
	while(!stk.empty()) {
		int i = stk.back(); stk.pop_back();
		t_ord.push_back(i);
		for(int j = (int)g[i].size() - 1; j >= 0; j --) {
			int c = g[i][j];
			if(t_parent[c] == -1 && c != root)
				stk.push_back(c);
			else
				t_parent[i] = c;
		}
	}
}

int main() {
	int N; int K;
	while(~scanf("%d%d", &N, &K)) {
		vector<vector<int> > g(N);
		for(int i = 0; i < N - 1; ++ i) {
			int u, v;
			scanf("%d%d", &u, &v);
			g[u].push_back(v);
			g[v].push_back(u);
		}
		tree_getorder(g, 0);

		vector<int> subtsize(N, 1);
		for(int ix = (int)t_ord.size() - 1; ix > 0; -- ix) {
			int i = t_ord[ix], p = t_parent[i];
			subtsize[p] += subtsize[i];
		}

		function<vector<mint>(int)> solve;
		solve = [&](int i) -> vector<mint> {
			int n = subtsize[i];
			int a = 1;
			vector<mint> dp, ndp;
			ndp.assign(a + 1, mint());
			ndp[0] = 1;
			each(j, g[i]) if(*j != t_parent[i]) {
				int b = subtsize[*j];
				dp.swap(ndp);
				vector<mint> v = solve(*j);
				assert(v.size() == b + 1);
				ndp.assign(a + b + 1, mint());
				rer(i, 0, a) rer(j, 0, b)
					ndp[i + j] += dp[i] * v[j];
				a += b;
			}
			ndp[n] += 1;
			return ndp;
		};
		vector<mint> ansv = solve(0);
		mint ans = ansv[K];
		printf("%d\n", ans.get());
	}
	return 0;
}
0