結果

問題 No.417 チューリップバブル
ユーザー antaanta
提出日時 2016-08-26 22:48:23
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 5 ms / 2,000 ms
コード長 2,233 bytes
コンパイル時間 1,775 ms
コンパイル使用メモリ 182,400 KB
実行使用メモリ 5,208 KB
最終ジャッジ日時 2023-08-08 03:51:46
合計ジャッジ時間 3,522 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge13
このコードへのチャレンジ（β）

テストケース

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

ソースコード

diff # 

#include "bits/stdc++.h"
using namespace std;
#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))
static const int INF = 0x3f3f3f3f; static const long long INFL = 0x3f3f3f3f3f3f3f3fLL;
typedef vector<int> vi; typedef pair<int, int> pii; typedef vector<pair<int, int> > vpii; typedef long long ll;
template<typename T, typename U> static void amin(T &x, U y) { if(y < x) x = y; }
template<typename T, typename U> static void amax(T &x, U y) { if(x < y) x = y; }


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 M;
	while(~scanf("%d%d", &N, &M)) {
		vector<int> U(N);
		for(int i = 0; i < N; ++ i)
			scanf("%d", &U[i]);
		vector<vector<int> > g(N);
		vector<vector<pair<int, int> > > gw(N);
		for(int i = 0; i < N - 1; ++ i) {
			int u, v, w;
			scanf("%d%d%d", &u, &v, &w);
			g[u].push_back(v);
			g[v].push_back(u);
			gw[u].push_back(make_pair(v, w));
			gw[v].push_back(make_pair(u, w));
		}
		tree_getorder(g, 0);
		M /= 2;
		vector<vector<ll>> memo(N, vector<ll>(M+1, -1));
		function<vector<ll>(int, int)> rec = [&](int i, int j) -> vector<ll> {
			if(g[i].size() == j)
				return vector<ll>(1, U[i]);
			int c = g[i][j];
			if(c == t_parent[i])
				return rec(i, j + 1);
			int w = gw[i][j].second;
			vector<ll> l = rec(c, 0);
			vector<ll> r = rec(i, j + 1);
			vector<ll> res(min<int>(l.size() + r.size() + w - 1, M + 1), -INFL);
			rep(y, r.size())
				res[y] = r[y];
			rep(x, l.size()) {
				ll a = l[x];
				if(a == -INFL) continue;
				int lim = min<int>(r.size(), res.size() - x - w);
				rep(y, lim) {
					amax(res[x + y + w], a + r[y]);
				}
			}
			return res;
		};
		auto v = rec(0, 0);
		ll ans = *max_element(v.begin(), v.end());
		printf("%lld\n", ans);
	}
	return 0;
}
0