[논문 리뷰] Two-Dimensional Pursuit-Evasion in a Compact Domain with Piecewise Analytic Boundary

Andrew Beveridge, Yiqing Cai|arXiv (Cornell University)|2015. 05. 02.

Guidance and Control Systems참고 문헌 19인용 수 5

한 줄 요약

이 논문은 일련의 사냥개 전략을 사용하여, 모든 유한한 시간 내에 정확한 겹침(정확한 위치 일치)을 달성함으로써, 어떤 컴팩트한 CAT(0) 공간에서도 한 명의 추적자가 회피자를 잡을 수 있음을 입증한다. 2차원 컴팩트 도메인에서 경계가 조각별 해석적이고 임의의 위상 구조를 가진 경우, 세 명의 추적자가 반드시 확보를 보장할 수 있음을 증명하며, 이는 이전의 다각형 환경 결과를 일반적인 조각별 해석적 환경으로 확장한 것이다. 이 경우의 포획 시간은 O(2k·diam(D) + diam(D)²)로 유한하게 제한된다.

ABSTRACT

In a pursuit-evasion game, a team of pursuers attempt to capture an evader. The players alternate turns, move with equal speed, and have full information about the state of the game. We consider the most restictive capture condition: a pursuer must become colocated with the evader to win the game. We prove two general results about pursuit-evasion games in topological spaces. First, we show that one pursuer has a winning strategy in any CAT(0) space under this restrictive capture criterion. This complements a result of Alexander, Bishop and Ghrist, who provide a winning strategy for a game with positive capture radius. Second, we consider the game played in a compact domain in Euclidean two-space with piecewise analytic boundary and arbitrary Euler characteristic. We show that three pursuers always have a winning strategy by extending recent work of Bhadauria, Klein, Isler and Suri from polygonal environments to our more general setting.

연구 동기 및 목표

• 단일 추적자가 엄격한 포획 조건 d(p,e) = 0을 만족하는 컴팩트한 CAT(0) 공간에서 승리 전략을 확립하는 것.
• 이전의 다각형 환경에서의 세 명의 추적자 결과를 더 일반적인 2차원 도메인으로 일반화하는 것, 여기서 경계는 조각별 해석적이다.
• 장애물이 있는 위상적으로 복잡한 환경에서의 추적-도피 역학을 분석하고, 기하학적 및 위상수학적 도구를 사용하는 것.
• 도메인의 직경과 장애물 수에 따라 포획 시간을 유한하게 제한하는 것.
• 다각형이 아닌, 조각별 해석적 경계를 가진 환경로로 사냥개 전략을 확장하면서도 위상 불변성과 유한한 곡률을 유지하는 것.

제안 방법

• CAT(0) 공간에 사냥개 전략을 적용하여, 각 턴마다 추적자가 현재 회피자의 위치로 직접 이동하도록 한다.
• 지오데식 감시: 추적자가 경계 점들 사이의 최단 경로를 보호하여, 회피자의 영역을 점차 줄인다.
• 영역의 위상 분류(유형 1, 2, 3, 1', 0)를 적용하여 회피자의 제한 위치를 추적하고 추적자의 행동을 안내한다.
• 조각별 해석적 경계 조건을 사용하여 곡률을 유한하게 유지하고, 장애물 간 최소 거리가 양수임을 보장한다.
• 보조정리를 사용하여, 새로운 지오데식을 감시하는 것은 회피자를 단순 연결 영역에 갇히게 하거나, 장애물의 위협 수준을 낮춘다는 것을 증명한다.
• 장애물 전환(안전 또는 제거 상태)에 대한 귀납법을 적용하여, 최대 2k라운드 이후에는 회피자가 단순 연결 영역에 갇힌다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 컴팩트한 CAT(0) 공간에서, 완전한 정보와 동일한 속도 조건 하에서 단일 추적자가 정확한 겹침(d(p,e) = 0)을 달성할 수 있는가?
• RQ2 조각별 해석적 경계와 다수의 장애물을 가진 2차원 컴팩트 도메인에서 포획을 보장하기 위해 필요한 최소 추적자 수는 얼마인가?
• RQ3 조각별 해석적 경계를 가진 장애물의 존재는 다각형 환경과 비교해 추적-도피 역학에 어떤 영향을 미치는가?
• RQ4 사냥개 전략은 다각형이 아닌 매끄럽게 둘러싸인 도메인으로 확장 가능할 수 있으며, 이 경우에도 유한한 포획 시간을 유지할 수 있는가?
• RQ5 세 명의 추적자가 임의의 오일러 특성 수를 가진 도메인에서 회피자를 제한하고 포획하기 위해 필요한 위상수학적 및 기하학적 조건은 무엇인가?

주요 결과

• 한 명의 추적자는 사냥개 전략을 사용하여, 컴팩트한 CAT(0) 공간에서 최대 diam(D)²라운드 내에 회피자를 포획하며, 정확한 겹침을 달성한다.
• 세 명의 추적자는 ℝ² 내의 어떤 컴팩트 도메인에서도 조각별 해석적 경계를 가진다 하더라도 반드시 승리 전략을 확보한다. 이는 오일러 특성에 관계없이 성립한다.
• 포획 시간은 O(2k·diam(D) + diam(D)²)로 유한하게 제한되며, 여기서 k는 장애물의 수이고 diam(D)는 도메인의 직경이다.
• 전략은 경계 점들 사이의 최단 지오데식을 감시하는 데 의존하며, 점차적으로 회피자의 영역을 단순 연결 영역으로 줄인다.
• 경계 조건은 유한한 수의 특이점을 보장하고, 곡률는 최대 κ_max 이하이며, 장애물 간 최소 거리는 d_min 이상을 확보한다.
• 모든 k개의 장애물이 안전 또는 제거 상태로 전환된 후, 남은 영역는 단순 연결 영역이 되며, 이에 따라 사냥개 전략을 사용해 유한한 시간 내에 포획이 가능하다.