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...
Disons qu'il existe un programme tel que si vous donnez un Sudoku partiellement rempli de n'importe quelle taille, il vous donne le Sudoku complet correspondant. Pouvez-vous traiter ce programme comme une boîte noire et l'utiliser pour résoudre le TSP? Je veux dire, y a-t-il un moyen de représenter...
Je comprends donc l'idée que le problème de décision est défini comme Existe-t-il un chemin P tel que le coût soit inférieur à C? et vous pouvez facilement vérifier que cela est vrai en vérifiant le chemin que vous recevez. Cependant, que se passe-t-il s'il n'y a pas de chemin qui correspond à ces...
En 1962, vous pourriez gagner un prix de 10 000 $ (environ 80 000 $ en argent d'aujourd'hui) si vous trouviez la solution à un problème de vendeur ambulant euclidien défini dans 33 villes. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html En regardant l'image, le problème semble assez...
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...
Il me semble étrange que le TSP nie la possibilité de villes répétées. Le but de ce vendeur itinérant est d'aller le plus vite possible et de visiter toutes les villes, non? Que se passe-t-il s'il est plus rapide de traverser une ville dans laquelle vous êtes déjà
Pour la méthode ramification-coupe, il est essentiel de connaître de nombreuses facettes des polytopes générés par le problème. Cependant, c'est actuellement l'un des problèmes les plus difficiles à calculer réellement toutes les facettes de ces polytopes à mesure qu'ils grandissent rapidement....