[hdu3586]Information Disturbing树形dp+二分

题意：给出一棵带权无向树，以及给定节点1，总约束为$m$，找出切断与所有叶子节点联系每条边所需要的最小价值约束。

解题关键：二分答案，转化为判定性问题，然后用树形dp验证答案即可。

dp数组需要开到ll，如果用设inf的解法。

 #include<bits/stdc++.h>
 using namespace std;
 typedef long long ll;
 const int maxn=1e6+;
 const int inf=0x3f3f3f3f;
 struct edge{
     int to;
     int nxt;
     int w;
 }e[maxn<<];
 ll cnt,head[];
 ll dp[];
 int n,m;
 inline int read(){
     char k=;char ls;ls=getchar();for(;ls<''||ls>'';k=ls,ls=getchar());
     int x=;for(;ls>=''&&ls<='';ls=getchar())x=(x<<)+(x<<)+ls-'';
     if(k=='-')x=-x;return x;
 }
 void add_edge(int u,int v,int w){
     e[cnt].w=w;
     e[cnt].to=v;
     e[cnt].nxt=head[u];
     head[u]=cnt++;
 }

 void dfs(int u,int fa,int val){//还可以通过设立flag来确定叶子节点
     for(int i=head[u];i!=-;i=e[i].nxt){
         int v=e[i].to;
         if(v==fa) continue;
         dfs(v,u,val);
         ll tmp=e[i].w>val?inf:e[i].w;
         if(dp[v]==) dp[u]+=tmp;
         else dp[u]+=min(tmp,dp[v]);
     }
 }

 int erfen(int l,int r){
     bool flag=false;
     while(l<r){
         int mid=(l+r)>>;
         memset(dp,,sizeof dp);
         dfs(,-,mid);
         if(dp[]<=m) r=mid,flag=true;
         else l=mid+;
     }
     if(flag)    return r;
     else return -;
 }

 int main(){
     while(scanf("%d%d",&n,&m)!=EOF&&(n||m)){
         cnt=;
         memset(head,-,sizeof head);
         int a,b,c;
         for(int i=;i<n-;i++){
             a=read();b=read();c=read();
             add_edge(a,b,c);
             add_edge(b,a,c);
         }
         int ans=erfen(,);
         printf("%d\n",ans);
     }
 }