bzoj 4726（树形dp）

传送门

从20:40想到21:40，我有时候还真是智障啊TAT。。。

题解：

结论1.最坏情况下初始叛徒一定是一个叶节点 

结论2.最终的所有叛徒一定是某个节点为根的子树中的所有节点 

定义f[p]为p的子树不叛变的最小x。

f[p]=max{f[p]，min{f[v]，siz[v]/(siz[p]-1)}}。

两个东西取min的原因：两个同时大于x才会使v的子树叛变，所以只要卡掉一个即可。外层取max是因为要考虑最坏情况。

之前始终没想通是因为傻逼的本蒟蒻始终认为f[v]与f[p]因为分母（子树size）不一样而没有直接关系，然而我忽略了题意中x是对于所有人的，即x只有一个。。。

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int MAXN=5e5+4;
double f[MAXN],ans=0.0;//f[i]-->i不反叛的最小x
int head[MAXN],etot=0,siz[MAXN];
int n,m;
struct EDGE {
	int v,nxt;
}e[MAXN];
inline int read() {
	int x=0;char c=getchar();
	while (c<'0'||c>'9') c=getchar();
	while (c>='0'&&c<='9') x=x*10+c-'0',c=getchar();
	return x;
}
inline void adde(int u,int v) {
	e[etot].nxt=head[u],e[etot].v=v,head[u]=etot++;
}
void dfs(int p) {
	siz[p]=1;
	for (int i=head[p];~i;i=e[i].nxt) {
		int v=e[i].v;
		dfs(v);
		siz[p]+=siz[v];
	}
	if (siz[p]==1) {f[p]=1.0;return ;}
	for (int i=head[p];~i;i=e[i].nxt) {
		int v=e[i].v;
		f[p]=max(f[p],min(f[v],1.0*siz[v]/(siz[p]-1)));
	}
	if (siz[p]>m) ans=max(ans,f[p]);//防止它反叛（否则会反叛者人数超过m）
}
int main() {
//	freopen("bzoj 4726.in","r",stdin);
	memset(head,-1,sizeof(head));
	n=read(),m=read();
	for (register int i=2;i<=n;++i) adde(read(),i);
	dfs(1);
	printf("%.10lf\n",ans);
	return 0;
}