Title: Winning Mastermind Overwhelmingly on Quantum Computers

Abstract: From the 1970s up to now, Mastermind, a classic two-player game, has attracted plenty of attention, not only from the public as a popular game, but also from the academic community as a scientific issue. Mastermind with n positions and k colors is formally described as: the codemaker privately chooses a secret $s\in [k]^n$, and the coderbreaker want to determine $s$ in as few queries like $f_s(x)$ as possible to the codemaker, where $f_s(x)$ indicates how x is close to s. The complexity of a strategy is measured by the number of queries used. In this work we have a systematic study on quantum strategies for playing Mastermind, obtaining a full characterization of the quantum complexity and optimal quantum algorithms in both non-adaptive and adaptive settings. (i) The quantum complexity is proved to be $\Theta(k)$ in the non-adaptive setting. Two non-adaptive quantum algorithms are constructed for Mastermind with $n$ positions and $k$ colors that returns the secret with certainty: one with $O(k\log k)$-complexity and the other with $O(k)$-complexity. In addition, an algorithm with $O(1)$ queries is constructed for the case $k=2$. The algorithm-design skills in the three algorithms have substantial differences, and may be helpful for solving other problems. (ii) The quantum complexity is proved to be $\Theta(\sqrt{k})$ in the adaptive setting. An optimal adaptive quantum algorithm is constructed that uses $O(\sqrt{k})$ queries and returns the secret with certainty. Our results show that the codebreaker wins greatly more on quantum computers than on classical computers. In the non-adaptive setting, when $k \leq n$ the classical complexity is $\Theta(\frac{n \log k }{\max\{\log(n/k), 1\}})$, and when $k > n$ the current best classical algorithm has complexity $O(k\log k)$. In the adaptive setting, the classical complexity is $\Theta(n\frac{\log k}{\log n} + \frac{k}{n})$.