[論文レビュー] Characterizations and algorithms for generalized Cops and Robbers games

Anthony Bonato, Gary MacGillivray|arXiv (Cornell University)|Apr 19, 2017

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

ひとこと要約

本稿は、関係構造上の「警察と泥棒」ゲームの一般化されたフレームワークを導入し、追跡者がゲームを固定された最終位置集合へ強制する一様なモデルを定義する。追跡者が必勝戦略を持つための関係的特徴付けを提示し、n頂点グラフ上のk警察ゲームに対して時間計算量O(n^{2k+2})のアルゴリズムを提供するとともに、位置に依存しないゲームにおける頂点削除順序による特徴付けも与える。

ABSTRACT

We propose a definition of generalized Cops and Robbers games where there are two players, the Pursuer and the Evader, who each move via prescribed rules. If the Pursuer can ensure that the game enters into a fixed set of final positions, then the Pursuer wins; otherwise, the Evader wins. A relational characterization of the games where the Pursuer wins is provided. A precise formula is given for the length of the game, along with an algorithm for computing if the Pursuer has a winning strategy whose complexity is a function of the parameters of the game. For games where the position of one player does not affect the available moves of he other, a vertex elimination ordering characterization, analogous to a cop-win ordering, is given for when the Pursuer has a winning strategy.

研究の動機と目的

• 有向グラフ、ハイパーグラフ、その他の関係構造に対応可能な、既存の警察と泥棒ゲームを統一的かつ一般化した形式的フレームワークの構築。
• 一般化された追跡ゲームにおける追跡者の必勝戦略の関係的特徴付けの提供。
• ゲームのパrameterに依存する時間計算量を持つ、追跡者の必勝戦略の存在を決定するための効率的アルゴリズムの開発。
• 位置に依存しない設定における頂点削除順序を用いて、コープ・ウィン順序の概念を一般化されたゲームへ拡張すること。

提案手法

• プレイヤー識別子（自分の番かどうか）を含む状態ペア (p_P, q_E) からなる二部状態有向グラフ D_G を用いて、一般化された警察と泥棒ゲームを定義する。
• 再帰的後退帰納法により、勝者とゲーム長を特定するためのラベル付けシステムを導入する。
• 最適戦略下での最終位置への到達可能性に基づいて、追跡者の必勝戦略の関係的条件を定式化する。
• 各頂点 (p_P, q_E) が最終集合 F に属するか、または後続移動により強制的勝利に導く場合にのみ削除可能な頂点削除順序を、積グラフ R_G において提案する。
• 追跡者が必勝戦略を持つかどうかを決定するための削除可能頂点順序の存在をチェックするアルゴリズムを設計する。
• 時間計算量を |P_P|·|P_E|·f_P(|P_P|)·f_E(|P_E|) として分析し、ここで f_P と f_E はそれぞれの移動グラフにおける最大出次数である。

実験結果

リサーチクエスチョン

• RQ1 追跡者が関係構造上の一般化された追跡ゲームで捕獲を保証できる条件は何か？
• RQ2 ゲーム状態有向グラフ上で、関係論理を用いて追跡者の必勝戦略の存在をどのように特徴付けられるか？
• RQ3 一般化された警察と泥棒ゲームにおいて、追跡者の必勝戦略の存在を決定する計算量的複雑性は何か？
• RQ4 移動集合が独立な非伝統的追跡ゲームに対し、コープ・ウィン順序の概念を一般化できるか？
• RQ5 n頂点グラフ上のk警察ゲームにおいて、必勝戦略の存在を決定するアルゴリズムの時間計算量は何か？

主な発見

• 追跡者が必勝戦略を持つのは、積グラフ R_G に削除可能頂点順序が存在するときであり、かつそのときに限る。これはコープ・ウィン順序の概念を一般化するものである。
• 時間計算量 O(n^{2k+2}) の多項式時間アルゴリズムが、n頂点グラフ上のk警察ゲームにおいて必勝戦略の存在を決定可能である。
• このアルゴリズムは、k警察勝利グラフの識別に関する既知の計算量境界と一致し、この文脈において最適性を確認している。
• 必勝戦略の関係的特徴付けは、コープ・ウィンおよびk警察勝利グラフに対する先行研究を一般化している。
• 位置に依存しないゲームでは、頂点削除順序が必勝戦略の存在と同値な構造的特徴付けを提供する。
• 本フレームワークは、有向グラフ、順序付き集合、ハイパーグラフ、および標準的な警察と泥棒ゲームを超えるその他の関係構造に対しても広く適用可能である。