[論文レビュー] Lower Bounds for Shoreline Searching with 2 or More Robots

Sumi Acharjee, Konstantinos Georgiou+2 more|arXiv (Cornell University)|Jan 13, 2020

Optimization and Search Problems参考文献 27被引用数 8

ひとこと要約

本稿は、n台のロボットを用いた2次元の海岸線探索問題について、競合比の下界を新たに確立し、2台のロボットでは3、3台のロボットでは√3、n ≥ 4では1/cos(π/n)のタイトな下界を示した。これにより、既知の上界と一致し、n ≥ 4では最適性が解明された。アプローチは、ロボットの軌道の幾何的解析と、楕円型の探索領域を用い、最悪の線分配置下でも、いかなるアルゴリズムでもこれらの下界を上回ることはできないことを示している。

ABSTRACT

Searching for a line on the plane with $n$ unit speed robots is a classic online problem that dates back to the 50's, and for which competitive ratio upper bounds are known for every $n\geq 1$. In this work we improve the best lower bound known for $n=2$ robots from 1.5993 to 3. Moreover we prove that the competitive ratio is at least $\sqrt{3}$ for $n=3$ robots, and at least $1/\cos(π/n)$ for $n\geq 4$ robots. Our lower bounds match the best upper bounds known for $n\geq 4$, hence resolving these cases. To the best of our knowledge, these are the first lower bounds proven for the cases $n\geq 3$ of this several decades old problem.

研究の動機と目的

• 複数のロボットを用いた2次元海岸線探索問題における、既知の上界と下界のギャップを埋めること。
• 長年のオープンな問題である、n ≥ 3台のロボットに対する、初めての非自明な下界を確立すること。
• n ≥ 4台のロボットに対して、自然なレーザー基盤戦略の最適性を、一致する下界によって証明すること。
• 未知の線分距離および方向下での、いかなるオンライン探索アルゴリズムの最悪ケース性能を分析すること。
• n ≥ 4において既存の戦略の最適性を、既知の上界と一致するタイトな下界を証明することで解明すること。

提案手法

• 著者らは、n台の同一の単位速度ロボットが原点から出発し、平面上の未知の直線を特定するオンライン問題として探索をモデル化する。
• 各ロボットの探索領域を、位置と経過時間に基づき導出された楕円として分析し、軌道の進化に関する幾何的制約を用いる。
• 2台のロボットの場合、時間1経過後、どちらのロボットも直線 y = -1/2 - ζ に到達できないことを示し、楕円方程式の判別式分析により交差が不可能であることを証明する。
• 最悪ケース探索時間（少なくとも3/2 + ζ）と最適なオフライン時間（1/2 + ζ）を比較することで、競合比の下界を導出する。これにより、競合比は少なくとも3であることが示される。
• n ≥ 4のロボットの場合、対称的なレーザー基盤戦略を一般化し、幾何的および三角関数的制約を用いて、競合比が1/cos(π/n)より良くならないことを証明する。
• 背理法と極値解析を用い、最適な対称性からの逸脱が最悪ケース時間の増加を引き起こすことを示し、上界のタイトさを証明する。

実験結果

リサーチクエスチョン

• RQ1 平面上の未知の直線を探索する2台のロボットに対して、最小の競合比は何か？
• RQ2 n ≥ 4のロボットに対して、既知のレーザー基盤戦略の競合比を、下界によって最適性が証明可能か？
• RQ3 n ≥ 3台のロボットを用いた海岸線探索問題に対する、初めての非自明な下界は何か？
• RQ4 n ≥ 4で有効な証明技法が、n = 3ではタイトでないのはなぜか？
• RQ5 新たな下界3が得られた現在、2台のロボットに対して二重対数螺旋戦略が最適であると言えるか？

主な発見

• 2台のロボットにおける競合比は少なくとも3であり、以前の下界1.5993よりも顕著に向上した。
• 3台のロボットでは、競合比が少なくとも√3 ≈ 1.732であることが示され、n = 3に対する初めての非自明な下界が確立された。
• n ≥ 4のロボットでは、競合比が少なくとも1/cos(π/n)であることが示され、既存の最良の上界と一致する。
• n ≥ 4における1/cos(π/n)の下界はタイトであり、対称的レーザー基盤戦略が最悪ケースで最適であることを証明した。
• 楕円型の探索領域と、直線交差の判別式分析を用いた証明技法は、強力な下界を導出するのに有効である。
• 本研究の結果により、n ≥ 4のすべてのロボット数において、レーザー基盤戦略の最適性が解明され、オンライン探索アルゴリズム分野における長年のオープン問題が解決された。