[論文レビュー] Optimal and Resilient Pheromone Utilization in Ant Foraging

Bampas, Evangelos, Beauquier, Joffroy+2 more|arXiv (Cornell University)|Jul 2, 2015

Optimization and Search Problems参考文献 7被引用数 1

ひとこと要約

本稿では、2次元グリッド上に未知の距離Dに隠されたトレジャーを探索するk体の同一なアリに対して、最適かつフェイルセーフなフェロモンベースの採餌アルゴリズムを提示する。有限状態マシン（FSM）アリに対してはΩ(D)のフェロモンのタイトな下界を確立し、チューリングマシン（TM）アリに対してはΩ(k)を示した。また、最小限のフェロモン使用で最適なO(D + D²/k)の実行時間を達成するアルゴリズムを提供しており、未知のフェイルストップ障害に対しても耐性を示す。

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)の実行時間を達成しており、このモデルにおける理論的下界と一致する。
• 結果は同期的および非同期的モデルの両方で成り立っており、スケジューリング仮定にかかわらず高い耐障害性を示している。