Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

4 Flots Beamer PDF

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 11

Cours sur les graphes

Flots
Florent Madelaine
(florent.madelaine@univ-clermont1.fr)
Universite dAuvergne
8 Octobre 2007
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 1 / 11
Plan du cours
1
Introduction
Exemples
Reseau, ot et loi des noeuds
Flot realisable et valeur dun ot
2
Flot maximal
Probl`eme du calcul dun ot maximal
Algorithme de Ford-Fulkerson
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 2 / 11
De lubiquite des ots
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 3 / 11
Reseau, ot et loi des noeuds
Denition (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.
Denition (ot `a travers un reseau)
Un ot est une fonction f : E(V) R qui
verie la loi des noeuds:
(( ce qui rentre egal ce qui sort )).
Conservation du ux
Loi de Kirchho (1847, circuits electriques)
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 4 / 11
Denitions
Denition (Flot realisable)
Si pour tout arc la valeur du ot est
inf`erieure ou egale `a la capacite de
larc alors on dit que le ot est
realisable.
Denition (valeur du ot)
On ajoute un arc de retour (ctif)
depuis t vers s. On denit alors la
valeur du ot comme celle du ux
qui passe par cet arc ctif.
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 5 / 11
Une combinaison lineaire de ots est un ot
Proposition
La somme dun ot est un ot.
Un multiple dun ot est un ot.
exercice
Demontrer la proposition
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 6 / 11
Flot maximal
Probl`eme
donnee: un reseau
question: trouver un ot
realisable maximal (dont la
valeur est maximale)
Solution
Algorithme de Ford-Fulkerson
(1956)
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 ux non nul.
Ceci permet de trouver des
chemins augmentant.
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 7 / 11
Algorithme 1 : Algorithme de Ford-Fulkerson
Donnees (

G , c, s, t) un reseau
debut
initialisation marquer + le sommet entree s
tant que le ot 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)
nsi
nprch
pour chaque arc (v, u) faire
si v nest pas marque et (u, v) a un ot non nul alors
marquer v par (, u)
nsi
nprch
nprch
si le puits t nest pas marque alors
le ot est maximal (on sarrete)
sinon
augmenter le ot et continuer
nsi
ntq
ntq
n
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 8 / 11
Exemple
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 9 / 11
Exemple
Florent Madelaine (Universite dAuvergne) Graphes 8 Octobre 2007 10 / 11
Informations importantes
Examen
Se prepare.
Cours interdit.
Mais Pompe Ocielle
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 (Universite dAuvergne) Graphes 8 Octobre 2007 11 / 11

Vous aimerez peut-être aussi