[論文レビュー] Cops and robber on grids and tori

Fabrizio Luccio, Linda Pagli|arXiv (Cornell University)|Aug 28, 2017

Advanced Graph Theory Research参考文献 20被引用数 7

ひとこと要約

本稿は、2次元グリッドおよび半トーラス、トーラスへの応用を含め、既知のコップと泥棒ゲームの結果を再導出するための新概念—「包囲」（siege）および「シャドウコーン」（shadow-cone）—を導入する。任意の数のコップに対して効率的な捕獲アルゴリズムを提案し、捕獲時間の上限・下限を計算。コップ数を増加させることで、作業指標を用いた分析により、非線形的高速化（超線形的スピードアップ）が発生しうることを示す。不均衡なグリッドやトーラスでは、作業効率が向上することも確認された。

ABSTRACT

This paper is a contribution to the classical cops and robber problem on a graph, directed to two-dimensional grids and toroidal grids. These studies are generally aimed at determining the minimum number of cops needed to capture the robber and proposing algorithms for the capture. We apply some new concepts to propose a new solution to the problem on grids that was already solved under a different approach, and apply these concepts to give efficient algorithms for the capture on toroidal grids. As for grids, we show that two cops suffice even in a semi-torus (i.e. a grid with toroidal closure in one dimension) and three cops are necessary and sufficient in a torus. Then we treat the problem in function of any number k of cops, giving efficient algorithms for grids and tori and computing lower and upper bounds on the capture time. Conversely we determine the minimum value of k needed for any given capture time and study a possible speed-up phenomenon.

研究の動機と目的

• 『包囲』（siege）および『シャドウコーン』（shadow-cone）という新しい概念的ツールを用いて、2次元グリッドにおける既知の結果を再導出し、古典的なコップと泥棒問題に対する新たな視点を提供すること。
• 分析を半トーラス（シリンダーライクなグリッド）および完全トーラスに拡張し、最小コップ数および効率的な捕獲戦略を同定すること。
• コップ数 $ k $ の変化が捕獲時間に与える影響を検討し、任意の $ k $ に対して捕獲時間の下限・上限を計算すること。
• 提案されたアルゴリズムを用いて、所定の時間制限 $ t^* $ 内に捕獲を達成するための最小コップ数を同定すること。
• 作業指標 $ w_k = k \cdot t_k $ を用いたスピードアップ効果を分析し、コップ配置における超線形的スピードアップの可能性を明らかにすること。

提案手法

• コップの有効カバー範囲をモデル化するための『シャドウコーン』概念と、泥棒を取り囲む協働的配置を記述するための『包囲』（siege）概念を導入する。
• これらの概念を用いて、2次元グリッドにおける既知のコップ数2の再導出を行い、半トーラス（コップ数2）およびトーラス（コップ数3）への拡張を実施する。
• 任意の $ k $ コップに対してグリッドおよびトーラスで動作するアルゴリズム TGRID-K を設計し、事前包囲形成段階、包囲確立段階、捕獲段階の3段階に分ける。
• 偶奇およびサイズ比に基づく区分的解析を用いて、捕獲時間 $ t_k $ の上限・下限を導出。$ \lceil n/(k-1) \rceil $ が偶数または奇数の場合に分けて処理する。
• 床関数および天井関数の近似を用いて、捕獲時間 $ t_k $ の閉形式の上限・下限を導出し、きめ細かい境界を得る。
• 作業効率とスピードアップの評価のため、作業指標 $ w_k = k \cdot t_k $ を定義。異なる $ k $ における $ w_k $ の比較により、性能向上を評価する。

実験結果

リサーチクエスチョン

• RQ1 『包囲』（siege）および『シャドウコーン』（shadow-cone）といった新しい幾何的概念を用いて、2次元グリッドにおけるコップ数および捕獲時間を再導出できるか？
• RQ2 半トーラスおよびトーラス上での泥棒を捕獲するための最小コップ数は何か？ また、これらの状況に対して効率的なアルゴリズムを構築できるか？
• RQ3 コップ数 $ k $ の増加に伴い、捕獲時間 $ t_k $ はどのようにスケーリングするか？ グリッドおよびトーラス上でのこの時間のタイトな理論的境界は何か？
• RQ4 固定された捕獲時間 $ t^* $ を想定した場合、提案されたアルゴリズムを用いて捕獲を保証するための最小コップ数は何か？
• RQ5 コップ数を増加させることで、作業指標 $ w_k = k \cdot t_k $ を用いて測定した場合、超線形的スピードアップが発生するか？

主な発見

• 本稿は、新規の『包囲』（siege）および『シャドウコーン』（shadow-cone）概念を用いて、2次元グリッドにおけるコップ数2を再導出し、新たな証明フレームワークを提供した。
• 半トーラスでは最小コップ数が2であり、完全トーラスでは3である。両者に対して効率的な捕獲アルゴリズムが提供された。
• トーラス $ T_{7,15} $ において、4コップでは11ラウンドで捕獲が達成可能であるのに対し、3コップでは15ラウンドを要する。作業指標による効率性の向上が確認され、$ w_3 = 45 $、$ w_4 = 44 $ である。
• グリッド上での $ k $ コップの捕獲時間 $ t_k $ は、$ n $、$ m $、$ k $ を含む区分的表現で境界づけられており、よりきめ細かい近似により、よりタイトな上限が得られた。
• トーラス $ T_{7,15} $ において目標捕獲時間 $ t^* = 12 $ を満たすためのコップ数は、導出された不等式より4〜5の間であることが判明した。
• 作業指標 $ w_k $ の分析により、コップ数を増加させることで超線形的スピードアップが発生しうることが判明した。$ T_{7,15} $ における $ w_4 < w_3 $ の事例がその証左となった。