cooperative tsp

38
Cooperative TSP Amitai Armon , Adi Avidor and Oded Schwartz Tel-Aviv University, Israel

Upload: taji

Post on 19-Jan-2016

35 views

Category:

Documents


0 download

DESCRIPTION

Cooperative TSP. Amitai Armon , Adi Avidor and Oded Schwartz. Tel-Aviv University, Israel. Presentation Overview. Introducing Cooperative TSP problems Cooperation modes Minimization goals Examples Our results and related results Outline of one of our PTAS algorithms. Classical TSP. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Cooperative TSP

Cooperative TSP

Amitai Armon, Adi Avidor and Oded Schwartz

Tel-Aviv University, Israel

Page 2: Cooperative TSP

2

Presentation Overview

Introducing Cooperative TSP problems» Cooperation modes» Minimization goals» Examples

Our results and related results Outline of one of our PTAS algorithms

Page 3: Cooperative TSP

3

Classical TSP

A salesperson has to deliver goods to a set of customers, while minimizing the total travel.

2

1

2

1

3

2

21

3

1

5

3

5

4

5

2

34

3

Page 4: Cooperative TSP

4

Cooperative TSP (cTSP)

The customers cooperate with the salesperson, and can move to help in the deliveries.

2

1

2

1

3

2

21

3

1

5

3

5

4

5

2

34

3

Page 5: Cooperative TSP

5

General Motivation

In many realistic cases, all the participants are on the same side: The “customers” are actually other agents of the same organization.2

1

2

1

3

2

21

3

1

5

3

5

4

5

2

34

3

Page 6: Cooperative TSP

6

Cooperation Modes The agents (customers) may help in one of the

following ways:

1. Purchase-cooperation: The agents can be instructed to move in order to receive the goods.

2. Sales-cooperation: The agents can be instructed to distribute the goods after receiving them.

3. Full-cooperation: Both 1 and 2.(We assume all the agents cooperate in the same mode)

Page 7: Cooperative TSP

7

Minimization Goals

The following goals are considered:

Min-Sum: Minimizing the total distance traveled by all the participants.

Min-Max: Minimizing the maximal distance traveled by any participant.

Min-Makespan: Minimizing the time required for completing the deliveries.

Page 8: Cooperative TSP

8

The Way Back: Two Versions

In the “Roundtrip” version, each participant must return to his/her starting-point at the end of the process.

In the “Path” version, we are only interested in what happens until all the deliveries are made.

Page 9: Cooperative TSP

9

Example: Distributing a secret to spies

A secret should be distributed in person to all the spies as soon as possible.

Each spy is instructed where and when to receive it.

Spies who receive the secret can be instructed to help in further distributing it.

Path Min-Makespan Full-Cooperation cTSP

Page 10: Cooperative TSP

10

Example: Waking-up robots

Sleeping robots need to be awaken. Each awake robot can help in waking-up the

others (initially one robot is awake). Each robot has limited battery, and thus

should travel as little as possible.

Path Min-Max Sales-Cooperation cTSP

Page 11: Cooperative TSP

11

Example: Distributing Cash A secured car distributes cash from the bank’s

headquarters to its branches. Each branch can be instructed to send a car to meet

it and take its own part. The bank wishes to minimize the total travel (or the

total travel of cash-loaded cars).

Roundtrip/Path Min-Sum Purchase-Cooperation cTSP

Page 12: Cooperative TSP

12

The Metric Space

We consider both:

A general metric space: a weighted undirected graph satisfying the triangle inequality.

A fixed-dimension Euclidean space (we refer to this problem as “Euclidean cTSP”).

Page 13: Cooperative TSP

13

The Scope of this Work

We consider all the combinations of the problems mentioned:

Cooperation-mode x Minimization-goal x

Roundtrip/Path x Euclidean/graph

(Except for versions which have already been considered, as described later).

We provide both algorithmic and hardness results.

Page 14: Cooperative TSP

14

Presentation Overview

Introducing Cooperative TSP problems» Cooperation modes» Minimization goals» Examples

Our results and related results Outline of one of our PTAS algorithms

Page 15: Cooperative TSP

15

Previous Results

Classical metric TSP: In graphs:

3/2 approximation [Christofides 1976, Hoogeveen 1991]

No approximation < 203/202

[Engebretsen and Karpinski 2001]

In fixed-dimension Euclidean space:

PTAS [Arora 1998, Mitchell 1999]

NP-hard [Papadimitriou 1977]

Page 16: Cooperative TSP

16

Previous Results

The Freeze-Tag problem [ABFMS, 2002] This is exactly Path Min-Makespan Sales cTSP

(waking-up robots ASAP). In graphs:

[Konemann, Levin, Sinha 2004] No approximation < 5/3 [ABFMS, 2002] In fixed-dimension Euclidean space:

PTAS [ABFMS, 2002]

NP-hardness conjectured [ABFMS, 2002]

O logn

Page 17: Cooperative TSP

17

Overview of Our Results

We provide constant-factor approximations for most of the problems, PTAS for some, and polynomial-time algorithms for a few.

We also provide lower-bounds on the approximability of most of the problems, some of them match our upper bounds.

Page 18: Cooperative TSP

18

Our Results for cTSP in Graphs

2-25/4-PolynomialMin-

Makespan

2-23/2- 3No

FPTASPTASMin-Max

203/202-3/2203/202- 3/2203/202-3/2Min-SumRo

un

dT

rip

2-25/3-(2)PolynomialMin-

Makespan

2-42-3No

FPTASPTASMin-Max

APX-hard2+ln 3NP-hard2NP-hard2+ln 3Min-Sum

PA

TH

Inapprox.Approx.Inapprox.Approx.Inapprox.Approx.

Full

Cooperation

Sales

CooperationPurchase

Cooperation

(1)logO n

(1)logO n

(1) by [KLS04] (2) by [ABFMS02]

Page 19: Cooperative TSP

19

PTASPTASPolynomialMin-Makespan

23PTASMin-Max

PTASPTASPTASMin-SumRo

un

dT

rip

PTASPTAS1PolynomialMin-Makespan

43PTASMin-Max

2+ 5/3+PTASMin-Sum

PA

TH

Full

Cooperation

Sales

Cooperation

Purchase

Cooperation

Our Results for Euclidean cTSP

(1) by [ABFMS02]

Page 20: Cooperative TSP

20

Presentation Overview

Introducing Cooperative TSP problems» Cooperation modes» Minimization goals» Examples

Our results and related results Outline of one of our PTAS algorithms

Page 21: Cooperative TSP

21

Euclidean Path Min-Sum Purchase cTSP

Recall that in this problem:- Agents can approach the salesperson but cannot help

in delivering the goods to others.- The total travel should be minimized.

We provide a PTAS for this problem by adapting Arora’s Euclidean-TSP technique. » The challenge is considering movements of many

participants rather than one, without reaching a super- polynomial running-time.

Page 22: Cooperative TSP

22

Euclidean Path Min-Sum Purchase cTSP

We define “portals-limited-solutions”.

Their optimum can be found in polynomial time, and it can be made arbitrarily close to the global optimum.

We next outline the algorithm for the planar case.

Page 23: Cooperative TSP

23

Preliminaries We assume w.l.o.g. that all the n participants are

inside the bounding-square [0,L]2, and that OPT ≥ L, where L is the smallest power of 2 s.t. L ≥ 4n2.

We divide the bounding-square into four equal squares, “super-pixels of level 1”.

We repeatedly perform this division, until we reach super-pixels of level logL (and size 1), also called “pixels”.

L

L

Page 24: Cooperative TSP

24

Portals

We mark each super-pixel boundary-line with m equidistant points, called “portals”.» m is the smallest power of 2 s.t. m ≥ 4 logL / logn /

))

A portal of a super-pixel of level i is also a portal of a super-pixel of level i+1.

2

mm

Page 25: Cooperative TSP

25

A portals-limited-solution: Requirements

A participant may cross a super-pixel boundary only at its portals.

Each participant first moves to its pixel’s center. Deliveries are only made at pixel-centers. If a pixel is visited by two or more participants, all the

agents who visit it travel to its center and stop. The salesperson may cross her/his own tour only at a

portal. There are no other crossings.

Page 26: Cooperative TSP

26

Tours in optimal portals-limited-solutions

Straight segments, first connecting the starting point to the pixel-center, then connecting pixel-centers and portals.

Page 27: Cooperative TSP

27

Tours in optimal portals-limited-solutions

Straight segments, first connecting the starting point to the pixel-center, then connecting pixel-centers and portals.

Page 28: Cooperative TSP

28

Optimal portals-limited-solution: Properties

Each portal is used by at most one participant.

If that participant is an agent, the portal is used once.

If that participant is the salesperson, we can assume that the portal is used at most once in each direction (by shortcutting).

Page 29: Cooperative TSP

29

Portals in portals-limited-solutions Thus, for each portal p of a given super-pixel, there are

six possibilities for its usage in an optimal solution:

1. The salesperson enters the super-pixel through p2. The salesperson leaves the super-pixel through p3. Both 1 and 24. One agent enters the super-pixel through p5. One agent leaves the super-pixel through p6. The portal is not used

(In option 5 only this agent visits that super-pixel)

Page 30: Cooperative TSP

30

Valid-lists in portals-limited-solutions

Enumerating over at most 64m combinations for the usage of portals of a super-pixel takes poly(n1/) time.

If such a combination may be a valid part of a solution, we call it a “valid-list”.

For each valid-list there are poly(n1/) possible pairings of entry and exit points of the salesperson in a pixel.

Page 31: Cooperative TSP

31

The PTAS: Computing optimal costs for all the valid-lists

The computation is performed bottom-up.

For each of the pixels:

- Enumerate over all the options for the pixel’s portals, and over all the possible pairings for each valid-list.

- Compute the cost (total travel) of each of them.

- Keep a table of the optimal costs (and the

corresponding pairings) of each valid-list.

(Note that there are O(n4) pixels).

Page 32: Cooperative TSP

32

The PTAS: Computing optimal costs for all the valid-lists

A valid-list of a super-pixel of level i fixes its entrance and exit points.

Enumerate over the 64m options for the 4m portals in the inner-boundaries.

Pick the cheapest option, using the tables of level i+1. Time: poly(n1/) for each of the O(n4) super-pixels.

Page 33: Cooperative TSP

33

The Output of the Algorithm

Output: Value of level 0 table (the bounding-square), where no portal is used.

We can keep track of the table-entries of deeper-levels which led to this value, and thus have the solution itself.

Overall running-time is poly(n1/).

Page 34: Cooperative TSP

34

Shifting the input relative to our grid

For ease of presentation, we haven’t mentioned so far that we start by shifting the input relative to the “gridlines”, similarly to Arora’s PTAS for TSP.

We enumerate over the L2=O(n4) options for the best integer shifts (L in each dimension).

This reduces the error induced by moving crossings to portals.

2L

2L

Page 35: Cooperative TSP

35

Shifting the input relative to our grid

For ease of presentation, we haven’t mentioned so far that we start by shifting the input relative to the “gridlines”, similarly to Arora’s PTAS for TSP.

We enumerate over the L2=O(n4) options for the best integer shifts (L in each dimension).

This reduces the error induced by moving crossings to portals.

2L

2L

Page 36: Cooperative TSP

36

General Outline of the proof

There is an optimal solution with a relatively small number of boundary crossings (about OPT).

The average error induced by moving a crossing to a portal is small (and so is the total error).

The other restrictions on a portals-limited-solution (e.g. moving to the pixels-centers) have a small effect.

Page 37: Cooperative TSP

37

Summary and Open Problems

We introduced the Cooperative TSP (cTSP) family of problems, and considered each of them.

In this presentation we outlined a PTAS for Euclidean Path Min-Sum Purchase cTSP.

Several problems still have gaps between the lower and upper bounds.

Euclidean Path Min-Sum Sales cTSP is of special interest: Our current approximation ratio is 5/3, and a PTAS will imply a PTAS for 3-bounded MST,

long-conjectured to exist.

Page 38: Cooperative TSP

38

Cooperative TSP

Thank You!