[論文レビュー] Playing Mastermind With Constant-Size Memory

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

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

ひとこと要約

この論文は、コードブレーカーが過去の推測とその答えを定数個しか記憶できない制限下でも、マスターマインドをΘ(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.

研究の動機と目的

• コードブレーカーの記憶が限られている場合にマスターマインドを解くために必要な最小クエリ数を調査すること。
• コードブレーカーの記憶が限られている場合でも、古典的なΘ(n / log n)のクエリバウンドが依然として成立するかどうかを特定すること。
• Droste, Jansen, および Wegener が提起した、OneMax関数クラスの記憶制限付きブラックボックス複雑度に関する予想を解明すること。
• 記憶制限付き探索問題におけるクエリ効率の理論的限界を確立すること。

提案手法

• n個のスロットと定数個の色をもつマスターマインドを分析する。
• 組合せ論的および情報理論的議論を用いてクエリ複雑度の上限を導出する。
• 過去の相互作用を定数個しか保持しない適応的クエリ戦略を適用する。
• Chvátalの古典的結果を基盤として、それを記憶制限付き設定に拡張する。
• ブラックボックス複雑度分野における先行研究と接続するため、OneMax関数クラスへの還元を実施する。
• 記憶制限があっても、クエリ複雑度の漸近的上限がΘ(n / log n)を超えないことを示す。

実験結果

リサーチクエスチョン

• RQ1 定数記憶量の制限下でも、マスターマインドのΘ(n / log n)のクエリ複雑度は維持可能か？
• RQ2 記憶制限が、マスターマインドを解くために必要なクエリ数を著しく増加させるか？
• RQ3 Droste, Jansen, および Wegener が提起した、OneMaxのブラックボックス複雑度に関する予想は、定数記憶量条件下でも有効か？
• RQ4 記憶量が有界な適応的クエリ戦略は、無制限記憶量戦略と同等の漸近的効率を達成できるか？

主な発見

• コードブレーカーは、定数サイズの記憶しか持てない状況でも、マスターマインドをΘ(n / log n)のクエリで解ける。
• 古典的なクエリ複雑度バウンドは記憶制限下でも有効であり、コスト増加の予想とは対照的である。
• この結果は、Droste, Jansen, および Wegener が提起した、OneMax関数クラスの記憶制限付きブラックボックス複雑度に関する予想を反証する。
• 分析により、記憶が著しく制限されていても、情報理論的効率が保たれていることが示された。
• 記憶制限付き適応的探索におけるクエリ複雑度のタイトなバウンドが確立された。
• 本研究は、組合せゲームとブラックボックス複雑度理論の間の新たな接点を提供する。