[论文解读] 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 一致凸性在确保狮子无论人如何移动都能获胜方面起到什么作用？

主要发现

• 在一致凸有界域中，采用ε捕获准则时，狮子始终能赢得追逃博弈。
• 成功提取了狮子与人之间连续距离的统一收敛速率，且该速率与初始位置无关。
• 分析建立了区域几何与追捕过程中收敛速度之间的定量联系。
• 研究表明，测地空间中的不同凸性性质通过博弈的动力学相互关联。
• 证明挖掘方法成功地从非构造性存在性证明中获得了有效且统一的界。
• 结果表明，一致凸性确保了强有力的几何控制，从而保障了狮子的必然捕获。