[论文解读] 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

一句话总结

本文提出了一种针对在2D网格上以未知距离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.

研究动机与目标

• 确定确定性蚂蚁群体在2D网格中定位隐藏宝藏所需的最少信息素数量。
• 设计高效的基于信息素的搜索算法，在同步与异步模型下均实现最优运行时间。
• 提供对未知数量崩溃故障具有鲁棒性的容错解决方案，同时保持最低的信息素使用量。
• 分析计算能力（FSM与TM）与信息素消耗之间的权衡关系。
• 在不同计算模型和故障条件下，建立信息素使用量的紧理论下界。

提出的方法

• 利用信息素的释放与感知，实现在分布式环境中相同移动代理（蚂蚁）之间的通信。
• 通过在北方射线上使用信息素实现重命名协议，分配唯一ID并估计蚂蚁总数，以实现搜索空间的静态划分。
• 针对FSM蚂蚁，设计仅在关键点释放信息素的算法，以最小化信息素使用量，同时确保完全覆盖。
• 针对TM蚂蚁，采用基于信息素的ID分配与分层探索策略，实现在O(k)信息素下达到最优运行时间。
• 通过更新蚂蚁总数估计值，使幸存蚂蚁能够检测并适应已失效的同伴，从而实现容错。
• 采用分层探索策略，每只蚂蚁根据其分配的ID和总蚂蚁数探索对应层级，确保无重叠且完全覆盖。

实验结果

研究问题

• RQ1 k个FSM蚂蚁在距离D处确定性地找到宝藏，所需的最少信息素数量是多少？
• RQ2 在同步与异步模型下，能否在最小化信息素使用量的同时实现最优O(D + D²/k)运行时间？
• RQ3 如何使基于信息素的算法对未知数量的崩溃故障具有鲁棒性，同时不增加信息素成本？
• RQ4 当蚂蚁被建模为图灵机（TM）而非FSM时，信息素使用量的下界是多少？
• RQ5 在容错算法的运行时间方面，已知下界与上界之间是否存在差距？

主要发现

• 为FSM蚂蚁建立了Ω(D)信息素的紧下界，无论蚂蚁数量k如何。
• 对于TM蚂蚁，下界提高到Ω(k)信息素，尽管其计算能力更强。
• 所提出的FSM算法实现了最优O(D + D²/k)运行时间，且仅使用O(D)信息素，与下界一致。
• 容错FSM算法在f个蚂蚁发生崩溃故障时，于O(D + D²/(k−f) + Df)轮内终止，且仅使用O(D)信息素。
• TM算法实现了最优O(D + D²/k)运行时间，使用O(k)信息素，与该模型的理论下界一致。
• 上述结果在同步与异步模型下均成立，表明其在不同调度假设下均具有鲁棒性。