TY - GEN
T1 - Shuffling Cards When You Are of Very Little Brain
T2 - 66th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2025
AU - Menuhin, Boaz
AU - Naor, Moni
N1 - Publisher Copyright: © 2025 IEEE.
PY - 2025/12/14
Y1 - 2025/12/14
N2 - How can we generate a permutation of the numbers 1 through n such that, given the history so far, it is hard to guess the next element? The twist is that the permutation generator (the "Dealer") has limited memory, while the "Guesser"has unlimited memory. With unbounded memory (or even just n bits), the Dealer can generate a truly random permutation, for which the expected number of correct guesses is ln n.Our main results establish tight bounds for the relationship between the guessing probability and the memory m required to generate the permutation. We suggest a method for an m-bit Dealer that operates in constant time per turn and ensures that any Guesser can correctly guess only O(n/m + log m) cards in expectation. The method is fully transparent, requiring no hidden information from the Dealer (i.e., it is "open book"or "whitebox").We further show that this bound is essentially optimal, even if the Dealer is allowed to use secret memory. Specifically, for any m-bit Dealer, there is a (computationally powerful) Guesser that achieves Ω(n/m + log m) correct guesses in expectation. We point out that the assumption that the Guesser is computationally powerful is necessary: under cryptographic assumptions, there exists a low-memory Dealer that can fool any computationally bounded Guesser.Finally, we present an O(n) bit memory Dealer that generates perfectly random permutations and operates in constant time per turn.
AB - How can we generate a permutation of the numbers 1 through n such that, given the history so far, it is hard to guess the next element? The twist is that the permutation generator (the "Dealer") has limited memory, while the "Guesser"has unlimited memory. With unbounded memory (or even just n bits), the Dealer can generate a truly random permutation, for which the expected number of correct guesses is ln n.Our main results establish tight bounds for the relationship between the guessing probability and the memory m required to generate the permutation. We suggest a method for an m-bit Dealer that operates in constant time per turn and ensures that any Guesser can correctly guess only O(n/m + log m) cards in expectation. The method is fully transparent, requiring no hidden information from the Dealer (i.e., it is "open book"or "whitebox").We further show that this bound is essentially optimal, even if the Dealer is allowed to use secret memory. Specifically, for any m-bit Dealer, there is a (computationally powerful) Guesser that achieves Ω(n/m + log m) correct guesses in expectation. We point out that the assumption that the Guesser is computationally powerful is necessary: under cryptographic assumptions, there exists a low-memory Dealer that can fool any computationally bounded Guesser.Finally, we present an O(n) bit memory Dealer that generates perfectly random permutations and operates in constant time per turn.
UR - https://www.scopus.com/pages/publications/105034382175
U2 - 10.1109/FOCS63196.2025.00122
DO - 10.1109/FOCS63196.2025.00122
M3 - Conference contribution
T3 - Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
SP - 2328
EP - 2352
BT - Proceedings - 2025 IEEE 66th Annual Symposium on Foundations of Computer Science, FOCS 2025
PB - IEEE Computer Society
Y2 - 14 December 2025 through 17 December 2025
ER -