• hiho 第116周,最大流最小割定理,求最小割集S,T


    小Hi:在上一周的Hiho一下中我们初步讲解了网络流的概念以及常规解法,小Ho你还记得内容么?

    小Ho:我记得!网络流就是给定了一张图G=(V,E),以及源点s和汇点t。每一条边e(u,v)具有容量c(u,v)。网络流的最大流问题求解的就是从s到t最多能有多少流量。

    小Hi:那这个问题解决办法呢?

    小Ho:解决网络流的基本思路就是寻找增广路,不断更新残留网络。直到找不到新的增广路,此时得到的流就是该网络的最大流。

    小Hi:没错,看来你记得很牢嘛。

    小Ho:哎嘿嘿,不过这里我有一个问题,为什么找不到增广路时就已经找到了最大流呢?

    小Hi:这一次我就来解决你的疑惑,首先我们要从网络流的割开始讲起。

    对于一个网络流图G=(V,E),其割的定义为一种点的划分方式:将所有的点划分为S和T=V-S两个部分,其中源点s∈S,汇点t∈T。

    对于一个割(S,T),我们定义净流f(S,T)表示穿过割(S,T)的流量之和,即:

    f(S,T) = Σf(u,v) | u∈S,v∈T

    举个例子(该例子选自算法导论):

    净流f = f(2,4)+f(3,4)+f(3,5) = 12+(-4)+11 = 19

    同时我们定义割的容量C(S,T)为所有从S到T的边容量之和,即:

    C(S,T) = Σc(u,v) | u∈S,v∈T

    同样在上面的例子中,其割的容量为:

    c(2,4)+c(3,5)=12+11=23

    小Ho:也就是说在计算割(S,T)的净流f(S,T)时可能存在反向的流使得f(u,v)<0,而容量C(S,T)一定是非负数。

    小Hi:你这么说也没错。实际上对于任意一个割的净流f(S,T)总是和网络流的流量f相等。比如上面例子中我们改变一下割的方式:

    可以计算出对于这两种情况净流f(S,T)仍然等于19。

    一个直观的解释是:根据网络流的定义,只有源点s会产生流量,汇点t会接收流量。因此任意非s和t的点u,其净流量一定为0,也即是Σ(f(u,v))=0。而源点s的流量最终都会通过割(S,T)的边到达汇点t,所以网络流的流f等于割的静流f(S,T)。

    严格的证明如下:

    f(S,T) = f(S,V) - f(S,S)
    从S到T的流等于从S到所有节点的流减去从S到S内部节点的流
    f(S,T) = f(S,V)
    由于S内部的节点之间存在的流一定有对应的反向流,因此f(S,S)=0
    f(S,T) = f(s,V) + f(S-s,V)
    再将S集合分成源点s和其他属于S的节点
    f(S,T) = f(s,V)
    由于除了源点s以外其他节点不会产生流,因此f(S-s,V)=0
    f(S,T) = f(s,V) = f

    所以f(S,T)等于从源点s出来的流,也就是网络的流f。

    小Ho:简单理解的话,也就是说任意一个割的净流f(S,T)都等于当前网络的流量f。

    小Hi:是这样的。而对于任意一个割的净流f(S,T)一定是小于等于割的容量C(S,T)。那也即是,对于网络的任意一个流f一定是小于等于任意一个割的容量C(S,T)。

    而在所有可能的割中,存在一个容量最小的割,我们称其为最小割。

    这个最小割限制了一个网络的流f上界,所以有:

    对于任一个网络流图来说,其最大流一定是小于等于最小割的。

    小Ho:但是这和增广路又有什么关系呢?

    小Hi:接下来就是重点了。利用上面讲的知识,我们可以推出一个最大流最小割定理:

    对于一个网络流图G=(V,E),其中有源点s和汇点t,那么下面三个条件是等价的:
    1. 流f是图G的最大流
    2. 残留网络Gf不存在增广路
    3. 对于G的某一个割(S,T),此时f = C(S,T)

    首先证明1 => 2:

    我们利用反证法,假设流f是图G的最大流,但是残留网络中还存在有增广路p,其流量为fp。则我们有流f'=f+fp>f。这与f是最大流产生矛盾。

    接着证明2 => 3:

    假设残留网络Gf不存在增广路,所以在残留网络Gf中不存在路径从s到达t。我们定义S集合为:当前残留网络中s能够到达的点。同时定义T=V-S。
    此时(S,T)构成一个割(S,T)。且对于任意的u∈S,v∈T,有f(u,v)=c(u,v)。若f(u,v)<c(u,v),则有Gf(u,v)>0,s可以到达v,与v属于T矛盾。
    因此有f(S,T)=Σf(u,v)=Σc(u,v)=C(S,T)。

    最后证明3 => 1:

    由于f的上界为最小割,当f到达割的容量时,显然就已经到达最大值,因此f为最大流。

    这样就说明了为什么找不到增广路时,所求得的一定是最大流。

    小Ho:原来是这样,我明白了。

    输入

    第1行:2个正整数N,M。2≤N≤500,1≤M≤20,000。

    第2..M+1行:每行3个整数u,v,c(u,v),表示一条边(u,v)及其容量c(u,v)。1≤u,v≤N,0≤c(u,v)≤100。

    给定的图中默认源点为1,汇点为N。可能有重复的边。

    输出

    第1行:2个整数A B,A表示最小割的容量,B表示给定图G最小割S集合的点数。

    第2行:B个空格隔开的整数,表示S集合的点编号。

    若存在多个最小割可以输出任意一个的解。

    #include <bits/stdc++.h>
    
    using namespace std;
    
    #define maxn 505
    #define INF 0x3f3f3f3f
    
    struct Edge
    {
        int from,to,cap,flow;
    };
    
    struct Dinic
    {
        int n,m,s,t;
        vector<Edge> edge;
        vector<int> G[maxn];
        bool vis[maxn];
        int d[maxn];
        int cur[maxn];
        void addEdge (int from,int to,int cap)
        {
            edge.push_back((Edge){from,to,cap,0});
            edge.push_back((Edge){to,from,0,0});
            m = edge.size();
            G[from].push_back(m-2);
            G[to].push_back(m-1);
        }
    
        bool BFS()
        {
            memset(vis,0,sizeof(vis));
            queue<int> Q;
            Q.push(s);
            d[s] = 0;
            vis[s] = 1;
            while(!Q.empty())
            {
                int x = Q.front();
                Q.pop();
                for(int i=0; i<G[x].size(); i++)
                {
                    Edge & e = edge[G[x][i]];
                    if(!vis[e.to]&&e.cap>e.flow)
                    {
                        vis[e.to] = 1;
                        d[e.to] = d[x] + 1;
                        Q.push(e.to);
                    }
                }
            }
            return vis[t];
        }
    
        int DFS(int x,int a)
        {
            if(x==t||a==0) return a;
            int flow = 0,f;
            for(int & i = cur[x]; i<G[x].size(); i++)
            {
                Edge & e = edge[G[x][i]];
                if(d[x] + 1==d[e.to]&&(f=DFS(e.to,min(a,e.cap-e.flow)))>0)
                {
                    e.flow +=f;
                    edge[G[x][i]^1].flow -=f;
                    flow +=f;
                    a-=f;
                    if(a==0) break;
                }
            }
            return flow;
        }
    
        int Maxflow (int s,int t) {
            this->s = s;this->t = t;
            int flow = 0;
            while(BFS()) {
                memset(cur,0,sizeof(cur));
                flow+=DFS(s,INF);
            }
            return flow;
        }
    
        //求最小割S,T;
        void new_BFS(int s,int n)
        {
            memset(vis,0,sizeof(vis));
            d[s] = 0;
            vis[s] = 1;
            queue<int> Q;
            Q.push(s);
            while(!Q.empty())
            {
                int u = Q.front();
                Q.pop();
                for(int i=0;i<G[u].size();i++)
                {
                    Edge & e = edge[G[u][i]];
                    if(!vis[e.to]&&e.cap>e.flow)
                    {
                        vis[e.to] = 1;
                        d[e.to] = d[u] + 1;
                        Q.push(e.to);
                    }
                }
            }
    
            int cnt = 0;
            for(int i=1;i<=n;i++)
            {
                if(vis[i]) cnt++;
            }
            printf("%d
    ",cnt);
            for(int i=1;i<=n;i++)
                if(vis[i]) printf("%d ",i);
            puts("");
        }
    
    }sol;
    
    
    int main()
    {
        int n,m;
        scanf("%d%d",&n,&m);
        for(int i=0;i<m;i++) {
            int u,v,cap;
            scanf("%d%d%d",&u,&v,&cap);
            sol.addEdge(u,v,cap);
        }
        printf("%d ",sol.Maxflow(1,n));
        sol.new_BFS(1,n);
        return 0;
    }
    View Code

     我的理解:

    首先一个任意的净流f(s,t)都等于当前网络的流量f.

    割的容量C(s,t),为所有从s到t的边容量之和。就有c(s,t)>=f(s,t),那么改变割的定义就会产生一个最小割。

    而这个最小割限制了整个网络的流f的上界,所以有:

    最大流=最小割。

     

    然后就是求最小割集:

    Dinic算法,不停分层,按层增广。求的最大流最小割。

    然后就是求最小割集,一遍分层,标记分割s,t;

  • 相关阅读:
    流水线操作verilog
    16x16移位相加乘法器verilog实现
    Nios II对flash进行读写(DE2)
    initial使用的要点
    边沿检测电路设计verilog
    DDoS攻防战 (四):CC攻击防御系统部署
    DDoS攻防战(三):ip黑白名单防火墙frdev的原理与实现
    DDoS攻防战 (二) :CC攻击工具实现与防御理论
    DDoS攻防战 (一) : 概述
    IP流量重放与pcap文件格式解析
  • 原文地址:https://www.cnblogs.com/TreeDream/p/5929429.html
Copyright © 2020-2023  润新知