Introduction to the k-Server Problem Marcel Birkner.

Slides:



Advertisements
Similar presentations
Routing and Congestion Problems in General Networks Presented by Jun Zou CAS 744.
Advertisements

1 SOFSEM 2007 Weighted Nearest Neighbor Algorithms for the Graph Exploration Problem on Cycles Eiji Miyano Kyushu Institute of Technology, Japan Joint.
Comments We consider in this topic a large class of related problems that deal with proximity of points in the plane. We will: 1.Define some proximity.
Approximation, Chance and Networks Lecture Notes BISS 2005, Bertinoro March Alessandro Panconesi University La Sapienza of Rome.
Study Group Randomized Algorithms 21 st June 03. Topics Covered Game Tree Evaluation –its expected run time is better than the worst- case complexity.
Online Scheduling with Known Arrival Times Nicholas G Hall (Ohio State University) Marc E Posner (Ohio State University) Chris N Potts (University of Southampton)
Dynamic Wavelength Allocation in All-optical Ring Networks Ori Gerstel and Shay Kutten Proceedings of ICC'97.
Prepared by Ilya Kolchinsky.  n generals, communicating through messengers  some of the generals (up to m) might be traitors  all loyal generals should.
2007/3/6 1 Online Chasing Problems for Regular n-gons Hiroshi Fujiwara* Kazuo Iwama Kouki Yonezawa.
Optimization of Pearl’s Method of Conditioning and Greedy-Like Approximation Algorithm for the Vertex Feedback Set Problem Authors: Ann Becker and Dan.
PCPs and Inapproximability Introduction. My T. Thai 2 Why Approximation Algorithms  Problems that we cannot find an optimal solution.
1 Network Coding: Theory and Practice Apirath Limmanee Jacobs University.
1 Discrete Structures & Algorithms Graphs and Trees: II EECE 320.
June 3, 2015Windows Scheduling Problems for Broadcast System 1 Amotz Bar-Noy, and Richard E. Ladner Presented by Qiaosheng Shi.
Online Algorithms, Linear Programming, and the k-Server Problem Seffi Naor Computer Science Dept. Technion Approximation Algorithms: The Last Decade and.
Online Graph Avoidance Games in Random Graphs Reto Spöhel Diploma Thesis Supervisors: Martin Marciniszyn, Angelika Steger.
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.
1 Ecole Polytechnque, Nov 7, 2007 Scheduling Unit Jobs to Maximize Throughput Jobs:  all have processing time (length) = 1  release time r j  deadline.
Institute of Computer Science University of Wroclaw Page Migration in Dynamic Networks Marcin Bieńkowski Joint work with: Jarek Byrka (Centrum voor Wiskunde.
A general approximation technique for constrained forest problems Michael X. Goemans & David P. Williamson Presented by: Yonatan Elhanani & Yuval Cohen.
1 Traveling Salesman Problem (TSP) Given n £ n positive distance matrix (d ij ) find permutation  on {0,1,2,..,n-1} minimizing  i=0 n-1 d  (i),  (i+1.
Online Algorithms Motivation and Definitions Paging Problem Competitive Analysis Online Load Balancing.
Energy-Efficient Rate Scheduling in Wireless Links A Geometric Approach Yashar Ganjali High Performance Networking Group Stanford University
Dept. of Computer Science Distributed Computing Group Asymptotically Optimal Mobile Ad-Hoc Routing Fabian Kuhn Roger Wattenhofer Aaron Zollinger.
K-Server on Hierarchical Binary Trees
The k-server Problem Study Group: Randomized Algorithm Presented by Ray Lam August 16, 2003.
Randomized Competitive Analysis for Two Server Problems Wolfgang Bein Kazuo Iwama Jun Kawahara.
Evaluation of Algorithms for the List Update Problem Suporn Pongnumkul R. Ravi Kedar Dhamdhere.
Competitive Analysis of Incentive Compatible On-Line Auctions Ron Lavi and Noam Nisan SISL/IST, Cal-Tech Hebrew University.
An Inventory-Location Model: Formulation, Solution Algorithm and Computational Results Mark S. Daskin, Collete R. Coullard and Zuo-Jun Max Shen presented.
Competitive Paging Algorithms Amos Fiat, Richard Karp, Michael Luby, Lyle McGeoch, Daniel Sleator, Neal Young presented by Seth Phillips.
A General Approach to Online Network Optimization Problems Seffi Naor Computer Science Dept. Technion Haifa, Israel Joint work: Noga Alon, Yossi Azar,
1 Krakow, Jan. 9, 2008 Approximation via Doubling Marek Chrobak University of California, Riverside Joint work with Claire Kenyon-Mathieu.
Online Algorithms Lecture notes for lectures given by Dr. Ely Porat, Bar-Ilan University Notes taken by: Navot Akiva Yair Kaufman Raz Lin Ohad Lipsky July.
A polylog competitive algorithm for the k-server problem Nikhil Bansal (Eindhoven) Niv Buchbinder (Open Univ., Israel) Aleksander Madry (MIT) Seffi Naor.
1/24 Algorithms for Generalized Caching Nikhil Bansal IBM Research Niv Buchbinder Open Univ. Israel Seffi Naor Technion.
Copyright © Cengage Learning. All rights reserved. CHAPTER 11 ANALYSIS OF ALGORITHM EFFICIENCY ANALYSIS OF ALGORITHM EFFICIENCY.
Approximation Algorithms for Stochastic Combinatorial Optimization Part I: Multistage problems Anupam Gupta Carnegie Mellon University.
International Graduate School of Dynamic Intelligent Systems, University of Paderborn Improved Algorithms for Dynamic Page Migration Marcin Bieńkowski.
Yossi Azar Tel Aviv University Joint work with Ilan Cohen Serving in the Dark 1.
1 By: MOSES CHARIKAR, CHANDRA CHEKURI, TOMAS FEDER, AND RAJEEV MOTWANI Presented By: Sarah Hegab.
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
Rate-based Data Propagation in Sensor Networks Gurdip Singh and Sandeep Pujar Computing and Information Sciences Sanjoy Das Electrical and Computer Engineering.
Online Paging Algorithm By: Puneet C. Jain Bhaskar C. Chawda Yashu Gupta Supervisor: Dr. Naveen Garg, Dr. Kavitha Telikepalli.
Randomized Online Algorithm for Minimum Metric Bipartite Matching Adam Meyerson UCLA.
Online Algorithms. Introduction An offline algorithm has a full information in advance so it can compute the optimal strategy to maximize its profit (minimize.
1 Online algorithms Typically when we solve problems and design algorithms we assume that we know all the data a priori. However in many practical situations.
Discrete Structures Lecture 12: Trees Ji Yanyan United International College Thanks to Professor Michael Hvidsten.
Minimizing Stall Time in Single Disk Susanne Albers, Naveen Garg, Stefano Leonardi, Carsten Witt Presented by Ruibin Xu.
The Traveling Salesman Problem Over Seventy Years of Research, and a Million in Cash Presented by Vladimir Coxall.
1 Wroclaw University, Sept 18, 2007 Approximation via Doubling Marek Chrobak University of California, Riverside Joint work with Claire Kenyon-Mathieu.
A polylog competitive algorithm for the k-server problem Nikhil Bansal (IBM) Niv Buchbinder (Open Univ.) Aleksander Madry (MIT) Seffi Naor (Technion)
Hierarchical Well-Separated Trees (HST) Edges’ distances are uniform across a level of the tree Stretch  = factor by which distances decrease from root.
A Optimal On-line Algorithm for k Servers on Trees Author : Marek Chrobak Lawrence L. Larmore 報告人:羅正偉.
© The McGraw-Hill Companies, Inc., Chapter 12 On-Line Algorithms.
International Graduate School of Dynamic Intelligent Systems, University of Paderborn Fighting Against Two Adversaries: Page Migration in Dynamic Networks.
11 -1 Chapter 12 On-Line Algorithms On-Line Algorithms On-line algorithms are used to solve on-line problems. The disk scheduling problem The requests.
CSE 5314 – Spring 2004 Homework #1 - Solutions [Soumya Sanyal] Q 1.5: Prove that the algorithm “MTF every-other-access” (i.e. move the item to the front.
Approximation Algorithms based on linear programming.
Dr Nazir A. Zafar Advanced Algorithms Analysis and Design Advanced Algorithms Analysis and Design By Dr. Nazir Ahmad Zafar.
 2004 SDU Uniquely Decodable Code 1.Related Notions 2.Determining UDC 3.Kraft Inequality.
Approximation algorithms
Information Complexity Lower Bounds
Markov Chains and Mixing Times
Exercise Exercise Proof that
Chapter 5. Optimal Matchings
Fair Clustering through Fairlets ( NIPS 2017)
Greedy Algorithms / Caching Problem Yin Tat Lee
Randomized Online Algorithm for Minimum Metric Bipartite Matching
Clustering.
Presentation transcript:

Introduction to the k-Server Problem Marcel Birkner

Introduction to k-server k-server problem was introduced by Manasse, McGeoch and Sleator in 1990 The k-server problem is defined as follows: –we are given k servers that reside in a metric space –every time step, we have to service a request and move one server to the request point –the cost is the total distance traveled by the servers

Vancouver Montreal Toronto 5000 km 500 km 4500 km Metric space, Canada 3 customers in Vancouver, Toronto and Montreal can request a service 2 customer support teams (servers) distance between customers Problem: for each service request r i by a customer send a team right away to solve the problem. The total costs of the distance the teams travel has to be minimal

Vancouver Montreal Toronto 5000 km 500 km 4500 km A B C Start: Teams Yellow and Blue are located in Montreal at the start … B C B C A YellowBlueRequests Not optimal Greedy Criteria: Send Team that is nearest! Greedy Algorithm Travel Costs: 5*10 5 Online algorithm No knowledge about future requests 1000 x C B Service Calls: A C B C B C B C B C B … C B

Vancouver Montreal Toronto 5000 km 500 km 4500 km A B C … B 0C 0B 0C A YellowBlueRequests optimal Optimal Travel Costs: 1*10 4 Offline algorithm Knows the whole sequence at the start Start: Teams Yellow and Blue are located in Montreal at the start 1000 x C B Service Calls: A C B C B C B C B C B … C B

Greedy vs. Randomization (Harmonic) Algorithm Suppose node r makes a request The algorithm works as follows: –Let d i be the distance from server i to the request node r –If any d i = 0, do nothing (server i will serve the request) –Else (Harmonic k-server Algorithm) use server i with probability inversely proportional to d i –Else (Greedy k-server Algorithm) use server that is nearest to r among all servers

Competitive ratio Sleator and Tarjan suggested to compare the solution produced by an online algorithm to the optimal solution of an offline algorithm: –the online algorithm has no knowledge of future requests –the offline algorithm is allowed to know the whole list of requests in advance costALG(p) ≤ c * costOPT(p) + I(C 0 ) Input sequence p, initial configuration C 0, competitive ratio c

Sketch: Proof competitive ratio Potential function Φ describes the entire state of a system –Current locations of the online/offline servers –Φ is an upper bound on the expected amount of work the algorithm can be forced to do if the offline servers do not move to prove competitiveness, the potential function should satisfy certain properties: –First stage: Adversary moves a server to the request r –Second stage: Online Algorithm moves server to r i-1i’i 1 st stage 2 nd stage i th step

Properties of Φ P1: Φ ≥ 0 –the potential function is non-negativ P2: Φ i’ – Φ i-1 ≤ c * cost ADV (r i ) –when the adversary moves a server at the beginning of phase i, the potential function does not increase by more than c times the cost paid by the adversary P3: E[ Φ i – Φ i’ ] ≤ - E[cost HAR (r i )] –when the harmonic algorithm moves a server to the service request r, the expected drop in potential is large enough to cover the expected cost paid by the harmonic in serving r i i-1i’i 1 st stage 2 nd stage i th step cost ADV (r i ) = cost paid by the adversary during the move after request r i cost HAR (r i ) = cost paid by the online Harmonic algorithm during the move after request r i Lemma:If there exists a potential function Φ, satisfying the above properties with respect to some online algorithm HAR, then HAR is c-competitive

P1: Φ ≥ 0 P2: Φ i’ – Φ i-1 ≤ c * cost ADV (r i ) P3: E[ Φ i – Φ i’ ] ≤ - E[ cost HAR (r i ) ] Proof: m – random variable equal to the length of the request sequence p i – outcome of the rest of the coin tosses Induction on i (induction basis i = m-1 for 1≤i ≤m): E pi [ cost i (HAR) ] – C(k) * E pi [ cost i (ADV) ] ≤ E pi [ Φ i-1 – Φ m ] Induction hypothesis for i+1: E pi+1 [ cost i+1 (HAR) ] – C(k) * E pi+1 [ cost i+1 (ADV) ] ≤ E pi+1 [ Φ i – Φ m ] LEMMA

Proof: E pi [ cost i (HAR) ] – C(k) * E pi [ cost i (ADV) ] =E pi [ Z i – C(k) * D i + cost i+1 (HAR) – C(k) * cost i+1 (ADV) ] ≤E pi [ (Φ i’ – Φ i-1 ) – (Φ i’ – Φ i-1 ) ] + E pi [ (Φ i – Φ m ) ] P1: Φ ≥ 0 P2: Φ i’ – Φ i-1 ≤ c * costADV(r i ) P3: E[ Φ i – Φ i’ ] ≤ - E[ costHAR(r i ) ] i i+1 =E pi [ Φ i-1 – Φ m ) ] Hence, we obtain that for the entire request sequence: E [ cost(HAR) ] – C(k) * E[ cost(ADV) ] ≤ E[ Φ 0 – Φ m ]

Previous results Manasse et al. [1990] –for k=2, constructed a deterministic 2-competitive algorithm –Proved no deterministic algorithm can have a competitive ratio less than k Berman et al. [1990] –for k=3 Harmonic has ratio of about Chrobak and Larmore [1992] –for k=2 Harmonic is 3-competitive

5000 km 1000 km 5000 km A B C How to think about the potential functions C C B B C B C A YellowBlueRequests … … BANK $ For every move we put a little extra into the bank for big future requests! 1000 x C B A C B C B C B C B C B … C B Prob[Yellow] return is 20% with the Harmonic algorithm Harmonic is 3-competitive with 2 servers

Literature Bartal, Y. and Grove, E The harmonic k-server algorithm is competitive. J. ACM 47, 1, Jan A. Floratos and R. Boppana, The On-Line {K}-Server Problem, 1997 Marek Chrobak, Lawrence L. Larmore, HARMONIC is a 3–competitive for two servers, Theoretical Computer Science, v.98 n.2, p , 18 May 1992 Amos Fiat, Yuval Rabani, Yiftach Ravid, Competitive k-server algorithms, Journal of Computer and System Sciences, v.48 n.3, p , June 1994 E. F. Grove, The harmonic online K-server algorithm is competitive, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p , May 05-08, 1991, New Orleans, Louisiana, United States Mark S. Manasse, Lyle A. McGeoch, Daniel D. Sleator, Competitive algorithms for server problems, Journal of Algorithms, v.11 n.2, p , Jun Richard Karp,

Thank you for your attention Do you have any questions? Vancouver Montreal Toronto 5000 km 500 km 4500 km

Definition A metric space M = (V,d) consists of a set of points V with a distance function d: V x V R satisfying the following properties: –d(u,v) ≥ 0 for all u, v є V –Reflexivity d(u,v) = 0 iff u = v –Symmetry d(u,v) = d(v,u) for all u, v є V –Triangle inequality d(u,v) + d(v,w) ≥ d(u,w) for all u,v,w є V

Metric Space Completed weighted graph Distance between nodes equals the weight of the edge