1 / 14

Srikanth Vadada Kishan Kumar B P Fall 2010 - CSE 5311

Solving Travelling Salesman Problem for Metric Graphs using MST Heuristic. Srikanth Vadada Kishan Kumar B P Fall 2010 - CSE 5311. Presentation Outline. TSP Problem Overview TSP Approximation Algorithms Project Modules Project Demo. TSP Problem Overview. TSP is a Graph Problem

zuzela
Télécharger la présentation

Srikanth Vadada Kishan Kumar B P Fall 2010 - CSE 5311

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Solving Travelling Salesman Problem for Metric Graphs using MST Heuristic Srikanth Vadada Kishan Kumar B P Fall 2010 - CSE 5311

  2. Presentation Outline • TSP Problem Overview • TSP Approximation Algorithms • Project Modules • Project Demo

  3. TSP Problem Overview • TSP is a • Graph Problem • Where a salesman wishes to make a tour ,or Hamiltonian Cycle • Visiting each city exactly once and • Finishing at the city he starts from • With the Lowest Path Cost • TSP is a NP Complete Problem • Optimum Solution can be from a Brute force approach • Metric TSP • Complete Graph • TSP that satisfies the triangle inequality • Approximation Algorithms for Metric TSP • 2 - approximation algorithm • 1.5 - approximation algorithm (Christofides Algorithm) • Both algorithms use MST as the basic step

  4. 2 Approximation Algorithm M A B C S E M - Opt TSP Cost - 54 • Approximation Algorithm 1 • 1. Construct Minimum Spanning Tree • 2. Creating a Cycle (MST Euler Tour) • 3. Remove Redundant Visits • Using Triangle Inequality • 4. Wt (Approx) <= 2 * Wt(OPT) S M E B C A S TSP Cost - 64 S M S E S B C B S A S Euler Path

  5. 1.5 Approximation (Christofides Algorithm) M A B C S E M - Opt TSP Cost - 54 • Approximation Algorithm 2 • 1. Construct Minimum Spanning Tree • 2. Take G restricted to odd degree vertices in MST as Subgraph G* • Minimum Wt Matching M* on G* • H = Union M* with MST • Eulerian Tour of H • Use Triangle Inequality to get Sol. • 7. Wt (Approx) <= 1.5 * Wt(OPT)

  6. Project Modules • Functional Logic • Kruskal’s Algorithm for MST (For 2 & 1.5 approx) • Optimal TSP – Brute Force Method (For 2 & 1.5 approx) • Finding Euler Cycle – Fleury’s Algorithm (For 2 & 1.5 approx) • Minimum Weight Matching – Edmond’s Algorithm (For 1.5 approx ) • Finding Short Circuit Path (For 2 & 1.5 approx) • GUI • Form based Interface

  7. GUI Design • Core Java for Business Logic& Visual Basic Forms for GUI

  8. References • [1]. http://www.cs.tufts.edu/comp/260/tspscribe-final.pdf • [2]. http://roticv.rantx.com/book/Eulerianpathandcircuit.pdf • [3]. http://www.austincc.edu/powens/+Topics/HTML/05-6/05-6.html • [4]. http://people.math.sfu.ca/~goddyn/Courseware/edmonds.pdf

  9. Q & Questions ? A

  10. Extra Slides for Reference - 1 • Time Complexity for 2 Approximation Algorithm : • MST of G, use Kruskal’s or Prim’s Algorithm - O(E log V ). • Finding a closed eulerian trail - O( E) using Fleury’s Algorithm • Overall time complexity for 2 Approximation Algorithm - O( E log V) • Time Complexity for 1.5 Approximation Algorithm : • MST of G, use Kruskal’s or Prim’s Algorithm - O(E log V ). • Edmond’s Blossom Shrinking Algorithm and runs in O( V 3 ) • Finding a closed eulerian trail - O(E) using Fleury’s Algorithm • Overall time complexity for 1.5 Approximation Algorithm - O( V 3 )

  11. Extra Slides for Reference - 2 Proof for Approx 2 Algorithm : Illegal Tour = 2 MST Wt (Legal Tour) <= 2 MST Wt (Optimal Tour) >= MST Wt (Legal Tour) <= 2 Optimal Tour

  12. Extra Slides for Reference - 3 Proof for Christofides Algorithm : A - Length of the tour computed by the Christofides Heuristic OPT - Optimal tour MST - Minimum Spanning Tree MOM - Minimum odd-vertex matching. The graph T U M, and therefore any Euler tour of T U M, has total length MST +MOM. By the triangle inequality, taking a shortcut past a previously visited vertex can only shorten the tour. Thus A <= MST +MOM. By the triangle inequality, the optimal tour of the odd-degree vertices of T cannot be longer than OPT. Any cycle passing through of the odd vertices can be partitioned into two perfect matchings,by alternately coloring the edges of the cycle red and green. One of these two matchings has length at most OPT/2. On the other hand, both matchings have length at least MOM. Thus, MOM <= OPT/2. Finally, recall our earlier observation that MST <= OPT. Putting these three inequalities together, we conclude that A <= 1.5 OPT

  13. Extra Slides for Reference - 4 Fleury's Algorithm 1.  pick any vertex to start 2.  from that vertex pick an edge to traverse (see below for important rule) 3.  darken that edge, as a reminder that you can't traverse it again 4.  travel that edge, coming to the next vertex 5.  repeat 2-4 until all edges have been traversed, and you are back at the starting vertex

  14. D E M O

More Related