[論文レビュー] Emptying Sets: The Cookie Monster Problem

Megan Belzner|arXiv (Cornell University)|Apr 28, 2013

Artificial Intelligence in Games参考文献 1被引用数 4

ひとこと要約

この論文は、選択された部分集合から等しい量を削除することで整数の集合をゼロにまで減少させるために必要な最小の手数を求める『クッキー・モンスタープロブレム』を調査する。CM(S) = 2 または 3 である集合を分類し、等差数列、等比数列、フィボナッチ数列などの数列を分析し、問題を組み合わせゲームとしてモデル化し、負けの局面を特定するとともに、最適な手順の系列における構造的パターンを仮説立てる。

ABSTRACT

Given a set of integers $S = \{k_1,\ k_2,...,\ k_n\}$, the Cookie Monster Problem is the problem of making all elements of the set equal 0 in the minimum number of moves. Consider the analogy of cookie jars with distinct numbers of cookies, such that $k_i$ is the number of cookies in the $i$th jar. The "Cookie Monster" wants to eat all the cookies, but at each move he must choose some subset of the jars and eat the same amount from each jar. The \emph{Cookie Monster Number of $S$}, $CM(S)$, is the minimum number of such moves necessary to empty the jars. It has been shown previously that $\lceil \log_2(|S|+1) ceil \leq CM(S) \leq |S|$. In this paper we classify sets by determining what conditions are necessary for $CM(S)$ to equal 2 or 3 and what effect certain restrictions have on $CM(S)$. We also provide an alternative interpretation of the problem in the form of a combinatorial game and analyze the losing positions.

研究の動機と目的

• CM(S) が 2 または 3 に等しいすべての集合を分類すること。
• CM(S) が理論的上限に達するための条件を特定すること、特に小さな集合の場合。
• 等差数列、等比数列、フィボナッチ数列における CM(S) の振る舞いを調査すること。
• クッキー・モンスタープロブレムを組み合わせゲームとして再定式化し、その負けの局面を分析すること。
• 最適な手順の系列における構造的パターンを特定し、さまざまなタイプの負けの局面の間の関係を仮説立てる。

提案手法

• CM(S) を、S が A の部分集合和の集合に含まれるような多重集合 A の最小サイズとして定義する。
• 既知の境界を適用する：⌈log₂(n+1)⌉ ≤ CM(S) ≤ n であり、等号が成立する条件を調査する。
• 組み合わせゲームのバージョンにおける負けの局面を再帰的に構成する。初期状態として {0,1,2} を使い、{1,p₁ⁱ,q₁ⁱ} のペアを構築する。
• 得られた集合が1手でより小さな負けの局面に還元できないように、使用されていない最小の正の整数を選び、{p₁ⁱ, q₁ⁱ} のペアを生成する。
• 差分 dᵢ = q₁ⁱ − p₁ⁱ を用いて、すべての正の整数がシーケンス全体でちょうど一度ずつ使われるように保証する。
• {0,p₀ⁱ,q₀ⁱ} と {1,p₁ⁱ,q₁ⁱ} の負けの局面ペアの漸近的挙動と構造的類似性を分析し、傾きと差分の有界性に関する仮説を提示する。

実験結果

リサーチクエスチョン

• RQ1 CM(S) が 2 または 3 に等しくなるためには、集合 S が満たすべき条件は何か？
• RQ2 集合に制限を加えた場合、たとえば等差数列や等比数列の場合、CM(S) の値にどのような影響を与えるか？
• RQ3 クッキー・モンスタープロブレムの組み合わせゲーム定式化における負けの局面の構造的性質は何か？
• RQ4 対応する負けの局面ペア（例：p₁ⁱ − p₀ⁱ または (q₁ⁱ − p₁ⁱ) − (q₀ⁱ − p₀ⁱ)）の差分に一貫したパターンや有界性があるか？
• RQ5 クッキー・モンスタープロブレムの組み合わせゲーム版は完全に特徴付け可能か？ また、NP完全性の証明への道筋を示唆するか？

主な発見

• サイズ3の集合について、CM(S) = 3 であるための必要十分条件は、k₁ + k₂ ≠ k₃ であること。そうでなければ CM(S) = 2 である。
• サイズが7以下のすべての CM(S) = 3 の集合が完全に分類されており、|A| = 3 の場合、これらの集合は最大である。
• 形 {n, n−1, ..., 1} の等差数列は、下限 CM(S) = ⌈log₂(n+1)⌉ を達成する。
• 形 {2⁰, 2¹, ..., 2ⁿ⁻¹} の等比数列は、上限 CM(S) = n を達成する。
• 形式 {1, p₁ⁱ, q₁ⁱ} の最初の100個の負けの局面において、p₁ⁱ − p₀ⁱ ∈ {−1, 0, 1, 2} であり、(q₁ⁱ − p₁ⁱ) − (q₀ⁱ − p₀ⁱ) ∈ {−4, ..., 3} であることが判明し、差分が有界である可能性を示唆する。
• 経験的データにより仮説が支持される：平均的には q₁ⁱ/p₁ⁱ ≈ q₀ⁱ/p₀ⁱ であり、対応するペア間の差分は小さく保たれるが、インデックスが増加するにつれてわずかに増加する。