28.11.2014 Views

Lecture Notes Discrete Optimization - Applied Mathematics

Lecture Notes Discrete Optimization - Applied Mathematics

Lecture Notes Discrete Optimization - Applied Mathematics

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

p<br />

12<br />

q<br />

p<br />

12<br />

q<br />

16<br />

9<br />

20<br />

11<br />

4<br />

15<br />

s<br />

10 4<br />

7<br />

t<br />

s<br />

1<br />

7<br />

t<br />

13<br />

4<br />

8<br />

4<br />

u<br />

14<br />

v<br />

u<br />

11<br />

v<br />

Figure 5: On the left: Input graph G with capacities c : E → R + . Only the edges with<br />

positive capacity are shown. On the right: A flow f of G with flow value | f|=19. Only<br />

the edges with positive net flow are shown.<br />

tion constraints is the same as the total flow into t):<br />

| f|= ∑ f(s,v).<br />

v∈V<br />

An example of a network and a flow is given in Figure 5.<br />

The maximum flow reads as follows:<br />

Maximum Flow Problem:<br />

Given:<br />

Goal:<br />

A directed graph G=(V,E) with capacities c : E →R + , a source node<br />

s∈ V and a destination node t ∈ V.<br />

Compute an s,t-flow f of maximum value.<br />

We introduce some more notation. Given two sets X,Y ⊆ V , define<br />

f(X,Y)= ∑<br />

∑<br />

x∈X y∈Y<br />

f(x,y).<br />

We state a few properties. (You should try to convince yourself that these properties hold<br />

true.)<br />

Proposition 5.1. Let f be a flow in G. Then the following holds true:<br />

1. For every X ⊆ V, f(X,X)=0.<br />

2. For every X,Y ⊆ V, f(X,Y)=− f(Y,X).<br />

3. For every X,Y,Z ⊆ V with X∩Y = /0,<br />

f(X∪Y,Z)= f(X,Z)+ f(Y,Z) and<br />

f(Z,X∪Y)= f(Z,X)+ f(Z,Y).<br />

5.2 Residual Graph and Augmenting Paths<br />

Consider an s,t-flow f . Let the residual capacity of an edge e=(u,v) ∈ E with respect<br />

to f be defined as<br />

r f (u,v)=c(u,v)− f(u,v).<br />

28

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!