Bonjour,
En mathématique et en informatique le problème du voyageur de commerce est un problème d'optmisation combinatoire réputé NP-Complet dont la résolution à partir d'un algorithme en temps polynomiale démontrerai l'égalité de la conjecture mathématique et informatique du problème P=NP.
On démontrera ici l'existence du dit algorithme .
Présentation
Le problème s'énonce donc comme suit dans sa version traditionelle:
1. Etant donné une liste de villes et les distances entre toutes les paires de villes, déterminé le plus court circuit qui passe par chaque ville une et une seule fois ?
Que nous devons démontrer afin de répondre à la question dans sa version décisionelle :
2. Pour une distance D donné, existe-t-il un chemin plus court que D passant par toutes les villes ?
Démonstration:
(version traditionelle)
On peut déterminé que pour un algorithme traitant de toute instance du problème de façon polynomiale, il doit existé pour celui-ci une situation dans le meilleur et le pire des cas.
Pour lequel toute les longueurs ,entre les villes sont de distance équivalente , tout les chemins formant donc une boucle et passant par chaque ville une seul et unique fois et où l'on peut de dire que tout les itinéraires sont les plus court .
Par conséquent nous savons,en généralisant que pour le pire des cas aucun algorithme ne peut résoudre (au sens du calcul et de façon exact) moins rapidement que le meilleur des cas dans une telle situation .
On à donc pour pour cette algorithme le meilleur des cas, où la complexité de l'algorithme équivaut à la complexité de la vérification du résultat,puisqu'il suffit de vérifier dans une telle situation si les conditions sont respectées et qu'on ne peut le faire "qu'en lisant au moins une fois chaque données du problème" (cf:lien youtube de ScienceEtonnante: à partir de 16 minute 35 s),qui lui est P !
Quelque lien qui présenteront le problème du voyageur de commerce et de l'état dans l'art concernant P=NP :
https://www.youtube.com/watch?v=AgtOCNCejQ8
https://en.wikipedia.org/wiki/P_versus_NP_problem
https://en.wikipedia.org/wiki/Travel...lesman_problem
https://fr.wikipedia.org/wiki/Probl%...ur_de_commerce
-----