Traveling Salesman Problems Motivated by Robot Navigation

Slides:



Advertisements
Similar presentations
Instructor Neelima Gupta Table of Contents Approximation Algorithms.
Advertisements

Approximation Algorithms
Design and Analysis of Algorithms Approximation algorithms for NP-complete problems Haidong Xue Summer 2012, at GSU.
Approximation Algorithms for TSP
1 The TSP : Approximation and Hardness of Approximation All exact science is dominated by the idea of approximation. -- Bertrand Russell ( )
1 NP-Complete Problems. 2 We discuss some hard problems:  how hard? (computational complexity)  what makes them hard?  any solutions? Definitions 
Paths, Trees and Minimum Latency Tours Kamalika Chaudhuri, Brighten Godfrey, Satish Rao, Satish Rao, Kunal Talwar UC Berkeley.
Combinatorial Algorithms
LP-based Approximation Algorithms for Multi-Vehicle Minimum Latency Problems Chaitanya Swamy University of Waterloo Joint work with Ian Post University.
Approximation Algorithms for Orienteering and Discounted-Reward TSP Blum, Chawla, Karger, Lane, Meyerson, Minkoff CS 599: Sequential Decision Making in.
Computability and Complexity 23-1 Computability and Complexity Andrei Bulatov Search and Optimization.
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
Traveling Salesman with Deadlines Adam Meyerson UCLA.
1 Optimization problems such as MAXSAT, MIN NODE COVER, MAX INDEPENDENT SET, MAX CLIQUE, MIN SET COVER, TSP, KNAPSACK, BINPACKING do not have a polynomial.
Online Algorithms for Network Design Adam Meyerson UCLA.
Approximation Algorithms for Deadline-TSP & Vehicle Routing with Time Windows by Nikhil Bansal, Avrim Blum, Schuchi Chawla & Adam Meyerson STOC 2004 Presented.
Approximation Algorithms for TSP with Deadlines Adam Meyerson UCLA.
NP-Complete Problems (Fun part)
Network Optimization Problems: Models and Algorithms
Approximation Algorithms Motivation and Definitions TSP Vertex Cover Scheduling.
1 NP-Complete Problems (Fun part) Polynomial time vs exponential time –Polynomial O(n k ), where n is the input size (e.g., number of nodes in a graph,
Programming & Data Structures
Approximation Algorithms for Stochastic Combinatorial Optimization Part I: Multistage problems Anupam Gupta Carnegie Mellon University.
Algorithms for Network Optimization Problems This handout: Minimum Spanning Tree Problem Approximation Algorithms Traveling Salesman Problem.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
SPANNING TREES Lecture 21 CS2110 – Spring
1 The TSP : NP-Completeness Approximation and Hardness of Approximation All exact science is dominated by the idea of approximation. -- Bertrand Russell.
Complexity Classes (Ch. 34) The class P: class of problems that can be solved in time that is polynomial in the size of the input, n. if input size is.
Chandra Chekuri, Nitish Korula and Martin Pal Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms (SODA 08) Improved Algorithms.
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Traveling Salesman Problems Motivated by Robot Navigation Maria Minkoff MIT With Avrim Blum, Shuchi Chawla, David Karger, Terran Lane, Adam Meyerson.
Approximation Algorithms
Approximation algorithms for Path-Planning and Clustering problems on graphs (Thesis Proposal) Shuchi Chawla Carnegie Mellon University.
Algorithms for Path-Planning Shuchi Chawla Carnegie Mellon University.
Princeton University COS 423 Theory of Algorithms Spring 2001 Kevin Wayne Approximation Algorithms These lecture slides are adapted from CLRS.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Approximation Algorithms for TSP Tsvi Kopelowitz 1.
Approximation Algorithms for Path-Planning Problems with Nikhil Bansal, Avrim Blum and Adam Meyerson Shuchi Chawla Carnegie Mellon University.
Approximation Algorithms for Path-Planning Problems with Nikhil Bansal, Avrim Blum and Adam Meyerson Shuchi Chawla.
Orienteering and related problems: mini-survey and open problems Chandra Chekuri University of Illinois (UIUC)
SPANNING TREES Lecture 20 CS2110 – Fall Spanning Trees  Definitions  Minimum spanning trees  3 greedy algorithms (incl. Kruskal’s & Prim’s)
SPANNING TREES Lecture 21 CS2110 – Fall Nate Foster is out of town. NO 3-4pm office hours today!
Algorithms for Path-Planning Shuchi Chawla (CMU/Stanford/Wisconsin) 10/06/05.
Algorithms for Path-Planning Shuchi Chawla Carnegie Mellon University Jan 17, 2004.
Approximation Algorithms for Path-Planning Problems Nikhil Bansal, Avrim Blum, Shuchi Chawla and Adam Meyerson Carnegie Mellon University.
Lecture. Today Problem set 9 out (due next Thursday) Topics: –Complexity Theory –Optimization versus Decision Problems –P and NP –Efficient Verification.
Approximation Algorithms by bounding the OPT Instructor Neelima Gupta
COSC 3101A - Design and Analysis of Algorithms 14 NP-Completeness.
Approximation algorithms
Hard Problems Some problems are hard to solve.
Jie Gao, Su Jia, Joseph S.B. Mitchell Stony Brook University
Approximation Algorithms for Path-Planning Problems
Hamiltonian Cycle and TSP
Hamiltonian Cycle and TSP
Spanning Trees Lecture 21 CS2110 – Fall 2016.
Computability and Complexity
1.3 Modeling with exponentially many constr.
Approximation Algorithms for TSP
Richard Anderson Lecture 25 NP-Completeness
Chaitanya Swamy University of Waterloo
Introduction Wireless Ad-Hoc Network
Approximation Algorithms
Chaitanya Swamy University of Waterloo
1.3 Modeling with exponentially many constr.
NP-Completeness Yin Tat Lee
Spanning Trees Lecture 20 CS2110 – Spring 2015.
Approximation Algorithms
Lecture 24 Vertex Cover and Hamiltonian Cycle
Presentation transcript:

Traveling Salesman Problems Motivated by Robot Navigation based on joint work with Avrim Blum, Shuchi Chawla, David Karger, Terran Lane, Adam Meyerson

A Robot Navigation Problem Robot delivering packages in a building Goal to deliver as quickly as possible Classic model: Traveling Salesman Problem find a tour of minimum length Additional constraints: some packages have higher priority robot’s lifetime is uncertain power loss catastrophic failure

Exponential Discounting Markov Decision Process approach assign reward ri to package i robot receives discounted reward gt ri for delivering package i at time t Motivates to deliver high-priority packages quickly Inflation: reward collected in distant future decreases in value due to uncertainty at time t robot loses power with fixed probability probability of being alive at t is exponentially distributed discounting reflects value of reward in expectation

Discounted-Reward TSP Given undirected graph G=(V,E) edge weights (travel times) de ≥ 0 weights on nodes (rewards) rv ≥ 0 discount factor   (0,1) root node s Goal find a path P starting at s that maximizes total discounted reward (P) = vP rv dP(v)

Approximation Algorithms Discounted-Reward TSP is NP-hard reduction from minimum latency TSP So intractable to solve exactly Goal: approximation algorithm that is guaranteed to collect at least some constant fraction of the best possible discounted reward

Related Problems Goal of Discounted-Reward TSP seems to be to find a “short” path that collects “lots” of reward k-TSP and k-path Find a tour (path) of minimum length that starts at a given node s and visits at least k vertices (2+)-approximation algorithm for k-TSP [AK’00] (2+)-approximation algorithm for k-path follows from work of Chaudhuri et al. [CGRT’03] Mismatch: constant factor approximation on length doesn’t exponentiate well

Orienteering Problem Find a path of length at most D that maximizes net reward collected Complement of k-path approximates reward collected instead of length, so exponentiation doesn’t hurt unrooted case can be solved via k-TSP or k-path Drawback no constant factor approximation for rooted non-geometric version previously known

Our Results Using -approximation for k-path as subroutine 3/2 +1/2 -approximation for Orienteering e(3/2  + 1/2)-approximation for Discounted-Reward TSP constant-factor approximations for tree- and multiple-path versions of the problems

Our Results Using -approximation for k-path as subroutine substitute = 2+ from Chaudhuri et al. 3/2 +1/4-approximation for Orienteering e(3/2  + 8.5 -approximation for Discounted-Reward TSP constant-factor approximations for tree- and multiple-path versions of the problems

Eliminating Exponentiation Let dv = shortest path distance (time) to v Define prize at v as pv=gdv rv max discounted reward possibly collectable at v If given path reaches v at time tv, define excess ev = tv – dv difference between shortest path and chosen one Then discounted reward at v is gev pv Idea: if excess small, prize ~ discounted reward Fact: excess only increases as traverse path excess reflects lost time; can’t make it up

Property of optimum path assume g = ½ (can scale edge lengths) Claim: at least 1/2 of optimum path’s discounted reward R is collected before path’s excess reaches 1 s 0.5 Proof : shortcut to u reduces all excesses after u by at least 1 so “undiscounts” rewards by factor g-1=2 so doubles discounted reward collected u 1 1.5 0.5 2 1 Algorithm idea: Guess u Find a path to u of small excess that spans  R/2 prize 3 2

New problem: Approximate Min-Excess Path Suppose there exists an s-t path P* with prize value  of length l(P*)=dt+e Optimization: find s-t path P with prize value ≥  that minimizes excess l(P)-dt over shortest path to t equivalent to minimizing total length, e.g. k-path Approximation: find s-t path P with prize value ≥  that approximates optimum excess over shortest path to t, i.e. has length l(P) = dt + ce better than approximating entire path length obtain (2.5+)-approximation algorithm via dynamic programming using k-path algorithm Remind what k-TSP is

Decompose optimum path distance from s s t monotone monotone monotone wiggly wiggly Divides into independent problems exactly solvable case: monotonic paths approximable case: wiggly paths > 2/3 of each wiggly path is excess approximate excess by approximating length

Summary Algorithm for approximately maximizing E[reward] over uncertain lifetime Our techniques also give 4-approximation for previously open Orienteering problem of maximizing reward over fixed period of time Open questions non-uniform discount factors each vertex v has its own v non-uniform deadlines each vertex specifies its own deadline by which it has to be visited in order to collect reward d irected graphs