POJ3189二分最大流（枚举下界，二分宽度，最大流判断可行性）

题意：
      有n头猪，m个猪圈，每个猪圈都有一定的容量（就是最多能装多少只猪），然后每只猪对每个猪圈的喜好度不同（就是所有猪圈在每个猪心中都有一个排名），然后要求所有的猪都进猪圈，但是要求所有的喜好度排名最低的和最高的差值的绝对值最小，输出这个最小的差值，就是是每个猪进猪圈后都会产生一个范围，就是最喜欢和最不喜欢（用排名的名次表示），然后把所有的范围放在一起，最小的端点个最大的端点的差的绝对值最小是多少？


思路：
       做了将近两个小时才搞定，一直是超时，先说下我的做法，就是枚举下界，二分答案，然后DINIC判断是否可行，用G++交跑100+ms，用C++交超时，还有一个目测比较快的方法，就是把上面的DINIC换成多重匹配，多重匹配处理二分图的时候比DINIC快，所以理论上更优，可惜我没写过多重匹配，这个会的可以试试，最后我用匈牙利，然后暴力拆点去模拟多重匹配，超时了，呵呵，下面是我一开始最笨的方法，枚举下界+二分答案+DINIC判断可行性的代码，还有就是提醒下，输入的时候那个排名什么的要看清楚，就是读懂输入，嘿嘿别的没啥。




用G++提交
枚举起点，二分长度，最大流判断可行。
#include<queue>
#include<stdio.h>
#include<string.h>


#define N_node 1000 + 20 + 5
#define N_edge (1000 * 20 + 1000 + 20) * 2 + 5000
#define INF 1000000000


using namespace std;


typedef struct
{
    int to ,cost ,next;
}STAR;


typedef struct
{
    int x ,t;
}DEP;


STAR E[N_edge];
DEP xin ,tou;
int list[N_node] ,listt[N_node] ,tot;
int deep[N_node];
int Sort[1005][22];
int Cow[22];
int ANS ,N;




void add(int a ,int b ,int c)
{
    E[++tot].to = b;
    E[tot].cost = c;
    E[tot].next = list[a];
    list[a] = tot;


    E[++tot].to = a;
    E[tot].cost = 0;
    E[tot].next = list[b];
    list[b] = tot;
}


int minn(int x ,int y)
{
    return x < y ? x : y;
}


bool BFS_Deep(int s ,int t ,int n)
{
    memset(deep ,255 ,sizeof(deep));
    xin.x = s ,xin.t = 0;
    deep[xin.x] = xin.t;
    queue<DEP>q;
    q.push(xin);
    while(!q.empty())
    {
        tou = q.front();
        q.pop();
        for(int k = list[tou.x] ;k ;k = E[k].next)
        {
            xin.x = E[k].to;
            xin.t = tou.t + 1;
            if(deep[xin.x] != -1 || !E[k].cost)
            continue;
            deep[xin.x] = xin.t;
            q.push(xin);
        }
    }
    for(int i = 0 ;i <= n ;i ++)
    listt[i] = list[i];
    return deep[t] != -1;
}


int DFS_Flow(int s ,int t ,int flow)
{
    if(s == t) return flow;
    int nowflow = 0;
    for(int k = listt[s] ;k ;k = E[k].next)
    {
        listt[s] = k;
        int to = E[k].to;
        int c = E[k].cost;
        if(deep[to] != deep[s] + 1 || !c)
        continue;
        int tmp = DFS_Flow(to ,t, minn(c ,flow - nowflow));
        nowflow += tmp;
        E[k].cost -= tmp;
        E[k^1].cost += tmp;
        if(flow == nowflow)
        break;
    }
    if(!nowflow) deep[s] = 0;
    return nowflow;
}


int DINIC(int s ,int t ,int n)
{
    int Ans = 0;
    while(BFS_Deep(s ,t ,n))
    {
        Ans += DFS_Flow(s ,t ,INF);
        if(Ans == N) break;
    }
    return Ans;
}


void Buid(int n ,int m ,int a ,int b)
{
    memset(list ,0 ,sizeof(list));
    tot = 1;
    for(int i = 1 ;i <= n ;i ++)
    add(0 ,i ,1);
    for(int i = 1 ;i <= m ;i ++)
    add(i + n ,m + n + 1 ,Cow[i]);
    for(int i = 1 ;i <= n ;i ++)
    for(int j = 1 ;j <= m ;j ++)
    if(Sort[i][j] >= a && Sort[i][j] <= b)
    add(i ,j + n ,1);
}


int solve(int n ,int m ,int ii)
{
    int low = 0 ,up = m - ii ,mid ,Ans = INF;
    if(up > ANS) up = ANS;
    while(low <= up)
    {
        mid = (low + up) >> 1;
        Buid(n ,m ,ii ,ii + mid);
        if(DINIC(0 ,n + m + 1 ,n + m + 1) == n)
        {
            Ans = mid;
            up = mid - 1;
        }
        else low = mid + 1;
    }
    return Ans;
}


int main ()
{
    int n ,m ,i ,j ,a;
    while(~scanf("%d %d" ,&n ,&m))
    {
        N = n;
        for(i = 1 ;i <= n ;i ++)
        for(j = 1 ;j <= m ;j ++)
        {
            scanf("%d" ,&a);
            Sort[i][a] = j;
        }
        for(i = 1 ;i <= m ;i ++)
        scanf("%d" ,&Cow[i]);
        ANS = INF;
        for(i = 1 ;i <= m ;i ++)
        {
            ANS = minn(ANS ,solve(n ,m ,i));
        }
        printf("%d\n" ,ANS + 1);
    }
    return 0;
}