randomized competitive analysis for two server problems
DESCRIPTION
Randomized Competitive Analysis for Two Server Problems. Wolfgang Bein Kazuo Iwama Jun Kawahara. k-server problem. Goal: Minimize the total distance. k-server problem. k-server problem. k-server problem. k-server problem. k-server problem. k-server problem. k-server problem. ………. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/1.jpg)
Randomized Competitive Analysis for Two Server Problems
Wolfgang Bein
Kazuo Iwama
Jun Kawahara
![Page 2: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/2.jpg)
k-server problem
Goal: Minimize the total distance
![Page 3: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/3.jpg)
k-server problem
![Page 4: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/4.jpg)
k-server problem
![Page 5: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/5.jpg)
k-server problem
![Page 6: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/6.jpg)
k-server problem
![Page 7: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/7.jpg)
k-server problem
![Page 8: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/8.jpg)
k-server problem
![Page 9: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/9.jpg)
k-server problem
………
Greedy does not work,
![Page 10: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/10.jpg)
2-server 3-point problem
![Page 11: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/11.jpg)
2-server 3-point problem
![Page 12: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/12.jpg)
2-server 3-point problem
![Page 13: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/13.jpg)
2-server 3-point problem
![Page 14: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/14.jpg)
2-server 3-point problem
a
b c
Adversary (always malicious): cababacb……Opt: cababacb……
one move per two inputs 2.0CR
Algorithm exists whose CR = 2.0
![Page 15: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/15.jpg)
k-server: Known Facts
• Introduction of the problem [Manasse, McGeoch, Sleator 90]
• Lower bound: k [MMS90]• General upper bound: 2k-1 [Koutsoupias,
Papadimitriou 94]• k-server conjecture
– true for 2-servers, line, trees, fixed k+1 or K+2 points, ……
– still open for 3 server 7 points
![Page 16: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/16.jpg)
Randomized k-server
• Very little is known for general cases• Even for 2-servers (CR=2 for det. case):
– On the line [Bartal, Chrobak, Lamore 98]
– Cross polytope space [Bein et al. 08]– Specific 3 points: Can use LP to derive an
optimal algorithm (but nothing was given about the CR) [Lund, Reingold 94]
– Almost nothing is known about its CR for a general metric space
1551.987
78CR
19
12CR
![Page 17: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/17.jpg)
Randomized 2-server 3-point
a
b c
Adversary is malicious: c……
: 2.0 1.5CR
Select a server (a or b) at random
Adversary’s attempt fails with prob. 0.5
![Page 18: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/18.jpg)
Our Contribution
• For (general) 2-server 3-point problem, we prove that CR < 1.5897.
• Well below 2.0 (=the lower bound for the deterministic case): Superiority of randomization for the server problem
• Our approach is very brute force
![Page 19: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/19.jpg)
The Idea
• We can assume a triangle in the plain wolg.
• For a specific triangle, its algorithm can be given as a (finite) state diagram, which can be derived by LP [LR94]
• Calculation of its CR is not hard.
• Just try many (different shaped) triangles, then…..
![Page 20: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/20.jpg)
111541511154151323
1
C
L
C
L R
11R L
R
R
1 2
![Page 21: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/21.jpg)
The Idea
• We can assume a triangle in the plain wolg.
• For a specific triangle, its algorithm can be given as a (finite) state diagram, which can be derived by LP [LR94]
• Calculation of its CR is not hard.
• Just try many (different shaped) triangles, then…..
![Page 22: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/22.jpg)
Testing Many Triangles
……
CR=1.5 1.53 1.489 1.533
1.536
almost the same but CR=1.89
1.537
1.0
Approximation Lemma
Line Lemma
![Page 23: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/23.jpg)
Approximation Lemma
1.0 1a
1b
1.02a
2b
r r 1 1
2 2
max ,a b
a b
1OPT 2OPT
1 2
1a a
1
1b
11.0
1OPT
12
OPT OPT
2 2 1 1
2 1 1 1
ALG ALG ALG ALG
OPT OPT OPT OPT
Proof
algorithm A
![Page 24: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/24.jpg)
Line Lemma1 n
1n
algorithm s.
1 11
1
1t.
1
1n
n
nn n
CR C
n
1.58191
e
e
![Page 25: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/25.jpg)
Using Approximation Lemma
a1
b
2
( , )a bd
d
a
b
a
b
algorithm :A CR r
:a
A CR ra d
1
1
![Page 26: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/26.jpg)
Using Line Lemma
a1
b
2
( , 1)n n
ab
: nA CR C1 n
1 11
1
11 1
n
n
nn n
C
n
decreasing
:2 n
nA CR C
n
2
![Page 27: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/27.jpg)
a1
b
2
0Proving CR r
0
00 0
0
( )2 n
nf S C r
n
0( ) ii i
i i
af S r r
a d
( , );i i ia b CR r
id
0S
iS
finite set ofsquares(triangles)
Our algorithm = algs for squares + alg for the line
![Page 28: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/28.jpg)
a1
b
2
Proving Better CR
jS ( ) : Maximumjf S
![Page 29: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/29.jpg)
Computer Program
a1
b
2
![Page 30: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/30.jpg)
a1
b
2
Computer Program
![Page 31: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/31.jpg)
Computer Program
a1
b
2+ some heuristics
![Page 32: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/32.jpg)
Some Data
• Conjecture: 1.5819
• Current bound: 1.5897– 13,285 squares, d=1/256~1
• Small area [5/4, 7/4, 1/16]: 1.5784– 69 squares, d=1/64~1/128
• Small area [7/4, 9/4, 1/4]: 1.5825– 555 squares, d=1/2048~1/64
(5/4, 7/4)
1/16
![Page 33: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/33.jpg)
Proof for Line Lemma1 n
1n
algorithm s.
1 11
1
1t.
1
1n
n
nn n
CR C
n
1.58191
e
e
![Page 34: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/34.jpg)
![Page 35: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/35.jpg)
Final Remarks
• Strong conjecture that the real CR is e/(e-1). Analytical proof?
• Extension of our approach to, say, the 4-point case.
• Many very interesting open problems in the online server problem.
![Page 36: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/36.jpg)
Thanks!
![Page 37: Randomized Competitive Analysis for Two Server Problems](https://reader033.vdocuments.mx/reader033/viewer/2022051417/56814a43550346895db75e8a/html5/thumbnails/37.jpg)