[論文レビュー] 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 < \lfloor (n-1)/2 \rfloor $ の場合、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.

研究の動機と目的

• 接続性 Waiter-Client ゲームにおいて、グラフが $ q+1 $ 本の辺に沿った連結な全域木の和集合であるとき、Waiter が常に勝つのかという未解決の問題を解明すること。
• Client が勝利を強制できる条件を同定すること。これは、完全グラフや $ q+1 = 2 $ の場合に Waiter が勝つという既知の結果に対抗するものである。
• $ n = 3(q+1) $ の場合に、Client が勝利戦略を持つ明示的なグラフ族を構築し、これを $ n $ を大きくするにあたり帰納法を用いて拡張すること。
• ゲームにおけるエッジ提供のダイナミクスと、次数および接続性の制約下での成分分離戦略を分析すること。

提案手法

• $ G $ を $ 3(q+1) $ 個の頂点からなるグラフとし、$ U, V, W $ の3つの集合に分割する。各集合のサイズは $ q+1 $ であり、$ q+1 $ 本の辺に沿った連結な全域木を持つ。
• 全域木を設計し、3つの中心頂点 $ u_0, v_0, w_0 $ が三角形を形成し、全グラフにおいて各頂点の次数が $ q+2 $ になるようにする。
• 構造的ゲーム理論的観察を用いる：成分に $ \leq q $ 本の外部エッジがある場合、Client が勝利する。また、$ q+1 $ 本の接続エッジを持つ2つの隣接頂点のペアに対して、Client がそれらを結ぶエッジを選択することで勝利できる。
• 帰納法を用いて、$ n_0 $ 個の頂点から $ n_0 + 2 $ 個の頂点に構成を拡張する。2つの新しい頂点を追加し、バランスの取れた頂点集合へのエッジを用いて全域木を拡張する。
• 各ラウンドで、Waiter が重要な成分を接続させることを防ぐために、特定の部分グラフにおけるエッジ数を制限する。
• Nash-Williams の定理を用いて、$ K_{3(q+1)} $ に $ q+1 $ 本の辺に沿った連結な全域木が存在することを確認し、構成の基盤とする。

実験結果

リサーチクエスチョン

• RQ1 グラフが $ q+1 $ 本の辺に沿った連結な全域木の和集合であるとき、接続性 Waiter-Client ゲームにおいて Waiter は常に勝つ戦略を持つのか？
• RQ2 $ q+1 $ と $ n $ のどの値の組み合わせにおいて、Client がこのようなグラフ上の Waiter-Client ゲームで接続性を防げるのか？
• RQ3 $ q+1 > 2 $ の場合、特に $ q+1 < \lfloor (n-1)/2 \rfloor $ の場合に、Client の勝利戦略を構築できるか？
• RQ4 頂点の次数や成分の接続性といったグラフの構造的性質のうち、Client が勝利を可能にするものは何か？
• RQ5 任意の $ n $ および $ q $ に対して、$ 2 < q+1 < \lfloor (n-1)/2 \rfloor $ を満たすようなグラフの一般構成が可能か？

主な発見

• $ 2 < q+1 < \lfloor (n-1)/2 \rfloor $ の場合、$ q+1 $ 本の辺に沿った連結な全域木の和集合である $ n $ 頂点のグラフ $ G $ が存在し、Client が勝利戦略を持つ。
• 構成は、3つの頂点 $ u_0, v_0, w_0 $ が三角形を形成し、$ G $ において各頂点の次数が $ q+2 $ である部分グラフ $ G' $ に依存している。これにより、Client は成分を孤立化できる。
• Observation 4 により、現在のグラフにおいて成分に $ q $ 本以下の外部エッジがある場合、Client が勝利する。
• Observation 5 で示されるように、各々 $ q+1 $ 本の接続エッジを持つ2つの隣接頂点ペアに対して、Client がそれらを結ぶエッジを選択することで勝利できる。
• 構成は、$ n_0 $ から $ n_0 + 2 $ にまで帰納的に拡張され、2つの頂点を追加し、バランスの取れた頂点集合へのエッジを用いて木の接続性を維持する。
• 結果として、このようなグラフにおいても Waiter が常に勝つとは限らないことが示され、完全グラフや $ q+1 = 2 $ の場合の期待とは対照的である。