Académique Documents
Professionnel Documents
Culture Documents
Voyageur de Commerce
Voyageur de Commerce
Commerce
Johanne Cohen
Johanne.Cohen@loria.fr
Laboratoire LORIA
„
Le probleme du Voyageur de Commerce – p.1/14
Ennoncé du problème
„
Le probleme du Voyageur de Commerce – p.2/14
Traduction en un problème de décision
I NSTANCE :
un graphe complet
une fonction cout
un rationnel
Q UESTION :
Existe-t-il un tournée de coût au plus égale à ?
Th« eme 1: Le problème du Voyageur de Commerce est
eor„
NP-complet.
„
Le probleme du Voyageur de Commerce – p.3/14
Inégalité triangulaire
D«
efinition:
La fonction de coût vérifie l’inégalité triangulaire si
Th«
eor„
eme 2: Le problème du Voyageur de Commerce avec
la fonction de coût vérifiant l’inégalité triangulaire est
NP-complet.
„
Le probleme du Voyageur de Commerce – p.4/14
Algorithme
un graphe complet et un rationnel
E NTR «
EE:
une fonction cout
2. Construire un arbre couvrant minimal dans à partir
de la racine .
préfixe.
4. retourner le cycle hamiltonien. qui visite les sommets
dans l’ ordre de
„
Le probleme du Voyageur de Commerce – p.5/14
Illustration de l’algorithme
a d a d
e e
b f g b f g
c c
h h
„
Le probleme du Voyageur de Commerce – p.6/14
Illustration de l’algorithme
a d a d
e e
b f g b f g
c c
h h
„
Le probleme du Voyageur de Commerce – p.6/14
Illustration de l’algorithme
a d a d
e e
b f g b f g
c c
h h
„
Le probleme du Voyageur de Commerce – p.6/14
Facteur d’approximation
Th«
eor„
eme 2: L’algorithme retourne une solution à un facteur
de l’optimal.
Preuve:
Il reste donc à prouver que
Soit arbre couvrant minimal:
Soit le parcours de l’arbre (ajout d’un sommet dans
la liste dès que l’on les rencontre lors su parcours).
„
Le probleme du Voyageur de Commerce – p.7/14
Facteur d’approximation
Th«
eor„
eme 2: L’algorithme retourne une solution à un facteur
de l’optimal.
Preuve:
Soit arbre couvrant minimal:
Soit le parcours de l’arbre (ajout d’un sommet dans
la liste dès que l’on les rencontre lors su parcours).
„
Le probleme du Voyageur de Commerce – p.8/14
Facteur d’approximation
Th«
eor„
eme 2: L’algorithme retourne une solution à un facteur
de l’optimal.
Preuve:
Soit arbre couvrant minimal:
Soit le parcours de l’arbre (ajout d’un sommet dans
la liste dès que l’on les rencontre lors su parcours).
a d
e
b f g
parcours
&
"
"
#
$
$
!
!
%
%
'
%
()!
c
h
„
Le probleme du Voyageur de Commerce – p.8/14
+
?
*
Preuve:
1. Soit arbre couvrant minimal:
Soit le parcours de l’arbre (liste des sommets dès
que l’ on les rencontre).
3. Donc
grâce à (1) et (2).
5. Donc
„
Le probleme du Voyageur de Commerce – p.9/14
Plus précisement,
On peut supprimer sommet de sans augmenter le coût
,
(grâce à l’inégalité triangulaire).
b b
c c
h h
#
"
"
#
"
"
"
"
#
-
-
-
(
(
(
"
„
Le probleme du Voyageur de Commerce – p.10/14
Pb. général du Voyageur de Commerce
Si et , il n’existe aucun
/
.
0
.
,
2
Th«
eor„
eme 2:
1
algorithme d’approx. en tps polynomial de borne pour le
1
problème général du voyageur de commerce.
Preuve: par l’ absurde. Supposons qu’il existe un algo.
d’approx. de borne .
3
1
Construisons une instance du voyageur de commerce à
partir d’une instance du problème du cycle hamiltonien.
5
:
>
?
'
!;
%
<
=;
%
766
4
B
,
@A
79866
1 C
C
,
@EDA
<
D
„
Le probleme du Voyageur de Commerce – p.11/14
Suite (1/3)
:
1. Si a un cycle hamiltonien, a une tournée de
C
C
coût
1 C
C
C
F C
G
HE
1 C
C
2. Sinon, le coût d’1 tournée
,
,
2
Algo. polynomial déterminant si a un cycle hamiltonien,
:
4
1. .
:
2. Soit la tournée calculée par ayant en entrée
1 C
C
!A
@A
3. retourner
H
1 C
C
&
@EDA
!
I
<
D
„
Le probleme du Voyageur de Commerce – p.12/14
Suite (2/3)
Algo. polynomial déterminant si a un cycle hamiltonien,
:
4
1.
.
:
2. Soit la tournée calculée par ayant en entrée
1 C
C
!A
@A
3. retourner
H
1 C
C
&
@EDA
!
I
<
D
0 |V| ρ|V|
solutions possibles
„
Le probleme du Voyageur de Commerce – p.13/14
Suite (3/3): Remarque
1 C
C
C
C
C
C
1. Si , cela signifie que ,
est un cycle hamiltonien
H
1 C
C
C
C
2. Si , cela signifie que ,
est un cycle non-hamiltonien
0 |V| ρ|V|
solutions possibles
„
Le probleme du Voyageur de Commerce – p.14/14