[論文レビュー] A Vertex and Edge Deletion Game on Graphs

Cormac O’Sullivan|arXiv (Cornell University)|Sep 5, 2017

Artificial Intelligence in Games参考文献 12被引用数 5

ひとこと要約

本稿は、グラフ上でプレイヤーが交互に頂点または辺を削除する公平な頂点・辺削除ゲームを調査する。最後に頂点を削除したプレイヤーが勝利する。KhandhawitとYeの予想を証明し、特に単一の奇サイクルを持つグラフのニム値について、驚くべき規則性を明らかにする。特にホイールグラフとその部分グラフのニム値には、特定の偶奇性および構造的条件のもとで明確なパターンが存在する。

ABSTRACT

See the abstract in the attached pdf.

研究の動機と目的

• 単一の奇サイクルを持つグラフのニム値を、偶奇性およびテレスコープ頂点などの構造的特徴（例えば、テレスコープ頂点）に関連して特定すること。
• KhandhawitとYeの予想を検証すること。これは、単一の奇サイクルと他のサイクルやループを含まない縮約済みグラフにおいて、複数のサイクル頂点の次数が2より大きい場合、ニム値g(G)が偶奇関数φ(G)に等しいという予想である。
• ホイールグラフとその部分グラフのニム値における構造的および組合せ的規則性を調査すること。
• φ(H) = 2 であるホイールの部分グラフHにおいて、勝ちの辺の手があるかどうかを調査し、そのような手が存在するという新たな予想を提示すること。

提案手法

• スプラグ・グリューニー理論を用いてグラフにニム値を割り当て、非交差和のニム加法を活用する。
• 同型な成分が共通の頂点に接続されているグラフにおけるキャンセレーションの概念を適用し、ゲーム状態の簡略化を図る。
• 奇サイクルに接続された木におけるテレスコープ頂点の概念を導入し、ニム値がφ(G)からずれる構造的条件を定義する。
• 計算による列挙とパターン認識を用いて、ファンとホイール部分グラフのニム値を分析し、繰り返される値の分布を同定する。
• 対称性の補題と構造的分解を用いて、複雑なグラフを単純な同型形に還元し、ニム値の計算を容易にする。
• φ(H) = 2 であるホイールの部分グラフにおける辺の手の結果について、広範な計算的証拠に基づいて予想を提示・検証する。

実験結果

リサーチクエスチョン

• RQ1 単一の奇サイクルを持つグラフのニム値が偶奇関数φ(G)に等しくなる構造的条件は何か？
• RQ2 KhandhawitとYeの予想は、単一の奇サイクルを持ち、他のサイクルやループを含まない縮約済みグラフにおいて、2つ以上のサイクル頂点の次数が2より大きい場合、g(G) = φ(G) が成り立つか？
• RQ3 ファンF*nやホイールの部分グラフのニム値に、どのような規則的パターンが存在するか。特にnが奇数および偶数の場合に注目する。
• RQ4 φ(H) = 2 であるホイールの部分グラフHにおいて、常にニム値が0になるような辺の削除が存在するのか、という予想は正しいか？
• RQ5 ニム値は、偶奇性およびテレスコープ頂点やサイクル接続などの構造的特徴に基づいて、単独で決定可能か？

主な発見

• KhandhawitとYeの予想は証明された。単一の奇サイクルを持ち、他のサイクルやループを含まない縮約済みグラフにおいて、2つ以上のサイクル頂点の次数が2より大きい場合、g(G) = φ(G) が成り立つ。
• 単一の頂点で奇サイクルに接続された木からなる縮約済みグラフでは、Gがサイクルである場合g(G) = 0、奇数の次数のテレスコープ頂点が存在する場合g(G) ≥ 4、それ以外の場合はg(G) = φ(G) となる。
• ファンF*nのニム値には強い規則性がある。nが偶数でn ≥ 6のとき、すべての頂点の値は2であるが、次数2の頂点（値4）と中心（値0）を除く。すべての辺の値は3だが、次数2の頂点に近い2つのリム辺を除く（値0）。
• nが奇数でn ≥ 7のとき、F*nのほとんどすべての頂点の値は3であるが、次数2の頂点は値1、それらから距離2のリム頂点は値0である。すべての辺の値は2であり、g(F*n) = 4 となる。
• 計算により予想8.5は支持された。Wnの任意の部分グラフHでφ(H) = 2である場合、g = 0 となるような辺の削除が少なくとも1つ存在するが、非二部グラフでは反例が存在する。
• この予想により、すべてのn ≥ 3に対してg(Wn) = 1であると示唆される。φ = 2 である部分グラフに勝ちの辺の手が存在するため、完全なホイールゲームにおいて応答戦略が可能になる。