A non-deterministic Turing machine can find such a route as follows: At each city it visits it "guess" the next city to visit, until it has visited every vertex.
Niedeterministyczna maszyna Turinga może znaleźć odpowiednią trasę w następujący sposób: W każdym odwiedzonym mieście w niedeterministyczny sposób odgadujemy następne miasto do odwiedzenia, dopóki wszystkie wierzchołki nie zostaną odwiedzone.