Lecture 6 January 21, 2013

Similar documents
2 Notation and Preliminaries

Scheduling and Optimization Course (MPRI)

ABHELSINKI UNIVERSITY OF TECHNOLOGY

Lecture 5 January 16, 2013

NP-Complete Problems and Approximation Algorithms

Decision Problems TSP. Instance: A complete graph G with non-negative edge costs, and an integer

Travelling Salesman Problem

Limits to Approximability: When Algorithms Won't Help You. Note: Contents of today s lecture won t be on the exam

Lecture 24 Nov. 20, 2014

Institute of Operating Systems and Computer Networks Algorithms Group. Network Algorithms. Tutorial 3: Shortest paths and other stuff

1 Review of Vertex Cover

Bounds on the Traveling Salesman Problem

A New Approximation Algorithm for the Asymmetric TSP with Triangle Inequality By Markus Bläser

P, NP, NP-Complete. Ruth Anderson

July 18, Approximation Algorithms (Travelling Salesman Problem)

An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle Inequality

Algorithms, Lecture 3 on NP : Nondeterminis7c Polynomial Time

Approximating the minimum quadratic assignment problems

Approximation Algorithms for Asymmetric TSP by Decomposing Directed Regular Multigraphs

Graduate Algorithms CS F-21 NP & Approximation Algorithms

Worst Case Performance of Approximation Algorithm for Asymmetric TSP

A simple LP relaxation for the Asymmetric Traveling Salesman Problem

Traveling Salesman Problem

On the Integrality Ratio for the Asymmetric Traveling Salesman Problem

SAT, Coloring, Hamiltonian Cycle, TSP

NP-Completeness. Andreas Klappenecker. [based on slides by Prof. Welch]

Welcome to... Problem Analysis and Complexity Theory , 3 VU

NP-Completeness. CptS 223 Advanced Data Structures. Larry Holder School of Electrical Engineering and Computer Science Washington State University

Tractable & Intractable Problems

Optimization Prof. A. Goswami Department of Mathematics Indian Institute of Technology, Kharagpur. Lecture - 20 Travelling Salesman Problem

Lecturer: Shuchi Chawla Topic: Inapproximability Date: 4/27/2007

8.3 Hamiltonian Paths and Circuits

New Integer Programming Formulations of the Generalized Travelling Salesman Problem

NP and Computational Intractability

Approximate Pareto Curves for the Asymmetric Traveling Salesman Problem

P versus NP. Math 40210, Fall November 10, Math (Fall 2015) P versus NP November 10, / 9

Hamiltonian Cycle. Hamiltonian Cycle

Lecture 3. 1 Polynomial-time algorithms for the maximum flow problem

Data Structures and Algorithms (CSCI 340)

Data Structures in Java

CHAPTER 3 FUNDAMENTALS OF COMPUTATIONAL COMPLEXITY. E. Amaldi Foundations of Operations Research Politecnico di Milano 1

CPSC 536N: Randomized Algorithms Term 2. Lecture 9

lamsade 329 Décembre 2012 Laboratoire d Analyses et Modélisation de Systèmes pour l Aide à la Décision UMR 7243

Discrete Optimization 2010 Lecture 12 TSP, SAT & Outlook

Technische Universität München, Zentrum Mathematik Lehrstuhl für Angewandte Geometrie und Diskrete Mathematik. Combinatorial Optimization (MA 4502)

NP-Complete Problems. More reductions

Hamiltonian Cycle. Zero Knowledge Proof

ON COST MATRICES WITH TWO AND THREE DISTINCT VALUES OF HAMILTONIAN PATHS AND CYCLES

CS Lecture 29 P, NP, and NP-Completeness. k ) for all k. Fall The class P. The class NP

Algorithms: COMP3121/3821/9101/9801

Combinatorial Optimization

Lecture 4: NP and computational intractability

U.C. Berkeley CS294: Beyond Worst-Case Analysis Handout 8 Luca Trevisan September 19, 2017

Chapter 34: NP-Completeness

The Traveling Salesman Problem: An Overview. David P. Williamson, Cornell University Ebay Research January 21, 2014

Problem Complexity Classes

NP-Complete Reductions 2

Introduction to Integer Programming

CS/COE

IS 2610: Data Structures

Intro to Contemporary Math

Classes of Problems. CS 461, Lecture 23. NP-Hard. Today s Outline. We can characterize many problems into three classes:

Algorithms Design & Analysis. Approximation Algorithm

Jens Vygen. New approximation algorithms for the TSP

What Computers Can Compute (Approximately) David P. Williamson TU Chemnitz 9 June 2011

Discrete Optimization 2010 Lecture 12 TSP, SAT & Outlook

Approximation of Euclidean k-size cycle cover problem

ON TESTING HAMILTONICITY OF GRAPHS. Alexander Barvinok. July 15, 2014

arxiv: v2 [cs.ds] 4 Oct 2011

K-center Hardness and Max-Coverage (Greedy)

Lecture 10 February 4, 2013

Automata Theory CS Complexity Theory I: Polynomial Time

Research Collection. Grid exploration. Master Thesis. ETH Library. Author(s): Wernli, Dino. Publication Date: 2012

IE418 Integer Programming

16.1 Min-Cut as an LP

Introduction to Algorithms

Improving Christofides Algorithm for the s-t Path TSP

P versus NP. Math 40210, Spring September 16, Math (Spring 2012) P versus NP September 16, / 9

Algorithms and Theory of Computation. Lecture 22: NP-Completeness (2)

The traveling salesman problem

Node Edge Arc Routing Problems (NEARP)

Lecture 1: April 24, 2013

Lecture 13, Fall 04/05

CS 320, Fall Dr. Geri Georg, Instructor 320 NP 1

CSL 356: Analysis and Design of Algorithms. Ragesh Jaiswal CSE, IIT Delhi

LECTURE 1: INTRODUCTION

VIII. NP-completeness

Chapter 3. Complexity of algorithms

Graph Theory and Optimization Computational Complexity (in brief)

Part III: Traveling salesman problems

Flows. Chapter Circulations

Lecture 24: How to become Famous with P and NP

Chapter 8. NP and Computational Intractability

Asymmetric Traveling Salesman Problem (ATSP): Models

Algorithms. Grad Refresher Course 2011 University of British Columbia. Ron Maharik

Computability and Complexity Theory

Outline. Outline. Outline DMP204 SCHEDULING, TIMETABLING AND ROUTING. 1. Scheduling CPM/PERT Resource Constrained Project Scheduling Model

Introduction to Complexity Theory

Balancing Minimum Spanning Trees and Multiple-Source Minimum Routing Cost Spanning Trees on Metric Graphs

ORIE 6334 Spectral Graph Theory November 22, Lecture 25

Transcription:

UBC CPSC 536N: Sparse Approximations Winter 03 Prof. Nick Harvey Lecture 6 January, 03 Scribe: Zachary Drudi In the previous lecture, we discussed max flow problems. Today, we consider the Travelling Salesman Problem (TSP), and several restricted variants. Although these restrictions of TSP are also NP-hard, we will see a variant of TSP whose optimum solution we can approximate with at most logarithmic error. Max Flow, Min Weight Flow Max Flow: We re given a directed graph G = (V, A) and numbers c a R + a A max such that Min Weight Flow: a δ + (s) a δ + (v) x a x a a δ (v) x a = 0 v V {s, t} 0 x a c a a A Suppose further that the edges have weights {w a : a A}, and f is a non-negative real number. min a A w a x a such that x a = f a δ + (s) x a a δ + (v) a δ (v) x a = 0 v V \{s, t} 0 x a c a a If f and c a a A are integral and the problems are feasible, both problems have integral optimal solutions. Travelling Salesman Problem. Let G = (V, E) be a graph, w e e E. Find a minimum weight cycle that visits each vertex exactly once. This is NP-hard (without weights, this is the Hamiltonian cycle problem).

. Assume the input graph is the complete graph K n. This is still NP-hard, by the following reduction. Given any G with n = V, put weights on K n as follows: { if e G w e = n if e / G Then the optimal solution has cost n if and only if G has a Hamiltonian cycle. Even approximations are still NP-hard. Say we re looking for a Hamiltonian cycle in K n of cost α optimum. Again, given G with n = V, put weights on K n as follows: { if e G w e = n α if e / G Then the optimum solution is n if G has a Hamiltonian cycle, and αn if G doesn t have a Hamiltonian cycle. 3. Assume the weights satisfy the following properties: Triangle inequality: a, b, c, w ab w ac + w cb Non negativity: a, b, w ab 0 Symmetry: w ab = w ba This variant is still NP-hard, even if the metric is just distances for points in R [Garey, Graham, Johnson 976], [Papadimitriou 977]. If the metric is R d for some constant d, we can approximate the optimum solution to within any factor + ε [Arora 996], [Mitchell 996]. For general metrics, we can approximate within a factor of.5 [Christofides 976]. For a much more detailed history, see Vygen s recent survey at http://www.or.uni-bonn.de/~vygen/files/optima.pdf. 3 Directed Graphs For the following, we re given the following data: V = {,,..., n} w : V V R + i, j V w ij 0 i, j, k V w ij w ik + w kj Despite these restrictions, the optimum solution to the TSP problem is still hard to approximate to within.0. We can approximate to within ) log (n) optimum [Frieze, Galbiati, Maffioli 98]. Later: approximate to within O It is an open question if this can be improved to O(). ( log n log log n Consider the following example:

b 7 d 3 0 a 9 0 c e Note that this is not a complete example; there aren t edges between all vertices. We can use metric completion to compute weights to assign to edges between all vertices to complete this example. Instead of trying to solve TSP directly, let s find a collection of cycles that go through every vertex exactly once. Note: minimum weight of a cycle cover minimum weight of a Hamiltonian cycle. We can reduce this problem to a minimum weight flow problem as follows: For each vertex i, define new vertices i + and i. For each edge ij with weight w ij in the original graph, define an edge i + j in our new graph with weight w ij. Let the desired flow value f = V, and c a = a A Every vertex receives and sends unit of flow. Because c and f are integral, there is an integral optimum solution: every arc sends either or 0 units of flow. For the example graph, the associated min weight graph is the following graph: 3

s a + b + c + d + e + 3 9 7 0 0 a b c d e t Given we ve solved the min weight flow problem, let C = {ab : x ab =, a, b V }. This is a cycle cover. Similarly, given a cycle cover we can extract a 0- flow. This gives a bijection between cycle covers and 0- flows that preserves weights. So we can solve min cost cycle cover in polynomial time. Idea for TSP:. Find a minimum weight cycle cover.. Pick a designated vertex from each cycle. 3. Make a new graph where each cycle has been shrunk to a supernode. 4. Weight of an arc between two supernodes is the weight of shortest path between two designated nodes in original graph 9 a, b c, d, e 5 Claim 3.. Minimum weight cycle cover minimum weight Hamiltonian cycle in the original graph 4

Proof. A Hamiltonian cycle is a sequence of paths between designated graph nodes. Every arc in the new graph has weight the shortest path between designated nodes. A Hamiltonian cycle visits every designated node, therefore weight(hc) minwt(cc). Claim 3.. The number of recursive steps is less than or equal to log (n). Proof. Each cycle has length, so the number of vertices halves at each step. The CC in the shrunken graph gives paths in the original graph. Concatenate all these paths. The resulting walk is strongly connected and Eulerian (for every vertex, in-degree = out-degree). An Eulerian graph has a closed walk that visits every edge exactly once. To get a HC, look at the sequence of vertices in the closed walk, and keep the first occurence of each vertex. Weight(new subsequence) weight(closed walk) by the triangle inequality. 5