We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Data Structures and Algorithms

Title: The Variable-Processor Cup Game

Abstract: The problem of scheduling tasks on $p$ processors so that no task ever gets too far behind is often described as a game with cups and water. In the $p$-processor cup game on $n$ cups, there are two players, a filler and an emptier, that take turns adding and removing water from a set of $n$ cups. In each turn, the filler adds $p$ units of water to the cups, placing at most $1$ unit of water in each cup, and then the emptier selects $p$ cups to remove up to $1$ unit of water from. The emptier's goal is to minimize the backlog, which is the height of the fullest cup.
The $p$-processor cup game has been studied in many different settings, dating back to the late 1960's. All of the past work shares one common assumption: that $p$ is fixed. This paper initiates the study of what happens when the number of available processors $p$ varies over time, resulting in what we call the \emph{variable-processor cup game}.
Remarkably, the optimal bounds for the variable-processor cup game differ dramatically from its classical counterpart. Whereas the $p$-processor cup has optimal backlog $\Theta(\log n)$, the variable-processor game has optimal backlog $\Theta(n)$. Moreover, there is an efficient filling strategy that yields backlog $\Omega(n^{1 - \epsilon})$ in quasi-polynomial time against any deterministic emptying strategy.
We additionally show that straightforward uses of randomization cannot be used to help the emptier. In particular, for any positive constant $\Delta$, and any $\Delta$-greedy-like randomized emptying algorithm $\mathcal{A}$, there is a filling strategy that achieves backlog $\Omega(n^{1 - \epsilon})$ against $\mathcal{A}$ in quasi-polynomial time.
Subjects: Data Structures and Algorithms (cs.DS)
Cite as: arXiv:2012.00127 [cs.DS]
  (or arXiv:2012.00127v2 [cs.DS] for this version)

Submission history

From: William Kuszmaul [view email]
[v1] Mon, 30 Nov 2020 21:58:41 GMT (52kb)
[v2] Tue, 9 Feb 2021 19:13:20 GMT (52kb)

Link back to: arXiv, form interface, contact.