[論文レビュー] The freeze-tag problem: how to wake up a swarm of robots

Esther M. Arkin, Michael A. Bender+3 more|arXiv (Cornell University)|Jan 6, 2002

Optimization and Search Problems参考文献 34被引用数 32

ひとこと要約

この論文は、スウォームロボティクスにおけるフリーズタグ問題を研究しており、1体の目覚めたロボットがグラフの辺を走査するか、幾何的空間を移動することで、残りのロボットを最適に起こすことを目的としている。全ロボットが目覚めるまでの時間を最小化する。NP困難性と5/3の近似不可能性の下限を証明するとともに、スターパターンのグラフにおけるPTAS、最大次数ΔのグラフにおけるO(log Δ)-競合比を示すオンラインアルゴリズム、および幾何的インスタンスにおけるほぼ線形時間のPTASを提案している。

ABSTRACT

An optimization problem that naturally arises in the study of swarm robotics is to wake up a set of asleep robots, starting with only one robot. One robot can only awaken another when they are in the same location. As soon as a robot is awake, it assists in waking up other robots. The goal is to compute an optimal awakening schedule such that all robots are awake by time t*, for the smallest possible value of t*.We consider both scenarios on graphs and in geometric environments. In the graph setting, robots sleep at vertices and there is a length function on the edges. An awake robot can travel from vertex to vertex along edges, and the length of an edge determines the time it takes to travel from one vertex to the other.While this problem bears some resemblance to problems from various areas in combinatorial optimization such as routing, broadcasting, scheduling and covering, its algorithmic characteristics are surprisingly different. We prove that the problem is NP-hard, even for the special case of star graphs. We also establish hardness of approximation, showing that it is NP-hard to obtain an approximation factor better than 5/3, even for graphs of bounded degree.These lower bounds are complemented with several algorithmic results. We present a simple on-line algorithm that is O(logΔ)-competitive for graphs with maximum degree Δ. Other results include algorithms that require substantially more sophistication and development of new techniques:(1) The natural greedy strategy on star graphs has a worst-case performance of 7/3, which is tight.(2) There exists a PTAS for star graphs.(3) For the problem on ultrametrics, there is a polynomial-time approximation algorithm with performance ratio 2O(√log log n).(4) There is a PTAS, running in nearly linear time, for geometrically embedded instances (e.g., Euclidean distances in any fixed dimension).

研究の動機と目的

• 単一の目覚めたロボットから始まるロボットの群れを起こす際の計算複雑性を特定すること。
• すべてのロボットが目覚めるまでの時間t*を最小化するための効率的なアルゴリズムを設計すること。
• さまざまなグラフおよび幾何的設定における近似困難性を分析し、近似アルゴリズムを開発すること。
• スターパターンのグラフや幾何的埋め込みを含む、異なるインスタンスクラスにおける競合比と近似スキームを確立すること。

提案手法

• 辺の長さが移動時間を表すグラフ上の最適化問題として問題を形式化すること。
• NP困難性を示すために還元を用い、スターパターンのグラフでさえも同様にNP困難であることを証明し、5/3の近似不可能性下限を確立すること。
• 最大次数Δのグラフに対してO(log Δ)-競合比を達成するオンラインアルゴリズムを設計すること。
• スターパターンのグラフにおける貪欲戦略の性能を分析し、最悪ケース比が正確に7/3であることを示すこと。
• 動的計画法と丸め技術を用いて、スターパターンのグラフにおける多項式時間近似スキーム（PTAS）を開発すること。
• 超メトリック空間に対しては2^O(√log log n)-近似アルゴリズムを設計し、ユークリッド距離を伴う幾何的インスタンスに対してはほぼ線形時間のPTASを構築すること。

実験結果

リサーチクエスチョン

• RQ1 フリーズタグ問題の計算複雑性は何か？特にスターパターンのような制限付きグラフクラスに対してもNP困難であるか？
• RQ2 フリーズタグ問題に対して定数倍の近似が達成可能か？また、可能な限り良い近似比は何か？
• RQ3 ロボットネットワークが事前に不明な状況において、オンラインアルゴリズムの競合比はどの程度か？
• RQ4 スターパターンのような特殊なグラフ構造や幾何的埋め込みに対して、効率的なPTASを設計可能か？
• RQ5 超メトリック空間に対してはどの程度の近似保証が達成可能か？一般のグラフと比較してどうか？

主な発見

• フリーズタグ問題は、スターパターンのグラフでさえもNP困難であることが示され、基本的な設定において計算的に困難であることが立証された。
• 有界次数のグラフに対しても、5/3より良い要因での近似はNP困難である。
• スターパターンのグラフにおける自然な貪欲アルゴリズムの最悪ケース性能比は正確に7/3であり、これはタイトである。
• スターパターンのグラフに対して多項式時間近似スキーム（PTAS）が存在し、最適解に限りなく近い近似が可能である。
• 超メトリック空間に対しては、2^O(√log log n)の性能比を達成する多項式時間近似アルゴリズムが得られた。
• ユークリッド距離を伴う幾何的埋め込みインスタンスに対しては、ほぼ線形時間で動作するPTASが開発された。