Skip to main content
Mathematics LibreTexts

3.10: Traveling Salesperson Problem

  • Page ID
    214468
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\dsum}{\displaystyle\sum\limits} \)

    \( \newcommand{\dint}{\displaystyle\int\limits} \)

    \( \newcommand{\dlim}{\displaystyle\lim\limits} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \(\newcommand{\longvect}{\overrightarrow}\)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    Three doors are shown side-by-side.
    Figure \(\PageIndex{1}\): Each door on the route of a traveling salesperson can be represented as a vertex on a graph. (credit: "Three in a row, Heriot Row" by Jason Mason/Flickr, CC BY 2.1)
    Learning Objectives
    1. Distinguish between brute force algorithms and greedy algorithms.
    2. List all distinct Hamilton cycles of a complete graph.
    3. Apply brute force method to solve traveling salesperson applications.
    4. Apply nearest neighbor method to solve traveling salesperson applications.

    We looked at Hamilton cycles and paths in the previous sections Hamilton Cycles and Hamilton Paths. In this section, we will analyze Hamilton cycles in complete weighted graphs to find the shortest route to visit a number of locations and return to the starting point. Besides the many routing applications in which we need the shortest distance, there are also applications in which we search for the route that is least expensive or takes the least time. Here are a few less common applications that you can read about on a website set up by the mathematics department at the University of Waterloo in Ontario, Canada:

    • Design of fiber optic networks
    • Minimizing fuel expenses for repositioning satellites
    • Development of semi-conductors for microchips
    • A technique for mapping mammalian chromosomes in genome sequencing

    Before we look at approaches to solving applications like these, let's discuss the two types of algorithms we will use.

    Brute Force and Greedy Algorithms

    An algorithm is a sequence of steps that can be used to solve a particular problem. We have solved many problems in this chapter, and the procedures that we used were different types of algorithms. In this section, we will use two common types of algorithms, a brute force algorithm and a greedy algorithm. A brute force algorithm begins by listing every possible solution and applying each one until the best solution is found. A greedy algorithm approaches a problem in stages, making the apparent best choice at each stage, then linking the choices together into an overall solution which may or may not be the best solution.

    To understand the difference between these two algorithms, consider the tree diagram in Figure 12.214. Suppose we want to find the path from left to right with the largest total sum. For example, branch A in the tree diagram has a sum of 10+2+11+13=3610+2+11+13=36.

    A graph has 15 vertices. The vertices are labeled 1 to 15. 10 branches into 2 and 7. 2 branches into 11 and 15. 11 branches into 13 and 8. 15 branches into 1 and 6. 7 branches into 3 and 4. 3 branches into 20 and 14. 4 branches into 11 and 5. 13, 8, 1, 6, 20, 14, 11, and 5 are labeled A to H.
    Figure \(\PageIndex{2}\): Points Along Different Paths

    To be certain that you pick the branch with greatest sum, you could list each sum from each of the different branches:

    A: 10+2+11+13=3610+2+11+13=36

    B: 10+2+11+8=3110+2+11+8=31

    C: 10+2+15+1=2810+2+15+1=28

    D: 10+2+15+6=3310+2+15+6=33

    E: 10+7+3+20=4010+7+3+20=40

    F: 10+7+3+14=3410+7+3+14=34

    G: 10+7+4+11=3210+7+4+11=32

    H: 10+7+4+5=2610+7+4+5=26

    Then we know with certainty that branch E has the greatest sum.

    A graph has 15 vertices. The vertices are labeled 1 to 15. 10 branches into 2 and 7. 2 branches into 11 and 15. 11 branches into 13 and 8. 15 branches into 1 and 6. 7 branches into 3 and 4. 3 branches into 20 and 14. 4 branches into 11 and 5. 13, 8, 1, 6, 20, 14, 11, and 5 are labeled A to H. The edges 10 to 7, 7 to 3, and 3 to 20 are highlighted. An arrow from E points to 20.
    Figure \(\PageIndex{3}\): Branch E

    Now suppose that you wanted to find the branch with the highest value, but you only were shown the tree diagram in phases, one step at a time.

    A graph has 3 vertices. The vertices are labeled 10, 2, and 7. 10 branches into 2 and 7. The edge, 10 to 7 is highlighted.
    Figure \(\PageIndex{4}\): Tree Diagram Phase 1

    After phase 1, you would have chosen the branch with 10 and 7. So far, you are following the same branch. Let’s look at the next phase.

    A graph has 5 vertices. The vertices are labeled 10, 2, 7, 3, and 4. 10 branches into 2 and 7. 7 branches into 3 and 4. The edges, 10 to 7 and 7 to 4 are highlighted.
    Figure \(\PageIndex{5}\): Tree Diagram Phase 2

    After phase 2, based on the information you have, you will choose the branch with 10, 7 and 4. Now, you are following a different branch than before, but it is the best choice based on the information you have. Let’s look at the last phase.

    A graph has 7 vertices. The vertices are labeled 10, 2, 7, 3, 4, 11, and 15. 10 branches into 2 and 7. 7 branches into 3 and 4. 4 branches into 11 and 5. The edges, 10 to 7, 7 to 4, and 4 to 11 are highlighted. 11 and 5 are labeled G and H.
    Figure \(\PageIndex{6}\): Tree Diagram Phase 3

    After phase 3, you will choose branch G which has a sum of 32.

    The process of adding the values on each branch and selecting the highest sum is an example of a brute force algorithm because all options were explored in detail. The process of choosing the branch in phases, based on the best choice at each phase is a greedy algorithm. Although a brute force algorithm gives us the ideal solution, it can take a very long time to implement. Imagine a tree diagram with thousands or even millions of branches. It might not be possible to check all the sums. A greedy algorithm, on the other hand, can be completed in a relatively short time, and generally leads to good solutions, but not necessarily the ideal solution.

    Example \(\PageIndex{1}\): Distinguishing between Brute Force and Greedy Algorithms

    A cashier rings up a sale for $4.63 cents in U.S. currency. The customer pays with a $5 bill. The cashier would like to give the customer $0.37 in change using the fewest coins possible. The coins that can be used are quarters ($0.25), dimes ($0.10), nickels ($0.05), and pennies ($0.01). The cashier starts by selecting the coin of highest value less than or equal to $0.37, which is a quarter. This leaves $0.37$0.25=$0.12$0.37$0.25=$0.12. The cashier selects the coin of highest value less than or equal to $0.12, which is a dime. This leaves $0.12$0.10=$0.02$0.12$0.10=$0.02. The cashier selects the coin of highest value less than or equal to $0.02, which is a penny. This leaves $0.02$0.01=$0.01$0.02$0.01=$0.01. The cashier selects the coin of highest value less than or equal to $0.01, which is a penny. This leaves no remainder. The cashier used one quarter, one dime, and two pennies, which is four coins. Use this information to answer the following questions.

    1. Is the cashier’s approach an example of a greedy algorithm or a brute force algorithm? Explain how you know.
    2. The cashier’s solution is the best solution. In other words, four is the fewest number of coins possible. Is this consistent with the results of an algorithm of this kind? Explain your reasoning.
    Answer
    1. The approach the cashier used is an example of a greedy algorithm, because the problem was approached in phases and the best choice was made at each phase. Also, it is not a brute force algorithm, because the cashier did not attempt to list out all possible combinations of coins to reach this conclusion.
    2. Yes, it is consistent. A greedy algorithm does not always yield the best result, but sometimes it does.
    Your Turn \(\PageIndex{1}\)

    Suppose that you lost the combination to a combination lock that consisted of three digits, and each was selected from the digits 0, 1, 2, 3, 4, 5, 6, 7, 8, or 9. You desperately need to open the lock without breaking it. You decide to check all possible combinations methodically, 000, then 001, then 002, and so on until you find the right combination. Is this an example of a brute force algorithm or a greedy algorithm?

    The Traveling Salesperson Problem

    Now let’s focus our attention on the graph theory application known as the traveling salesperson problem (TSP) in which we must find the shortest route to visit a number of locations and return to the starting point.

    Recall from Hamilton Cycles, the officer in the U.S. Air Force who is stationed at Vandenberg Air Force base and must drive to visit three other California Air Force bases before returning to Vandenberg. The officer needed to visit each base once. We looked at the weighted graph in Figure \(\PageIndex{7}\) representing the four U.S. Air Force bases: Vandenberg, Edwards, Los Angeles, and Beal and the distances between them.

    A graph represents the four California air force bases. The graph has four vertices: E, B, V, and L. The edge, E B is labeld 410 miles. The edge, B V is labeled 396 miles. The edge, V L is labeled 159 miles. The edge, L E is labeled 106 miles. The edge, L B is labeled 439 miles. The edge, E V is labeled 207 miles.
    Figure \(\PageIndex{7}\): Graph of Four California Air Force Bases

    Any route that visits each base and returns to the start would be a Hamilton cycle on the graph. If the officer wants to travel the shortest distance, this will correspond to a Hamilton cycle of lowest weight. We see in Table \(\PageIndex{1}\) that there are six distinct Hamilton cycles (directed cycles) in a complete graph with four vertices, but some lie on the same cycle (undirected cycle) in the graph.

    Table \(\PageIndex{1}\) Hamilton Cycles in a Complete Graph with Four Vertices
    Complete Graph Cycle Cycle Cycle
    A graph has four vertices, a, b, c, and d. Edges connect a b, b c, c d, d a, a c, and b d. A graph has four vertices, a, b, c, and d.  Edges connect a b, b c, c d, d a, a c, and b d. The edges, a c, and b d are in dashed lines. A graph has four vertices, a, b, c, and d. Edges connect a b, b c, c d, d a, a c, and b d. The edges, a d, and b c are in dashed lines. A graph has four vertices, a, b, c, and d. Edges connect a b, b c, c d, d a, a c, and b d. The edges, a b, and d c are in dashed lines.
    Clockwise Hamilton Cycle

    A graph has four vertices, a, b, c, and d. Edges connect a b, b c, c d, d a, a c, and b d. The edges, a c, and b d are in dashed lines. Directed arrows flow from a to b, b to c, c to d, and d to a.
    abcda

    A graph has four vertices, a, b, c, and d. Edges connect a b, b c, c d, d a, a c, and b d. The edges, ad, and bc are in dashed lines. Directed edges flow from a to b, b to d, d to c, and c to a.
    abdca

    A graph has four vertices, a, b, c, and d. Edges connect a b, b c, c d, d a, a c, and b d. The edges, a b, and dc are in dashed lines. Directed edges flow from a to c, c to b, b to d, and d to a.
    acbda

    Counterclockwise
    Hamilton Cycle

    A graph has four vertices, a, b, c, and d. Edges connect a b, b c, c d, d a, a c, and b d. The edges, a c, and b d are in dashed lines. Directed edges flow from a to d, d to c, c to b, and b to a.
    adcba

    A graph has four vertices, a, b, c, and d. Edges connect a b, b c, c d, d a, a c, and b d. The edges, a d, and bc are in dashed lines. The directed edges flow from a to c, c to d, d to b, and b to a.
    acdba

    A graph has four vertices, a, b, c, and d. Edges connect a b, b c, c d, d a, a c, and b d. The edges, a b, and dc are in dashed lines. The edges flow from a to d, d to b, b to c, and c to a.
    adbca

    Since the distance between bases is the same in either direction, it does not matter if the officer travels clockwise or counterclockwise. So, there are really only three possible distances as shown in Figure \(\PageIndex{8}\)

    Three graphs represent the four California air force bases. Each graph has four vertices: E, B, V, and L. The edge, E B is labeled 410 miles. The edge, B V is labeled 396 miles. The edge, V L is labeled 159 miles. The edge, L E is labeled 106 miles. The edge, L B is labeled 439 miles. The edge, E V is labeled 207 miles. In the first graph, the edges, E V, and L B are in dashed lines. In the second graph, the edges, E L and B V are in dashed lines. In the third graph, the edges, E B and L V are in dashed lines. Three graphs represent the four California air force bases. Each graph has four vertices: E, B, V, and L. The edge, E B is labeled 410 miles. The edge, B V is labeled 396 miles. The edge, V L is labeled 159 miles. The edge, L E is labeled 106 miles. The edge, L B is labeled 439 miles. The edge, E V is labeled 207 miles. In the first graph, the edges, E V, and L B are in dashed lines. In the second graph, the edges, E L and B V are in dashed lines. In the third graph, the edges, E B and L V are in dashed lines. Three graphs represent the four California air force bases. Each graph has four vertices: E, B, V, and L. The edge, E B is labeled 410 miles. The edge, B V is labeled 396 miles. The edge, V L is labeled 159 miles. The edge, L E is labeled 106 miles. The edge, L B is labeled 439 miles. The edge, E V is labeled 207 miles. In the first graph, the edges, E V, and L B are in dashed lines. In the second graph, the edges, E L and B V are in dashed lines. In the third graph, the edges, E B and L V are in dashed lines.
    Figure \(\PageIndex{8}\): Three Possible Distances

    The possible distances are:

    396+410+106+159=1071207+410+439+159=1215396+439+106+207=1148396+410+106+159=1071207+410+439+159=1215396+439+106+207=1148

    So, a Hamilton cycle of least weight is VBELV (or the reverse direction). The officer should travel from Vandenberg to Beal to Edwards, to Los Angeles, and back to Vandenberg.

    Finding Weights of All Hamilton Cycles in Complete Graphs

    Notice that we listed all of the Hamilton cycles and found their weights when we solved the TSP about the officer from Vandenberg. This is a skill you will need to practice. To make sure you don't miss any, you can calculate the number of possible Hamilton cycles in a complete graph. It is also helpful to know that half of the directed cycles in a complete graph are the same cycle in reverse direction, so, you only have to calculate half the number of possible weights, and the rest are duplicates.

    FORMULA

    In a complete graph with nn vertices,

    • The number of distinct Hamilton cycles is (n1)!(n1)!.
    • There are at most (n1)!2(n1)!2 different weights of Hamilton cycles.
    Checkpoint

    TIP! When listing all the distinct Hamilton cycles in a complete graph, you can start them all at any vertex you choose. Remember, the cycle abca is the same cycle as bcab so there is no need to list both.

    Example \(\PageIndex{2}\): Calculating Possible Weights of Hamilton Cycles

    Suppose you have a complete weighted graph with vertices N, M, O, and P.

    1. Use the formula (n1)!(n1)! to calculate the number of distinct Hamilton cycles in the graph.
    2. Use the formula (n1)!2(n1)!2 to calculate the greatest number of different weights possible for the Hamilton cycles.
    3. Are all of the distinct Hamilton cycles listed here? How do you know?
      Cycle 1: NMOPN
      Cycle 2: NMPON
      Cycle 3: NOMPN
      Cycle 4: NOPMN
      Cycle 5: NPMON
      Cycle 6: NPOMN
    4. Which pairs of cycles must have the same weights? How do you know?
    Answer
    1. There are 4 vertices; so, n=4n=4. This means there are (n1)!=(41)!=321=6(n1)!=(41)!=321=6 distinct Hamilton cycles beginning at any given vertex.
    2. Since n=4n=4, there are (n1)!2=(41)!2=62=3(n1)!2=(41)!2=62=3 possible weights.
    3. Yes, they are all distinct cycles and there are 6 of them.
    4. Cycles 1 and 6 have the same weight, Cycles 2 and 4 have the same weight, and Cycles 3 and 5 have the same weight, because these pairs follow the same route through the graph but in reverse.
    Checkpoint

    TIP! When listing the possible cycles, ignore the vertex where the cycle begins and ends and focus on the ways to arrange the letters that represent the vertices in the middle. Using a systematic approach is best; for example, if you must arrange the letters M, O, and P, first list all those arrangements beginning with M, then beginning with O, and then beginning with P, as we did in Example 12.42.

    Your Turn \(\PageIndex{2}\)

    A complete weighted graph has vertices V, W, X, Y, and Z. List all the distinct Hamilton cycles. Use V as the starting vertex. Identify the pairs of cycles that have the same weight because they are reverses of each other.

    The Brute Force Method

    The method we have been using to find a Hamilton cycle of least weight in a complete graph is a brute force algorithm, so it is called the brute force method. The steps in the brute force method are:

    Step 1: Calculate the number of distinct Hamilton cycles and the number of possible weights.

    Step 2: List all possible Hamilton cycles.

    Step 3: Find the weight of each cycle.

    Step 4: Identify the Hamilton cycle of lowest weight.

    Example \(\PageIndex{3}\): Applying the Brute Force Method

    On the next assignment, the air force officer must leave from Travis Air Force base, visit Beal, Edwards, and Vandenberg Air Force bases each exactly once and return to Travis Air Force base. There is no need to visit Los Angeles Air Force base. Use Figure \(\PageIndex{9}\) to find the shortest route.

    A graph represents the five California air force bases. The graph has five vertices: E, B, V, L, and T. The edge, E B is labeled 410 miles. The edge, B V is labeled 396 miles. The edge, V L is labeled 159 miles. The edge, L E is labeled 106 miles. The edge, L B is labeled 439 miles. The edge, E V is labeled 207 miles. The edge, E T is labeled 370 miles. The edge, L T is labeled 396 miles. The edge, B T is labeled 84 miles. The edge, V T is labeled 396 miles.
    Figure \(\PageIndex{9}\) Distances between Five California Air Force Bases
    Answer

    Step 1: Since there are 4 vertices, there will be (41)!=3!=6(41)!=3!=6 cycles, but half of them will be the reverse of the others; so, there will be (41)!2=62=3(41)!2=62=3 possible distances.

    Step 2: List all the Hamilton cycles in the subgraph of the graph in Figure 12.222.

    A graph represents four cities. The graph has five vertices: E, B, V, L, and T. The edge, E B is labeled 410 miles. The edge, B V is labeled 396 miles. The edge, V L is labeled 159 miles. The edge, L E is labeled 106 miles. The edge, L B is labeled 439 miles. The edge, E V is labeled 207 miles. The edge, E T is labeled 370 miles. The edge, L T is labeled 396 miles. The edge, B T is labeled 84 miles. The edge, V T is labeled 396 miles. The edges, E L, L V, L B, and L T are in dashed lines.
    Figure \(\PageIndex{10}\) Subgraph with Cities B, E, T, and V
    To find the 6 cycles, focus on the three vertices in the middle, B, E, and V. The arrangements of these vertices are BEV, BVE, EBV, EVB, VBE, and VEB. These would correspond to the 6 cycles:

    1: TBEVT

    2: TBVET

    3: TEBVT

    4: TEVBT

    5: TVBET

    6: TVEBT

    Step 3: Find the weight of each path. You can reduce your work by observing the cycles that are reverses of each other.

    1: 84+410+207+396=109784+410+207+396=1097

    2: 84+396+207+370=107184+396+207+370=1071

    3: 370+410+396+396=1572370+410+396+396=1572

    4: Reverse of cycle 2, 1071

    5: Reverse of cycle 3, 1572

    6: Reverse of cycle 1, 1097

    Step 4: Identify a Hamilton cycle of least weight.

    The second path, TBVET, and its reverse, TEVBT, have the least weight. The solution is that the officer should travel from Travis Air Force base to Beal Air Force Base, to Vandenberg Air Force base, to Edwards Air Force base, and return to Travis Air Force base, or the same route in reverse.

    Your Turn \(\PageIndex{3}\)

    Suppose that the Air Force officer needed to leave from Travis Air Force base, visit each of Beal, Edwards, and Los Angeles Air Force bases exactly once and return to Travis. Use Figure 12.278 to find the shortest route.

    Now suppose that the officer needed a cycle that visited all 5 of the Air Force bases in Figure 12.221. There would be (51)!=4!=4×3×2×1=24(51)!=4!=4×3×2×1=24 different arrangements of vertices and (51)!2=4!2=242=12(51)!2=4!2=242=12 distances to compare using the brute force method. If you consider 10 Air Force bases, there would be (101)!=9!=987654321=362,880(101)!=9!=987654321=362,880 different arrangements and (101)!2=9!2=9876543212=181,440(101)!2=9!2=9876543212=181,440 distances to consider. There must be another way!

    The Nearest Neighbor Method

    When the brute force method is impractical for solving a traveling salesperson problem, an alternative is a greedy algorithm known as the nearest neighbor method, which always visit the closest or least costly place first. This method finds a Hamilton cycle of relatively low weight in a complete graph in which, at each phase, the next vertex is chosen by comparing the edges between the current vertex and the remaining vertices to find the lowest weight. Since the nearest neighbor method is a greedy algorithm, it usually doesn’t give the best solution, but it usually gives a solution that is "good enough." Most importantly, the number of steps will be the number of vertices. That’s right! A problem with 10 vertices requires 10 steps, not 362,880. Let’s look at an example to see how it works.

    Suppose that a candidate for governor wants to hold rallies around the state. They plan to leave their home in city A, visit cities B, C, D, E, and F each once, and return home. The airfare between cities is indicated in the graph in Figure \(\PageIndex{11}\).

    A graph represents the airfares between six different cities. The graph has 6 vertices. The vertices are A, B, C, D, E, and F. Edges from A leading to B, C, D, E, and F are labeled 250 dollars, 210 dollars, 300 dollars, 200 dollars, and 100 dollars. Edges from B leading to C, D, E, and F are labeled 220 dollars, 120 dollars, 160 dollars, and 170 dollars. Edges from C to D, E, and F are labeled 310 dollars, 180 dollars, and 330 dollars. Edges from D to E and F 270 dollars and 150 dollars. An edge from E to F is labeled 350 dollars.
    Figure \(\PageIndex{11}\): Airfares between Cities A, B, C, D, E, and F

    Let's help the candidate keep costs of travel down by applying the nearest neighbor method to find a Hamilton cycle that has a reasonably low weight. Begin by marking starting vertex as \(V_1\) for "visited 1st." Then to compare the weights of the edges between \(A\) and vertices adjacent to \(A\) : \(\$ 250, \$ 210, \$ 300, \$ 200\), and \(\$ 100\) as shown in Figure \(\PageIndex{12}\). The lowest of these is \(\$ 100\), which is the edge between \(A\) and \(F\).

    A graph represents the airfares between six different cities. The graph has 6 vertices. The vertices are A, B, C, D, E, and F. Edges from A leading to B, C, D, E, and F are labeled 250 dollars, 210 dollars, 300 dollars, 200 dollars, and 100 dollars. Edges from B leading to C, D, E, and F are labeled 220 dollars, 120 dollars, 160 dollars, and 170 dollars. Edges from C to D, E, and F are labeled 310 dollars, 180 dollars, and 330 dollars. Edges from D to E and F 270 dollars and 150 dollars. An edge from E to F is labeled 350 dollars. The edges from A are in dashed lines. A is labeled V 1.
    Figure \(\PageIndex{12}\): Finding the Second Vertex

    Mark \(F\) as \(V_2\) for "visited 2nd" then compare the weights of the edges between \(F\) and the remaining vertices adjacent to \(F\) : \(\$ 170, \$ 330, \$ 150\) and \(\$ 350\) as shown in Figure \(\PageIndex{13}\). The lowest of these is \(\$ 150\), which is the edge between \(F\) and \(D\).

    A graph represents the airfares between six different cities. The graph has 6 vertices. The vertices are A, B, C, D, E, and F. Edges from A leading to B, C, D, E, and F are labeled 250 dollars, 210 dollars, 300 dollars, 200 dollars, and 100 dollars. Edges from B leading to C, D, E, and F are labeled 220 dollars, 120 dollars, 160 dollars, and 170 dollars. Edges from C to D, E, and F are labeled 310 dollars, 180 dollars, and 330 dollars. Edges from D to E and F 270 dollars and 150 dollars. An edge from E to F is labeled 350 dollars. The edges from F are in dashed lines. A is labeled V 1. F is labeled V 2.
    Figure \(\PageIndex{13}\): Finding the Third Vertex

    Mark \(D\) as \(V_3\) for "visited 3rd." Next, compare the weights of the edges between \(D\) and the remaining vertices adjacent to \(D: \$ 120, \$ 310\), and \(\$ 270\) as shown in Figure \(\PageIndex{14}\). The lowest of these is \(\$ 120\), which is the edge between \(D\) and \(B\).

    A graph represents the airfares between six different cities. The graph has 6 vertices. The vertices are A, B, C, D, E, and F. Edges from A leading to B, C, D, E, and F are labeled 250 dollars, 210 dollars, 300 dollars, 200 dollars, and 100 dollars. Edges from B leading to C, D, E, and F are labeled 220 dollars, 120 dollars, 160 dollars, and 170 dollars. Edges from C to D, E, and F are labeled 310 dollars, 180 dollars, and 330 dollars. Edges from D to E and F 270 dollars and 150 dollars. A is labeled V 1. F is labeled V 2. D is labeled V 3. The edges, B D, C D, and D E are in dashed lines.
    Figure \(\PageIndex{14}\): Finding the Fourth Vertex

    So, mark \(B\) as \(V_4\) for "visited 4th." Finally, compare the weights of the edges between \(B\) and the remaining vertices adjacent to \(B\) : \(\$ 160\) and \(\$ 220\) as shown in Figure \(\PageIndex{15}\). The lower amount is \(\$ 160\), which is the edge between \(B\) and \(E\)

    A graph represents the airfares between six different cities. The graph has 6 vertices. The vertices are A, B, C, D, E, and F. Edges from A leading to B, C, D, E, and F are labeled 250 dollars, 210 dollars, 300 dollars, 200 dollars, and 100 dollars. Edges from B leading to C, D, E, and F are labeled 220 dollars, 120 dollars, 160 dollars, and 170 dollars. Edges from C to D, E, and F are labeled 310 dollars, 180 dollars, and 330 dollars. Edges from D to E and F 270 dollars and 150 dollars. A is labeled V 1. F is labeled V 2. D is labeled V 3. B is labeled V 4. The edges, B E and B C are in dashed lines.
    Figure \(\PageIndex{15}\): Finding the Fifth Vertex

    Now you can mark \(E\) as \(V_5\) and mark the only remaining vertex, which is \(C\), as \(V_6\). This is shown in Figure \(\PageIndex{16}\). Make a note of the weight of the edge from \(E\) to \(C\), which is \(\$ 180\), and from \(C\) back to \(A\), which is \(\$ 210\).

    A graph represents the airfares between six different cities. The graph has 6 vertices. The vertices are A, B, C, D, E, and F. Edges from A leading to B, C, D, E, and F are labeled 250 dollars, 210 dollars, 300 dollars, 200 dollars, and 100 dollars. Edges from B leading to C, D, E, and F are labeled 220 dollars, 120 dollars, 160 dollars, and 170 dollars. Edges from C to D, E, and F are labeled 310 dollars, 180 dollars, and 330 dollars. Edges from D to E and F 270 dollars and 150 dollars. A is labeled V 1. F is labeled V 2. D is labeled V 3. B is labeled V 4. E is labeled V 5. C is labeled V 6. The edges, A C, and E C are in dashed lines.
    Figure \(\PageIndex{16}\): Finding the Sixth Vertex

    The Hamilton cycle we found is AFDBECA. The weight of the circuit is $100+$150+$120+$160+$180+$210=$920$100+$150+$120+$160+$180+$210=$920. This may or may not be the route with the lowest cost, but there is a good chance it is very close since the weights are most of the lowest weights on the graph and we found it in six steps instead of finding 120 different Hamilton cycles and calculating 60 weights. Let’s summarize the procedure that we used.

    Step 1: Select the starting vertex and label V1V1 for "visited 1st." Identify the edge of lowest weight between V1V1 and the remaining vertices.

    Step 2: Label the vertex at the end of the edge of lowest weight that you found in previous step as VnVn where the subscript n indicates the order the vertex is visited. Identify the edge of lowest weight between VnVn and the vertices that remain to be visited.

    Step 3: If vertices remain that have not been visited, repeat Step 2. Otherwise, a Hamilton cycle of low weight is V1V2VnV1V1V2VnV1.

    Example \(\PageIndex{4}\): Using the Nearest Neighbor Method

    Suppose that the candidate for governor wants to hold rallies around the state but time before the election is very limited. They would like to leave their home in city A, visit cities B, C, D, E, and F each once, and return home. The airfare between cities is not as important as the time of travel, which is indicated in Figure \(\PageIndex{17}\). Use the nearest neighbor method to find a route with relatively low travel time. What is the total travel time of the route that you found?

    A graph represents the airfares between six different cities. The graph has 6 vertices. The vertices are A, B, C, D, E, and F. Edges from A leading to B, C, D, E, and F are labeled 120 minutes, 140 minutes, 85 minutes, 90 minutes, and 180 minutes. Edges from B leading to C, D, E, and F are labeled 100 minutes, 80 minutes, 95 minutes, and 110 minutes. Edges from C to D, E, and F are labeled 220 minutes, 200 minutes, and 75 minutes. Edges from D to E and F are labeled 130 minutes and 70 minutes. An edge from E to F is labeled 210 minutes.
    Figure \(\PageIndex{17}\) Travel Times between Cities A, B, C, D, E and F
    Answer

    Step 1: Label vertex A as V1V1. The edge of lowest weight between A and the remaining vertices is 85 min between A and D.

    Step 2: Label vertex D as V2V2. The edge of lowest weight between D and the vertices that remain to be visited, B, C, E, and F, is 70 min between D and F.

    Repeat Step 2: Label vertex F as V3V3. The edge of lowest weight between F and the vertices that remain to be visited, B, C, and E, is 75 min between F and C.

    Repeat Step 2: Label vertex C as V4V4. The edge of lowest weight between C and the vertices that remain to be visited, B and E, is 100 min between C and B.

    Repeat Step 2: Label vertex B as V5V5. The only vertex that remains to be visited is E. The weight of the edge between B and E is 95 min.

    Step 3: A Hamilton cycle of low weight is ADFCBEA. So, a route of relatively low travel time is A to D to F to C to B to E and back to A. The total travel time of this route is: 85min+70min+75min+100min+95min+90min=515minor8hrs35min85min+70min+75min+100min+95min+90min=515minor8hrs35min

    Your Turn \(\PageIndex{4}\)

    Use the nearest neighbor method to find a Hamilton cycle of relatively low weight beginning and ending at vertex D in Figure 12.240 and find its total weight. Give your answer in hours and minutes.

    Check Your Understanding

    1. The advantage of a greedy algorithm is that it is more efficient.

    1. True
    2. False

    2. The disadvantage of a brute force algorithm is that it does not always give the ideal solution.

    1. True
    2. False

    3. The nearest neighbor method is an example of a brute force algorithm.

    1. True
    2. False

    4. The brute force method is an example of a greedy algorithm.

    1. True
    2. False

    5. The brute force method is used to find a Hamilton cycle of least weight in a complete graph.

    1. True
    2. False

    6. The nearest neighbor method is used to find the ideal solution to the traveling salesperson problem.

    1. True
    2. False

    7. The traveling salesman problem involves finding the shortest route to travel between two points.

    1. True
    2. False

    8. The traveling salesman problem can be represented as finding a Hamilton cycle of least weight on a weighted graph.

    1. True
    2. False

    9. There is always more than one Hamilton cycle of least weight, a given Hamilton cycle and the reverse of that Hamilton cycle.

    1. True
    2. False

    10. The greatest possible number of distinct weights for the Hamilton cycles of a complete graph with \(n\) vertices is (\(n\)-1)!

    1. True
    2. False

    This page titled 3.10: Traveling Salesperson Problem is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by OpenStax via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?