[论文解读] The Domination Game: Proving the 3/5 Conjecture on Isolate-Free Forests

Neta Marcus, David Peleg|arXiv (Cornell University)|Mar 3, 2016

Limits and Structures in Graph Theory参考文献 5被引用 4

一句话总结

本文通过提出一种确定性算法证明了无孤立点森林上的支配游戏的3/5猜想，该算法确保先手时Dominator可保证支配集大小不超过$3n/5$，后手时不超过$(3n+2)/5$。该策略基于基于结构化图分解的势函数，确保在最优对弈下游戏长度有界。

ABSTRACT

We analyze the domination game, where two players, Dominator and Staller, construct together a dominating set M in a given graph, by alternately selecting vertices into M. Each move must increase the size of the dominated set. The players have opposing goals: Dominator wishes M to be as small as possible, and Staller has the opposite goal. Kinnersley, West and Zamani conjectured that when both players play optimally on an isolate-free forest, there is a guaranteed upper bound for the size of the dominating set that depends only on the size n of the forest. This bound is 3n/5 when the first player is Dominator, and (3n+2)/5 when the first player is Staller. The conjecture was proved for specific families of forests by Kinnersley et al. and later extended by Bujtas. Here we prove it for all isolate-free forests, by supplying an algorithm for Dominator that guarantees the desired bound.

研究动机与目标

• 解决无孤立点森林上支配游戏的3/5猜想，该猜想提出Dominator先手时游戏支配数至多为$3n/5$，Staller先手时至多为$(3n+2)/5$。
• 开发一种Dominator的确定性策略，确保无论Staller如何应对，都能达到猜想中的上界。
• 形式化并证明一种基于势函数的游戏理论算法的正确性，该势函数可追踪向支配状态推进的进度，同时保持不变量。
• 通过在大小不超过20的所有树及选定的复杂图结构上进行 exhaustive 测试，验证该算法的正确性。

提出的方法

• 作者引入一个势函数$\Psi_t$，用于追踪游戏状态，并确保在一系列移动中保持非负进展。
• 通过将森林结构化分解为“方框”和“组件”，使算法能够对顶点进行分类并指导Dominator的走法选择。
• Dominator的走法被选择为维持或增加势函数，优先选择根方框上的走法，以及能防止后续Staller走法造成负收益的顶点。
• 该算法使用确定性的方框分解过程，并基于组件类型、顶点颜色和子树结构优先选择走法，以确保游戏长度有界。
• 每步计算超额收益，以确保即使Dominator某步走法带来负收益，最多三步的累计收益仍保持非负。
• 证明依赖于对游戏步数的归纳，表明要么势函数增加，要么游戏结束，要么下一步走法保持非负进展。

实验结果

研究问题

• RQ1 3/5猜想是否可对所有无孤立点森林成立，而不仅限于特定子类？
• RQ2 何种策略使Dominator能保证在先手时游戏长度不超过$3n/5$步？
• RQ3 如何设计一个势函数，以确保在Staller对抗性走法下游戏长度有界？
• RQ4 是否存在一种确定性且可实现的算法，能在所有无孤立点森林上实现猜想中的上界？
• RQ5 在多步走法中，何种条件能确保累计收益非负，即使单步走法并非最优？

主要发现

• 3/5猜想在所有无孤立点森林上成立：$\gamma_D(G) \leq 3n/5$ 且 $\gamma_S(G) \leq (3n+2)/5$。
• Dominator的确定性算法确保在先手时游戏最多在$3n/5$步内结束，无论Staller如何应对。
• 该算法在整个游戏中维持一个非负势函数$\Psi_t$，从而保证游戏长度不超过猜想中的上界。
• 多步走法的超额收益从不为负，即使单步Dominator走法带来负收益，最多三步的总和仍保持非负。
• 该算法已通过在所有大小不超过20的树及选定复杂图结构上进行的 exhaustive 测试成功验证。
• 该策略并非在最小化游戏支配数的意义上是最优的，但能以保证的性能实现猜想中的上界。