[论文解读] Playing Mastermind With Constant-Size Memory

Carola Doerr, Carola Winzen|arXiv (Cornell University)|Oct 17, 2011

Algorithms and Data Compression参考文献 4被引用 14

一句话总结

本文证明，即使在代码破译者仅能存储有限次先前猜测与答案的限制下，经典 Mastermind 游戏仍可用 Θ(n / log n) 次查询解决。该结果解决了内存受限计算中的一个开放问题，并推翻了关于 OneMax 函数类黑箱复杂性的一个猜想。

ABSTRACT

We analyze the classic board game of Mastermind with n holes and a constant number of colors. The classic result of Chvátal (Combinatorica 3 (1983), 325-329) states that the codebreaker can find the secret code with \\Theta(n / \\log n) questions. We show that this bound remains valid if the codebreaker may only store a constant number of guesses and answers. In addition to an intrinsic interest in this question, our result also disproves a conjecture of Droste, Jansen, and Wegener (Theory of Computing Systems 39 (2006), 525-544) on the memory-restricted black-box complexity of the OneMax function class.

研究动机与目标

• 研究当代码破译者内存受限时，解决 Mastermind 所需的最少查询次数。
• 确定经典 Θ(n / log n) 查询界在常数内存约束下是否依然成立。
• 解决 Droste、Jansen 和 Wegener 关于 OneMax 函数类内存受限黑箱复杂性的猜想。
• 建立内存受限搜索问题中查询效率的理论极限。

提出的方法

• 分析具有 n 个孔洞和常数种颜色的 Mastermind 游戏。
• 运用组合与信息论方法来界定查询复杂度。
• 采用仅保留有限次历史交互的自适应查询策略。
• 以 Chvátal 的经典结果为基础，将其拓展至内存受限场景。
• 通过约化至 OneMax 函数类，将结果与黑箱复杂性理论中的先前工作关联。
• 证明内存限制不会使渐近查询复杂度超过 Θ(n / log n)。

实验结果

研究问题

• RQ1 在常数内存约束下，Mastermind 的 Θ(n / log n) 查询复杂度是否仍可维持？
• RQ2 内存限制是否显著增加解决 Mastermind 所需的查询次数？
• RQ3 Droste、Jansen 和 Wegener 关于 OneMax 黑箱复杂性的猜想在常数内存条件下是否成立？
• RQ4 具有有界内存的自适应查询策略能否在 Mastermind 中实现与无界内存策略相同的渐近效率？

主要发现

• 即使仅使用常数大小的内存，代码破译者仍可用 Θ(n / log n) 次查询解决 Mastermind。
• 经典查询复杂度界在内存限制下依然有效，与预期的代价增加相矛盾。
• 该结果推翻了 Droste、Jansen 和 Wegener 关于 OneMax 函数类内存受限黑箱复杂性的猜想。
• 分析表明，即使在内存严重受限的情况下，信息论效率依然得以保持。
• 研究结果在内存受限的自适应搜索中建立了查询复杂度的紧致界。
• 该工作为组合游戏与黑箱复杂性理论之间建立了新联系。