[論文レビュー] A new bound for the cops and robbers problem

Alex Scott, Benny Sudakov|arXiv (Cornell University)|Apr 12, 2010

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

ひとこと要約

この論文は、連結なn頂点グラフのコップ数に対する新たな上界を確立し、それが $ n2^{-(1+o(1))\sqrt{\log n}} $ 未満であることを証明している。これは以前の上界を改善するものであり、高径路グラフに対してはパス削除戦略を、低径路ケースに対しては確率的集中を用いたランダムコップ配置の議論を組み合わせることで、従来の結果よりも顕著な非多項式改善を達成している。

ABSTRACT

In this short paper we study the game of cops and robbers, which is played on the vertices of some fixed graph $G$. Cops and a robber are allowed to move along the edges of $G$ and the goal of cops is to capture the robber. The cop number $c(G)$ of $G$ is the minimum number of cops required to win the game. Meyniel conjectured a long time ago that $O(\sqrt{n})$ cops are enough for any connected $G$ on $n$ vertices. Improving several previous results, we prove that the cop number of $n$-vertex graph is at most $n 2^{-(1+o(1))\sqrt{\log n}}$.

研究の動機と目的

• 連結なn頂点グラフのコップ数 $ c(G) $ に対する上界を改善すること。
• Meynielの予想 $ c(G) = O(\sqrt{n}) $ を、より強い非多項式上界を提供することで扱うこと。
• 小径路のグラフに対して、決定的パス制御とランダムコップ配置を組み合わせた新しい戦略を開発すること。
• コップ数が $ n2^{-(1+o(1))\sqrt{\log n}} $ で有界であることを証明し、以前の $ O(n / \log n) $ 上界よりも顕著に改善すること。

提案手法

• 決定的戦略の使用：最も長い最短経路 $ P $ にコップ1体を配置して泥棒のアクセスを遮断し、その後 $ G - P $ で再帰的に処理することで問題サイズを小さくする。
• 直径 $ D \leq 2^{\sqrt{\log n}} / \log^3 n $ のグラフに対しては、$ t+1 $ 個のランダム部分集合 $ \mathcal{C}_1, \dots, \mathcal{C}_{t+1} $ にランダムにコップを配置する。各頂点が独立に確率 $ (\log n)^2 2^{-\sqrt{\log n}} $ で含まれる。
• チェルノフ型の集中不等式を用いて、高確率で使用するコップ総数が $ n(\log n)^3 2^{-\sqrt{\log n}} $ 未満であることを示す。
• コップの移動を模倣するための再帰的集合 $ A_i, D_i $ を定義する：$ D_i $ は $ A_i $ から $ 2^{i-1} $ ステップ以内に到達可能な頂点の集合であり、コップは $ \mathcal{C}_i $ に配置して $ D_i $ をカバーする。
• 重要な主張の使用：任意の小さな集合 $ A $ に対して、$ |B(A, 2^i)| \geq 2^{\sqrt{\log n}} |A| $ ならば、高確率で $ |B(A, 2^i) \cap \mathcal{C}_j| \geq |A| $ が成り立つ。これによりカバーが保証される。
• 直径に基づくケース分割と対数項の漸近的解析を用いて、帰納法によりコップ数が $ f(n) = 2n(\log n)^3 2^{-\sqrt{\log n}} $ で有界であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 n頂点グラフのコップ数は、$ O(n / \log n) $ より顕著に小さい関数で有界にできるか？ 特に $ O(\sqrt{n}) $ に近づけるか？
• RQ2 特に小径路のグラフに対して、コップ数の最良の可能な上界はnの関数としてどのように表せるか？
• RQ3 可視性が完全でない状況下でも、ランダムコップ配置戦略が小径路グラフにおける泥棒の動きを効果的に制御できるか？
• RQ4 パス削除法と確率的技法をどのように組み合わせて、コップ数の上界に対して非多項式改善を達成できるか？
• RQ5 泥棒が見えない状況下でも戦略は有効であるか？ また、繰り返し推測とランダム移動を組み合わせることで、期待時間O(多項式)で泥棒を捕らえることができるか？

主な発見

• 任意の連結なn頂点グラフのコップ数は、$ n2^{-(1+o(1))\sqrt{\log n}} $ 未満である。これは従来の上界よりも顕著に改善されたものである。
• 直径が $ 2^{\sqrt{\log n}} / \log^3 n $ 未満のグラフに対しては、コップ数は $ n(\log n)^3 2^{-\sqrt{\log n}} $ 未満であり、$ t+1 $ 個のランダム部分集合へのランダムコップ配置によって達成される。
• 証明は再帰的戦略に基づく：最も長い最短経路にコップ1体を配置して泥棒をブロックし、残りのグラフで再帰的に処理することで問題サイズを縮小する。
• ランダムコップ戦略により、高確率でコップは $ 2^{i-1} $ ステップ以内に到達可能な泥棒の位置をすべてカバーでき、集中不等式がその根拠となる。
• 帰納的上界 $ f(n) = 2n(\log n)^3 2^{-\sqrt{\log n}} $ が十分にタイトであり、帰納法のステップを閉じられることを示した。
• 見えない泥棒に対しても戦略は有効であり、繰り返し推測とランダム移動を組み合わせることで、期待時間O(多項式)で泥棒を捕らえることができる。