Está en la página 1de 42

Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Algorithmes de flots

Loı̈c Hélouët
loic.helouet@inria.fr

Prépa agreg 2014/2015

Algorithmes de flots – Prépa Agreg – 2014/2015, 1


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Bibliographie

CLR Thomas Cormen, Charles Leiserson, Ronald Rivest


Introduction à l’algorithmique (Chap 26).
Dunod, 1994
GM Michel Gondran, Michel Minou
Graphes et Algorithmes (chap. 5).
Eyrolles, 1985.
BBC Jean Berstel, Danièle Beauquier et Philippe Chrétienne.
Éléments d’algorithmique (chap. 8).
Masson, 1992.

Algorithmes de flots – Prépa Agreg – 2014/2015, 2


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Plan

1 Réseaux de transport, problème du flot maximal


2 Méthode de Ford-Fulkerson
3 Focus : terminaison de Ford Fulkerson
4 Application: Couplage dans un graphe biparti
5 Algorithmes avec Préflots
6 Conclusion

Algorithmes de flots – Prépa Agreg – 2014/2015, 3


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Réseau de Transport

Réseau de Transport
Un Réseau de Transport est un graphe G = (S, A) orienté, dans lequel chaque
arc a une capacité

c(u, v ) ≥ 0 si (u, v ) ∈ A,
c(u, v ) = 0 sinon.
nb: c(u, v ) peut être une capacité entière, rationnelle, réelle.

On distingue deux sommets particuliers : la source s et le puits t.


On supposera, par commodité qu’il existe toujours un chemin permettant
d’aller de s à t.
4
11
10
9 9 T
S 5 10
10

Algorithmes de flots – Prépa Agreg – 2014/2015, 4


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Exemples de réseaux de transport

I Réseau éléctrique : haute tension, circuit,....


I Réseau routier, ferroviaire : transport de marchandises,
I Réseau de fluides, gaz, hydrocarbures,
I Logistique, processus industriels
I ....
pour transporter un flux de la source vers le puits, sans excéder la capacité des
canaux.

Problème classique : comment maximiser ce flux ?

Algorithmes de flots – Prépa Agreg – 2014/2015, 5


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Exemples de réseaux de transport


La société ZZZ livre par train à Nice des containers de
marchandises remplis à Paris.

Problème : une entreprise a le droit d’envoyer un nombre


limité de containers par jour sur chaque tronçon de voie.

Comment expédier un maximum de containers chaque jour


?

Lille

Strasbourg
Paris
7

15
Nantes

Lyon
5
8 Grenoble
5

Bordeaux 10
2
5 Nice
8 Toulouse
Marseille6

Algorithmes de flots – Prépa Agreg – 2014/2015, 6


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Flots

Flot
Soit G un réseau de transport de capacité c(., .). Un Flot est une fonction
f : S × S → R avec les contraintes suivantes :
I Capacité : ∀u, v , f (u, v ) ≤ c(u, v )
I Symétrie : f (u, v ) = −f (v , u)
I Conservation du flot : ∀u ∈ S \ {s, t}, Σ f (u, v ) = 0
v ∈S

Valeur d’un flot


La valeur d’un flot est : X
|f | = f (s, v )
v ∈S

|f ∗ | = max{|f | | f flot de G }

P P
Remarque : |f | = f (s, v ) = f (v , t)
v ∈S v ∈S

Algorithmes de flots – Prépa Agreg – 2014/2015, 7


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Problème du flot maximal

Soit G = (S, A) un réseau de transport de source s et de puits t et c(., .) une


fonction de capacité,

Problème : trouver un flot f de valeur maximale.

Contrainte de Flot :
respecter les contraintes de capacité, symétrie, et conservation du flot

Maximalité : ∀f 0 , flot de G , |f 0 | ≤ |f |

Algorithmes de flots – Prépa Agreg – 2014/2015, 8


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Flux
Soit f : S × S → R un flot.
flux positif entrant/sortant
Le flux positif total entrant dans un sommet v est défini par
X
f (u, v )
u∈S
f (u, v ) > 0

Le flux positif total sortant d’un sommet v est défini par


X
f (v , u)
u∈S
f (v , u) > 0

Flux net total


Le flux net total fnt(v ) d’un sommet v est égal au flux positif sortant de v moins
le flux positif total entrant dans le sommet.
Récriture de la règle de conservation : pour tout sommet v 6= s, t, fnt(v ) = 0

Algorithmes de flots – Prépa Agreg – 2014/2015, 9


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Sources, Cibles multiples

Le probleme de flux maximal reste identique avec sources ou cibles multiples.

10 4
11 10 4
S1 11
S1

8
9 9 t
5 10 9 9 t
5 10

8
5 10 5 10
S2
S2

11 4 11
10 4 10
t1 t1

8
s s
9 9 9
9 5 10
5 10

8
5 10 5
10
t2 t2

Homework : Montrer que si un flot f ∞ est maximal dans un réseau avec


supersource s ∞ , alors la somme des flux sortant de l’ensemble des sources du
réseau initial est maximale.

Algorithmes de flots – Prépa Agreg – 2014/2015, 10


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Flux et valeurs d’ensembles de sommets

Sommation Implicite
P P
Soient X , Y ⊆ S f (X , Y ) = f (x, y )
x∈X y ∈Y

Conservation de flots : ∀u ∈ S \ {s, t}, f (u, S) = 0

Valeur d’un flot


La valeur |f | d’un flot f définit la taile du flux qui peut s’écouler dans un réseau
de transport:
|f | = f (s, S) = f (S, t)

Somme de deux flots


Soient f1 , f2 deux fonctions de flot. La somme de f1 et f2 est définie par

(f1 + f2 )(u, v ) = f1 (u, v ) + f2 (u, v )

Algorithmes de flots – Prépa Agreg – 2014/2015, 11


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Capacité résiduelle

Principe: etant donné un réseau G = (S, A) et un flot f , maintenir un réseau


résiduel constitué des arcs qui peuvent supporter un flux plus important que
celui défini par f

Capacité résiduelle
La capacité résiduelle de u vers v après application du flot f est définie par

cf (u, v ) = c(u, v ) − f (u, v )

Exemple : c(u, v ) = 20, f (u, v ) = 11, cf (u, v ) = 9

Algorithmes de flots – Prépa Agreg – 2014/2015, 12


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Réseau résiduel

Réseau Résiduel
Soit G = (S, A) un réseau de transport, f un flot.
Le réseau résiduel de G induit par f est Gf = (S, Af ), où
Af = {(u, v ) ∈ S × S | cf (u, v ) > 0}

Algorithmes de flots – Prépa Agreg – 2014/2015, 13


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Annulation
Soient : c(u, v ) = x, c(v , u) = 0
Choisissons f (u, v ) = y < x
on a donc cf (u, v ) = x − y ,
A cause de la contrainte de symétrie : f (v , u) = −y et
cf (v , u) = c(v , u) − f (v , u) = 0 + y

De nouveaux arcs apparaissent !


t t t
5
10 10 5 10
5
16 5 11
u v u v u v
5

10 5 5
10 10
5
s s s

G f Gf

Interprétation : On peut annuler un flux pour obtenir un meilleur flot.


Algorithmes de flots – Prépa Agreg – 2014/2015, 14
Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Propriétés des graphes résiduels

Ajout de flot du réseau résiduel


Soit G un graphe de transport, et f un flot de G .

Soit Gf le réseau résiduel de G induit par f et f 0 un flot de Gf , alors,

f + f 0 est un flot de G de valeur |f | + |f 0 |.

Preuve: Verifier les propriétés de flots (capacité, symétrie, conservation) en


décomposant f + f 0 .

Idée d’algorithme: trouver une succession de flots f1 dans G , f2 dans Gf1 , f3


dans Gf1 +f2 ....

Algorithmes de flots – Prépa Agreg – 2014/2015, 15


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Chemins améliorants

Chemin Améliorant
Un chemin améliorant de source s et cible t est un chemin élémentaire de s vers
t dans le graphe résiduel Gf .
La capacité d’un chemin améliorant ρ est cf (ρ) = min{cf (u, v ) | (u, v ) ∈ ρ}

La capacité d’un chemin améliorant est la plus petite capacité d’un arc du
chemin (le ’maillon faible’)

Propriétés des chemins améliorants(1)


Soit G un réseau de transport, et f un flot de G . Soit ρ un chemin améliorant
du réseau résiduel
 Gf
 cf (ρ) si (u, v ) ∈ ρ
Soit fρ (u, v ) = −cf (ρ) si (v , u) ∈ ρ
0 sinon

Alors fρ est un flot de Gf et |fρ | > 0

Algorithmes de flots – Prépa Agreg – 2014/2015, 16


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Algorithme de Ford Fulkerson (1956)

Propriétés des chemins améliorants(2)


Soit G un réseau de transport, et f un flot de G . Soit ρ un chemin améliorant
du réseau résiduel Gf , alors f + fρ est un flot de G de valeur supérieure à |f |.

Preuve : propriété des flots du graphe résiduel.

Algorithme:
Input : G = (S, A)
for all (u, v ) ∈ S × S do
f (u, v ) = 0
end for
while ∃ρ chemin améliorant do
augmenter f avec ρ
end while
retourner f

Algorithmes de flots – Prépa Agreg – 2014/2015, 17


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Coupe

Questions :
I L’algorithme est-il correct ?
I L’algorithme termine-t-il ?

Coupe
Une coupe d’un Rdt de source s et de cible t est une partition de S en (E , T )
où s ∈ E et t ∈ T . P
La capacité d’une coupe est c(E , T ) = c(u, v )
u∈E ,v ∈T
Une coupe minimale est une coupe dont la capacité est minimale (pour G )

Flot net d’une coupe


si f est un flot de G , le flot net à travers (E , T ) est f (E , T ).

Algorithmes de flots – Prépa Agreg – 2014/2015, 18


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Coupe

Le flot net à travers une coupe est toujours le même !

Propriété du flot net


Soit f un flot de G , et (E , T ) une coupe de G , alors f (E , T ) = |f |
Explication : on peut passer d’une coupe à une autre en ”‘ajoutant/enlevant
un sommet, mais en vertu de la conservation du flot, cela ne change pas le flot
net entre E et T .
Majoration par les coupes
La valeur maximale d’un flot de G est inférieure à la capacité de toute coupe de
G.
PP PP
Demo : |f | = f (E , T ) = f (u, v ) ≤ c(u, v ) = c(E , T )
E T E T

Algorithmes de flots – Prépa Agreg – 2014/2015, 19


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Max Flow, Min Cut

Si f est un flot dans un réseau de transport G = (S, A) de source s et de puits


t, alors les conditions suivantes sont équivalentes :
1) f est un flot maximal de G .
2) Le réseau résiduel Gf ne contient aucun chemin améliorant.
3) |f | = c(E , T ) pour une certaine coupe (E , T ) de G .

Algorithmes de flots – Prépa Agreg – 2014/2015, 20


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

FF : Terminaison et correction

Terminaison
L’algorithme de Ford Fulkerson termine en O(|f ∗ |.|A|) lorsque la capacité du
réseau est entière ou rationnelle.

Correction
Lorsque l’algorithme de Ford Fulkerson termine, il retourne un flot de capacité
maximale.

Algorithmes de flots – Prépa Agreg – 2014/2015, 21


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

FF : efficacité

1
1 000 000
1 000 000 1 000 000 1 000 000 999 999

1
1 1

1 000 000 999 999


1 000 000 1 000 000 1 000 000
1

f G'
G

1 1 1

1 000 000 1 000 000 999 999


999 999 999 999

1 1 1

999 999 1 000 000 999 999 999 999


1 000 000
1 1 1
f'
G' G''

Algorithmes de flots – Prépa Agreg – 2014/2015, 22


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

FF : Terminaison

Le problème de flot maximal peut aussi se poser avec des capcités réelles
L’algorithme peut ne pas terminer !

Algorithmes de flots – Prépa Agreg – 2014/2015, 23


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Amélioration: Algorithme de Edmonds-Karp (1972)

Algorithme:
for all (u, v ) ∈ S × S do
f (u, v ) = 0
end for
while il existe un chemin améliorant do
choisir ρ parmi les plus courts chemins de s vers t.
augmenter f avec ρ
end while
retourner f

Algorithmes de flots – Prépa Agreg – 2014/2015, 24


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Algorithme de Edmonds-Karp

Terminaison et correction
Soit G un réseau de transport. L’algorithme d’Edmond Karp termine en
O(|S|.|A|2 ), et retourne un flot maximal.

Correction : facile, on ne choisit que des chemins améliorants, comme dans


Ford Fulkerson.

Terminaison : chaque chemin améliorant ajoute la capacité d’un ’arc critique’,


qui est annulé. Un arc ne redevient critique qu’au bout d’un certain nombre de
pas de l’algorithme. Au bout d’un moment il n’existe plus de chemin de s vert
t.

Algorithmes de flots – Prépa Agreg – 2014/2015, 25


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Application: le Couplage maximal

Couplage
Soit un graphe non orienté G = (S, A).
Un couplage de G est un sous ensemble M d’arrêtes de G tel que pour tout
sommet v ∈ S, au plus une arrête de M est incidente à v .
La valeur |M| d’un couplage M est le nombre d’arrêtes dans M.
Un couplage M est dit maximal si pour tout couplage M 0 , |M| ≥ |M 0 |.

Ici, problème du couplage maximal pour des graphes bipartis: G = (L ] R, A)


avec A ⊆ L × R ∪ R × L.

Application :
I L: machines de production,
I R:ensemble de tâches.
Trouver une affectation des tâches aux machines qui soit la plus rentable
possible (utilisant le plus de machines).
Algorithmes de flots – Prépa Agreg – 2014/2015, 26
Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Couplage maximal

Du Couplage aux Réseaux


Soit G = (L ] R, A) un graphe biparti.
Le réseau de transport correspondant est un réseau G 0 = ({s, t} ] L ] R, A0 )
avec
A0 = {(s, u) | u ∈ L} ∪ (A ∩ L × R) ∪ {(v , t) | v ∈ R}
La capacité associée à G 0 est c(u, v ) = 1 pour tout (u, v ) ∈ A0

S
T

Algorithmes de flots – Prépa Agreg – 2014/2015, 27


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Couplage maximal

Relation entre valeur des flots et taille de couplage


Soit G un graphe biparti, G 0 son réseau de transport correspondant.
I Si M est un couplage de G , alors il existe un flot à valeurs entières f dans
G 0 tel que |M| = |f |.
I Si un flot à valeurs entières f dans G 0 , alors il existe un couplage M de G
tel que |M| = |f |.

Algorithmes de flots – Prépa Agreg – 2014/2015, 28


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Couplage Maximal

Pas encore suffisant :


Théorème de l’intégralité
Si la fonction de capacité prend des valeurs entières, alors Ford Fulkerson retourne
un flot maximal à valeur entière.

Corollaire
La valeur d’un couplage maximal dans un graphe biparti est la valeur du flot
maximal dans le réseau de transport correspondant

Algorithmes de flots – Prépa Agreg – 2014/2015, 29


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Couplage maximal

Algorithme de recherche de couplage


Input = un graphe biparti G = (S, A)
Calculer un graphe de transport G 0 = (S 0 , A0 )
f = Ford − Fulkerson(G 0 ) (en O(|f ∗ |.A0 )
M = {(u, v ) | f (u, v ) > 0}

Remarque: un couplage maximal possède au plus min(|L|, |R|) arcs.


La valeur du flot correspondant est donc en O(S)),
et |f ∗ | < min(|L|, |R|)
l’algorithme tourne donc en O(S.A)

Algorithmes de flots – Prépa Agreg – 2014/2015, 30


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Preflots

I Algorithmes plus efficace en principe. Goldberg (1988) O(S 2 .A)


I S’appliquent à des problèmes de flots minimaux et autres
Principe : considérer les sommets et leur voisinage dans le réseau résiduel
plutot que les chemins.

On ne maintient pas la propriété de conservation de flot.

On débute en initialisant des flux utilisant la capacité maximale des arcs


quittant la source, et on cherche ensuite à éviter les ’débordements’ en
propageant ou réduisant ces flux.

Algorithmes de flots – Prépa Agreg – 2014/2015, 31


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Preflots

Préflot
Un préflot d’un GdT G est une fonction f : S ×S → R, satisfaisant les propriétés
de symétrie, et de capacité d’un flot, et la propriété suivante :

∀u ∈ S \ {s}, f (S, u) ≥ 0

e(u) = f (S, u) est appelé l’excédent de flot sur u.

u ∈ S \ {s, t} déborde si f (S, u) > 0

Important : s et t ne peuvent pas déborder.

Algorithmes de flots – Prépa Agreg – 2014/2015, 32


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Preflots

Hauteur
Soit G = (S, A) un reseau de transport de source s et de puits t et soit f un
preflot. Une fonction h : S → N est une fonction de hauteur si h(s) = |S|,
h(t) = 0 et h(u) ≤ h(v ) + 1 pour tout arc residuel (u, v ) ∈ Af .

Hauteur et arcs résiduels


Soit G = (S, A) un reseau de transport, soit f un preflot de G et soit h une
fonction de hauteur. Pour deux sommets u, v ∈ S quelconques, si h(u) >
h(v ) + 1, alors (u, v ) n’est pas un arc du graphe résiduel.

Algorithmes de flots – Prépa Agreg – 2014/2015, 33


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Poussage

POUSSER(u, v)
s’applique quand : u déborde, cf (u, v ) > 0 et h(u) = h(v ) + 1.
action : pousser df (u, v ) = min(e[u], cf (u, v )) unités de flot de u vers v.
df (u, v ) := min(e[u], cf (u, v ))
f [u, v ] := f [u, v ] + df (u, v )
f [v , u]:=−f [u, v ]
e[u]:= e[u] − df (u, v )
e[v ]:=e[v ] + df (u, v )

Explication : le sommet u possède un excédent positif e[u] et la capacité


résiduelle de (u, v ) est positive. Il est donc possible d’augmenter le flot entre u
et v d’une quantité df (u, v ) = min(e[u], cf (u, v )) sans que e(u) ne devienne
négatif ou que la capacité c(u, v ) de l’arc ne soit dépassée.

Algorithmes de flots – Prépa Agreg – 2014/2015, 34


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Poussage

Poussage Saturant
Un poussage de u vers v est saturant si l’arc (u, v ) devient saturé (cf (u, v ) = 0
après poussage).
NB: après un poussage non saturant, un sommet u n’est plus débordant.

Algorithmes de flots – Prépa Agreg – 2014/2015, 35


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Reetiquetage

REETIQUETER(u)
s’applique quand : u est debordant et, pour tout v ∈ S tel que (u, v ) ∈ Af ,
h[u] ≤ h[v ]
action : accroit la hauteur de u.
h[u] := 1 + min{h[v ] | (u, v ) ∈ Af }

Donner à u la plus grande valeur permise par les contraintes d’une fonction de
hauteur.

Cela permettra ensuite de pousser un flot de u vers un de ses successeurs.

Algorithmes de flots – Prépa Agreg – 2014/2015, 36


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Algoritme generique de Preflot

INITIALISER-PREFLOT(G, s)

for all u ∈ S (sommets) do


h[u] := 0
e[u] := 0
end for
for all (u, v ) ∈ A (arcs) do
f [u, v ] := 0
f [v , u] := 0
end for
h[s] := |S|
for all u adjacent à s do
f [s, u] := c(s, u)
f [u, s] := −c(s, u)
e[u] := c(s, u)
e[s] := e[s] − c(s, u)
end for

Algorithmes de flots – Prépa Agreg – 2014/2015, 37


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Preflot Générique

PREFLOT-GENERIQUE(G)
INITIALISER-PREFLOT(G,s)
while il est possible d’appliquer un poussage ou un réétiquetage do
Choisir un poussage ou un réétiquetage et l’appliquer
end while

Algorithmes de flots – Prépa Agreg – 2014/2015, 38


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Correction, terminaison

Terminaison
L’algorithme de Preflot générique termine
Idée : On maintient constamment une fonction de hauteur par
poussage-réétiquetage
Si f est un préflot, alors après poussage ou réétiquetage, on conserve un préflot.
Durant toute l’exécution de l’algorithme, il n’existe aucun chemin de s à t dans
le réseau résiduel Gf .
Si u est un sommet débordant, alors on peut lui appliquer un poussage ou un
réétiquetage.
Si u est un sommet débordant, alors il existe un chemin de u vers s dans le
graphe résiduel (on pourra éliminer l’excédent).
Chaque opération de pousssage-réétiquetage ne peut être appliquée qu’un
nombre borné de fois.

Algorithmes de flots – Prépa Agreg – 2014/2015, 39


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Correction

Validité de l’algorithme de préflot


Si l’algorithme de préflot termine pour un réseau G = (S, A) de source s et de
puits t, alors le préflot f calculé est un flot maximal de G .

Facile : à la fin de l’algorithme, plus aucun sommet ne déborde, i.e e(f)=0, on


a donc conservation des flots, et f est un flot.

Et comme Gf ne contient pas de chemin de s à t (et donc pas de chemin


améliorant), f est maximal.

Algorithmes de flots – Prépa Agreg – 2014/2015, 40


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Complexité des préflots

Terminaison et Complexité
L’algorithme de préflot sur un graphe G = (S, A) termine et s’exécute en
O(S 2 A).
Voir [Cormen] : le nombre de réétiquetage, poussage saturants, poussages non
saturants son respectivement < 2s 2 , < 2SA, et < 4|S|2 (|S| + |A|).

Algorithmes de flots – Prépa Agreg – 2014/2015, 41


Modèle de réseau de Transport Ford-Fulkerson Couplage maximal Préflots

Conclusion

Les Flots / graphes de transport : des objets qu’on trouve partout


Application pratique et polynomilae pour des questions d’affectations de
resources
Complexités:
I Ford Fulkerson : O(|f ∗ |.A)
I Edmonds - Karp : O(|S|.|A|2 )
I Preflot : O(|S|2 .|A|)

Algorithmes de flots – Prépa Agreg – 2014/2015, 42