[논문 리뷰] Optimal and Resilient Pheromone Utilization in Ant Foraging

Bampas, Evangelos, Beauquier, Joffroy외 2명|arXiv (Cornell University)|2015. 07. 02.

Optimization and Search Problems참고 문헌 7인용 수 1

한 줄 요약

이 논문은 2차원 격자에서 거리 D가 알려지지 않은 곳에 있는 보물을 찾기 위해 k개의 동일한 개미가 사용하는 최적이고 고장 내성인 페로몬 기반의 번식 알고리즘을 제시한다. 유한 상태 기계(FSM) 개미의 경우 Ω(D) 페로몬의 날카로운 하한을 확립하고, 터미네이터 머신(TM) 개미의 경우 Ω(k)의 하한을 도출한다. 또한 최소한의 페로몬 소비로 최적의 O(D + D²/k) 실행 시간을 달성하는 알고리즘을 제공하며, 알려지지 않은 정지 고장(fail-stop faults) 상황에서도 성능을 유지한다.

ABSTRACT

In the treasure hunt problem, a team of mobile agents need to locate a single treasure that is hidden in their environment. We consider the problem in the discrete setting of an oriented infinite rectangular grid, where agents are modeled as synchronous identical deterministic time-limited finite-state automata, originating at a rate of one agent per round from the origin. Agents perish τ rounds after their creation, where τ ≥ 1 is a parameter of the model. An algorithm solves the treasure hunt problem if every grid position at distance τ or less from the origin is visited by at least one agent. Agents may communicate only by leaving indistinguishable traces (pheromone) on the nodes of the grid, which can be sensed by agents in adjacent nodes and thus modify their behavior. The novelty of our approach is that, in contrast to existing literature that uses permanent pheromone markers, we assume that pheromone traces evaporate over μ rounds from the moment they were placed on a node, where μ ≥ 1 is another parameter of the model. We look for uniform algorithms that solve the problem without knowledge of the parameter values, and we investigate the implications of this very weak communication mechanism to the treasure hunt problem. We show that, if pheromone persists for at least two rounds (μ ≥ 2), then there exists a treasure hunt algorithm for all values of agent lifetime. We also develop a more sophisticated algorithm that works for all values of μ, hence also for the fastest possible pheromone evaporation of μ = 1, but only if agent lifetime is at least 16.

연구 동기 및 목표

• 2차원 격자에서 숨겨진 보물을 찾기 위해 결정론적 개미 군집이 필요한 최소 페로몬 수를 규명하는 것.
• 동기 및 异기 모델 모두에서 최적의 실행 시간을 달성하는 효율적인 페로몬 기반 탐색 알고리즘을 설계하는 것.
• 알려지지 않은 수의 정지 고장에 저항할 수 있는 고장 내성 솔루션을 제공하면서도 최소한의 페로몬 소비를 유지하는 것.
• 분산 탐색에서 계산 능력(FSM 대비 TM)과 페로몬 소비 간의 상호 교환 관계를 분석하는 것.
• 다양한 계산 모델과 고장 조건 하에서 페로몬 소비의 날카로운 이론적 하한을 설정하는 것.

제안 방법

• 동일한 이동 가능한 에이전트(개미) 간의 분산 환경에서 통신을 가능하게 하기 위해 페로몬 방출 및 감지 기반의 방법을 사용한다.
• 북쪽 방향선에 페로몬을 이용한 이름 재할당 프로토콜을 구현하여 고유한 ID를 할당하고 총 개미 수를 추정함으로써 탐색 영역을 정적 분할할 수 있도록 한다.
• FSM 개미의 경우, 페로몬을 방출하는 것을 핵심 지점에 한정시켜 소비를 최소화하면서도 완전한 커버리지 보장을 한다.
• TM 개미의 경우, 페로몬 기반의 ID 할당과 계층 기반 탐색 전략을 사용하여 O(k) 페로몬 소비로 최적의 실행 시간을 달성한다.
• 생존하는 개미들이 고장난 동료를 감지하고 총 개미 수의 업데이트된 추정치를 기반으로 적응할 수 있도록 고장 내성 기능을 통합한다.
• 각 개미가 할당된 ID와 총 개미 수를 기반으로 계층을 탐색하는 계층적 탐색 전략을 사용하여 겹침이 없고 완전한 커버리지가 보장되도록 한다.

실험 결과

연구 질문

• RQ1 k개의 FSM 개미가 거리 D에 있는 보물을 결정론적으로 찾기 위해 필요한 최소 페로몬 수는 얼마인가요?
• RQ2 동기 및 이방 모델 모두에서 최소한의 페로몬 소비로 최적의 O(D + D²/k) 실행 시간을 달성할 수 있는가요?
• RQ3 알려지지 않은 수의 정지 고장에 저항할 수 있도록 페로몬 기반 알고리즘을 어떻게 설계할 수 있으며, 이때 페로몬 비용이 증가하지 않도록 할 수 있는가요?
• RQ4 개미가 터미네이터 머신(TM)으로 모델링될 경우, 페로몬 소비의 하한은 얼마인가요?
• RQ5 실행 시간 측면에서 알려진 하한과 상한 사이에 격차가 존재하는가요? (고장 내성 알고리즘의 경우)

주요 결과

• FSM 기반 개미의 경우, 개미 수 k에 관계없이 항상 Ω(D) 페로몬의 날카로운 하한이 확립된다.
• TM 기반 개미의 경우, 계산 능력이 더 뛰어나지만도 Ω(k) 페로몬의 하한으로 증가한다.
• 제안된 FSM 알고리즘은 오직 O(D) 페로몬을 사용하면서도 최적의 O(D + D²/k) 실행 시간을 달성하며, 하한과 정확히 일치한다.
• 고장 내성 FSM 알고리즘은 f개의 개미가 정지 고장할 경우에도 O(D + D²/(k−f) + Df) 라운드 내에 종료되며, O(D) 페로몬을 사용한다.
• TM 알고리즘은 O(k) 페로몬 소비로 최적의 O(D + D²/k) 실행 시간을 달성하며, 이 모델의 이론적 하한과 정확히 일치한다.
• 결과는 동기 및 이방 모델 모두에서 성립하여 스케줄링 가정에 대해 강건함을 입증한다.