UVA 11865 Stream My Contest(最小树形图+二分)

题目链接：
UVA 11865 Stream My Contest
题意：
有n个点编号为0–n-1，0为根节点，m条有向边，u,v,w,val表示从u到v的花费是w，可以传输数据的带宽是val，
每个点只可以从指向它的边中选择一个带宽（带宽不可以叠加），一张连通图的带宽是所有连通边中的最小带宽。
问在总花费不超过C的条件下，将n个点连通的最大带宽？如果无法连通输出”streaming not possible.”，否则输出最大带宽。
分析：
一开始想的是找出最小树形图中边最小的带宽，然后将这条边废弃，再跑最小树形图，直到跑不出最小树形图为止。。
然而这样TLE了。
看到网上说可以二分树形图中的最小带宽，然后检验在这个带宽限制下能否构成有向连通图。
只需要在判断点的最小入边时加上一个限制条件edge[i].val >= limit。
会不会二分出来的答案不是出现在原图中的某条边的带宽呢？不会的。因为找最小入边的判断条件是和原图边的带宽比较的，
所以最终二分的答案还会落到边上的带宽。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
#include <algorithm>
#include <climits>
#include <cmath>
#include <ctime>
#include <cassert>
#define IOS ios_base::sync_with_stdio(0); cin.tie(0);
using namespace std;
typedef long long ll;
const int MAX_N = 70;
const int MAX_M = 200010;

int T, n, m, c;
int pre[MAX_N], vis[MAX_N], In[MAX_N], ID[MAX_N];

struct Edge{
    int u, uu, v, vv, w, ww, val;
}edge[MAX_M];

bool ZLEdmonds(int root, int NV, int NE, int total, int limit)
{
    int res = 0, u, v, w;
    while(1){
        for(int i = 0; i < NV; i++) { In[i] = INT_MAX; }
        for(int i = 0; i < NE; i++){
            u = edge[i].u, v = edge[i].v, w = edge[i].w;
            if(u != v && w < In[v] && edge[i].val >= limit){
                In[v] = w;
                pre[v] = u;
            }
        }
        for(int i = 0; i < NV; i++){
            if(i != root && In[i] == INT_MAX) return false;
        }

        int cnt = 0;
        memset(vis, -1, sizeof(vis));
        memset(ID, -1, sizeof(ID));
        In[root] = 0;
        for(int i = 0; i < NV; i++){
            total -= In[i];
            v = i;
            while(v != root && vis[v] != i && ID[v] == -1){
                vis[v] = i;
                v = pre[v];
            }
            if(v != root && ID[v] == -1){
                for( u = pre[v]; u != v; u = pre[u]){
                    ID[u] = cnt;
                }
                ID[v] = cnt++;
            }
        }
        if(total < 0) return false;
        if(cnt == 0) return true;
        for(int i = 0; i < NV; i++) {
            if(ID[i] == -1)  ID[i] = cnt++;
        }
        for(int i = 0; i < NE; i++){
            u = edge[i].u, v = edge[i].v;
            edge[i].u = ID[u], edge[i].v = ID[v];
            if(edge[i].u != edge[i].v){
                edge[i].w -= In[v];
            }
        }
        NV = cnt, root = ID[root];
    }
}

int main()
{
    scanf("%d", &T);
    while(T--){
        int Max = 0, Min = INT_MAX;
        scanf("%d%d%d", &n, &m, &c);
        for(int i = 0; i < m; i++){
            scanf("%d%d%d%d", &edge[i].u, &edge[i].v, &edge[i].val, &edge[i].w);
            edge[i].ww = edge[i].w;
            edge[i].uu = edge[i].u, edge[i].vv = edge[i].v;
            Max = max(edge[i].val, Max);
            Min = min(edge[i].val, Min);
        }
        if(ZLEdmonds(0, n, m, c, Min) == false){
            printf("streaming not possible.\n");
        }else {
            int high = Max, low = Min;
            while(high > low){
                for(int i = 0; i < m; i++){
                    edge[i].u = edge[i].uu, edge[i].v = edge[i].vv;
                    edge[i].w = edge[i].ww;
                }
                int mid = low + (high - low + 1) / 2;
                if(ZLEdmonds(0, n, m, c, mid)) low = mid;
                else high = mid - 1;
            }
            printf("%d kbps\n", low);
        }
    }
    return 0;
}