[CF1042F]Leaf Sets

题意：给定一棵$n$个点的树，将叶子节点分为数个集合使集合里点对最长距离不超过$k$,求最少集合数。($n\le1000000$)

首先我们可以想到，这道题并不是让你构造最优方案，因为只要把所有叶子节点的集合任意合并至无法操作，就一定是最优答案了

这个感性理解一下就是那么回事，我一开始做的时候就想到的

然后其实我们把叶子结点向上合并即可，只要子树内两个集合的距离不超过$k$，就把他们合起来，记成到当前点距离较大的那个集合

这样对于子树两两合并，我们可以用启发式合并的堆来实现，复杂度是$nlog^2n$，并不足以通过这道题

再想想看，其实如果一个集合和当前最小的集合已经无法合并了，就不用再往上推了，因为上边的集合的最远点只会更远，所以把这个集合留住在这，答案加一

然后我们可以把子树内两个集合的距离不超过$k$的集合合并起来，这样我们每次向上传递的只有一个集合了，复杂度$nlogn$

就从一道大数据结构题变成了一道思维难度更大的题了

代码：

 #include<iostream>
 #include<cstdio>
 #include<queue>
 #define M 1000010
 using namespace std;
 int read()
 {
     char ch=getchar();int x=;
     while(ch>''||ch<'') ch=getchar();
     while(ch>=''&&ch<='') x=x*+ch-'',ch=getchar();
     return x;
 }
 int n,num,ans,k;
 int head[M],in[M];
 struct point{int to,next;}e[M<<];
 void add(int from,int to)
 {
     e[++num].next=head[from];
     e[num].to=to;
     head[from]=num;
 }
 int dfs(int x,int fa)
 {
     if(in[x]==) return ;
     priority_queue<int>q;
     for(int i=head[x];i;i=e[i].next)
     {
         int to=e[i].to;
         if(to==fa) continue;
         q.push(dfs(to,x)+);
     }
     int maxn=q.top();q.pop();
     while(!q.empty())
     {
         if(q.top()+maxn<=k) return maxn;
         ans++;
         maxn=q.top();
         q.pop();
     }
     return maxn;
 }
 int main()
 {
     n=read(); k=read();
     for(int i=;i<n;i++)
     {
         int a=read(),b=read();
         add(a,b); add(b,a);
         in[a]++; in[b]++;
     }
     for(int i=;i<=n;i++) if(in[i]!=){dfs(i,);break;}
     printf("%d",ans+);
     return ;
 }