标签:链接 == 二分 href 题解 span get put 现在
题目链接:https://lydsy.com/JudgeOnline/problem.php?id=3420
数据范围:略。
题解:
首先,发现$ k $具有单调性,我们可以二分。
现在考虑怎么验证?
看了题解...
我们设$ f_i $表示,如果当前人在$i$且要求合法的情况下,$i$的子树中最多要预先处理好多少个节点。
然后暴力树形$dp$转移即可。
代码:
#include <bits/stdc++.h>
#define N 1000010
using namespace std;
char *p1, *p2, buf[100000];
#define nc() (p1 == p2 && (p2 = (p1 = buf) + fread(buf, 1, 100000, stdin), p1 == p2) ? EOF : *p1 ++ )
int rd() {
int x = 0, f = 1;
char c = nc();
while (c < 48) {
if (c == ‘-‘)
f = -1;
c = nc();
}
while (c > 47) {
x = (((x << 2) + x) << 1) + (c ^ 48), c = nc();
}
return x * f;
}
int head[N], to[N << 1], nxt[N << 1], tot;
inline void add(int x, int y) {
to[ ++ tot] = y;
nxt[tot] = head[x];
head[x] = tot;
}
int sz[N], ssz[N];
void dfs1(int p, int fa) {
sz[p] = 1;
for (int i = head[p]; i; i = nxt[i]) {
if (to[i] != fa) {
ssz[p] ++ ;
dfs1(to[i], p);
sz[p] += sz[to[i]];
}
}
}
int k, f[N];
void dfs(int p, int fa) {
f[p] = -k;
for (int i = head[p]; i; i = nxt[i]) {
if (to[i] != fa) {
dfs(to[i], p);
f[p] += f[to[i]] + 1;
}
}
f[p] = max(f[p], 0);
}
bool check(int x) {
k = x;
dfs(1, 1);
if (f[1]) {
return false;
}
else {
return true;
}
}
int main() {
int n = rd();
for (int i = 1; i < n; i ++ ) {
int x = rd(), y = rd();
add(x, y), add(y, x);
}
dfs1(1, 1);
if (n == 1) {
puts("0");
return 0;
}
int l = 1, r = n, ans = n;
while (l <= r) {
int mid = (l + r) >> 1;
// cout << mid << endl ;
if (check(mid)) {
r = mid - 1;
ans = mid;
}
else {
l = mid + 1;
}
}
cout << ans << endl ;
return 0;
}
[bzoj3420]Poi2013 Triumphal arch_树形dp_二分
标签:链接 == 二分 href 题解 span get put 现在
原文地址:https://www.cnblogs.com/ShuraK/p/11773512.html