「NOI十联测」深邃

要使得最大的连通块最小，显然先二分答案。

先固定1结点为根。

对于一个果实，显然是先处理子树中未分配的点，再向外延伸。

每个结点记录一个(si[])，表示子树中未分配的点数，若为负数，则绝对值代表可以向外延伸的点数。

对于每一个结点(i):

统计儿子中可以向外延伸的点数的最大值MIN，若该结点本身为果实，也算在内（因为(i)结点只能分到一个联通块，而每一个可以延伸的结点必定会占用(i)结点，故只有(MIN)是有用的）。

统计儿子中未分配的点数S。

若(MIN geq S)，(si[x]=-(MIN-S))。

否则，(si[x] =S)。

最后只要判断(si[x] leq 0)即可。

#include<bits/stdc++.h>
#define rep(q,a,b) for(int q=a,q##_end_=b;q<=q##_end_;++q)
#define dep(q,a,b) for(int q=a,q##_end_=b;q>=q##_end_;--q)
#define mem(a,b) memset(a,b,sizeof a )
#define debug(a) cerr<<#a<<' '<<a<<"___"<<endl
using namespace std;
void in(int &r) {
	static char c;
	r=0;
	while(c=getchar(),!isdigit(c));
	do r=(r<<1)+(r<<3)+(c^48);
	while(c=getchar(),isdigit(c));
}
const int mn=200005;
int head[mn],to[mn<<1],ne[mn<<1],cnt1;
#define link(a,b) link_edge(a,b),link_edge(b,a)
#define link_edge(a,b) to[++cnt1]=b,ne[cnt1]=head[a],head[a]=cnt1
#define travel(x) for(int q(head[x]);q;q=ne[q])
int lim,si[mn];
bool mark[mn];
void dfs(int f,int x){
	si[x]=1;
	int Min=0;
	if(mark[x])Min=-lim;
    travel(x)if(to[q]!=f){
	    dfs(x,to[q]);
	    Min=min(Min,si[to[q]]);
	    if(si[to[q]]>0)si[x]+=si[to[q]];
	}
	if(Min+si[x]<=0)si[x]=si[x]+Min;
}
bool check(int x){
	lim=x;
    dfs(0,1);
    return si[1]<=0;
}
int main(){
	freopen("deep.in","r",stdin);
	freopen("deep.out","w",stdout);
    int n,k,a,b;
    in(n),in(k);
    rep(q,1,n-1)in(a),in(b),link(a,b);
    rep(q,1,k)in(a),mark[a]=1;
    int l=n/k,r=n,ans=-1;
    while(l<=r){
	    int mid=l+r>>1;
	    if(check(mid))ans=mid,r=mid-1;
	    else l=mid+1;
	}
	printf("%d
",ans);
    return 0;
}