題目大意：給你一棵樹，讓你對葉節點分組，保證每組中，任意兩個葉節點之間的距離不大於K，求最小的組數

手動yy的貪心竟然對的

對於每個節點，維護一個$ma[i]$，表示在$i$節點的子樹內 未被分組的葉節點到$i$節點的最長距離

那麼，對於每個節點，把它的子節點按照$ma[i]$排序，那麼如果這個點的子樹不需要額外的分組，就要保證最大的$ma[v1]$和次大的$ma[v2]$之間的距離小於等於K

如果不滿足，說明需要對子樹內的節點進行額外分組

根據貪心的思想，選擇ma最大的子節點$v1$，那麼就從小往大一直找滿足$ma[v1]+ma[vj]<=K$的點，當不滿足條件時，說明剛才找過的小節點和那個較大的節點可以分成一組。接下來，要看次大$v2$的點能否滿足更次大$v3$能否滿足$ma[v2]+ma[v3]<=K$，找到說明可行，回溯。否則要繼續剛才的過程，直到剩餘子節點之間的最長距離<=K

因為每個節點只會以這種方式被遍歷到一次，所以並不需要二分

1號節點可能是葉節點，所以不能直接把1當成根

另外，如果根節點的ma>1，說明根節點還剩下一些節點沒被分組，把它們分到一組即可

 1 #include <vector>
 2 #include <cstdio>
 3 #include <algorithm>
 4 #include <cstring>
 5 #define ll long long
 6 #define N 1001000
 7 #define uint unsigned int
 8 #define inf 0x3f3f3f3f3f3f3fll
 9
 
 using namespace std;
10 //re
11 int gint()
12 {
13     int ret=0,fh=1;char c=getchar();
14     while(c<'0'||c>'9'){if(c=='-')fh=-1;c=getchar();}
15     while(c>='0'&&c<='9'){ret=(ret<<3)+(ret<<1)+c-'0';c=getchar();}
16     return ret*fh;
17 }
18 
19 int n,m,cte,num,S;
20 int
 
 head[N],fa[N],inc[N];
21 struct Edge{int to,nxt;}edge[N*2];
22 
23 void ae(int u,int v){
24     cte++;edge[cte].to=v,inc[v]++;
25     edge[cte].nxt=head[u],head[u]=cte;
26 }
27 
28 vector<int>to[N];
29 int ma[N];
30 int cmp(int x,int y){return ma[x]<ma[y];}
31 int solve(int u){
32     int ans=0,l,r;
33     for(int j=head[u];j;j=edge[j].nxt)
34     {
35         int v=edge[j].to;
36         if(v==fa[u]) continue;
37         to[u].push_back(v);
38         ans+=solve(v);
39     }
40     int tot=to[u].size();
41     sort(to[u].begin(),to[u].end(),cmp);
42     if(!tot){ma[u]=1;return 0;}
43     if(tot==1){ma[u]=ma[to[u][tot-1]];}
44     else if(ma[to[u][tot-1]]+ma[to[u][tot-2]]<=m)
45         ma[u]=ma[to[u][tot-1]];
46     else{
47         l=0,r=tot-1;
48         while(r>0&&l<r&&ma[to[u][r]]+ma[to[u][r-1]]>m){
49             for(;l<r&&ma[to[u][r]]+ma[to[u][l]]<=m;l++);
50             r--,ans++;
51         }ma[u]=ma[to[u][r]];
52     }ma[u]+=(ma[u]>0?1:0);return ans;
53 }
54 
55 
56 int main()
57 {
58     scanf("%d%d",&n,&m);
59     int x,y;
60     for(int i=1;i<n;i++)
61         x=gint(),y=gint(),ae(x,y),ae(y,x);
62     for(int i=1;i<=n;i++)
63         if(inc[i]!=1) {S=i;break;}
64     dep[S]=1,dfs1(S,-1);
65     tp[S]=1,dfs2(S);
66     int ans=solve(S);
67     if(ma[S]-1>0) ans++;
68     printf("%d\n",ans);
69     return 0;
70 }