The Travelling Salesman Problem
1 / 14 Overview
The Travelling Salesman Problem
Example
Lower Bounds for TSP
An Upper Bound for TSP
2 / 14 Outline
The Travelling Salesman Problem
Example
Lower Bounds for TSP
An Upper Bound for TSP
3 / 14 The Travelling Salesman Problem
Given a collection of cities and the cost of travel between each pair of them, the travelling salesman problem, or TSP for short, is to find the cheapest way of visiting all of the cities and returning to your starting point.
4 / 14 A Tour of 13509 U.S. Cities
5 / 14 Outline
The Travelling Salesman Problem
Example
Lower Bounds for TSP
An Upper Bound for TSP
6 / 14 Example
Try to solve the TSP for the following weighted graph.
a 4 2 Weight Matrix 9 f 9 b a b c d e f 8 6 a 0 2 9 0 9 4 b 2 0 6 4 8 0 3 8 c 9 6 0 6 8 8 e 8 c d 0 4 6 0 0 4 e 9 8 8 0 0 3 4 4 f 4 0 8 4 3 0 6 d
7 / 14 The Hardness of TSP
Fact If there are n cities with complete set of routes between them, (n−1)! then the number of possible tours is 2 .
Number of Cities Number of Tours Time 5 12 12 microseconds 8 2520 2.5 milliseconds 10 181,440 0.18 seconds 12 19,958,400 20 seconds 15 87,178,291,200 12.1 hours 18 177,843,714,048,000 5.64 years 20 60,822,550,204,416,000 1927 years
8 / 14 Outline
The Travelling Salesman Problem
Example
Lower Bounds for TSP
An Upper Bound for TSP
9 / 14 A Basic Lower Bound for TSP
Lower bounds can be found by using spanning trees.
Since removal of one edge from any Hamilton cycle yields a spanning tree, we see that
Solution to TSP > minimum length of a spanning tree (MST).
10 / 14 A Better Lower Bound for TSP
Consider any vertex v in the graph G. Any Hamilton cycle in G has to consist of two edges from v, say vu and vw, and a path from u to w in the graph G \{v} obtained from G by removing v and its incident edges.
Since this path is a spanning tree of G \{v}, we have
Solution to TSP ≥ (sum of lengths of two shortest edges from v) + (MST of G \{v}).
11 / 14 Outline
The Travelling Salesman Problem
Example
Lower Bounds for TSP
An Upper Bound for TSP
12 / 14 An Upper Bound for TSP
Suppose that G is a complete graph with edge weights given by distances satisfying the triangle inequality
d(x, z) ≤ d(x, y) + d(y, z)
where d(x, y) denotes the shortest distance along edges from x to y.
Under these assumptions, we can construct a Hamilton cycle of G by taking a minimum spanning tree and then replacing edges with shortcuts, and obtain that
solution to TSP ≤ 2MST .
13 / 14 Acknowledgements
Statements of results follow the notation and wording of Anderson’s First Course in Discrete Mathematics.
14 / 14