[論文レビュー] Subgraphs and Colourability of Locatable Graphs

Richard A. B. Johnson, Sebastian Koch|arXiv (Cornell University)|Feb 12, 2014

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

ひとこと要約

この論文は、コップが距離クエリを使用して泥棒を特定できるグラフである「位置特定可能なグラフ」を調査し、一般の位置特定可能なグラフに対して禁止部分グラフまたは誘導部分グラフによる特徴付けが存在しないことを証明する。直径が2以下のグラフについて完全な特徴付けを提示し、すべての位置特定可能なグラフが4色で塗り分け可能であるが、3色で塗り分け可能とは限らないことを示し、非位置特定可能な構造を特定するための「隠れ家グラフ」の概念を導入する。

ABSTRACT

We study a game of pursuit and evasion introduced by Seager in 2012, in which a cop searches the robber from outside the graph, using distance queries. A graph on which the cop wins is called locatable. In her original paper, Seager asked whether there exists a characterisation of the graph property of locatable graphs by either forbidden or forbidden induced subgraphs, both of which we answer in the negative. We then proceed to show that such a characterisation does exist for graphs of diameter at most 2, stating it explicitly, and note that this is not true for higher diameter. Exploring a different direction of topic, we also start research in the direction of colourability of locatable graphs, we also show that every locatable graph is 4-colourable, but not necessarily 3-colourable.

研究の動機と目的

• 位置特定可能なグラフが禁止部分グラフまたは誘導禁止部分グラフによって特徴付け可能かどうかを特定し、シーガーの未解決問題に否定的な答えを与える。
• 直径が2以下の位置特定可能なグラフについて完全な特徴付けを提供し、コップの勝利戦略を保証する構造的制約を同定する。
• 位置特定可能なグラフの彩色可能性を調査し、彩色数の上限を確立し、3色で塗り分け不可能な例を特定する。
• 「隠れ家グラフ」としてのグラフを導入・分析する—これらはコップが勝てない構造を防ぐもので、特に$K_4$または$K_{3,3}$を誘導部分グラフとして含むものである。
• 泥棒戦略の頑健性を検討する。特に、$H$ が隠れ家グラフである場合、$G$ が $H$ を部分グラフとして含んでも、泥棒が常に $H$ の部分グラフに制限して移動できるかどうか。

提案手法

• コップが頂点をクエリし、泥棒の位置までの距離を受信する距離クエリを用いたゲーム理論的分析を用いる。
• 帰納的および構造的議論を用いて、$K_4$ や $K_{3,3}$ を誘導部分グラフとして含むグラフの非位置特定可能性を証明し、このようなグラフを「隠れ家グラフ」と定義する。
• 直径2のグラフにおけるコップの構成的戦略を用い、戦略的な頂点に対して順次クエリを実行することで泥棒の位置を特定する。
• グラフ彩色技術を用いて、すべての位置特定可能なグラフが4色で塗り分け可能であることを示し、コップのクエリ戦略から導かれる構造的制約を活用する。
• ダイヤモンドリングやサンレットといった対称的グラフ族を分析し、最小性および非位置特定可能性を示し、隠れ家グラフの枠組みを支持する。
• 確率的推論を用いて、ランダムな3正則グラフはほとんど確実に非位置特定可能であると示唆し、正の位置特定可能確率を持つ制限された部分族の探索を動機づける。

実験結果

リサーチクエスチョン

• RQ1 位置特定可能なグラフのクラスは、禁止部分グラフまたは誘導禁止部分グラフによって特徴付け可能か？（答え：一般にはいいえ。）
• RQ2 直径が2以下のグラフについて、位置特定可能なグラフの完全な構造的特徴付けは可能か？（答え：本論文で提示されている。）
• RQ3 位置特定可能なグラフの彩色数は何か？（すべて4色で塗り分け可能だが、3色で塗り分け可能とは限らない。）
• RQ4 $H$ が隠れ家グラフである場合、$G$ が $H$ を部分グラフとして含んでも、泥棒は常に $H$ の部分グラフに制限して移動できるか？（未解決問題。）
• RQ5 位置特定可能確率が正であるような3正則グラフの制限された部分族は存在するか？（未解決問題。）

主な発見

• すべての位置特定可能なグラフのクラスに対して、禁止部分グラフまたは誘導部分グラフによる特徴付けは存在しない。これは、シーガーの質問に否定的な答えを与える。
• 直径が2以下の位置特定可能なグラフについて完全な特徴付けが提供され、コップが勝利できるように保証する特定の構造的条件が同定された。
• すべての位置特定可能なグラフは4色で塗り分け可能であるが、3色で塗り分け不可能な位置特定可能なグラフが存在することから、この上限はタイトである。
• $K_4$ や $K_{3,3}$ を誘導部分グラフとして含むグラフは非位置特定可能であり、「隠れ家グラフ」として呼ばれる。このようなグラフを同定する一般的な枠組みが提示された。
• 順序$n$のダイヤモンドリング—各辺がダイヤモンドに置き換えられたサイクル—は最小の隠れ家グラフであり、泥棒はこの部分グラフに制限することで勝利できる。
• ランダムな3正則グラフは漸近的にほとんど確実に非位置特定可能である。これは、正の位置特定可能確率を得るためには3正則グラフの族を制限する必要がある可能性を示唆する。