Cours sur les graphes

Flots
Florent Madelaine
(florent.madelaine@univ-clermont1.fr)
Universit
e dAuvergne

8 Octobre 2007

Florent Madelaine (Universit

e dAuvergne)

Graphes

8 Octobre 2007

1 / 11

Plan du cours

Introduction
Exemples
Reseau, flot et loi des noeuds
Flot realisable et valeur dun flot

Flot maximal
Probl`eme du calcul dun flot maximal
Algorithme de Ford-Fulkerson

Florent Madelaine (Universit

e dAuvergne)

Graphes

8 Octobre 2007

2 / 11

De lubiquite des flots

Florent Madelaine (Universit

e dAuvergne)

Graphes

8 Octobre 2007

3 / 11

Reseau, flot et loi des noeuds

Definition (reseau)

( G , c, s, t) est un reseau ssi

G est un graphe oriente connexe sans

boucle;
ce graphe est value: chaque arc (u, v )
du graphe a une capacite c(u, v );
la source s de degre entrant nul; et,
le puit t de degre sortant nul.

Definition (flot `a travers un reseau)

Un flot est une fonction f : E (V ) R qui
verifie la loi des noeuds:
(( ce qui rentre egal ce qui sort )).
Conservation du flux
Loi de Kirchhoff (1847, circuits electriques)
Florent Madelaine (Universit
e dAuvergne)

Graphes

8 Octobre 2007

4 / 11

Definitions

Definition (Flot realisable)

Si pour tout arc la valeur du flot est
inf`erieure ou egale `a la capacite de
larc alors on dit que le flot est
realisable.

Definition (valeur du flot)

On ajoute un arc de retour (fictif)
depuis t vers s. On definit alors la
valeur du flot comme celle du flux
qui passe par cet arc fictif.

Florent Madelaine (Universit

e dAuvergne)

Graphes

8 Octobre 2007

5 / 11

Une combinaison lineaire de flots est un flot

Proposition
La somme dun flot est un flot.
Un multiple dun flot est un flot.

exercice
Demontrer la proposition

Florent Madelaine (Universit

e dAuvergne)

Graphes

8 Octobre 2007

6 / 11

Flot maximal
Probl`eme

Idee
Proceder par marquage
successifs des sommets
depuis la source vers le puit.
On traite chaque sommet u
marque successivement.
On marque tout successeur
positivement si larc nest pas
`a pleine capacite et tout
predecesseur negativement su
larc a un flux non nul.
Ceci permet de trouver des
chemins augmentant.

donnee: un reseau
question: trouver un flot
realisable maximal (dont la
valeur est maximale)

Solution
Algorithme de Ford-Fulkerson
(1956)

Florent Madelaine (Universit

e dAuvergne)

Graphes

8 Octobre 2007

7 / 11

Algorithme 1 : Algorithme de Ford-Fulkerson

Donn
ees ( G , c, s, t) un reseau
d
ebut
initialisation marquer + le sommet entree s
tant que le flot nest pas maximal faire
tant que on marque des sommets faire
pour chaque sommet marque u non encore traite faire
pour chaque arc (u, v ) faire
si v nest pas marque et (u, v ) nest pas sature alors
marquer v par (+, u)
finsi
finprch
pour chaque arc (v , u) faire
si v nest pas marque et (u, v ) a un flot non nul alors
marquer v par (, u)
finsi
finprch
finprch
si le puits t nest pas marque alors
le flot est maximal (on sarrete)
sinon
augmenter le flot et continuer
finsi
fintq
fintq
fin
Florent Madelaine (Universit
e dAuvergne)

Graphes

8 Octobre 2007

8 / 11

Exemple

Florent Madelaine (Universit

e dAuvergne)

Graphes

8 Octobre 2007

9 / 11

Exemple

Florent Madelaine (Universit

e dAuvergne)

Graphes

8 Octobre 2007

10 / 11

Informations importantes
Examen
Se prepare.
Cours interdit.
Mais Pompe Officielle
de 1 recto A4
autorisee.

Sujet
Algorithme de Bellman-Ford
(simple, ameliorations et variantes)
Parcours en largeur
Parcours en profondeur
Preuves simples sur des graphes.

Finalement
Bonne semaine de vacance
Bonne revision
Je suis disponible pour toute question (prenez rendez-vous par email au
prealable svp)

Florent Madelaine (Universit

e dAuvergne)

Graphes

8 Octobre 2007

11 / 11