做的题太少，什么都要看题解..
题意只给出一个叛徒，则他一定是叶子结点（最坏情况下），那么“带头反叛”的点一定构成了一条链。
令f[u]表示u不带头反叛的最小值，则考虑它的每一支儿子v，（不反叛）f[v]，（反叛）size[v]/(size[u]-1)，这里取一个min。
因为是最坏情况，所以对所有儿子取max。
现在来考虑答案如何构造（这个我写完想了很久），对于std中ans=max(ans,f[u])的做法（size[u]>k），
先证必要性：显然，每一棵size大于K的子树，我们不能取满，ans至少要达到f[u]。
再证充分性：我们只是对每一棵size大于K的子树进行了询问。也许它们f[u]中的选择是不合法的，却不会影响答案；再者，最开始到达K的子树一定不能带头反叛，那么它就不需要再对上进行转移。所以严格来讲某题解的std还少了一句话【已经标记】，只是不知道为何能过。（也许不写也是正确的吧，牵扯到一堆不等式，反正我证不出来）
#include<cstdio>
#include<algorithm>
#define eps 1e-8
#define N 1000010
using namespace std;
int edgenum,n,K;
int vet[N],head[N],size[N],son[N],next[N];
double f[N];
;
void add(int u,int v){
edgenum++;vet[edgenum]=v;next[edgenum]=head[u];head[u]=edgenum;
}
void dfs(int u){
;son[u]=;
){
int v=vet[e];
dfs(v);
son[u]+=size[v];size[u]+=size[v];
e=next[e];
}
e=head[u];){
f[u]=1.0;
if(size[u]>K)ans=max(ans,f[u]);
return;
}
){
int v=vet[e];
if(size[v]>K){e=next[e];continue;}///////////That's it!
f[u]=max(f[u],min(f[v],)));
e=next[e];
}
if(size[u]>K){
ans=max(ans,f[u]);
}
}
int main()
{
scanf("%d%d",&n,&K);
;i<=n;i++){
int x;scanf("%d",&x);
add(x,i);
}
dfs();
printf("%.10lf",ans);
}
bzoj4726