[論文レビュー] A Quantitative Analysis of the “Lion-Man” Game

Ulrich Kohlenbach, Genaro López-Acedo+1 more|arXiv (Cornell University)|Jan 1, 2019

Guidance and Control Systems被引用数 2

ひとこと要約

本稿は、一様凸有界領域におけるε捕獲基準を用いた離散的ライオンと男の追跡回避ゲームを、論理的および幾何的解析手法を用いて分析する。ライオンが常に勝利することを証明し、ライオンと男の間の距離の収束に対する一様なレートを抽出するとともに、測地的空間における凸性の性質の間の関係を確立する。

ABSTRACT

In this paper we analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. More precisely, we focus on a discrete lion and man game with an $\varepsilon$-capture criterion. We prove that in uniformly convex bounded domains the lion always wins and, using ideas stemming from proof mining, we extract a uniform rate of convergence for the successive distances between the lion and the man. As a byproduct of our analysis, we study the relation among different convexity properties in the setting of geodesic spaces.

研究の動機と目的

• 論理的および幾何的技術を用いて、ε捕獲基準を伴う離散的ライオンとマンのゲームを分析すること。
• 一様凸有界領域においてライオンが常に勝利することを証明すること。
• 証明の抽出法を用いて、ライオンとマンの間の距離の減少に対する一様な収束レートを抽出すること。
• 測地的空間の文脈において、異なる凸性の性質の関係を調査すること。

提案手法

• 証明の抽出法と幾何的解析の相乗効果を活用して、ライオンとマンのゲームを分析すること。
• ε捕獲基準を用いて、離散時間設定におけるライオンとマンの接近度を定義すること。
• 領域の一様凸性を適用して、追跡戦略の収束を保証すること。
• 証明の論理的解析を通じて、ライオンとマンの間の距離の収束に対する一様なレートを導出すること。
• 測地的空間における凸性の性質を分析し、それらの関係を確立すること。
• 一様凸領域の構造を活用して、男の戦略にかかわらずライオンの勝利を保証すること。

実験結果

リサーチクエスチョン

• RQ1 有界領域において、ε捕獲基準を伴う追跡回避ゲームでライオンが常に勝利する条件は何か？
• RQ2 一様凸領域におけるライオンとマンの間の距離の収束に対する一様なレートは何か？
• RQ3 このゲームの文脈において、測地的空間における異なる凸性の性質どうしがどのように関係するか？
• RQ4 証明の抽出法技術は、追跡証明の論理的構造から有効な境界を抽出できるか？
• RQ5 一様凸性は、男の動きにかかわらずライオンの勝利を保証するために果たす役割は何か？

主な発見

• ε捕獲基準の下で、一様凸有界領域におけるライオンとマンの追跡回避ゲームでは、ライオンが常に勝利する。
• 初期位置に依存しない、ライオンとマンの連続する距離の収束に対する一様なレートが抽出された。
• 解析により、領域の幾何構造と追跡における収束速度との間の定量的関連が確立された。
• 測地的空間における異なる凸性の性質が、ゲームのダイナミクスを通じて相互に関連していることが示された。
• 証明の抽出法アプローチにより、非構成的存在証明から有効で一様な境界が得られた。
• 結果から、一様凸性が強い幾何的制御を提供し、ライオンの確実な捕獲を可能にすることが明らかになった。