기초과학연구원 이산수학그룹
On March 6, 2024, William Cook from the University of Waterloo gave a colloquium talk on the Traveling Salesman Problem. The title of his talk was “The Traveling Salesman Problem: Amazon Deliveries, Pub Walks, and Astro Tours“.
Amazon drivers hit the road every day, each taking a Prime van in a traveling salesman problem tour through 150 or more customer stops. But even a whisper of the TSP strikes fear in the heart of the computing world. A Washington Post article reported it would take “1,000 years to compute the most efficient route between 22 cities.” Claims such as this, however, ignore 70 years of intense study. A 22-city TSP can be handled in a snap with modern methods, even on an iPhone. And, coming to the aid of Amazon drivers, we describe techniques used to win the $100,000 top prize in the Amazon Last Mile Routing Challenge, together with Stephan Held and Keld Helsgaun.
Going larger, we discuss methods used to find to precise optimality the shortest walking tour to 49,687 pubs in the UK. Even larger, if you want to visit 136,606,128 stars, there is a 3D route, ready to go, that is guaranteed to be no more than 1.00018 times longer that a shortest-possible tour.
The general setting is the following. Complexity theory suggests there are limits to the power of general-purpose computational techniques, in engineering, science and elsewhere. But what are these limits and how widely do they constrain our quest for knowledge? The TSP can play a crucial role in this discussion, demonstrating whether or not focused efforts on a single, possibly unsolvable, model will produce results beyond our expectations.