20
Serving Online Requests with Mobile Servers Abdolhamid Ghodselahi University of Freiburg, Germany joint work with Fabian Kuhn (University of Freiburg) Presented at ISAAC 2015, Nagoya, Japan December 9-11, 2015

Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Embed Size (px)

Citation preview

Page 1: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Serving Online Requests with Mobile Servers

Abdolhamid Ghodselahi University of Freiburg, Germany

joint work withFabian Kuhn (University of Freiburg)

Presented at ISAAC 2015, Nagoya, JapanDecember 9-11, 2015

Page 2: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Our online problem:

𝑛 points are given

𝑘 mobile servers

Online requests

service cost = 𝟏

service cost = 𝟎

service cost = 𝟏service cost = 𝟑

service cost = 𝟐service cost = 𝟎

Goal: Minimize #movements

service cost = 𝟎

#movements = 1#movements = 2

𝒮 = 1𝒮 = 2𝒮 = 4𝒮 = 1𝒮 = 3𝒮 = 1

Page 3: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

What if some algorithm moves no server at all?!

Feasible Configuration:

Any algorithm that solves the problem must satisfy the following condition at all time steps :

Problem condition: 𝒮 < 𝛼 ∙ 𝒮∗ + 𝛽

𝒮 ≔ Current service cost of any algorithm• Service cost is not cumulative over time

𝒮∗ ≔ Optimal current service cost =Minimum service cost among all configurations

𝛼 ≥ 1 and 𝛽 ≥ 0 are two given parameters

Page 4: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Recap:

𝑛 points are given 𝑘 mobile servers Online requests

Requests need to be served• At the requested point• By a remote server

A request has to be served atall time steps after it is issued• Reassignment is allowed

Problem condition must be satisfied at all time steps

Goal: Minimize #movements

service cost = 𝟎

service cost = 𝟎

service cost = 𝟐

service cost = 𝟏

Page 5: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Our Model VS. 𝑘-Server/Paging

Our Model

Requests are served

to serve However, some on the current service cost

𝑘-Server/Paging

Requests are served when they are issued

Servers serve No service cost

Page 6: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Known Results for 𝑘-Server & Paging Deterministic

• 𝑘-Server conjecture: Competitive factor is 𝑘[Manasse, McGeoch, & Sleator 1990]

• Competitive factor of 2𝑘 − 1 for 𝑘-Server[Koutsoupias & Papadimitriou 1995]

• Any deterministic algorithm is Ω 𝑘 -competitive[Sleator & Tarjan 1985]

• Least recently used (LRU) algorithm is 𝑘-competitive[Sleator & Tarjan 1985]

Randomized

• Competitive factor of Ο log 𝑘 2 log 𝑛 3

[Bansal, Buchbinder, Madry, & Naor 2011]

Page 7: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Outline

1. Motivation & Model

2. Minimizing #Movements

a. Lower-Bound

3. Minimizing #Movements + Service Cost

a. Upper-Bound

b. Lower-Bound

4. Future Work

Page 8: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Any deterministic online algorithm is

Ω 𝑛 -competitive

2. Minimizing #movements

Page 9: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Proof Sketch 𝒜 ∶ Any deterministic online algorithm (ALG)

𝒪 ∶ Any optimal offline algorithm (OPT)

Two cases:

𝑘 > 𝑛/2 :

• Competitive factor is ≥ 𝑘

𝑘 ≤ 𝑛/2 :

• Competitive factor is ≥ 𝑛 − 𝑘

≥ max 𝑘, 𝑛 − 𝑘

≥ 𝑛 2 ∈ Ω(𝑛)

Page 10: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

𝑘 ≤ 𝑛/2 ∶ Main Idea

large enough #requests

𝒮𝒜 ≮ 𝛼 ∙ 𝒮∗ + 𝛽

ALG must move some server(s)

OPT moves to a point where#requests is large at all time steps

points without servers

Page 11: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

𝑛 = 3 , 𝑘 = 1

Assume 𝛼 = 1

Problem condition:∀𝑡 ∶ 𝒮𝒜(𝑡) < 𝒮∗(𝑡) + 𝛽

Repeat for 𝑛 , 𝑘 = 1 →≥ 𝑛 − 1 #movements

𝒮∗ = 𝛽𝒮𝒜 = 2𝛽

𝒮𝒜 = 𝒮∗ + 𝛽

𝑘 ≤ 𝑛/2 : Simple Example#Movements by ALG

𝛽

𝛽

𝒮∗ = 𝛽𝒮𝒜 = 𝛽

𝒮𝒜 < 𝒮∗ + 𝛽

2𝛽

2𝛽

𝒮∗ = 3𝛽𝒮𝒜 = 4𝛽

𝒮𝒜 = 𝒮∗ + 𝛽

𝒮∗ = 3𝛽𝒮𝒜 = 3𝛽

𝒮𝒜 < 𝒮∗ + 𝛽

Page 12: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

𝑛 = 3 , 𝑘 = 1

Assume 𝛼 = 1

OPT knows the sequence in advance

Problem condition:∀𝑡 ∶ 𝒮𝒪(𝑡) < 𝒮∗(𝑡) + 𝛽

Repeat for 𝑛 , 𝑘 = 1 →≤ 1 #movements

𝒮∗ = 𝛽𝒮𝒪 = 2𝛽

𝒮𝓞 = 𝒮∗ + 𝛽

𝑘 ≤ 𝑛/2 : Simple Example#Movements by OPT

𝛽

𝛽

𝒮∗ = 𝛽𝒮𝒪 = 𝛽

𝒮𝓞 < 𝒮∗ + 𝛽

2𝛽

2𝛽

𝒮∗ = 3𝛽𝒮𝒪 = 3𝛽

𝒮𝒪 < 𝒮∗ + 𝛽

Page 13: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

𝑘 ≤ 𝑛 2 ∶ Reduction to any 𝑘, 𝑛

𝑛

𝑘 − 1⋯ ⋯

𝑘 − 1

𝑛

All algorithms can only move this server

≥ 𝑛 − 𝑘 #movements by ALG and ≤ 1 by OPT

Page 14: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

3. Minimizing Combined CostThe objective is to minimize the

Current service cost+ #Movements

This modification in the objective helps us to be more competitive against OPT

A natural greedy algorithm (denoted by 𝒜) is introduced which provides an almost tight bound

Minimizing combined cost is closer to an online variant of

mobile facility location problem [Friggstad & Salavatipour FOCS’08]

Page 15: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

The algorithm does nothing as long as 𝒮𝒜 < 𝛼 ∙ 𝒮∗ + 𝛽

It greedily moves some server(s) as soon as 𝒮𝒜 ≮ 𝛼 ∙ 𝒮∗ + 𝛽

Greedy Approach:

Decrease current service cost as much as possible

Maximal improvement = 6𝛽

Greedy Algorithm

5𝛽

2𝛽

6𝛽

8𝛽

𝒮∗ = 7𝛽𝒮𝒜 = 14𝛽

𝒮𝒜 < 2𝒮∗ + 𝛽

𝒮∗ = 7𝛽𝒮𝒜 = 15𝛽

𝒮𝒜 = 2𝒮∗ + 𝛽

7𝛽𝒮∗ = 7𝛽𝒮𝒜 = 9𝛽

𝒮𝒜 < 2𝒮∗ + 𝛽

Page 16: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Our online algorithm is 1 + 𝜀 -competitive

for every constant 𝜀 > 0,

at the cost of an additional additive term

Results

Any deterministic online algorithm cannot get

a better competitive factor than almost similar

above upper-bound

Page 17: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Upper-Bound: Proof Sketch

Goal: Minimize the combined cost

𝒮𝒜 < 𝛼 ∙ 𝒮∗ + 𝛽 𝑀𝒜 ≤ ?

𝒮𝒪 +𝑀𝒪 ≥ 𝒮∗

𝑀𝒜 ≤ 𝜀 ∙ 𝒮∗ + Ο(𝑘 log 𝑘)

Page 18: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

General Service Cost Function Recall:

𝜎𝑣 𝑦 ≔ 0, 𝑠𝑒𝑟𝑣𝑒𝑟 𝑎𝑡 𝑣𝑦, 𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒

Generalization:𝜎𝑣 𝑥, 𝑦 ≔ Service cost of 𝑣 if 𝑥 servers and 𝑦 requests at 𝑣

The function has to satisfy some natural properties: Monotonicity (in 𝑥 and 𝑦)

Effect of adding additional servers to a node 𝑣

• should become smaller (convexity in 𝑥)

• should not decrease if #requests gets larger

The upper-bound result holds for this generalization

Both lower-bound results even hold for the previous service cost

Page 19: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

4. Future Work

With respect to minimizing the #movements:

• Study randomized online algorithms

With respect to minimizing the combined cost:

• Study the online variant of mobile facility location problem (OMFLP) in general metrics

OMFLP definition

our lower-bound already holds for any det. online algorithm that solves OMFLP

Page 20: Abdolhamid Ghodselahi: Serving Online Requests with Mobile Servers

Thanks for your attention