[論文レビュー] The robber strikes back

Anthony Bonato, Stephen Finbow+6 more|arXiv (Cornell University)|Aug 13, 2013

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

ひとこと要約

本稿では、泥棒がコップがいる頂点に移動することでコップを排除できる『泥棒と攻撃するコップ』というゲームを導入し、捕虜を保証するために必要なコップの最小数 $cc(G)$ を研究する。著者らは、二部グラフに対して $cc(G) \leq c(G) + 2$ を、$K_{1,m}$-フリーで直径2のグラフに対して $cc(G) \leq c(G) + 2m - 2$ を示し、攻撃ルールがコップ数を高める要因として、最大で小さな加法的要因にとどまることを示している。

ABSTRACT

We consider the new game of Cops and Attacking Robbers, which is identical to the usual Cops and Robbers game except that if the robber moves to a vertex containing a single cop, then that cop is removed from the game. We study the minimum number of cops needed to capture a robber on a graph $G$, written $cc(G)$. We give bounds on $cc(G)$ in terms of the cop number of $G$ in the classes of bipartite graphs and diameter two, $K_{1,m}$-free graphs.

研究の動機と目的

• 泥棒がコップがいる頂点に移動することでコップを排除できる、Cops and Robbers の新バージョンにおいて、捕虜を保証するために必要なコップの最小数 $cc(G)$ を研究すること。
• 攻撃ルールがコップ数に与える影響、特に二部グラフや $K_{1,m}$-フリーなグラフといった構造的グラフクラスにおいて理解すること。
• 古典的コップ数 $c(G)$ を用いて $cc(G)$ の上界を確立すること、特に小直径や禁止部分グラフを含むグラフにおいて。
• バックアップコップを用いた戦略を開発し、泥棒が重要な守備を排除することを防ぎ、攻撃ルールがあっても捕虜を保証すること。

提案手法

• 泥棒が1人のコップがいる頂点に移動することでコップを排除できるゲーム『泥棒と攻撃するコップ』を導入し、複数人のコップがいる頂点に移動するとゲーム終了となる。
• $cc(G)$ を捕虜を保証するために必要なコップの最小数として定義し、基礎的な境界を確立：$c(G) \leq cc(G) \leq \min\{2c(G), 2\bar{c}(G), \gamma(G)\}$。
• 二部グラフではシャドウ戦略を用いる：コップは部分集合間の偶奇を維持し、泥棒が攻撃しても捕虜が保証される。
• $K_{1,m}$-フリーで直径2のグラフでは、2つの部隊を配置する：部隊1は標準的なコップ戦略を実行し、部隊2は移動可能なバックアップとして機能し、中心頂点 $x$ を通じた『ジャンプ』により保護を維持する。
• 部隊1のコップが攻撃されないよう、$x$ に $m-1$ 人のバックアップコップを配置し、$K_{1,m}$-フリー性により、泥棒の周囲に複数人のコップが互いに隣接することを保証する。
• コップが $c(G) + 2m - 2$ 人いれば、部隊1のコップへの攻撃は常に部隊2のコップが即座に補足し、勝利戦略が維持されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 泥棒がコップがいる頂点に移動することでコップを排除できる能力が、グラフ全体で捕虜を保証するために必要なコップの最小数に与える影響は何か？
• RQ2 二部グラフなどの構造的グラフクラスにおいて、古典的コップ数 $c(G)$ と新しいパラメータ $cc(G)$ の関係は何か？
• RQ3 攻撃ルール下で $K_{1,m}$-フリーで直径2のグラフのコップ数は有界にできるか？ もしそうなら、最もタイトな境界は何か？
• RQ4 補助コップを用いたバックアップ戦略により、1人のコップが攻撃に対して脆弱になるのを防ぎつつ、泥棒の捕虜を保証できるか？
• RQ5 古典的コップ数に対してわずかな加法的増加で、『泥棒と攻撃するコップ』において勝利戦略を維持することは可能か？

主な発見

• 二部グラフでは、$cc(G) \leq c(G) + 2$ が成り立ち、攻撃ルールがコップ数を最大2人まで増加させることを示している。
• $K_{1,m}$-フリーで直径2のグラフ（$m \geq 3$）では、$cc(G) \leq c(G) + 2m - 2$ が成り立ち、$m$ に対して多項式的依存を示している。
• ゴージェスが5以上のグラフでは $cc(G) \geq \delta(G) + 1$ が成り立ち、古典的結果 $c(G) \geq \delta(G)$ を拡張している。
• 二部グラフにおけるシャドウ戦略により、コップは泥棒と偶奇を保ち、泥棒が攻撃しても捕虜が保証される。
• 『ジャンプ』メカニズムにより、部隊2のコップは中心頂点 $x$ を通じて効率的に再配置され、$x$ に $m-1$ 人のコップが常に配置され、迅速なバックアップが可能になる。
• 戦略により、部隊1のコップが攻撃されることはなく、攻撃の脅威は事前に部隊2のコップが無効化されるため、古典的勝利戦略が維持される。