首页 > 其他 > 详细

Dinic

时间:2014-10-01 20:32:01      阅读:302      评论:0      收藏:0      [点我收藏+]
bubuko.com,布布扣
 1 #include <iostream>
 2 #include <cstdio>
 3 #include <cstring>
 4 #include <map>
 5 #include <algorithm>
 6 #include <queue>
 7 using namespace std;
 8 
 9 const int N = 210;
10 const int M=1001000;
11 const int INF = 1001001010;
12 struct edge{
13     int u,v,cap,flow;
14     int next;
15 
16     //////
17 }e[M];
18 int head[N],num;
19 int cur[N],d[N];
20 bool vis[N];
21 int s,t;
22 void _add(int u,int v,int cap){
23     e[num].u = u;e[num].v = v;
24     e[num].cap = cap;e[num].flow = 0;
25     e[num].next = head[u];
26 
27     //////
28     head[u] = num++;
29 }
30 
31 void add(int u,int v,int cap){
32     _add(u,v,cap); _add(v,u,0);
33 }
34 
35 bool BFS(){
36     memset(vis,0,sizeof(vis));
37     queue<int> Q;
38     Q.push(s);
39     d[s] = 0;
40     vis[s]=1;
41     while(!Q.empty()){
42         int x = Q.front(); Q.pop();
43         for(int i = head[x]; i != -1;i = e[i].next){
44             if(!vis[e[i].v] && e[i].cap > e[i].flow ){
45                 vis[e[i].v] = 1;
46                 d[e[i].v] = d[x] + 1;
47                 Q.push(e[i].v);
48             }
49         }
50     }
51     return vis[t];
52 }
53 
54 int DFS(int x, int a){
55     if(x == t || a == 0) return a;
56     int flow=0,f;
57 
58     for(int &i = cur[x]; i != -1; i = e[i].next){
59         if(d[x] + 1 == d[e[i].v] && (f = DFS(e[i].v, min(a, e[i].cap - e[i].flow))) > 0){
60             e[i].flow += f;
61             e[i ^ 1].flow -= f;
62             flow += f;
63             a -= f;
64             if(a == 0)break;
65         }
66     }
67     return flow;
68 }
69 int Dinic(){
70     int flow = 0;
71     while(BFS()){
72         memcpy(cur,head,sizeof(head));
73         flow += DFS(s,INF);
74     }
75     return flow;
76 }
77 void init(int n){
78     memset(head,-1,sizeof(head));
79     num=0;
80 }
Dinic

 

 

 

无源无汇有下界可行流

 

t -> s 连一条 INF cap。

对于 边 u -> v ,下界 c1 ,上界 c2:

  s -> v    c1 

  u -> t    c1 

  u -> v   c2-c1

 

存在可行流的满足条件是 所有附加弧满载

 

Dinic

原文:http://www.cnblogs.com/youyouyou/p/4003514.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!