Application de lalgorithme de FORD-FULKERSON

Soit le graphe orient et valu suivant : b = 0 Valuation c = capacit d = cot (non pris en compte) Chercher le flot complet du rseau.
7

a
8

8 4

c
3 4 7 6

10

2 3 3

d
4

Capacit

a
()

8 [0] 4 [0] 2 [0] 3 [0] 3 [0]

c
()

7 [0]

8 [0]

3 [0]

4 [0] 7 [0] 6 [0]

() Marquage

S
()

b
10 [0]
()

d
()

P
()

Flot nul

4 [0]

e
()

[] Flot
Capacit

a
(+S)

8 [0] 4 [0] 2 [0] 3 [0] 3 [0]

c
(+a)

7 [0]

8 [0]

3 [0]

4 [0] 7 [0] 6 [0]

() Marquage

Premier marquage :
P
(+c)

S
(+)

b
10 [0]
(+S)

d
(+a)

4 [0]

Lordre dans lequel on traite les sommets marqus est une file : S, a, b, c, d, e, P

e
(+b)

[] Flot
Capacit

a
(+S)

8 [0] 4 [0] 2 [0] 3 [0] 3 [0]

c
(+a)

7 [0]

8 [0]

3 [0]

4 [0] 7 [0] 6 [0]

() Marquage

Augmentation possible du flot dans la chane amliorante :

S P
(+c)

S
(+)

b
10 [0]
(+S)

d
(+a)

La capacit minimale de la chane : 4 On va donc augmenter le flot sur cette chane, au maximum, cad jusqu la capacit minimale de la chane.

4 [0]

e
(+b)

[] Flot
Capacit

a
(+S)

8 [4] 4 [0] 2 [0] 3 [0] 3 [0]

c
(+a)

7 [4]

8 [0]

3 [0]

4 [4] 7 [0] 6 [0]

() Marquage

Le flot sur cette chane est maintenant :

P
(+c)
f1 / v1 = 4

S
(+)

b
10 [0]
(+S)

d
(+a)

4 [0]

On remarque que le flot est complet dans c P , cet arc est satur.
[] Flot
Capacit

e
(+b)

a
()

8 [4] 4 [0] 2 [0] 3 [0] 3 [0]

c
()

7 [4]

8 [0]

3 [0]

4 [4] 7 [0] 6 [0]

() Marquage

Nouveau marquage :
P
()

S
()

b
10 [0]
()

d
()

4 [0]

Lordre dans lequel on traite les sommets marqus est une file : S, a, b, c, d, e, P

e
()

[] Flot
Capacit

a
(+S)

8 [4] 4 [0] 2 [0] 3 [0] 3 [0]

c
(+a)

7 [4]

8 [0]

3 [0]

4 [4] 7 [0] 6 [0]

() Marquage

Augmentation possible du flot dans la chane amliorante :

S P
(+d)

S
(+)

b
10 [0]
(+S)

d
(+a)

La capacit minimale de la chane : 3 On va donc augmenter le flot sur cette chane, au maximum, cad jusqu la capacit minimale de la chane.

4 [0]

e
(+b)

[] Flot
Capacit

a
(+S)

8 [4] 4 [3] 2 [0] 3 [0] 3 [0]

c
(+a)

7 [4+3] 8 [0]

3 [0]

4 [4] 7 [3] 6 [0]

() Marquage

Le flot sur cette chane est maintenant :

P
(+d)
f 2 / v2 =3

S
(+)

b
10 [0]
(+S)

d
(+a)

4 [0]

On remarque que le flot est complet dans S a , cet arc est satur.
[] Flot
Capacit

e
(+b)

a
()

8 [4] 4 [3] 2 [0] 3 [0] 3 [0]

c
()

7 [7]

8 [0]

3 [0]

4 [4] 7 [3] 6 [0]

() Marquage

S
(+)

b
10 [0]
(+S)

d
()

P
()

Nouveau marquage : Le sommet a nest pas marquable depuis S car il est satur.

4 [0]

e
()

[] Flot
Capacit

a
(-c)

8 [4] 4 [3] 2 [0] 3 [0] 3 [0]

c
(+b)

On continue le marquage :
4 [4] 7 [3] 6 [0]
() Marquage

7 [7]

8 [0]

3 [0]

Le sommet b trait, on traite c.

P
()

S
(+)

b
10 [0]
(+S)

d
(+b)

Or on a f ( a, c) > 0 , on note donc le sommet a par (c) . Ensuite on a c P satur, on ne peut donc pas encore marquer P.

4 [0]

e
(+b)

[] Flot
Capacit

Les autres sommets encadrants c sont dj marqus (b et d), on passe donc au suivant.

a
(-c)

8 [4] 4 [3] 2 [0] 3 [0] 3 [0]

c
(+b)

7 [7]

8 [0]

3 [0]

4 [4] 7 [3] 6 [0]

() Marquage

On continue le marquage :
P
(+d)

S
(+)

b
10 [0]
(+S)

d
(+b)

On traite d. on a f (d , P ) < c(d , P ) , on note donc le sommet P par (+ d ) .

4 [0]

e
(+b)

[] Flot
Capacit

a
(-c)

8 [4] 4 [3] 2 [0] 3 [0] 3 [0]

c
(+b)

7 [7]

8 [0]

3 [0]

4 [4] 7 [3] 6 [0]

() Marquage

Augmentation possible du flot dans la chane amliorante :

S P
(+d)

10

S
(+)

b
10 [0]
(+S)

d
(+b)

La capacit minimale de la chane : 3 On va donc augmenter le flot sur cette chane, au maximum, cad jusqu la capacit minimale de la chane.

4 [0]

e
(+b)

[] Flot
Capacit

a
(-c)

8 [4] 4 [3] 2 [0] 3 [3] 3 [0]

c
(+b)

7 [7]

8 [0]

3 [0]

4 [4] 7 [3+3] 6 [0]

() Marquage

Le flot sur cette chane est maintenant :

P
(+d)
f 3 / v3 = 3

S
(+)

b
10 [3]
(+S)

d
(+b)

4 [0]

On remarque que le flot est complet dans b d , cet arc est satur.
[] Flot
Capacit

e
(+b)

a
(-c)

8 [4] 4 [3] 2 [0] 3 [3] 3 [0]

c
(+b)

7 [7]

8 [0]

3 [0]

4 [4] 7 [6] 6 [0]

() Marquage

Nouveau marquage
P
(+e)

S
(+)

b
10 [3]
(+S)

d
(+b)

4 [0]

Lordre dans lequel on traite les sommets marqus est une file : S, b, c, e, a, d, P

e
(+b)

[] Flot
Capacit

a
(-c)

8 [4] 4 [3] 2 [0] 3 [3] 3 [0]

c
(+b)

7 [7]

8 [0]

3 [0]

4 [4] 7 [6] 6 [0]

() Marquage

Augmentation possible du flot dans la chane amliorante :

S P
(+e)

S
(+)

b
10 [3]
(+S)

d
(+b)

La capacit minimale de la chane : 3 On va donc augmenter le flot sur cette chane, au maximum, cad jusqu la capacit minimale de la chane.

4 [0]

e
(+b)

[] Flot
Capacit

a
(-c)

8 [4] 4 [3] 2 [0] 3 [3] 3 [3]

c
(+b)

7 [7]

8 [0]

3 [0]

4 [4] 7 [6] 6 [3]

() Marquage

Le flot sur cette chane est maintenant :

P
(+e)
f 4 / v4 =3

S
(+)

b
10 [3+3] (+S)

d
(+b)

4 [0]

On remarque que le flot est complet dans b e , cet arc est satur.
[] Flot
Capacit

e
(+b)

a
(-c)

8 [4] 4 [3] 2 [0] 3 [3] 3 [3]

c
(+b)

7 [7]

8 [0]

3 [0]

4 [4] 7 [6] 6 [3]

() Marquage

Nouveau marquage : Lordre dans lequel on traite les sommets marqus est une file : S, b, c, d, a, P, e
P
(+d)

S
(+)

b
10 [6]
(+S)

d
(+c)

Augmentation possible du flot dans la chane amliorante :

S
4

4 [0]

e
(+d)

[] Flot
Capacit

La capacit minimale de la chane : 1

a
(-c)

8 [4] 4 [3] 2 [1] 3 [3] 3 [3]

c
(+b)

7 [7]

8 [0]

3 [1]

4 [4] 7 [6+1] 6 [3]

() Marquage

Le flot sur cette chane est maintenant :

P
(+d)
f 5 / v5 =1

S
(+)

b
10 [6+1] (+S)

d
(+c)

4 [0]

On remarque que le flot est complet dans d P , cet arc est satur.
[] Flot
Capacit

e
(+d)

a
(-c)

8 [4] 4 [3] 2 [1] 3 [3] 3 [3]

c
(+b)

7 [7]

8 [0]

3 [1]

4 [4] 7 [7] 6 [3]

() Marquage

Nouveau marquage : Lordre dans lequel on traite les sommets marqus est une file : S, b, c, d, a, e, P
P
(+e)

S
(+)

b
10 [7]
(+S)

d
(+c)

Augmentation possible du flot dans la chane amliorante :

S
3

4 [0]

e
(+d)

[] Flot
Capacit

La capacit minimale de la chane : 1

a
(-c)

8 [4] 4 [3] 2 [1+1] 3 [3] 3 [3]

c
(+b)

7 [7]

8 [0]

3 [1+1]

4 [4]

Le flot sur cette chane est maintenant :

P
(+e)
f 6 / v6 =1

S
(+)

b
10 [7+1] (+S)

d
(+c)

7 [7] 6 [3+1]

4 [1]

On remarque que le flot est complet dans b c , cet arc est satur.

() Marquage

e
(+d)

[] Flot
Capacit

Nouveau marquage :
a
()

Coupe de capacit minimale

8 [4] 4 [3] 2 [2] 3 [3] 3 [3]

c
()

7 [7]

8 [0]

3 [2]

4 [4] 7 [7] 6 [4]

() Marquage

On traite S, on marque b. On traite b : aucun sommet nest marquable. On na plus aucun sommet traiter.
P
()

S
(+)

b
10 [8]
(+S)

d
()

4 [1]

On constate que P nest pas marqu, donc on a atteint le flot complet du graphe.
f ( S ) / v =5 P 1

()

[] Flot
Capacit

On note : A = { S , b} et A = X A