[论文解读] On the connectivity Waiter-Client game

Sylwia Antoniuk, Codruut Grosu+1 more|arXiv (Cornell University)|Oct 20, 2015

Game Theory and Applications参考文献 1被引用 4

一句话总结

本文研究了由 $ q+1 $ 条边不相交的生成树构成的图上的连通性 Waiter-Client 游戏，证明当 $ 2 < q+1 < floor (n-1)/2 floor $ 时，存在图使得 Client 总能通过阻止连通性而获胜。该策略依赖于维持边连通性受限的连通分量，利用度数约束和边提供模式，强制形成孤立分量。

ABSTRACT

In this short note we consider a variation of the connectivity Waiter-Client game $WC(n,q,\mathcal{A})$ played on an $n$-vertex graph $G$ which consists of $q+1$ disjoint spanning trees. In this game in each round Waiter offers Client $q+1$ edges of $G$ which have not yet been offered. Client chooses one edge and the remaining $q$ edges are discarded. The aim of Waiter is to force Client to build a connected graph. If this happens Waiter wins. Otherwise Client is the winner. We consider the case where $2 &lt; q+1 &lt; \lfloor \frac{n-1}{2} floor$ and show that for each such $q$ there exists a graph $G$ for which Client has a winning strategy. This result stands in opposition to the case where $G$ consists of just 2 spanning trees or where $G$ is a complete graph, since it has been shown that for such graphs Waiter can always force Client to build a connected graph.

研究动机与目标

• 解决一个开放问题：当底层图是 $ q+1 $ 条边不相交的生成树的并时，Waiter 是否总能在连通性 Waiter-Client 游戏中获胜。
• 识别 Client 能强制获胜的条件，以反驳已知结果中 Waiter 在完全图或 $ q+1 = 2 $ 时获胜的情况。
• 构建显式图族，使 Client 拥有获胜策略，特别是针对 $ n = 3(q+1) $ 的情况，并通过归纳法将该构造推广至更大的 $ n $。
• 分析在度数和连通性约束下，边提供动态与分量隔离策略之间的关系。

提出的方法

• 在包含 $ 3(q+1) $ 个顶点的图 $ G $ 上构造，将其划分为三个大小为 $ q+1 $ 的集合 $ U, V, W $，并确保存在 $ q+1 $ 条边不相交的生成树。
• 设计生成树，使得三个中心顶点 $ u_0, v_0, w_0 $ 构成一个三角形，且在完整图中每个顶点的度数为 $ q+2 $。
• 运用结构化的博弈论观察：若一个连通分量在当前图中最多有 $ q $ 条外部边，则 Client 获胜；若一对孤立顶点各自拥有 $ q+1 $ 条关联边且彼此相邻，则 Client 可通过选择其连接边获胜。
• 通过添加两个新顶点并将其连接至平衡的顶点集合，以归纳方式将构造从 $ n_0 $ 扩展至 $ n_0 + 2 $ 个顶点，同时扩展生成树。
• 确保在每轮中，Waiter 无法通过控制关键子图上的边数迫使 Client 连接关键分量。
• 利用 Nash-Williams 定理确认在 $ K_{3(q+1)} $ 中存在 $ q+1 $ 条边不相交的生成树，为构造提供基础。

实验结果

研究问题

• RQ1 当图是 $ q+1 $ 条边不相交的生成树的并时，Waiter 是否总能在连通性 Waiter-Client 游戏中拥有获胜策略？
• RQ2 对于哪些 $ q+1 $ 和 $ n $ 的取值，Client 可在该类图上阻止连通性？
• RQ3 能否为 $ q+1 > 2 $ 构造出 Client 获胜的策略，特别是在 $ q+1 < \lfloor (n-1)/2 \rfloor $ 的情况下？
• RQ4 图的哪些结构性质（如顶点度数、分量连通性）使得 Client 能够获胜？
• RQ5 是否存在一种通用构造方法，可对任意满足 $ 2 < q+1 < \lfloor (n-1)/2 \rfloor $ 的 $ n $ 和 $ q $ 构造出此类图？

主要发现

• 当 $ 2 < q+1 < \lfloor (n-1)/2 \rfloor $ 时，存在一个 $ n $ 个顶点的图 $ G $，其为 $ q+1 $ 条边不相交的生成树的并，且 Client 拥有获胜策略。
• 该构造依赖于一个子图 $ G' $，其中包含三个顶点 $ u_0, v_0, w_0 $ 构成三角形，且在 $ G $ 中每个顶点的度数为 $ q+2 $，从而使得 Client 能够隔离分量。
• 根据观察 4，若一个分量在当前图中最多有 $ q $ 条外部边，则 Client 获胜。
• 根据观察 5，若一对顶点各自拥有 $ q+1 $ 条关联边且彼此相邻，Client 可通过选择其连接边获胜。
• 构造通过归纳法从 $ n_0 $ 扩展至 $ n_0 + 2 $，方法是添加两个顶点，并利用平衡的顶点集合以保持树的连通性。
• 结果表明，Waiter 并非总能在这些图上获胜，这与完全图或 $ q+1 = 2 $ 情况下的预期相矛盾。