How asymmetry helps buffer management: achieving optimal tail size in cup games

DOI10.1145/3406325.3451033MaRDI QIDQ6065249zbMATH OpenFDO

Authors William Kuszmaul

Publication date 14 November 2023

Published in Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2104.05172

zbMATH Keywords

randomized algorithmsload balancingcup gamestail size

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Abstract: The cup game on $n$ cups is a multi-step game with two players, a filler and an emptier. At each step, the filler distributes $1$ unit of water among the cups, and then the emptier selects a single cup to remove (up to) $1$ unit of water from. There are several objective functions that the emptier might wish to minimize. One of the strongest guarantees would be to minimize tail size, which is defined to be the number of cups with fill $2$ or greater. A simple lower-bound construction shows that the optimal tail size for deterministic emptying algorithms is $Theta(n)$, however. We present a simple randomized emptying algorithm that achieves tail size $ildeO(logn)$ with high probability in $n$ for $operatornamepolyn$ steps. Moreover, we show that this is tight up to doubly logarithmic factors. We also extend our results to the multi-processor cup game, achieving tail size $ildeO(logn+p)$ on $p$ processors with high probability in $n$. We show that the dependence on $p$ is near optimal for any emptying algorithm that achieves polynomial-bounded backlog. A natural question is whether our results can be extended to give unending guarantees, which apply to arbitrarily long games. We give a lower bound construction showing that no monotone memoryless emptying algorithm can achieve an unending guarantee on either tail size or the related objective function of backlog. On the other hand, we show that even a very small (i.e., $1/operatornamepolyn$) amount of resource augmentation is sufficient to overcome this barrier.

Cited in

(2)

• Cutting bamboo down to size
• Perpetual maintenance of machines with different urgency requirements

This page was built for publication: How asymmetry helps buffer management: achieving optimal tail size in cup games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6065249)