Approximation Algorithms for the Unsplittable Capacitated Facility - - PowerPoint PPT Presentation

approximation algorithms for the unsplittable capacitated
SMART_READER_LITE
LIVE PREVIEW

Approximation Algorithms for the Unsplittable Capacitated Facility - - PowerPoint PPT Presentation

Introduction Related Works and New Results Our Results Conclusion Approximation Algorithms for the Unsplittable Capacitated Facility Location Problem Babak Behsaz Mohammad R. Salavatipour Zoya Svitkina Department of Computing Science


slide-1
SLIDE 1

Introduction Related Works and New Results Our Results Conclusion

Approximation Algorithms for the Unsplittable Capacitated Facility Location Problem

Babak Behsaz Mohammad R. Salavatipour Zoya Svitkina

Department of Computing Science University of Alberta

July 5, 2012

slide-2
SLIDE 2

Introduction Related Works and New Results Our Results Conclusion

Problem Statement

Unsplittable Capacitated Facility Location (UCFL) Problem Input: F = set of facilities and C = set of clients, a metric cost function c between F and C, demand of client j = dj, opening cost of facility i = fi.

c11 dj dn d1 cmn F C f1 fi fm cij . . . . . . . . . . . . . . . . . .

slide-3
SLIDE 3

Introduction Related Works and New Results Our Results Conclusion

Problem Statement

Unsplittable Capacitated Facility Location (UCFL) Problem Input: F = set of facilities and C = set of clients, a metric cost function c between F and C, demand of client j = dj, opening cost of facility i = fi. Goal: open a subset of facilities and assign clients to them.

c11 dj dn d1 cmn F C f1 fi fm cij . . . . . . . . . . . . . . . . . .

slide-4
SLIDE 4

Introduction Related Works and New Results Our Results Conclusion

Problem Statement

Unsplittable Capacitated Facility Location (UCFL) Problem Input: F = set of facilities and C = set of clients, a metric cost function c between F and C, demand of client j = dj, opening cost of facility i = fi. Goal: open a subset of facilities and assign clients to them. Objective: minimize cost = opening costs + assignment costs (assignment cost of client j to facility i = djcij).

c11 dj dn d1 cmn F C f1 fi fm cij . . . . . . . . . . . . . . . . . .

slide-5
SLIDE 5

Introduction Related Works and New Results Our Results Conclusion

Problem Statement

Unsplittable Capacitated Facility Location (UCFL) Problem Input: F = set of facilities and C = set of clients, a metric cost function c between F and C, demand of client j = dj, opening cost of facility i = fi. Goal: open a subset of facilities and assign clients to them. Objective: minimize cost = opening costs + assignment costs (assignment cost of client j to facility i = djcij). Extra Input: capacity of facility i = ui

c11 dj dn d1 cmn F C u1 fi fm cij . . . . . . . . . . . . . . . . . . f1 ui um

slide-6
SLIDE 6

Introduction Related Works and New Results Our Results Conclusion

Problem Statement

Unsplittable Capacitated Facility Location (UCFL) Problem Input: F = set of facilities and C = set of clients, a metric cost function c between F and C, demand of client j = dj, opening cost of facility i = fi. Goal: open a subset of facilities and assign clients to them. Objective: minimize cost = opening costs + assignment costs (assignment cost of client j to facility i = djcij). Extra Input: capacity of facility i = ui Constraints: unsplittable demand, do not violate capacities.

c11 dj dn d1 cmn F C u1 fi fm cij . . . . . . . . . . . . . . . . . . f1 ui um

slide-7
SLIDE 7

Introduction Related Works and New Results Our Results Conclusion

An Example of UCFL

c11 = 1

u2 = 4 u4 = 5 u3 = 6 u1 = 5 d2 = 2 d3 = 3 d4 = 3 d1 = 2

c21 = 3 c13 = 2 c22 = 3 c42 = 1 c33 = 1 c44 = 2 c34 = 1

F

C

All the other cost values are equal to the shortest path value in the above graph, e.g., c31 = 4.

f1 = 7 f2 = 1 f3 = 2 f4 = 4

slide-8
SLIDE 8

Introduction Related Works and New Results Our Results Conclusion

An Example of UCFL

c11 = 1

u2 = 4 u4 = 5 u3 = 6 u1 = 5 d2 = 2 d3 = 3 d4 = 3 d1 = 2

c21 = 3 c13 = 2 c22 = 3 c42 = 1 c33 = 1 c44 = 2 c34 = 1

F

C

All the other cost values are equal to the shortest path value in the above graph, e.g., c31 = 4.

f1 = 7 f2 = 1 f3 = 2 f4 = 4

Solution 1: Open the second and third facilities. Service cost is 18, facility cost is 3 and total cost is 21.

slide-9
SLIDE 9

Introduction Related Works and New Results Our Results Conclusion

An Example of UCFL

c11 = 1

u2 = 4 u4 = 5 u3 = 6 u1 = 5 d2 = 2 d3 = 3 d4 = 3 d1 = 2

c21 = 3 c13 = 2 c22 = 3 c42 = 1 c33 = 1 c44 = 2 c34 = 1

F

C

All the other cost values are equal to the shortest path value in the above graph, e.g., c31 = 4.

f1 = 7 f2 = 1 f3 = 2 f4 = 4

Solution 1: Open the second and third facilities. Service cost is 18, facility cost is 3 and total cost is 21. Solution 2: Open the first and fourth facilities. Service cost is 16, facility cost is 11 and total cost is 27.

slide-10
SLIDE 10

Introduction Related Works and New Results Our Results Conclusion

Motivations

Original Motivation Location Problems in the operation research

slide-11
SLIDE 11

Introduction Related Works and New Results Our Results Conclusion

Motivations

Original Motivation Location Problems in the operation research New motivation Contents Distribution Networks (CDNs): Alzoubi et al. (WWW ’08): A load-aware IP Anycast CDN architecture The assignment of downloadable objects, such as media files, to some servers

slide-12
SLIDE 12

Introduction Related Works and New Results Our Results Conclusion

Preliminaries

Solving the UCFL problem without violation of capacities is NP-hard.

slide-13
SLIDE 13

Introduction Related Works and New Results Our Results Conclusion

Preliminaries

Solving the UCFL problem without violation of capacities is NP-hard. (α, β)-approximation algorithm for the UCFL problem: cost within factor α of the optimum, violates the capacity constraints within factor β.

slide-14
SLIDE 14

Introduction Related Works and New Results Our Results Conclusion

Related Works to Variations of UCFL

Uncapacitated Facility Location Problem

current best approximation ratio = 1.488 (Li, ICALP’11) current best hardness ratio = 1.463 (Guha-Khuller, SODA’98 + Sviridenko’s observation)

slide-15
SLIDE 15

Introduction Related Works and New Results Our Results Conclusion

Related Works to Variations of UCFL

Uncapacitated Facility Location Problem

current best approximation ratio = 1.488 (Li, ICALP’11) current best hardness ratio = 1.463 (Guha-Khuller, SODA’98 + Sviridenko’s observation)

Splittable Capacitated Facility Location Problem

current best approximation ratio = 5.83 (or 5?) in the non-uniform case (Zhang-Chen-Ye, Mathematics of OR’05) and 3 in the uniform case (Aggarwal et al., IPCO’10) current best hardness ratio = 1.463

slide-16
SLIDE 16

Introduction Related Works and New Results Our Results Conclusion

UCFL Previous Results

Hardness Results: (1.463, β)-hard for any β ≥ 1

slide-17
SLIDE 17

Introduction Related Works and New Results Our Results Conclusion

UCFL Previous Results

Hardness Results: (1.463, β)-hard for any β ≥ 1 Violation of the capacities is inevitable, unless P = NP.

slide-18
SLIDE 18

Introduction Related Works and New Results Our Results Conclusion

UCFL Previous Results

Hardness Results: (1.463, β)-hard for any β ≥ 1 Violation of the capacities is inevitable, unless P = NP. Algorithmic Results: The first approximation algorithm: (9, 4)-approximation for the uniform case (Shmoys-Tardos-Aardal, STOC’97.)

slide-19
SLIDE 19

Introduction Related Works and New Results Our Results Conclusion

UCFL Previous Results

Hardness Results: (1.463, β)-hard for any β ≥ 1 Violation of the capacities is inevitable, unless P = NP. Algorithmic Results: The first approximation algorithm: (9, 4)-approximation for the uniform case (Shmoys-Tardos-Aardal, STOC’97.) Current best approximation algorithms: (11, 2) for non-uniform case and (5, 2) for uniform case

slide-20
SLIDE 20

Introduction Related Works and New Results Our Results Conclusion

UCFL Previous Results

Hardness Results: (1.463, β)-hard for any β ≥ 1 Violation of the capacities is inevitable, unless P = NP. Algorithmic Results: The first approximation algorithm: (9, 4)-approximation for the uniform case (Shmoys-Tardos-Aardal, STOC’97.) Current best approximation algorithms: (11, 2) for non-uniform case and (5, 2) for uniform case uniform case: (O(log n), 1 + ǫ) for any ǫ > 0 in polynomial time (Bateni-Hajiaghayi, SODA’09.) non-uniform case: (O(log n), 1 + ǫ) for any ǫ > 0 in quasi-polynomial time (Bateni-Hajiaghayi, SODA’09.)

slide-21
SLIDE 21

Introduction Related Works and New Results Our Results Conclusion

New Results

Recall: The best possible is (O(1), 1 + ǫ)-approximation unless P = NP.

slide-22
SLIDE 22

Introduction Related Works and New Results Our Results Conclusion

New Results

Recall: The best possible is (O(1), 1 + ǫ)-approximation unless P = NP. We only consider the uniform case.

slide-23
SLIDE 23

Introduction Related Works and New Results Our Results Conclusion

New Results

Recall: The best possible is (O(1), 1 + ǫ)-approximation unless P = NP. We only consider the uniform case. All capacities are uniform → we can assume that u = 1 and dj ≤ 1 for all j ∈ C.

slide-24
SLIDE 24

Introduction Related Works and New Results Our Results Conclusion

New Results

Recall: The best possible is (O(1), 1 + ǫ)-approximation unless P = NP. We only consider the uniform case. All capacities are uniform → we can assume that u = 1 and dj ≤ 1 for all j ∈ C. Definition An ǫ-restricted UCFL, denoted by RUCFL(ǫ), instance is an instance of the UCFL in which ǫ < dj ≤ 1 for all j ∈ C.

slide-25
SLIDE 25

Introduction Related Works and New Results Our Results Conclusion

New results, Cont’d

Theorem (Weaker Version) If A is an (α, β)-approximation algorithm for the RUCFL(ǫ) then there is an algorithm AC for UCFL with factor (10α + 11, max{β, 1 + ǫ}).

slide-26
SLIDE 26

Introduction Related Works and New Results Our Results Conclusion

New results, Cont’d

Theorem (Weaker Version) If A is an (α, β)-approximation algorithm for the RUCFL(ǫ) then there is an algorithm AC for UCFL with factor (10α + 11, max{β, 1 + ǫ}). Corollary For any constant ǫ > 0, an (O(1), 1 + ǫ)-approximation algorithm for the RUCFL(ǫ) yields an (O(1), 1 + ǫ)-approximation for the UCFL.

slide-27
SLIDE 27

Introduction Related Works and New Results Our Results Conclusion

New Results, Cont’d

Theorem There is a polynomial time (10.173, 3/2)-approximation algorithm for the UCFLP. Theorem There is a polynomial time (30.432, 4/3)-approximation algorithm for the UCFLP.

slide-28
SLIDE 28

Introduction Related Works and New Results Our Results Conclusion

New Results, Cont’d

Theorem There is a polynomial time (10.173, 3/2)-approximation algorithm for the UCFLP. Theorem There is a polynomial time (30.432, 4/3)-approximation algorithm for the UCFLP. Theorem There exists a (1 + ǫ, 1 + ǫ)-approximation algorithm for the Euclidean UCFL in R2 with running time in quasi-polynomial for any constant ǫ > 0.

slide-29
SLIDE 29

Introduction Related Works and New Results Our Results Conclusion

Some More Definitions

Large clients = clients with demand more than ǫ, L = {j ∈ C : dj > ǫ}.

slide-30
SLIDE 30

Introduction Related Works and New Results Our Results Conclusion

Some More Definitions

Large clients = clients with demand more than ǫ, L = {j ∈ C : dj > ǫ}. Small clients = clients with demand at most ǫ, S = C\L.

slide-31
SLIDE 31

Introduction Related Works and New Results Our Results Conclusion

Some More Definitions

Large clients = clients with demand more than ǫ, L = {j ∈ C : dj > ǫ}. Small clients = clients with demand at most ǫ, S = C\L. φ1 : C1 → F1 and φ2 : C2 → F2 are consistent if φ1(j) = φ2(j) for all j ∈ C1 ∩ C2.

slide-32
SLIDE 32

Introduction Related Works and New Results Our Results Conclusion

Some More Definitions

Large clients = clients with demand more than ǫ, L = {j ∈ C : dj > ǫ}. Small clients = clients with demand at most ǫ, S = C\L. φ1 : C1 → F1 and φ2 : C2 → F2 are consistent if φ1(j) = φ2(j) for all j ∈ C1 ∩ C2. OPT = optimum value

slide-33
SLIDE 33

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL

slide-34
SLIDE 34

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL

Recall: A is an (α, β)-approximation RUCFL(ǫ). 1- Assign large clients:

slide-35
SLIDE 35

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL

Recall: A is an (α, β)-approximation RUCFL(ǫ). 1- Assign large clients:

1 Run A to assign large clients.

slide-36
SLIDE 36

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL

Recall: A is an (α, β)-approximation RUCFL(ǫ). 1- Assign large clients:

1 Run A to assign large clients. 2 For opened facilities, set fi = 0 and set u′ i to unused capacity

  • f facility i.
slide-37
SLIDE 37

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL

2- Assign small clients:

slide-38
SLIDE 38

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL

2- Assign small clients:

1 Assign small clients fractionally by an approximation

algorithm for the splittable CFLP.

slide-39
SLIDE 39

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL

2- Assign small clients:

1 Assign small clients fractionally by an approximation

algorithm for the splittable CFLP.

2 Assign small clients integrally: round the splittable

assignment by Shmoys-Tardos algorithm for the Generalized Assignment Problem.

slide-40
SLIDE 40

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

Basic idea: Ignoring small clients in step 1 is not a big mistake!

slide-41
SLIDE 41

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

Basic idea: Ignoring small clients in step 1 is not a big mistake! Lemma (Weaker Version) There exist a fractional assignment of small clients with service cost at most (α + 1)OPT and facility cost at most OPT. splitable CFLP algorithm → finds a fractional assignment having cost within constant factor of this fractional assignment.

slide-42
SLIDE 42

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

d2 = 3 d4 = 8 d1 = 5

F

C s1 = 9 s2 = 5 s3 = 3 s4 = 2 Our Assignment Optimal Assignment si = total demand of small clients assigned to ith facility

General Idea: Change an optimal solution to a solution consistent with our assignment.

slide-43
SLIDE 43

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

d2 = 3 d4 = 8 d1 = 5

F

C s1 = 9 − 5 = 4 s2 = 5 + 5 = 10 s3 = 3 s4 = 2 Our Assignment Optimal Assignment si = total demand of small clients assigned to ith facility

5

General Idea: Change an optimal solution to a solution consistent with our assignment. Switch the assignment of large clients one by one. service cost ≤ service cost of small clients in optimum plus service cost of large clients in optimum (OPT) plus service cost of large clients αOPT.

slide-44
SLIDE 44

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

d2 = 3 d4 = 8 d1 = 5

F

C s1 = 4 s2 = 10 − 3 = 7 s3 = 3 + 3 = 6 s4 = 2 Our Assignment Optimal Assignment si = total demand of small clients assigned to ith facility

General Idea: Change an optimal solution to a solution consistent with our assignment. Switch the assignment of large clients one by one. service cost ≤ service cost of small clients in optimum plus service cost of large clients in optimum (OPT) plus service cost of large clients αOPT.

slide-45
SLIDE 45

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

d2 = 3 d4 = 8 d1 = 5

F

C s1 = 4 s2 = 7 s3 = 6 − 6 = 0 s4 = 2 + 6 = 8 Our Assignment Optimal Assignment si = total demand of small clients assigned to ith facility

General Idea: Change an optimal solution to a solution consistent with our assignment. Switch the assignment of large clients one by one. service cost ≤ service cost of small clients in optimum plus service cost of large clients in optimum (OPT) plus service cost of large clients αOPT.

slide-46
SLIDE 46

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

d2 = 3 d5 = 8 d1 = 5

F

C s1 = 4 s2 = 7 s3 = 0 s4 = 8 Our Assignment Optimal Assignment si = total demand of small clients assigned to ith facility d4 = 4 u = 10

General Idea: Change an optimal solution to a solution consistent with our assignment. Switch the assignment of large clients one by one. Order? service cost ≤ service cost of small clients in optimum plus service cost of large clients in optimum (OPT) plus service cost of large clients αOPT.

slide-47
SLIDE 47

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

d2 = 3 d5 = 8 d1 = 5

F

C s1 = 4 s2 = 7 − 4 = 3 s3 = 0 + 4 = 4 s4 = 8 Our Assignment Optimal Assignment si = total demand of small clients assigned to ith facility d4 = 4 u = 10

General Idea: Change an optimal solution to a solution consistent with our assignment. Switch the assignment of large clients one by one. Order? service cost ≤ service cost of small clients in optimum plus service cost of large clients in optimum (OPT) plus service cost of large clients αOPT.

slide-48
SLIDE 48

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

d2 = 3 d5 = 8 d1 = 5

F

C s1 = 4 s2 = 7 − 4 = 3 s3 = 0 + 4 = 4 s4 = 8 Our Assignment Optimal Assignment si = total demand of small clients assigned to ith facility d4 = 4 u = 10

General Idea: Change an optimal solution to a solution consistent with our assignment. Switch the assignment of large clients one by one. Order? service cost ≤ service cost of small clients in optimum plus service cost of large clients in optimum (OPT) plus service cost of large clients αOPT. Do all switches simultaneously.

slide-49
SLIDE 49

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

We showed there is a fractional assignment of small clients with low cost. We found one with a low cost by an approximation algorithm. Now?

slide-50
SLIDE 50

Introduction Related Works and New Results Our Results Conclusion

Proof of Reduction to RUCFL, Cont’d

We showed there is a fractional assignment of small clients with low cost. We found one with a low cost by an approximation algorithm. Now? Using rounding for Generalized Assignment problem:

Connection cost remains the same. It violates the capacities at most to the extent of the largest demand. The largest demand is at most ǫ → violation is within factor 1 + ǫ.

slide-51
SLIDE 51

Introduction Related Works and New Results Our Results Conclusion

RUCFL(1

2)

Theorem There is an exact algorithm for RUCFL( 1

2).

slide-52
SLIDE 52

Introduction Related Works and New Results Our Results Conclusion

RUCFL(1

2)

Theorem There is an exact algorithm for RUCFL( 1

2).

proof Each facility serves exactly one client in the optimal solution.

slide-53
SLIDE 53

Introduction Related Works and New Results Our Results Conclusion

RUCFL(1

2)

Theorem There is an exact algorithm for RUCFL( 1

2).

proof Each facility serves exactly one client in the optimal solution. The optimal assignment is a matching.

slide-54
SLIDE 54

Introduction Related Works and New Results Our Results Conclusion

RUCFL(1

2)

Theorem There is an exact algorithm for RUCFL( 1

2).

proof Each facility serves exactly one client in the optimal solution. The optimal assignment is a matching. The algorithm is a min-cost maximum matching algorithm.

slide-55
SLIDE 55

Introduction Related Works and New Results Our Results Conclusion

RUCFL(1

2)

Theorem There is an exact algorithm for RUCFL( 1

2).

proof Each facility serves exactly one client in the optimal solution. The optimal assignment is a matching. The algorithm is a min-cost maximum matching algorithm. Corollary There is a (10.173, 3/2)-approximation algorithm for the UCFL problem.

slide-56
SLIDE 56

Introduction Related Works and New Results Our Results Conclusion

Conclusion and Future Works

To solve the UCFL problem, we transformed the problem to a simpler version.

slide-57
SLIDE 57

Introduction Related Works and New Results Our Results Conclusion

Conclusion and Future Works

To solve the UCFL problem, we transformed the problem to a simpler version. We solved the simpler version for ǫ = 1/2 and ǫ = 1/3 to

  • btain factor (10.173, 3/2) and (30.432, 4/3) approximation

algorithms.

slide-58
SLIDE 58

Introduction Related Works and New Results Our Results Conclusion

Conclusion and Future Works

To solve the UCFL problem, we transformed the problem to a simpler version. We solved the simpler version for ǫ = 1/2 and ǫ = 1/3 to

  • btain factor (10.173, 3/2) and (30.432, 4/3) approximation

algorithms. Open question? Finding a (O(1), 1 + ǫ)-approximation algorithm for the UCFL problem.

slide-59
SLIDE 59

Introduction Related Works and New Results Our Results Conclusion

Thanks for your attention! Questions?