Introduction de contraintes structurelles pour la résolution du problème du voyageur de commerce

Résumé : Plusieurs modèles basés sur la programmation par contraintes ont été proposés pour résoudre le problème du voyageur de commerce (TSP). Les plus efficaces, telle que la weighted circuit constraint (WCC), s'appuient prin-cipalement sur la relaxation lagrangienne du TSP, basée sur la recherche d'arbres recouvrants ou plus précisément de "one-trees". Le défaut de cette méthode est qu'elle n'inclut pas assez de contraintes structurelles et se base presque exclusivement sur les coûts des arêtes. L'objectif de cet article est de corriger ce défaut. Aussi, nous cherchons des motifs empêchant l'existence d'un cycle hamiltonien dans un graphe ou, à l'inverse, des motifs imposant que certaines arêtes soient dans l'ensemble de solutions du TSP. Nous proposons un propagateur basé sur la recherche de k-cutsets pour la contrainte de cycle hamiltonien. Sa combinaison avec la contrainte WCC permet d'obtenir, pour la résolution du TSP, des gains d'un ordre de magnitude pour le nombre de backtracks ainsi qu'une forte réduction du temps de calcul.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02160046
Contributor : Nicolas Isoart <>
Submitted on : Wednesday, June 19, 2019 - 11:58:44 AM
Last modification on : Monday, June 24, 2019 - 5:14:39 PM

File

jfpc.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02160046, version 1

Collections

Citation

Nicolas Isoart, Jean-Charles Régin. Introduction de contraintes structurelles pour la résolution du problème du voyageur de commerce. JFPC, Jun 2019, Albi, France. ⟨hal-02160046⟩

Share

Metrics

Record views

21

Files downloads

18