التمرين 1
Exercice 1 — Voyageur de commerce et relaxation par 1-arbres
#traveling-salesman#integer-programming#one-tree
Soit un graphe simple non orienté muni de coûts .
- Formuler le STSP comme un programme linéaire en nombres entiers.
- Soit . Un -arbre est un arbre sur complété par deux arêtes incidentes à . a. Montrer que le -arbre minimum est une relaxation du STSP. b. Formuler cette relaxation.
- Montrer que, pour , un -arbre qui n’est pas une tournée possède un sommet de degré au moins .
- Résoudre par branch-and-bound l’instance
◀الحل
1.
sous
2.
Toute tournée est un -arbre, donc le minimum sur les -arbres est une borne inférieure.
3.
La somme des degrés d’un -arbre vaut . Si tous les degrés sont au plus , ils valent tous et le graphe est une tournée.