[論文レビュー] Domination games played on line graphs of complete multipartite graphs

Hovhannes G. Tananyan|arXiv (Cornell University)|May 1, 2014

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

ひとこと要約

本稿では、完全多部グラフの線グラフにおける正確なゲーム支配数を決定し、ドミネーター先手とスタラー先手の両方の閉形式式を提供する。両プレイヤーの最適戦略は、完全多部グラフにおける辺支配の構造的解析を用いて確立され、特に2つの最大部分集合の役割が強調されている。ゲーム支配数は頂点数と部分集合のサイズに依存することが示され、重要な結果として、支配数は頂点数と部分集合サイズの組み合わせに依存する。

ABSTRACT

The domination game on a graph $G$ (introduced by B. Brešar, S. Klavžar, D.F. Rall \cite{BKR2010}) consists of two players, Dominator and Staller, who take turns choosing a vertex from $G$ such that whenever a vertex is chosen by either player, at least one additional vertex is dominated. Dominator wishes to dominate the graph in as few steps as possible, and Staller wishes to delay this process as much as possible. The game domination number $γ_{\small g}(G)$ is the number of vertices chosen when Dominator starts the game; when Staller starts, it is denoted by $γ_{\small g}^{\prime }(G).$ In this paper, the domination game on line graph $L\left( K_{\overline{m}} ight) $ of complete multipartite graph $K_{\overline{m}}$ $(\overline{m}\equiv (m_{1},...,m_{n})\in \mathbb{N} ^{n})$ is considered, the exact values for game domination numbers are obtained and optimal strategy for both players is described. Particularly, it is proved that for $m_{1}\leq m_{2}\leq ...\leq m_{n}$ both $γ_{\small g}\left( L\left( K_{\overline{m}} ight) ight) =\min \left\{ \left\lceil \frac{2}{3}\left\vert V\left( K_{\overline{m}} ight) ight\vert ight ceil , ight.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1} ight) ight ceil , ext{ }m_{n-1} ight\} ight\} -1$ when $n\geq 2$ and $γ_{g}^{\prime }(L\left( K_{\overline{m}} ight) )=\min \left\{ \left\lceil \frac{2}{3}\left( \left\vert V(K_{_{\overline{m}}}) ight\vert -2 ight) ight ceil , ight.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1}-1 ight) ight ceil , ext{ }m_{n-1} ight\} ight\} $ when $n\geq 4$.

研究の動機と目的

• 完全多部グラフの線グラフにおけるゲーム支配数の正確な値を特定すること。
• これらのグラフにおける支配ゲームにおけるドミネーターおよびスタラーの最適戦略を特徴付けること。
• ドミネーター先手およびスタラー先手の両方のゲーム支配数に対する閉形式式を確立すること。
• 完全多部グラフにおける辺支配の構造的性質を分析し、タイトな境界を導出すること。
• マッチングと支配解析を通じて、スタラーに対する準グリーディ戦略の最適性を証明すること。

提案手法

• 本稿では完全多部グラフの構造的分解を用い、その線グラフにおける辺支配を分析する。
• 最大独立集合に属する頂点に接続する辺を優先する、スタラーのための準グリーディ戦略を導入する。
• 最大マッチングと頂点カバー解析を組み合わせることで、上界と下界を統合し、ゲーム支配数を導出する。
• 頂点を削除して得られる部分グラフを分析することで再帰的還元を行い、再帰関係を導出する。
• グラフの辺ゲーム支配数がその線グラフの頂点ゲーム支配数に等しいという恒等式を適用する。
• 部分集合サイズの和およびその組み合わせを用いた最大値および上限関数を用いた主要な式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ドミネーターが先手である場合、完全多部グラフの線グラフにおけるゲーム支配数の正確な値は何か？
• RQ2 スタラー先手ゲームの支配数はどのように異なるのか？その値は何かが決定要因となるか？
• RQ3 これらのグラフにおける支配ゲームにおいて、両プレイヤーの最適戦略を形式的に記述可能か？
• RQ4 2つの最大部分集合のサイズがゲーム支配数の決定に果たす役割は何か？
• RQ5 スタラーに対する準グリーディ戦略は最適であり、純粋なグリーディ戦略と比較してどのように異なるか？

主な発見

• 完全多部グラフ $ K_{\bar{m}} $ に対して、$ m_1 \leq \cdots \leq m_n $ かつ $ n \geq 2 $ であるとき、その線グラフのゲーム支配数は $ \gamma_g(L(K_{\bar{m}})) = \min\left\{ \left\lceil \frac{2}{3}|V(K_{\bar{m}})| \right\rceil, \; 2\max\left\{ \left\lceil \frac{1}{2}(m_1+\cdots+m_{n-1}) \right\rceil, \; m_{n-1} \right\} \right\} - 1 $ に等しい。
• n \geq 4 である $ L(K_{\bar{m}}) $ におけるスタラー先手ゲームの支配数は $ \gamma_g'(L(K_{\bar{m}})) = \min\left\{ \left\lceil \frac{2}{3}(|V(K_{\bar{m}})|-2) \right\rceil, \; 2\max\left\{ \left\lceil \frac{1}{2}(m_1+\cdots+m_{n-1}-1) \right\rceil, \; m_{n-1} \right\} \right\} $ に等しい。
• スタラーのための準グリーディ戦略は最適であることが証明され、最大独立集合を優先する純粋なグリーディ戦略を上回る。
• m_{n-1} = m_n のとき、スタラー先手ゲームの数式には $ \mu $ および $ \eta $ を用いた調整が含まれており、2つの最大部分集合の対称性を反映している。
• 結果として、ゲーム支配数はグローバルな頂点数とローカルな部分集合サイズ制約の組み合わせによってタイトに境界づけられていることが示された。
• 本稿では $ \gamma_{e,g}(G) = \gamma_g(L(G)) $ が確認され、線グラフにおける辺支配と頂点支配のゲームの等価性が裏付けられた。