[논문 리뷰] Chasing Puppies: Mobile Beacon Routing on Closed Curves

Mikkel Abrahamsen, Jeff Erickson외 6명|arXiv (Cornell University)|2021. 01. 01.

Robotic Path Planning Algorithms참고 문헌 19인용 수 2

한 줄 요약

이 논문은 인간이 곡선을 무한한 속도로 달리는 강아지를 항상 따라잡을 수 있음을 증명한다. 강아지는 인간으로부터의 유클리드 거리를 최소화하도록 항상 움직인다. 미약한 매끄러움 조건 또는 다각형 조건 하에서, 인간은 단순한 전진 운동이 실패할 수 있는 전략적 보행 경로를 사용하여 강아지를 성공적으로 재회시킬 수 있다.

ABSTRACT

We solve an open problem posed by Michael Biro at CCCG 2013 that was inspired by his and others' work on beacon-based routing. Consider a human and a puppy on a simple closed curve in the plane. The human can walk along the curve at bounded speed and change direction as desired. The puppy runs with unbounded speed along the curve as long as the Euclidean straight-line distance to the human is decreasing, so that it is always at a point on the curve where the distance is locally minimal. Assuming that the curve is smooth (with some mild genericity constraints) or a simple polygon, we prove that the human can always catch the puppy in finite time.

연구 동기 및 목표

• 2013년 CCCG에서 제기된 열린 문제를 해결한다. 즉, 강아지가 인간으로부터의 유클리드 거리를 최소화하도록 움직일 때 인간이 간단한 폐곡선 상에서 항상 강아지를 따라잡을 수 있는가?
• 간단한 폐곡선 상에서 이동하는 비콘 라우팅의 역학을 분석한다. 특히 강아지의 속도가 무한대이고 인간의 속도가 유한한 경우에 초점을 맞춘다.
• 강아지의 탐욕스러운 거리 최소화 행동에도 불구하고 인간이 강아지를 반드시 만날 수 있는 조건을 설정한다.
• 매끄러운 곡선에서의 분석을 단순 다각형으로 확장하여, 둘 다에서 따라잡는 전략이 존재함을 증명한다.
• 방향 전환의 필요성을 조사하고, 보장된 추적을 위한 무지식 전략에 대한 추측을 제시한다.

제안 방법

• 강아지의 위치가 인간으로부터의 유클리드 거리를 국소적으로 최소화하도록 결정되는 동적 시스템으로 문제를 모델링한다.
• 인간-강아지 시스템의 거동를 분류하기 위해, 흡인도 안에서 '안정적'이고 '예리한' 구성 상태를 정의한다.
• 다각형 경로를 왜곡하여 특이성을 제거한다(유형 1, 2a, 3 제거). 이를 통해 비특이적인 다각형의 분석을 가능하게 한다.
• 흡인도의 토러스 그래프 표현을 사용하여, 왜곡된 다각형 상에서 최단경로를 이용해 전략을 구성한다.
• 연속성과 위상적 추론을 통해, 왜곡된 다각형에서의 전략을 원래 다각형으로 다시 올린다.
• 초기 운동을 통해 임의의 초기 구성 상태를 예리한 구성 상태로 변환할 수 있음을 증명하여 전략의 적용 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 강아지가 인간으로부터의 유클리드 거리를 최소화하도록 움직일 때, 인간은 단순 폐곡선 상에서 항상 강아지를 따라잡을 수 있는가?
• RQ2 별 모양의 경로 예제에서 단일 방향으로의 전진이 실패할 경우, 강아지를 보장적으로 따라잡을 수 있는 전략이 존재하는가?
• RQ3 전략을 O(n) 공간으로 기술할 수 있는가? 즉, 전체 경로가 아니라 방향 전환과 초기 방향만 나열하는 방식으로?
• RQ4 어떤 단순 경로에서나 오직 전진 또는 오직 후진 운동만으로도 강아지를 따라잡을 수 있는가?
• RQ5 결과가 회전수 ±1인 간단하지 않은 곡선, 또는 3차원 곡선과 구멍이 있는 평면 그래프로 확장되는가?

주요 결과

• 매끄러운 단순 폐곡선 상에서는 미약한 일반성 조건 하에서 인간은 항상 강아지를 따라잡을 수 있다.
• 임의의 단순 다각형 상에서는 초기 구성 상태에 관계없이 인간은 항상 강아지를 따라잡을 수 있다.
• 다각형 경로에 대해서는 흡인도의 최단경로를 사용하여 O(n²) 시간 내에 전략을 계산할 수 있다.
• 동일한 시간 복잡도로 인간 또는 강아지의 총 이동 거리를 최소화하도록 전략을 조정할 수 있다.
• 논문은 일반적으로 방향 전환이 필요로 하지 않으며, 한 방향으로 두 번, 그 후 반대 방향으로 두 번 이동하는 것으로 충분할 것이라 추측한다.
• 결과는 회전수가 ±1이 아닌 곡선으로는 확장되지 않으며, 원을 여러 번 도는 곡선에 대해 반례가 존재한다.