[논문 리뷰] Self-Stabilizing Meeting in a Polygon by Anonymous Oblivious Robots.

Giuseppe Antonio Di Luna, Paola Flocchini외 3명|arXiv (Cornell University)|2017. 04. 30.

Optimization and Search Problems참고 문헌 31인용 수 4

한 줄 요약

이 논문은 구멍이 있거나 없는 다각형에서 익명의 무기억 로봇이 만남 문제를 해결하기 위한 자기안정 알고리즘을 제시한다. 다각형의 회전 대칭 차수(order)가 $\sigma$일 때 $k = \sigma + 1$ 대의 로봇으로도 충분함을 증명하고, 둘레의 중심(barycenter)이 구멍에 있지 않은 다각형에 대해서는 최적의 $k=2$ 해법을 제공한다. 이 경우 기하적 위치 조절을 통해 기억 없이도 정보를 인코딩한다.

ABSTRACT

The \emph{Meeting problem} for $k\geq 2$ searchers in a polygon $P$ (possibly with holes) consists in making the searchers move within $P$, according to a distributed algorithm, in such a way that at least two of them eventually come to see each other, regardless of their initial positions. The polygon is initially unknown to the searchers, and its edges obstruct both movement and vision. Depending on the shape of $P$, we minimize the number of searchers $k$ for which the Meeting problem is solvable. Specifically, if $P$ has a rotational symmetry of order $\sigma$ (where $\sigma=1$ corresponds to no rotational symmetry), we prove that $k=\sigma+1$ searchers are sufficient, and the bound is tight. Furthermore, we give an improved algorithm that optimally solves the Meeting problem with $k=2$ searchers in all polygons whose barycenter is not in a hole (which includes the polygons with no holes). Our algorithms are self-stabilizing and can be implemented in a variety of standard models of mobile robots operating in Look-Compute-Move cycles. For instance, if the searchers have memory but are anonymous, asynchronous, and have no agreement on a coordinate system or a notion of clockwise direction, then our algorithms work even if the initial memory contents of the searchers are arbitrary and possibly misleading. Moreover, oblivious searchers can execute our algorithms as well, encoding information by carefully positioning themselves within the polygon. This code is computable with basic arithmetic operations, and each searcher can geometrically construct its own destination point at each cycle using only a compass. The algorithms are self-stabilizing even in such a memoryless model, in the sense that the searchers may be located anywhere in the polygon when the execution begins, and hence the information they initially encode is arbitrary.

연구 동기 및 목표

• 장애물이 있고 시야 범위가 제한된 다각형 $P$에서 $k \geq 2$ 대의 익명의 무기억 로봇이 분산된 방식으로 만남 문제를 해결하기.
• 최소 두 대의 로봇이 최종적으로 만날 수 있도록 보장하기 위해 필요한 로봇 수 $k$를 최소화하기.
• 초기 상태가 임의적이거나 오해의 소지가 있는 경우에도 작동하는 자기안정 알고리즘 설계.
• 기억이 없는 로봇이 자passes를 통해 기하학적 구성만으로 목적지 계산 및 이동을 수행할 수 있도록 하기.
• 둘레의 중심이 구멍에 있지 않은 다각형에서 최적의 성능을 달성하기 위해 두 대의 로봇만을 사용하는 것.

제안 방법

• 다각형의 회전 대칭 차수 $\sigma$를 활용하여, 문제 해결에 필요한 최소 로봇 수 $k = \sigma + 1$ 를 도출한다.
• 무기억 로봇이 공간적 위치를 통해 정보를 인코딩하는 기하적 위치 전략을 설계하여, 지속적인 기억 없이도 계산이 가능하도록 한다.
• 각 로봇이 현재 위치와 다각형 기하학적 구조를 기반으로 다음 이동 위치를 계산할 수 있도록 컴passes(자 passing)만을 사용한 구성 기반 알고리즘을 적용한다.
• 초기 구성이 임의적이거나 오해의 소지가 있는 경우에도 알고리즘이 안정적으로 작동하도록 자기안정성을 확보한다.
• 둘레의 중심 기반 기준을 적용하여 $k=2$ 로봇으로도 충분한 다각형을 식별하고, 해당 경우에 특화된 알고리즘을 설계한다.
• 표준 Look-Compute-Move 모델에서 알고리즘을 수학적으로 형식화하여, 이방향성, 익명성, 기억 없음 조건을 만족시키며 공유된 좌표계나 시계방향 정의 없이도 작동 가능하도록 한다.

실험 결과

연구 질문

• RQ1 다각형의 회전 대칭 차수가 $\sigma$일 때, 만남 문제를 보장하기 위해 필요한 익명의 무기억 로봇의 최소 수는 얼마인가?
• RQ2 구멍이 없거나 둔절의 중심이 구멍에 있지 않은 다각형에서는 두 대의 로봇만으로도 만남 문제를 해결할 수 있는가?
• RQ3 기억이 없는 무기역 로봇은 다각형 환경에서 자기안정적으로 정보를 계산하고 이동 결정을 내릴 수 있는가?
• RQ4 어떤 기하학적 구성 조건에서 로봇은 공유된 좌표계 없이도 컴пас 기반의 구성만으로 만남을 달성할 수 있는가?
• RQ5 다각형의 기하학적 특성(예: 둔절의 중심 위치, 대칭성 등)이 최적의 로봇 수와 자기안정적 행동을 가능하게 하는 조건는 무엇인가?

주요 결과

• 다각형의 회전 대칭 차수가 $\sigma$일 경우, $k = \sigma + 1$ 대의 로봇이 만남 문제 해결에 충분하고 필수적이다.
• 둘레의 중심이 구멍에 있지 않은 다각형에서는 둘레의 중심이 구멍에 있지 않은 다각형에서는 $k = 2$ 대의 로봇으로도 만남 문제를 최적으로 해결할 수 있다.
• 제안된 알고리즘은 자기안정적이다. 초기 위치나 오해의 소지가 있는 초기 기억 상태에서 시작하더라도 정상적으로 작동한다.
• 무기역 로봇은 기하적 위치 조절을 통해 정보를 인코딩하고, 컴пас 기반의 구성만으로 목적지를 계산하여 알고리즘을 실행할 수 있다.
• 이 알고리즘은 이방향성, 익명성, 기억 없음 조건을 만족하는 Look-Compute-Move 모델에서 강건하게 작동하며, 공유된 좌표계나 시계방향 정의가 필요로 하지 않는다.
• 알고리즘은 계산적으로 경량이며, 기본 산술 연산과 기하학적 구성만을 기반으로 하므로 표준 로봇 모델에서 쉽게 구현할 수 있다.