[論文レビュー] Catching a mouse on a tree

Vytautas Gruslys, Arès Méroueh|arXiv (Cornell University)|Feb 23, 2015

Artificial Intelligence in Games参考文献 3被引用数 3

ひとこと要約

本稿は、木グラフ上で見えないネズミを捕らえるために必要な最小のネコの数を研究し、任意の順序 n の木において ⌈(1/2)log₂n⌉ ネコで常にネズミを捕らえられることを証明している。一方で、ある種の順序 n の木に対しては (1/4−ε)log₂n ネコでは不十分であることも示している。主な貢献は、木におけるネコとネズミのゲームの漸近的境界を Θ(log n) に明確にした点である。

ABSTRACT

In this paper we consider a pursuit-evasion game on a graph. A team of cats, which may choose any vertex of the graph at any turn, tries to catch an invisible mouse, which is constrained to moving along the vertices of the graph. Our main focus shall be on trees. We prove that $\lceil (1/2)\log_2(n) ceil$ cats can always catch a mouse on a tree of order $n$ and give a collection of trees where the mouse can avoid being caught by $ (1/4 - o(1))\log_2(n)$ cats.

研究の動機と目的

• 任意の順序 n の木において、見えないネズミを確実に捕らえるために必要な最小のネコの数を特定すること。
• 木におけるネコが勝つための数 h(T) について、先行研究の対数的上界と下界を改善すること。
• 上界 ⌈(1/2)log₂n⌉ とほぼ一致する下界 (1/4−ε)log₂n ネコを示すことで、漸近的境界をタイトにすること。
• 再帰的分解と二進表現を用いて、ネコの数が最大になるような木の構造を分析すること。

提案手法

• 木の中心に基づく再帰的戦略を用い、中心の頂点を削除することで、サイズが ⌈(n−1)/2⌉ 以下の成分に木を分割する。
• 帰納法を適用し、1匹のネコを中心に配置して成分間の移動を遮断し、残りのネコで各部分木を処理することで、⌈log₂n⌉ ネコで十分であることを示す。
• ネズミが1つの頂点集合に制限される二部グラフ上のゲームの変種を導入し、偶奇性を用いてネズミの追跡を可能にする。
• 最悪ケースの木を分析するためのモデルとして二分木構造 B_k を用い、頂点境界と辺の分割を用いてネコとネズミの動きを模倣する。
• 「重要な頂点」を定義し、再帰的成分解析を用いて、ネズミが維持できる安全な位置の数を制限する。
• 木のサイズに関する帰納法を適用し、頂点境界と孤立成分のサイズに関する境界を用いて、ネズミが少ないネコで生存可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の順序 n の木において、ネズミを確実に捕らえるために必要な最小のネコの数は何か？
• RQ2 O(log n) のネコの上界を、(1/2)log₂n のようなタイトな定数係数に改善できるか？
• RQ3 任意の n が十分に大きくても、(1/4−ε)log₂n ネコを避けられる木の族が存在するか？
• RQ4 特に再帰的分解を考慮した場合、木の構造がネコが勝つための数 h(T) にどのように影響するか？
• RQ5 g(n) = max{h(T) : T は順序 n の木} の漸近的成長率は何か？

主な発見

• 本稿は、任意の順序 n の木において ⌈(1/2)log₂n⌉ ネコで常にネズミを捕らえられることを証明し、以前の上界 ⌈log₂n⌉ を改善した。
• 任意の ε > 0 および十分に大きな n に対して、(1/4−ε)log₂n ネコを避けられる木の族を構成し、下界がほぼタイトであることを示した。
• すべての順序 n の木における最大ネコ勝ち数 g(n) の成長率が Θ(log n) であることが確立され、問題の漸近的複雑性が解けた。
• Abramoskaya らの先行研究の下界 c₂log n / log log n を (1/4−ε)log n に大幅に改善し、ギャップを著しく狭めた。
• 再帰的木分解と二分木構造を用いて最悪ケースの回避戦略を模倣し、頂点境界と成分の分離を主な道具として用いた。
• (1/4−ε)log₂n 匹未満のネコでは、偶数ターンにおいてもネズミが常に n 個の重要な頂点を含む位置集合を維持でき、無期限に生存可能であることが証明された。