max-flow min-cut
DESCRIPTION
Max-flow min-cut. Overview of the Max-flow problem with sample code and example problem.. Georgi Stoyanov. Sofia University. http:// backtrack-it.blogspot.com. Student at. Table of Contents. Definition of the problem Where does it occur? Max-flow min-cut theorem Example - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/1.jpg)
Max-flow min-cutOverview of the Max-flow problem
with sample code and example problem.
Georgi Stoyanov
Sofia University
http://backtrack-it.blogspot.com
Student at
![Page 2: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/2.jpg)
Table of Contents1. Definition of the problem2. Where does it occur?3. Max-flow min-cut theorem4. Example5. Max-flow algorithm6. Run-time estimation7. Questions
2
![Page 3: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/3.jpg)
Definition of the problem
![Page 4: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/4.jpg)
Definition of the problem
Maximum flow problems Finding feasible flow Through a single -source, -sink
flow network Flow is maximum
Many problems solved by Max-flow The problem is often present at algorithmic competitions
![Page 5: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/5.jpg)
The Max-flow algorithm Additional definitions
Edge capacity – maximum flow that can go through the edge
Residual edge capacity – maximum flow that can pass after a certain amount has passed residualCapacity = edgeCapacity –
alreadyPassedFlow Augmented path – path starting
from source to sink Only edges with residual capacity
above zero5
![Page 6: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/6.jpg)
Where does it occur?
![Page 7: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/7.jpg)
Where does it occur? In any kind of network with certain capacity Network of pipes – how much water
can pass through the pipe network per unit of time?
7
![Page 8: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/8.jpg)
Where does it occur? Electricity network – how much
electricity can go through the grid?
8
![Page 9: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/9.jpg)
Where does it occur? The internet network – how much
traffic can go through a local network or the internet?
9
![Page 10: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/10.jpg)
Where does it occur? In other problems
Matching problem Group of N guys and M girls Every girl/guy likes a certain amount
of people from the other group What is the maximum
number of couples, with people who like each other?
10
![Page 11: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/11.jpg)
Where does it occur? Converting the matching problem to
a max-flow problem: We add an edge with capacity one for
every couple that is acceptable We add two bonus nodes – source and
sink We connect the source with the first
group and the second group with the sink
11
![Page 12: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/12.jpg)
Max-flow min-cut theorem
![Page 13: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/13.jpg)
Max-flow min-cut theorem
The max-flow min-cut theorem states that in a flow network, the maximum amount of flow passing from the source to the sink is equal to the minimum capacity that when removed in a specific way from the network causes the situation that no flow can pass from the source to the sink.
13
![Page 14: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/14.jpg)
Example
![Page 15: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/15.jpg)
Example Example
15
min( cf(A,D), cf(D,E), cf(E,G)) = min( 3 – 0, 2 – 0, 1 – 0) = min( 3, 2, 1) = 1
maxFlow = maxFlow + 1 = 1
![Page 16: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/16.jpg)
Example Example
16
min( cf(A,D), cf(D,F), cf(F,G)) = min( 3 – 1, 6 – 0, 9 – 0) = min( 2, 6, 9) = 2
maxFlow = maxFlow + 2 = 3
![Page 17: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/17.jpg)
Example Example
17
min( cf(A,B), cf(B,C), cf(C,D), cf(D,F), cf(F,G)) =
min( 3 – 0, 4 – 0, 1 – 0, 6 – 2, 9 - 2) = min( 3, 4, 1, 4, 7) = 1
maxFlow = maxFlow + 1 = 4
![Page 18: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/18.jpg)
Example The flow in the previous slide is not optimal!
Reverting some of the flow through a different path will achieve the optimal answer
To do that for each directed edge (u, v) we will add an imaginary reverse edge (v, u)
The new edge shall be used only if a certain amount of flow has already passed through the original edge!
18
![Page 19: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/19.jpg)
Example Example
19
min( cf(A,B), cf(B,C), cf(C,E), cf(E,D), cf(D,F), cf(F,g) ) =
min( 3 – 1, 4 – 1, 2 – 0, 0 – -1, 6 – 3, 9 - 3) = min( 2, 3, 2, 1, 3, 6 ) = 1
maxFlow = maxFlow + 1 = 5 (which is the final answer)
![Page 20: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/20.jpg)
The Max-flow algorithm
![Page 21: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/21.jpg)
The Max-flow algorithm The Edmonds-Karp algorithm
Uses a graph structure
Uses matrix of the capacities
Uses matrix for the passed flow
21
![Page 22: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/22.jpg)
The Max-flow algorithm The Edmonds-Karp algorithm
Uses breadth-first search on each iteration to find a path from the source to the sink
Uses parent table to store the path
Uses path capacity table to store the value of the maximum flow to a node in the path
22
![Page 23: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/23.jpg)
The Max-flow algorithm - initialization
23
#include<cstdio>#include<queue>#include<cstring>#include<vector>#include<iostream>#define MAX_NODES 100 // the maximum number of nodes in the graph#define INF 2147483646 // represents infity#define UNINITIALIZED -1 // value for node with no parent
using namespace std;
// represents the capacities of the edgesint capacities[MAX_NODES][MAX_NODES];// shows how much flow has passed through an edgeint flowPassed[MAX_NODES][MAX_NODES];// represents the graph. The graph must contain the negative edges too!vector<int> graph[MAX_NODES];//shows the parents of the nodes of the path built by the BFSint parentsList[MAX_NODES];//shows the maximum flow to a node in the path built by the BFSint currentPathCapacity[MAX_NODES];
![Page 24: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/24.jpg)
The Max-flow algorithm - core
The “heart” of the algorithm:
24
int edmondsKarp(int startNode, int endNode) { int maxFlow=0;
while(true) { int flow=bfs(startNode, endNode); if(flow==0) break;
maxFlow +=flow; int currentNode=endNode;
while(currentNode != startNode) { int previousNode = parentsList[currentNode]; flowPassed[previousNode][currentNode] += flow; flowPassed[currentNode][previousNode] -= flow; currentNode=previousNode; } } return maxFlow;}
![Page 25: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/25.jpg)
The Max-flow algorithm – Breadth-first search
Breadth-first search
25
int bfs(int startNode, int endNode){ memset(parentsList, UNINITIALIZED, sizeof(parentsList)); memset(currentPathCapacity, 0, sizeof(currentPathCapacity));
queue<int> q; q.push(startNode);
parentsList[startNode]=-2; currentPathCapacity[startNode]=INF;
. . .
![Page 26: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/26.jpg)
The Max-flow algorithm – Breadth-first search
26
... while(!q.empty()) { int currentNode = q.front(); q.pop();
for(int i=0; i<graph[currentNode].size(); i++) { int to = graph[currentNode][i];
if(parentsList[to] == UNINITIALIZED && capacities[currentNode][to] - flowPassed[currentNode][to] > 0) {
parentsList[to] = currentNode;currentPathCapacity[to] =
min(currentPathCapacity[currentNode], capacities[currentNode][to] - flowPassed[currentNode]
[to]);
if(to == endNode) return currentPathCapacity[endNode];q.push(to);
} } }
return 0;}
![Page 27: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/27.jpg)
Run-time estimation Breaking down the algorithm:
The BFS will cost O(E) operations to find a path on each iteration
We will have total O(VE) path augmentations (proved with Theorem and Lemmas)
This gives us total run-time of O(VE*E)
27
![Page 28: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/28.jpg)
Run-time estimation There are other algorithms that can
run in O(V³) time but are far more complicated to implement
! Note - this algorithm can also run in O(V³) time for sparse graphs
28
![Page 29: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/29.jpg)
The Max-flow algorithm Perks of using the Edmonds-Karp algorithm Runs relatively fast in sparse
graphs Represents a refined version of the
Ford-Fulkerson algorithm Unlike the Ford-Fulkerson
algorithm, this will always terminate
It is relatively simple to implement29
![Page 30: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/30.jpg)
Summary Many problems can be transformed
to a max-flow problem. So keep your eyes open!
The Edmonds-Karp algorithm is: fairly fast for sparse graphs – O(V³) easy to implement runs in O(VE²) time
30
![Page 31: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/31.jpg)
Summary Don’t forget to add the reverse edges
to your graph!
The algorithm Looks for augmenting path
from source to sink on each iteration
Maximum flow == smallest residual capacity of an edge in that path
31
![Page 32: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/32.jpg)
Resources Video lectures (in kind of English)
http://www.youtube.com/watch?v=J0wzih3_5Wo
http://en.wikipedia.org/wiki/Maximum_flow_problem
http://en.wikipedia.org/wiki/Edmonds%E2%80%93Karp_algorithm
http://en.wikipedia.org/wiki/Matching_(graph_theory)
Nakov’s book: Programming = ++Algorithms;
32
![Page 33: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/33.jpg)
форум програмиране, форум уеб дизайнкурсове и уроци по програмиране, уеб дизайн – безплатно
програмиране за деца – безплатни курсове и уроцибезплатен SEO курс - оптимизация за търсачки
уроци по уеб дизайн, HTML, CSS, JavaScript, Photoshop
уроци по програмиране и уеб дизайн за ученициASP.NET MVC курс – HTML, SQL, C#, .NET, ASP.NET MVC
безплатен курс "Разработка на софтуер в cloud среда"
BG Coder - онлайн състезателна система - online judge
курсове и уроци по програмиране, книги – безплатно от Наков
безплатен курс "Качествен програмен код"
алго академия – състезателно програмиране, състезанияASP.NET курс - уеб програмиране, бази данни, C#, .NET, ASP.NET
курсове и уроци по програмиране – Телерик академия
курс мобилни приложения с iPhone, Android, WP7, PhoneGapfree C# book, безплатна книга C#, книга Java, книга C# Дончо Минков - сайт за програмиране
Николай Костов - блог за програмиранеC# курс, програмиране, безплатно
?? ? ?
??? ?
?
? ?
??
?
?
? ?
Questions?
?
Combinatorics
http://algoacademy.telerik.com
![Page 34: Max-flow min-cut](https://reader036.vdocuments.us/reader036/viewer/2022081513/56816060550346895dcf884c/html5/thumbnails/34.jpg)
Free Trainings @ Telerik Academy
“C# Programming @ Telerik Academy csharpfundamentals.telerik.com
Telerik Software Academy academy.telerik.com
Telerik Academy @ Facebook facebook.com/TelerikAcademy
Telerik Software Academy Forums forums.academy.telerik.com