[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+7;
const int inf=0x3f3f3f3f;
struct edge{
    int to;
    int nxt;
    int w;
}e[maxn<<1];
ll cnt,head[1002];
ll dp[1002];
int n,m;
inline int read(){
    char k=0;char ls;ls=getchar();for(;ls<'0'||ls>'9';k=ls,ls=getchar());
    int x=0;for(;ls>='0'&&ls<='9';ls=getchar())x=(x<<3)+(x<<1)+ls-'0';
    if(k=='-')x=0-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!=-1;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]==0) 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)>>1;
        memset(dp,0,sizeof dp);
        dfs(1,-1,mid);
        if(dp[1]<=m) r=mid,flag=true;
        else l=mid+1; 
    }
    if(flag)    return r;
    else return -1;
}

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