Calcul de flots maximum Algorithme de...

Flots et coupesAlgorithme de Ford-Fulkerson

Calcul de flots maximumAlgorithme de Ford-Fulkerson

Frederic.Guinand@univ-lehavre.fr

Master I - Le Havre

Frederic.Guinand@univ-lehavre.fr Calcul de flots maximum Algorithme de Ford-Fulkerson

Définitions

RéseauSoit G = (S, A) un graphe orienté.Chaque arc est valué par une valeur correspondant à lacapacité du lien associé à cet arc.Soit la fonction c : A→ R+ qui associe à chaque arc unevaleur réelle positive de capacité.Soient deux sommets particuliers : un sommet source s etun sommet puits p, tels que ∀v ∈ S il existe un chemin quiva de s à p et qui passe par v .Un réseau est défini par la donnée du quadrupletR = (G, c, s, p).

Définitions

Un flot est une fonction f : A→ R+ telle que :

f ((a, b)) ≤ c((a, b)),∀(a, b) ∈ A (1)

∑j∈voisins(s)

f ((s, j))−∑

j∈voisins(s)f ((j , s)) = v (2)

∑j∈voisins(p)

f ((p, j))−∑

j∈voisins(p)f ((j , p)) = −v (3)

∑j∈voisins(i)

f ((i , j))−∑

j∈voisins(i)f ((j , i)) = 0,∀i ∈ S\{s, p} (4)

v représente la valeur du flot.Equation (4) : loi de Kirchhoff.

Définitions

Soit G = (S, A), et R = (G, c, s, p), une coupe est unepartition de S en deux ensembles V et V̄ , tels que :

V ∪ V̄ = Ss ∈ V et p ∈ V̄

la capacité de la coupe est égale à la somme descapacités des arcs qui font la coupe.

Définitions

Un réseau un flot réalisable pour ce réseau

Définitions

Problème du calcul du flot maximum

Définitions

Connectivité

Pour un graphe connexe, la connectivité est définie commele nombre minimum de sommets dont la suppressionentraîne la perte de connexité.Théorème de Menger (1927) :Pour deux sommets non adjacents quelconques d’ungraphe connexe G, le nombre minimum d’arêtes dont lasuppression entraîne leur déconnexion est égal au nombremaximum de chaînes deux-à-deux arêtes disjointes lesconnectant dans G.Ce résultat a été re-formulé en termes de réseaux en 1956par Ford et Fulkerson et est connu sous le nom dethéorème maximum flow/minimum cut ou max flow-mincut.

Définitions

Enoncé du problème

1 Intitulé du problème : Flot maximum.2 Description des paramètres : un graphe orienté

G = (S, A) dont chaque arête est valuée par une capacité,un sommet source et un sommet puits,

3 Question : quel est le flot maximum qu’il est possible defaire passer dans ce réseau depuis la source vers le puits ?

Définitions

Enoncé du problème

Intuitivement cela fait référence aux problèmes deplomberie ou de trafic routier.On dispose d’une source et d’un puits et le flot doits’écouler de la source vers le puits et il doit être maximumen fonction de la capacité des arcs.

Définitions

Exemple

Source Puits

Définitions

Exemple

Source Puits

Définitions

Exemple

Source Puits

Définitions

Exemple

Source Puits6/20

6/102/2

4/44/4

Définitions

Exemple

Source Puits8/20

2/3 2/2

Définitions

Exemple

Source Puits2/3

2/5 2/42/6

2/7 2/6

2010 12

Définitions

Exemple

Source Puits2/3

2010 12

10/1012/20

Définitions

Exemple

Source Puits2/3

2010 12

6/7 4/6

Définitions

Exemple

Source Puits2/3

4/46/6

7/7 5/6

Définitions

Exemple

Source Puits2/3

10 2/10

4/46/6

7/7 5/6

4/124/105/20

Définitions

Rapport avec la connexité

Il suffit de supprimer les arcs pour lesquels la valeur du flotest égale à la capacité :

Source Puits2/3

10 2/10 2/6

5/65/15

5/204/10 4/12

Définitions

Capacité résiduelle

crésiduelle(si ,sj )

= c(si ,sj ) − f ((si , sj))

la capacité résiduelle, pour un arc (si , sj) donné,représente la quantité de flot pouvant encore passer parcet arc.

Définitions

Réseau résiduelGrésiduel = (S, Arésiduel) tel que

Arésiduel = {(si , sj) ∈ A, crésiduelle(si ,sj )

le réseau résiduel, est le graphe partiel obtenu à partir dugraphe d’origine mais dont ont été retiré tous les arcs dontla capacité résiduelle est nulle.

Définitions

Chemin améliorant ou augmentant

Un chemin améliorant ou chemin augmentant, est unchemin de Grésiduel, allant de s à p et sans circuit

Définitions

Capacité résiduelle d’un chemin améliorantLa capacité résiduelle d’un chemin améliorant est leminimum des capacités résiduelles des arcs appartenantau chemin

Définitions

Arc saturéUn arc est dit saturé si sa capacité résiduelle est nulle.

Algorithme de Ford-Fulkerson

Principe de résolution

PrincipeTant qu’il existe un chemin augmentant dans le graphe, onajoute un flot le long de ce chemin.

Principe

Créer un graphe résiduel Gr = GInitialement tous les arcs sont valués par leur capacitéDéterminer un chemin augmentantTantQue il existe un chemin augmentant de s vers p Faire

mettre à jour le graphe résiduelchercher un nouveau chemin augmentant

finTantQue

Principaux pointsdéterminer un chemin augmentantmettre à jour le graphe résiduel

Mise à jour du graphe résiduel

Soit c un chemin augmentantSoit cr la capacité résiduelle de ce cheminPour tous les arcs (si , sj) appartenant au chemin Faire

mettre à jour la capacité résiduelle de l’arcfinPour

Détermination d’un chemin augmentant

Plus délicat.Examen des chemins du graphe résiduel→ parcours dugraphe résiduel.Il peut y avoir remise en question de flots déjà validés.

Exemple

8/86/0

Exemple

Départ de la sourceVoisins éligibles← ensemble des voisins......dont les arcs entrants depuis la source ne sont pas saturésTantQue (il reste des voisins non visités) ET (chemin pas trouvé) Faire

choisir un voisin pour poursuivre le chemin augmentantSi ce voisin est le puits Alors

le chemin construit est le chemin augmentantvalider le flotmettre à jour le graphe résiduelretour au départ pour la recherche d’un nouveau chemin

finSifinTantQue

Voisins éligibles

Les voisins éligibles d’un sommet u sont :les successeurs v de ce sommet tels que l’arc (u, v) n’estpas saturéeles prédecesseurs v ′ de ce sommet tels que l’arc (v ′, u)présente un flot strictement positif

Condition de terminaisonLe calcul du flot maximum se termine lorsqu’il n’existe plusde chemin augmentant de s vers p.Détecter une telle situation suppose de marquer lessommets à partir desquels aucun nouveau cheminaugmentant n’est possible. Cette procédure de marquagepeut s’appuyer par exemple sur un algorithme de parcoursclassique :

profondeur d’abord : lorsque la pile est vide et qu’aucunchemin augmentant de s à p n’a pu être déterminélargeur d’abord : lorsque la file est vide et qu’aucun cheminaugmentant de s à p n’a pu être déterminé

Analyse de la complexité

Complexité

Exercice.

Références

1 Maximal Flow Through a Network. L. R. Ford, Jr. and D. R.Fulkerson. Canadian Journal of Mathematics, vol. 8, pages399-404, 1956.

2 Ford-Fulkerson Max-Flow Labeling Algorithm. Harvey J.Greenberg. Rapport de recherche. University of Colorado,Denver. Decembre 1998.

Calcul de flots maximum Algorithme de...

Documents

Transcript of Calcul de flots maximum Algorithme de...

1 Recherche du plus long chemin dans un réseau. Outil de gestion de projet : algorithme de Ford pour la recherche dun chemin critique et le calcul de la.

UV RO1 Calcul du flot maximum Algorithme de Ford Fulkerson Maxime Chambreuil | Nicolas Fournel | Vianney Gremmel | Leïla Traoré | Marouane Zehni.

Ford Insurgentes 943 Súper Combos Ford 2011

Gamme Accessoires Ford, Avril 2011,Concessions Ford Montpellier Béziers Sète

14 mars 2006Cours de graphes 4 - Intranet1 Cours de graphes Problèmes de flots. Théorème du Max-flow – Min-cut. Algos de Ford-Fulkerson et Edmonds-Karp.

Graphes Chap8 Flots Pres

Ford Galaxy

1. Qu’est ce qu’un algorithme 2. Pourquoi un algorithme ...

2010 Ford Sport Trac Lamoureux Ford MA

Les flots INFORMATIQUE 3 - larbiguezouli.com

Palavas-les-Flots - SiteW

Exercices- Algorithme

Ford Nouvelle-Calédonie – Concessionnaire Ford à Nouméa

TRANSFERT, RESEAUX, GRAPHES Flots et coupes

Ford Focus

algorithme avancé

COMMUNE DE PALAVAS-LES-FLOTS

Sonoma Raceway · Yeison Ramos Gomez Carlos Hillson Samantha Reinhart Michael Craig Ford Ford Ford Ford 363 302 5.0 5.0 foul foul -.007 .042 .632 .509 .203 12.45 1 3.20 14.30 12.40

FORD C-MAX + FORD GRAND C-MAX · FORD C-MAX + FORD GRAND C-MAX C-MAX_15.75_V4_MASTER_240x185 Cover.indd 1-3 26/03/2015 18:06:06

Ford C-MAX II 07/2010- Ford Focus Sedan 01/2011- Ford ... · Ford C-MAX II 07/2010-Ford Focus Sedan 01/2011-Ford Focus Hatchback 01/2011-Partnr.: FR-050-D1 ... Instrukcja obsługi.