Comment puis-je vérifier une solution au problème du voyageur de commerce en temps polynomial?

31

Ainsi, le problème de décision TSP (Traveling salesman problem) est NP complet .

Mais je ne comprends pas comment je peux vérifier qu'une solution donnée à TSP est en fait optimale en temps polynomial, étant donné qu'il n'y a aucun moyen de trouver la solution optimale en temps polynomial (car le problème n'est pas en P)?

Quelque chose qui pourrait m'aider à voir que la vérification peut en fait être effectuée en temps polynomial?

Lazer
la source

Réponses:

20

Pour être plus précis, nous ne pas savoir si TSP est en . Il est possible qu'il peut être résolu en temps polynomial, même si peut - être la croyance commune est que PN P . Maintenant, rappelez-vous ce que cela signifie pour un problème d'être N P -hard et N P -complete, voir par exemple ma réponse ici . Je crois que votre source de confusion découle des définitions: un N P problème de n'est pas nécessairement dans N P .PPNPNPNPNPNP

Comme vous et la page Wikipedia que vous liez, le problème de décision est complet: étant donné les coûts et un nombre entier x , décidez s'il y a une visite moins chère que x . Une façon de voir le problème dans N P est de voir que, étant donné une solution, il est facile de vérifier en temps polynomial si la solution est moins chère que x . Comment pouvez-vous faire cela? Suivez simplement la visite donnée, enregistrez son coût total et enfin comparez le coût total à x .NPxxNPxx

Juho
la source
"Il suffit de suivre la tournée donnée, d'enregistrer son coût total et enfin de comparer le coût total à x." -> Oui, mais il y a un nombre exponentiel de visites à vérifier!
Lazer
2
J'étais juste un peu trop lent, semble-t-il. ;-)
Niel de Beaudrap
3
x
"décider s'il y a une tournée", cela signifie définitivement que nous n'avons pas de tournée. Qu'est-ce que je rate?
Lazer
3
@Lazer Non, dans le problème, vous obtenez un graphique pondéré et un coût cible. Le certificat est une visite. Pour une explication alternative, voir la réponse de Niel. Tout comme dans l'exemple sur Wiki dans le cas de SUBSET-SUM, on ne nous donne pas zéro, mais à la place on nous donne un sous-ensemble particulier comme certificat.
Juho
34

Le nœud est que vous devez considérer le problème de décision :

Problème de voyageur de commerce (version de décision). Étant donné un graphe pondéré G et un coût cible C , existe-t-il un cycle hamiltonien dans G dont le poids est au plus C ?

Pour une instance « oui », le certificat est juste un certain cycle de hamiltonien dont le poids est au plus C . Si vous pouviez résoudre ce problème efficacement, vous pourriez trouver le coût d'une visite minimale par recherche binaire, en commençant par le poids de l'ensemble du réseau comme limite supérieure.

Niel de Beaudrap
la source
3

Vous pensez probablement au problème de déterminer si une solution donnée au TSP est la meilleure solution. Cependant, il n'y a pas de solution polynomiale connue pour cela, ce qui signifie que ce problème est en NP-dur, mais pas nécessairement NP-complet.

Le problème de décision du TSP consiste en fait à déterminer si le poids d'une solution dans un graphique Gest le plus cher C(comme mieux expliqué dans la réponse de Niel), ce qui est certainement vérifiable en temps polynomial.

Casey Kuball
la source
5
O(n!)n!
n0<=n1<=...
4
Non, vous pouvez obtenir l'optimum même sans calculer la durée de tous les autres circuits. Et oui, il est possible de prouver que c'est en fait l'optimum sans calculer toutes les autres visites. Pour un exemple, considérons branch & bound.
Juho
7
O(n22n)
@Juho bon point. J'ai mis à jour la réponse pour ne plus indiquer la force brute comme seule option (seulement qu'il n'y a pas de solutions polynomiales).
Casey Kuball
2

MM

RécursivementIronique
la source