TY - GEN
T1 - Minimizing Recourse in an Adaptive Balls and Bins Game
AU - Fine, Adi
AU - Kaplan, Haim
AU - Stemmer, Uri
N1 - Publisher Copyright:
© Adi Fine, Haim Kaplan, and Uri Stemmer.
PY - 2025/6/30
Y1 - 2025/6/30
N2 - We consider a simple load-balancing game between an algorithm and an adaptive adversary. In a simplified version of this game, the adversary observes the assignment of jobs to machines and selects a machine to kill. The algorithm must then restart the jobs from the failed machine on other machines. The adversary repeats this process, observing the new assignment and eliminating another machine, and so on. The adversary aims to force the algorithm to perform many restarts, while we seek a robust algorithm that minimizes restarts regardless of the adversary’s strategy. This game was recently introduced by Bhattacharya et al. for designing a 3-spanner with low recourse against an adaptive adversary. We prove that a simple algorithm, which assigns each job to a randomly chosen live bin, incurs O(n log n) recourse against an adaptive adversary. This enables us to construct a much simpler 3-spanner with a recourse that is smaller by a factor of O(log2 n) compared to the previous construction, without increasing the update time or the size of the spanner. This motivates a careful examination of the range of attacks an adaptive adversary can deploy against simple algorithms before resorting to more complex ones. As our case study demonstrates, this attack space may not be as large as it initially appears, enabling the development of robust algorithms that are both simpler and easier to analyze.
AB - We consider a simple load-balancing game between an algorithm and an adaptive adversary. In a simplified version of this game, the adversary observes the assignment of jobs to machines and selects a machine to kill. The algorithm must then restart the jobs from the failed machine on other machines. The adversary repeats this process, observing the new assignment and eliminating another machine, and so on. The adversary aims to force the algorithm to perform many restarts, while we seek a robust algorithm that minimizes restarts regardless of the adversary’s strategy. This game was recently introduced by Bhattacharya et al. for designing a 3-spanner with low recourse against an adaptive adversary. We prove that a simple algorithm, which assigns each job to a randomly chosen live bin, incurs O(n log n) recourse against an adaptive adversary. This enables us to construct a much simpler 3-spanner with a recourse that is smaller by a factor of O(log2 n) compared to the previous construction, without increasing the update time or the size of the spanner. This motivates a careful examination of the range of attacks an adaptive adversary can deploy against simple algorithms before resorting to more complex ones. As our case study demonstrates, this attack space may not be as large as it initially appears, enabling the development of robust algorithms that are both simpler and easier to analyze.
KW - Adaptive adversary
KW - adversarial robustness
KW - balls-and-bins
KW - dynamic 3-spanner
KW - dynamic graph algorithms
KW - load-balancing game
KW - randomized algorithms
UR - https://www.scopus.com/pages/publications/105009912094
U2 - 10.4230/LIPIcs.ICALP.2025.77
DO - 10.4230/LIPIcs.ICALP.2025.77
M3 - Conference contribution
AN - SCOPUS:105009912094
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025
A2 - Censor-Hillel, Keren
A2 - Grandoni, Fabrizio
A2 - Ouaknine, Joel
A2 - Puppis, Gabriele
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 52nd EATCS International Colloquium on Automata, Languages, and Programming, ICALP 2025
Y2 - 8 July 2025 through 11 July 2025
ER -