[論文レビュー] $H$-games played on vertex sets of random graphs

Gledel, Valentin, Oijid, Nacim|arXiv (Cornell University)|Jan 2, 2019

Limits and Structures in Graph Theory参考文献 34被引用数 1

ひとこと要約

本稿では、ランダムグラフ上の頂点に基づく位置ゲームを導入し、プレイヤーが頂点を獲得し、固定されたグラフ H を含む誘導部分グラフに基づいて勝利を競うゲームを提案する。H-ゲームの閾値確率と頂点ラムゼー性の強力な関連を確立し、三角形や森のゲームが一般の H-ゲームとは異なる挙動を示すことが明らかになった。特に、完全グラフ Kk については特定の条件下で鋭い閾値が同定された。

ABSTRACT

Avoidance games are games in which two players claim vertices of a hypergraph and try to avoid some structures. These games have been studied since the introduction of the game of SIM in 1968, but only few complexity results have been found out about them. In 2001, Slany proved some partial results on Avoider-Avoider games complexity, and in 2017 Bonnet et al. proved that short Avoider-Enforcer games are Co-W[1]-hard. More recently, in 2022, Miltzow and Stojaković proved that these games are NP-hard. As these games correspond to the misère version of the well-known Maker-Breaker games, introduced in 1963 and proven PSPACE-complete in 1978, one could expect these games to be PSPACE-complete too, but the question has remained open since then. Here, we prove here that both Avoider-Avoider and Avoider-Enforcer conventions are PSPACE-complete. Using the PSPACE-hardness of Avoider-Enforcer, we provide in appendix proofs that some particular Avoider-Enforcer games also are.

研究の動機と目的

• ボードを G(n,p) の頂点集合とする新しい位置ゲームのクラスを導入・分析すること。
• G(n,p) の頂点集合上で行われる Maker-Breaker、Avoider-Enforcer、Waiter-Client、Client-Waiter ゲームを、誘導部分グラフに固定されたグラフ H が含まれるかどうかに基づく勝利条件とともに研究すること。
• Maker がこれらの H-ゲームに勝つための閾値確率 p を特定し、特に頂点ラムゼー性と関連付けること。
• H が三角形または森である場合と一般の H との間でゲーム行動の構造的差異を調査すること。
• H-ゲームの閾値確率の鋭さ、特に完全グラフ Kk の場合を含めて探求すること。

提案手法

• プレイヤーが交互に頂点を獲得し、その誘導部分グラフに H のコピーが含まれる場合に勝利する、G(n,p) の頂点集合上の H-ゲームを定義する。
• 基準として頂点ラムゼー性を用いる：G(n,p) の任意の r 色分けが単色の H のコピーを含む確率閾値。
• 一般の削除アルゴリズムを用いてグラフを構造的制約のある小さな成分に削減し、残存成分のケースバイケース分析を可能にする。
• 特定のゲームタイプ（例：Client-Waiter、Waiter-Client）を、頂点選択と強制ペアの戦略的ケースバイケース推論により分析する。
• バイアスの単調性とエッジベースの H-ゲームで知られている結果を活用し、頂点設定における類似性と相違点を導出する。
• 確率論的手法と漸近的解析（w.h.p. = 高確率で）を用いて、Kk-ゲームの閾値確率を特定する。

実験結果

リサーチクエスチョン

• RQ1 G(n,p) の頂点集合上で (1:b) Maker-Breaker H-ゲームにおいて、Maker が勝つための閾値確率 p は何か？ また、頂点ラムゼー性とどのように関連するか？
• RQ2 H が三角形または森である場合、一般の H と比較して H-ゲームの挙動はどのように異なるか？
• RQ3 Kk-ゲームにおいて、p = n^{-2/k} で鋭い閾値が得られる H-ゲームは存在するか？ また、すべての k ≥ k0 に対して閾値は鋭いか？
• RQ4 削除アルゴリズムと成分解析を一般化することで、特定のケースに限らずすべての H に対して Breaker の勝利を証明できるか？
• RQ5 頂点ベースの H-ゲームは、閾値挙動や構造的性質の観点から、エッジベースの対応物とどの程度類似しているか？

主な発見

• G(n,p) の頂点集合上での H-ゲームの閾値確率は、頂点ラムゼー性と強く関連しており、G(n,p) の任意の r 色分けが単色の H のコピーを含む。
• H = Kk の場合、(1:b) Maker-Breaker ゲームは p = n^{-2/k} で鋭い閾値を持つ。十分に大きな k に対して、p ≥ (1+ε)n^{-2/k} のとき Maker が高確率で勝ち、p ≤ (1−ε)n^{-2/k} のとき Breaker が勝つ。
• 三角形や森のゲームは、一般の H-ゲームとは異なる挙動を示し、一般の閾値パターンの例外である可能性がある。
• 削除アルゴリズムは、構造的制約のある小さな成分にグラフを効果的に削減でき、特定の H に対して Breaker の勝利を証明するためのケースバイケース分析を可能にした。
• 頂点ベースの H-ゲームは、エッジベースのゲームとは異なり、バイアス単調性を満たさない。なぜなら、より多くの頂点を獲得することは両プレイヤーにとっても悪影響を及ぼす可能性があり、ゲームのダイナミクスを根本的に変えるからである。
• 結果から、頂点ベースの H-ゲームは、閉包性質や単調性の観点から、エッジベースのゲームと類似しない可能性があることが示唆された。