2019/07/09 by Ivan Bochkov, Alex Davydow, Bochkov, Ivan +5
Computer Science · #68W27 #Complexity and Algorithms in Graphs #Data Structures and Algorithms (cs.DS) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI) #Optimization and Search Problems
paper · pdf · doi:10.48550/arxiv.1907.04399
openalex publication_date 2019/07/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We consider one of the simplest and best known buffer management architectures: the shared memory switch with multiple output queues and uniform packets. It was one of the first models studied by competitive analysis, with the Longest Queue Drop (LQD) buffer management policy shown to be at least √(2)- and at most 2-competitive; a general lower bound of 4/3 has been proven for all deterministic online algorithms. Closing the gap between √(2) and 2 has remained an open problem in competitive analysis for more than a decade, with only marginal success in reducing the upper bound of 2. In this work, we first present a simplified proof for the √(2) lower bound for LQD and then, using a reduction to the continuous case, improve the general lower bound for all deterministic online algorithms from \frac 43 to √(2). Then, we proceed to improve the lower bound of √(2) specifically for LQD, showing that LQD is at least 1.44546086-competitive. We are able to prove the bound by presenting an explicit construction of the optimal clairvoyant algorithm which then allows for two different ways to prove lower bounds: by direct computer simulations and by proving lower bounds via linear programming. The linear programming approach yields a lower bound for LQD of 1.4427902 (still larger than √(2)).