[论文解读] The 3/5-conjecture for weakly $S(K_{1,3})$-free forests

Simon Schmidt|arXiv (Cornell University)|Jul 10, 2015

Advanced Graph Theory Research参考文献 6被引用 4

一句话总结

本文通过引入一种改进的贪心策略——'破除$P_5$'——证明了弱$S(K_{1,3})$-自由森林上支配游戏的3/5-猜想。该策略扩展了Bujtás原始方法。作者证明，对于具有$n$个顶点的此类森林，D-游戏支配数满足$\gamma_g(F) \leq \frac{3n}{5}$，S-游戏支配数满足$\gamma_g'(F) \leq \frac{3n+2}{5}$，从而将猜想的适用范围扩展至包含距离4处有叶子的森林之外的更广类别的森林。

ABSTRACT

The $3/5$-conjecture for the domination game states that the game domination numbers of an isolate-free graph $G$ on $n$ vertices are bounded as follows: $γ_g(G)\leq \frac{3n}5 $ and $γ_g'(G)\leq \frac{3n+2}5 $. Recent progress have been done on the subject and the conjecture is now proved for graphs with minimum degree at least $2$. One powerful tool, introduced by Bujtás is the so-called greedy strategy for \D. In particular, using this strategy, she has proved the conjecture for isolate-free forests without leafs at distance $4$. In this paper, we improve this strategy to extend the result to the larger class of weakly $S(K_{1,3})$-free forests, where a weakly $S(K_{1,3})$-free forest $F$ is an isolate-free forest without induced $S(K_{1,3})$, whose leafs are leafs of $F$ as well.

研究动机与目标

• 将支配游戏的3/5-猜想扩展至包含$P_5$路径或距离4处有叶子的森林，前提是其不包含诱导的$S(K_{1,3})$子图。
• 引入并形式化弱$S(K_{1,3})$-自由森林的概念，即排除其叶子在原森林中也是叶子的诱导$S(K_{1,3})$子图的森林。
• 开发并应用一种改进的贪心策略——'破除$P_5$'——以改进Bujtás为支配者在支配游戏中提出的原始贪心策略。
• 证明弱$S(K_{1,3})$-自由森林上D-游戏与S-游戏支配数的紧致上界。

提出的方法

• 引入一种三色顶点着色系统（白色、蓝色、红色），以追踪支配状态，并根据邻域支配情况分配顶点值。
• 通过值函数$K_k$定义加权游戏状态，用于追踪每回合后顶点值的总和，同时对$P_5$子树和突出顶点进行调整。
• 实施一种改进的贪心策略——'破除$P_5$'——优先选择可防止$P_5$路径形成并控制关键中心积累的移动。
• 使用归纳不变量——陈述$I_k$、$II_k$和$III_k$——以在游戏各阶段维持对值函数和支配进展的控制。
• 分别将该策略应用于D-游戏和S-游戏，通过引入第0阶段并调整初始值界，以应对Staller的先手移动。
• 证明总游戏长度被限制在$\frac{3n - e_1 - e^{**} + c^{**}}{5}$以内，并表明$c^{**} \leq e^{**}$或$c^{**} \leq e^{**} + e_1 + 2$，具体取决于游戏类型，从而得出最终的上界。

实验结果

研究问题

• RQ1 支配游戏的3/5-猜想能否扩展至包含$P_5$路径或距离4处有叶子的森林，只要其避免诱导的$S(K_{1,3})$子图？
• RQ2 Bujtás为支配者设计的贪心策略应如何改进，以处理更复杂的森林结构，同时保持支配效率？
• RQ3 森林的何种结构特性——特别是弱$S(K_{1,3})$-自由森林——能确保尽管存在某些路径结构，3/5的上界仍然成立？
• RQ4 在弱$S(K_{1,3})$-自由森林中，S-游戏支配数相较于D-游戏支配数的超出程度如何？该超出是否可被界定为$\frac{3n+2}{5}$？
• RQ5 '破除$P_5$'策略是否足以维持所需的不变量，并确保两种游戏类型均在猜想的界限内结束？

主要发现

• 任意具有$n$个顶点的弱$S(K_{1,3})$-自由森林$F$的D-游戏支配数满足$\gamma_g(F) \leq \frac{3n}{5}$，从而证实了该类森林的3/5-猜想。
• 此类森林的S-游戏支配数满足$\gamma_g'(F) \leq \frac{3n+2}{5}$，与猜想的上界一致。
• 上界是紧致的：极端例子（如图2中的某些树）在D-游戏和S-游戏中均达到等号。
• '破除$P_5$'策略通过控制$P_5$子树的形成和关键中心的积累，成功扩展了Bujtás的贪心方法。
• 证明表明，D-游戏中$c^{**} \leq e^{**}$，S-游戏中$c^{**} \leq e^{**} + e_1 + 2$，二者共同推出最终的上界。
• 弱$S(K_{1,3})$-自由森林类严格扩展了此前研究的无距离4叶子的森林类，从而扩大了3/5-猜想的适用范围。