码迷,mamicode.com
首页 > 其他好文 > 详细

网络流Dinic(本篇介绍最大流)

时间:2018-07-15 13:03:41      阅读:308      评论:0      收藏:0      [点我收藏+]

标签:应用   col   网络流   流量限制   color   最大权闭合图   如何   题目   class   

前言:看到网上Dinic和ISAP的比较,多数人认为ISAP更快,不容易爆栈。当然,也有少数人认为,在多数情况下,Dinic比较稳定。我认为Dinic的思路比ISAP更简明,所以选择了Dinc算法

 

介绍:Dinic算法本身,自然是解决最大流(普通最大流,最大流最小割)的算法。通过处理,也可以解决二分图的最大匹配(下文介绍),最大权闭合图。

算法介绍:介绍Dinic之前,我们先介绍一下最大流。在最大流的题目中,图被称为"网络",每条边的边权被称作"流量",有一个起点(源点)和一个终点(汇点)。我们要求的最大流,可以这样形象地理解:源点有一个水库,里面有无限吨水(QWQ),汇点也有一个水  库,希望得到最多的水。我们假设每个河道一天只能输水n吨(及网络流中的流量),求解汇点最多能的到几吨水。再给一个正式的定义:最大流是指网络中满足弧流量限制条件和平衡条件且具有最大流量的可行流

 

下面我们正式介绍Dinic:

首先引出网络流算法中的链,给个正式定义:链是网络中的一个顶点序列,这个序列中前后两个顶点有弧相连(其实我认为这个定义无关紧要,所以重点看下面弧的定义)。

 弧 :弧分为两种,第一种是前向弧是指方向和链一致的弧(简单的说就是输入的边)---前向弧,第二种弧是指方向和链不一致的弧(简单的说就是输入的边反一反)---后向弧。

好了接下来要引出一个网络流算法的重要概念

 

增广路:

给个正式的定义:

1、增广路是一条链

2、链上的前向弧都是非饱和弧 

      链上的后向弧都是非零弧

3、链是由源点到汇点的

总结一下:额...这听起来好像啥都没说(滑稽)

谈谈我的理解:

增广路就是一条从源点到汇点的路,并且带有一个值,表示该增广路的最大流量,该值得大小取决于该增广路中拥有最小流量的边。

 

最大流中一个很重要的网络叫做剩余网络,就是由反向弧组成的网络,关于反向弧的权的问题,后文会介绍。

 

说了一大堆,现在正式介绍Dinic算法

Dinic算法的大致步骤

1、建立网络(包括正向弧和反向弧(初始边权为0)),将总流量置为0

 

2、构造层次网络(怎么又有新概念 T_T)

简单的说,就是求出每个点u的层次,u的层次是从源点到该点的最短路径(注意:这个最短路是指弧的权都为1的情况下的最短路),若与源点不连通,层次置为-1

一遍BFS轻松解决

 

3、判断汇点的层次是否为-1

是:再见,算法结束,输出当前的总流量

否:下一步

 

4、用一次DFS完成所有增广,增广是什么呢?

增广(我的理解):通过DFS找上述的增广路,找到了之后,将每条边的权都减去该增广路中拥有最小流量的边的流量,将每条边的反向边的权增加这个值,同时将总流量加上这个值

DFS直到找不到一条可行的从原点到汇点的路

 

 5、goto 步骤2

 

细节处理,如何快速找到一条边的反向边:边的编号从0开始,反向边加在正向边之后,反向边即为该点的编号异或1

复杂度:理论上来说,最慢应该是O((n^2)*m),n表点数,m表边数,实际上呢,应该快得不少

代码实例:(参见洛谷P3376)

                    

#include <cstdio> 
#include <cstring>
#include <queue>
#include <algorithm>

using namespace std;

const int MAX = (1 << 31) - 1;

struct Edge{
    int to;
    int dis;
    int next;
} edges[210000];

int head[10010], edge_num = -1;
int n, m, s, t;

void add_edge_2(int from, int to, int dis)
{
    edges[++edge_num].to = to;
    edges[edge_num].dis = dis;
    edges[edge_num].next = head[from];
    head[from] = edge_num;
}

void add_edge(int from, int to, int dis)
{
    add_edge_2(from, to, dis);
    add_edge_2(to, from, 0);
}

//层次 
int d[10010];

int DFS(int u, int flow)
{
    if (u == t)
        return flow;
    int _flow = 0, __flow;
    int c_e = head[u], v;
    while (c_e != -1)
    {
        v = edges[c_e].to;
        if (d[v] == d[u] + 1 && edges[c_e].dis > 0)
        {
            __flow = DFS(v, min(flow, edges[c_e].dis));
            flow -= __flow;
            edges[c_e].dis -= __flow;
            _flow += __flow;
            edges[c_e^1].dis += __flow;
            if (flow == 0)
                break;
        }
        c_e = edges[c_e].next;
    }
    if (_flow == 0)
        d[u] = -1;
    return _flow;
}

bool BFS()
{
    memset(d, -1, sizeof(d));
    queue<int> que;
    d[s] = 0;
    que.push(s);
    int _now, c_e, _new;
    while (!que.empty())
    {
        _now = que.front();
        que.pop();
        c_e = head[_now];
        while (c_e != -1)
        {
            _new = edges[c_e].to;
            if (d[_new] == -1 && edges[c_e].dis > 0)
            {
                d[_new] = d[_now] + 1;
                que.push(_new);
            }
            c_e = edges[c_e].next;
        }
    }
    if (d[t] != -1)
        return true;
    else
        return false;
}

void dinic()
{
    int max_flow = 0;
    while (BFS())
    {
        max_flow += DFS(s, MAX);
    }
    printf("%d", max_flow);
}

int main()
{
    scanf("%d %d %d %d", &n, &m, &s, &t);
    memset(head, -1, sizeof(head));
    int i, t1, t2, ds;
    for (i = 0; i < m; i++)
    {
        scanf("%d %d %d", &t1, &t2, &ds);
        add_edge(t1, t2, ds);
    }
    dinic();
    return 0;
}

算法主要应用场景

     1、裸的最大流

     2、二分图的最大匹配:建一个点S,连到二分图的集合A中;建一个点T,连到二分图的集合B中。再将所有的集合A中的点与集合B中的点相连。全部边权设为1,跑一遍最大流,结果即为二分图的最大匹配

     3、最小割(定义自行百度):在单源单汇流量图中,最大流等于最小割

     4、求最大权闭合图(定义自行百度):最大权值=正点权之和-最小割

主要问题:

  为什么要建立反向边?

  Answer:总结多篇博客,认为建立反向边旨在增加重新调整流的机会,即保障解是最优的(还是没有理解?可以自行百度:D)。

网络流Dinic(本篇介绍最大流)

标签:应用   col   网络流   流量限制   color   最大权闭合图   如何   题目   class   

原文地址:https://www.cnblogs.com/linzhengmin/p/9313216.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!