Reisender Verkäufer: Ein Scheinbar Unlösbares Problem Bietet Einen Einblick In Die Grenzen Der Berechnung

2023 Autor: Peter Bradberry | [email protected]. Zuletzt bearbeitet: 2023-07-27 17:19

Slideshow (15) images View

Traveling Salesman: A Seemingly Unsolvable Problem Offers a Glimpse of the Limits of Computation

is it hopeless to try to compute the shortest route to visit a large number of cities? not just a good route but the guaranteed shortest. the task is the long-standing challenge known as the traveling salesman problem, or tsp for short.

finding a method that can quickly solve every example of the tsp would be a stunning breakthrough in mathematics. using complexity theory, such a method would allow us to solve efficiently any computational problem for which answers can be easily verified. most mathematicians expect this to be impossible.

but suppose that you are handed the locations of 100, 000 cities. is it really impossible to find the shortest route? we are not asking for a solution to every instance of the tsp, just the quickest way around these specific locations.

to take up the challenge, your best bet is to follow yogi berra’s advice: “when you come to a fork in the road, take it.” a tool called linear programming allows us to do just that by assigning fractions to roads that join pairs of cities rather than deciding immediately whether to use a road or not. in this model, it is perfectly fine to send half a salesman along both branches of the fork. the process begins with the requirement that, for every city, the fractions assigned to the arriving and departing roads each sum to 1. then, step by step, further restrictions are added, each involving sums of fractions assigned to roads. linear programming eventually points us to the best decision for each road and thus the shortest possible route.

i should add that 100, 000 cities is not a hypothetical challenge. current computations are zeroing in on the solution to a pretty set of 100, 000 points created by robert bosch of oberlin college, where the tour traces out a drawing of the mona lisa. we may not be able to knock off every example of the tsp, but new ideas can push the frontiers of solvability.

here is the big picture: complexity theory suggests there are limits to the power of general computational techniques in science and elsewhere. what are these limits and how widely do they constrain our quest for knowledge? that is what research into the tsp is all about.