[論文レビュー] Weak and Strong k-connectivity games

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

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

ひとこと要約

本稿では、Maker が $K_n$ 上の弱い $k$-頂点連結性ゲームに $fl\lfloor kn/2\rfloor + 1$ 手以内に勝利できることを確立しており、これは最適である。同様に、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 が定数 $c_k$（$n$ とは独立）を用いて $kn/2 + c_k$ 手以内に弱い $k$-頂点連結性ゲームに勝利できるかどうかという未解決の問題を解消すること。
• 弱いゲームからの既知の結果を拡張し、強い $k$-頂点連結性ゲームにおける明示的で高速な勝利戦略を提供すること。
• 弱いおよび強い $k$-連結性ゲームの両方において、$fl\lfloor kn/2\rfloor + 1$ がタイトな境界であることを示すこと。
• 弱いゲームにおける高速な勝利戦略と、それらが強いゲームにおける明示的勝利戦略を生成する可能性との関係を調査すること。

提案手法

• 弱い $k$-連結性ゲームにおけるMakerの段階的戦略を設計し、プレーを次数の制御と接続性の維持に焦点を当てたサブステージに分割する。
• 次数に基づく制御を用いる：Maker のグラフにおいて、任意の頂点の次数が $k$ を超えないようにし、重要な段階では高々2つの頂点しか次数 $k-1$ を持たせない。
• 戦略を盗む論法と超グラフ彩色技術を用いて、強いゲームにおける引き分けを排除し、Red が勝利戦略を持つことを保証する。
• 定理 3.5（次数の上限とグラフ拡張性に関するもの）を活用し、戦略の後段階において進行を保証する。
• $\Delta(B) \leq k+1$ および $|U| = \Omega(n)$ の事実を用いて、Red が戦略の最終段階を完了できることを保証する。
• ゲームが正確に $kn/2 + 1$ 手で終了する場合、Breaker/Blue のグラフで次数が $k$ を超える頂点が存在することを示すことで、最適性を証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての $k \geq 2$ および十分に大きな $n$ に対して、Maker は $K_n$ 上の弱い $k$-頂点連結性ゲームに $fl\lfloor kn/2\rfloor + 1$ 手以内に勝利できるか？
• RQ2 弱いバージョンにおける高速な戦略が与えられたとき、Red が強い $k$-頂点連結性ゲームにおいて明示的な勝利戦略を構築することは可能か？
• RQ3 Maker が $K_n$ の辺集合で $k$-頂点連結性を達成するために必要な最小手数は何か？
• RQ4 弱い $k$-連結性ゲームにおいて、$kn/2$ を超える余分な手数の $n$ 依存性を排除することは可能か？
• RQ5 弱いゲームにおける高速な勝利戦略は、常にそれに対応する強いゲームにおける明示的勝利戦略の存在を示唆するのか？

主な発見

• すべての $k \geq 2$ および十分に大きな $n$ に対して、Maker は $K_n$ 上の弱い $k$-頂点連結性ゲームに $fl\lfloor kn/2\rfloor + 1$ 手以内に勝利でき、これは最適である。
• この境界はタイトであり、$k$-連結性に必要な最小辺数の観点から、Maker は $kn/2$ 手以内に勝利できない。
• $k \geq 3$ および十分に大きな $n$ に対して、Red は強い $k$-頂点連結性ゲームにおいて $fl\lfloor kn/2\rfloor + 1$ 手以内に明示的な勝利戦略を持つ。
• 戦略により、重要な段階ではRedのグラフにおいて高々2つの頂点しか次数 $k-1$ を持たず、次数の制御がBlueによる進行の妨害を防ぐ。
• ゲームが正確に $kn/2 + 1$ 手で終了する場合、Breaker/Blue のグラフに次数 $>k$ の頂点が存在することを示すことで、Maker/Red の勝利が保証される。
• この結果は最小次数 $k$ ゲームへも拡張可能である：Maker および Red は $fl\lfloor kn/2\rfloor + 1$ 手以内に勝利でき、$k$-連結性への直接還元よりも自然な戦略が可能である。