[论文解读] Emptying Sets: The Cookie Monster Problem

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

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

一句话总结

本文研究了饼干怪兽问题（Cookie Monster Problem），该问题旨在通过从选定子集移除相等数量的元素，以最少移动次数将一组整数减少至零。研究对 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₁ⁱ} 对。
• 通过选择尚未使用的最小正整数，生成配对 (p₁ⁱ, q₁ⁱ)，使得结果集合不可约，且无法在一步内减少为更小的必败位置。
• 利用差值 dᵢ = q₁ⁱ − p₁ⁱ 确保所有正整数在序列中恰好使用一次。
• 分析 {0,p₀ⁱ,q₀ⁱ} 和 {1,p₁ⁱ,q₁ⁱ} 必败位置对之间的渐近行为与结构相似性，提出关于斜率和有界差值的猜想。

实验结果

研究问题

• RQ1 集合 S 需满足何种条件，才能使 CM(S) 等于 2 或 3？
• RQ2 当集合受到限制（如为等差数列或等比数列）时，如何影响 CM(S) 的取值？
• RQ3 饼干怪兽问题的组合博弈表述中，必败位置的结构特性是什么？
• RQ4 在对应必败位置对之间（如 p₁ⁱ − p₀ⁱ 或 (q₁ⁱ − p₁ⁱ) − (q₀ⁱ − p₀ⁱ)）是否存在一致的模式或有界性？
• RQ5 饼干怪兽问题的组合博弈版本能否被完整刻画？其是否暗示了证明 NP-完全性的路径？

主要发现

• 对于大小为 3 的集合，当且仅当 k₁ + k₂ ≠ k₃ 时，CM(S) = 3；否则 CM(S) = 2。
• 所有大小不超过 7 且 CM(S) = 3 的集合均已完全分类，因为这些集合在 |A| = 3 时是极大的。
• 形式为 {n, n−1, ..., 1} 的等差数列达到下界 CM(S) = ⌈log₂(n+1)⌉。
• 形式为 {2⁰, 2¹, ..., 2ⁿ⁻¹} 的等比数列达到上界 CM(S) = n。
• 前 100 个形如 {1, p₁ⁱ, q₁ⁱ} 的必败位置显示，p₁ⁱ − p₀ⁱ ∈ {−1, 0, 1, 2}，且 (q₁ⁱ − p₁ⁱ) − (q₀ⁱ − p₀ⁱ) ∈ {−4, ..., 3}，表明差值有界。
• 经验数据支持猜想：平均而言，q₁ⁱ/p₁ⁱ ≈ q₀ⁱ/p₀ⁱ，且对应配对之间的差值保持较小，尽管随索引略有增加。