[论文解读] Weak and Strong k-connectivity games

Asaf Ferber, Dan Hefetz|arXiv (Cornell University)|Mar 15, 2012

Complexity and Algorithms in Graphs参考文献 5被引用 4

一句话总结

该论文证明了Maker可在最多 $\lfloor kn/2\rfloor + 1$ 步内赢得 $K_n$ 上的弱 $k$-顶点连通性游戏，且该结果为最优；同时，Red也可在相同界限内赢得对应的强 $k$-顶点连通性游戏。该策略采用结构化、分阶段的方法，以控制度数并以最少步数确保 $k$-连通性。

ABSTRACT

For a positive integer $k$ we consider the $k$-vertex-connectivity game, played on the edge set of $K_n$, the complete graph on $n$ vertices. We first study the Maker-Breaker version of this game and prove that, for any integer $k \geq 2$ and sufficiently large $n$, Maker has a strategy for winning this game within $\lfloor k n/2 floor + 1$ moves, which is clearly best possible. This answers a question of Hefetz, Krivelevich, Stojaković and Szabó. We then consider the strong $k$-vertex-connectivity game. For every positive integer $k$ and sufficiently large $n$, we describe an explicit first player's winning strategy for this game.

研究动机与目标

• 解决一个开放问题：Maker 是否能在 $kn/2 + c_k$ 步内赢得弱 $k$-顶点连通性游戏，其中常数 $c_k$ 与 $n$ 无关。
• 为强 $k$-顶点连通性游戏提供一种显式、快速的获胜策略，从而扩展已知的弱游戏结果。
• 证明 $\lfloor kn/2\rfloor + 1$ 这一界限对弱与强版本的 $k$-连通性游戏均为紧致（即最优）。
• 探讨弱游戏中快速获胜策略与强游戏中显式获胜策略之间可能存在的关联。

提出的方法

• 为Maker在弱 $k$-连通性游戏中设计一种分阶段策略，将游戏过程划分为若干子阶段，分别聚焦于度数控制与连通性维护。
• 采用基于度数的控制策略：确保Maker的图中，任意顶点的度数不超过 $k$，且在关键阶段仅有两个顶点的度数为 $k-1$。
• 运用策略窃取论证与超图着色技术，排除强游戏中的平局可能，从而确保Red拥有获胜策略。
• 利用定理3.5（关于度数界与图扩张的关系）来保证策略在后期子阶段中的进展。
• 利用 $\Delta(B) \leq k+1$ 与 $|U| = \Omega(n)$ 的事实，确保Red可在策略的最后阶段完成操作。
• 通过证明：若游戏恰好持续 $kn/2 + 1$ 步，则Breaker/Blue的图中必存在某个顶点的度数超过 $k$，从而推出Maker/Red获胜，以此证明策略的最优性。

实验结果

研究问题

• RQ1 对于所有 $k \geq 2$ 及足够大的 $n$，Maker是否总能在 $\lfloor kn/2\rfloor + 1$ 步内赢得 $K_n$ 上的弱 $k$-顶点连通性游戏？
• RQ2 若在弱版本游戏中存在一种快速策略，是否可据此构造出Red在强 $k$-顶点连通性游戏中显式的获胜策略？
• RQ3 Maker在 $K_n$ 的边集中实现 $k$-顶点连通性所需的最少步数是多少？
• RQ4 在弱 $k$-连通性游戏中，能否消除 $kn/2$ 之后额外步数对 $n$ 的依赖性？
• RQ5 弱游戏中是否存在快速获胜策略，是否总能推出对应强游戏中显式获胜策略的存在？

主要发现

• 对于所有 $k \geq 2$ 及足够大的 $n$，Maker可在 $\lfloor kn/2\rfloor + 1$ 步内赢得 $K_n$ 上的弱 $k$-顶点连通性游戏，且该结果为最优。
• 该界限是紧致的，因为 $k$-连通性所需的最小边数决定了Maker无法在少于 $kn/2$ 步内获胜。
• 对于 $k \geq 3$ 及足够大的 $n$，Red可在 $\lfloor kn/2\rfloor + 1$ 步内赢得 $K_n$ 上的强 $k$-顶点连通性游戏，且存在显式获胜策略。
• 该策略确保在关键阶段，Red图中至多有两个顶点的度数为 $k-1$，且通过度数控制可防止Blue阻碍进展。
• 证明表明：若游戏恰好持续 $kn/2 + 1$ 步，则Breaker/Blue的图中必存在一个度数大于 $k$ 的顶点，从而推出Maker/Red获胜。
• 该结果可推广至最小度数为 $k$ 的游戏：Maker与Red均可在 $\lfloor kn/2\rfloor + 1$ 步内获胜，且其策略比直接从 $k$-连通性问题推导出的策略更自然。