[論文レビュー] Linear Search with Terrain-Dependent Speeds

Jurek Czyzowicz, Evangelos Kranakis+4 more|arXiv (Cornell University)|Jan 11, 2017

Optimization and Search Problems参考文献 17被引用数 6

ひとこと要約

本稿では、勾配、方向別速度差、加速を含むさまざまな速度変動を伴う地形におけるロボットの線形探索アルゴリズムを研究する。競争比解析を用いて最適化されたジグザグ探索戦略を提案し、ビーコンモデルでは二重化戦略が依然として最適であり、加速モデルではターゲット距離が増加するにつれて競争比が向上することを示している。

ABSTRACT

We revisit the linear search problem where a robot, initially placed at the origin on an infinite line, tries to locate a stationary target placed at an unknown position on the line. Unlike previous studies, in which the robot travels along the line at a constant speed, we consider settings where the robot's speed can depend on the direction of travel along the line, or on the profile of the terrain, e.g. when the line is inclined, and the robot can accelerate. Our objective is to design search algorithms that achieve good competitive ratios for the time spent by the robot to complete its search versus the time spent by an omniscient robot that knows the location of the target. We consider several new robot mobility models in which the speed of the robot depends on the terrain.These include 1) different constant speeds for different directions, 2) speed with constant acceleration and/or variability depending on whether a certain segment has already been searched, 3) speed dependent on the incline of the terrain. We provide both upper and lower bounds on the competitive ratios of search algorithms for these models, and in many cases, we derive optimal algorithms for the search time.

研究の動機と目的

• 定常速度モデルの限界を克服するため、線形探索問題に地形依存の速度変動を導入すること。
• 方向依存速度、加速、探索履歴などの異なる速度モデルが探索効率に与える影響を分析すること。
• これらの変動速度条件下でも、最適または近似最適な競争比を達成する探索アルゴリズムを設計すること。
• さまざまな移動モデルにおける性能の理論的限界を確立し、上界および下界の競争比を求める。
• ロボットの速度が地形プロファイルや移動方向に応じて変化する状況に、古典的な二重化戦略を一般化すること。

提案手法

• 絶対的進行方向に応じた速度差を有する時間ベースのジグザグ戦略を提案し、例えば右方向に速く移動するなどの特性を持つ。
• 原点に向かって移動する際に速度が増加するビーコンモデルを導入し、加速を伴う下り坂移動をモデル化する。
• 以前に探索済みの領域を再走行する際に速度が向上する探索履歴モデルを提案し、過去の走行履歴に基づく適応的探索速度を実現する。
• オムニスチェントな敵対者（ターゲット位置を事前に知っている）の探索時間と比較して、ロボットの探索時間を競争比で分析する。
• 再帰関係と漸近的解析を用いて、指数的拡張係数を伴う二重化戦略の競争比の上限を導出する。
• 積分および和分の近似を用いて、一定加速度下での探索時間を推定し、$ v = ct $ および $ x = \frac{1}{2}ct^2 $ の運動モデルを適用する。

実験結果

リサーチクエスチョン

• RQ1 進行方向に依存する速度（例：追い風効果）を持つ地形で探索するロボットの最適な競争比は何か？
• RQ2 原点に向かって移動する際に速くなる（ビーコンモデル）場合、競争比は原点から遠ざかる場合と比べてどのように変化するか？
• RQ3 過去の探索履歴を活用して既知のセグメントでの速度を向上させる戦略は、より優れた競争性能を達成できるか？
• RQ4 原点に向かっても遠ざかりながらも一定加速度で移動するロボットの競争比に成立する境界は何か？
• RQ5 加速に基づくモデルにおいて、ターゲット距離 $ d $ が増加するにつれて二重化戦略の性能は向上するか、あるいは劣化するか？

主な発見

• 追い風モデル（一方の方向での速度上昇）では、時間ベースのジグザグ戦略が標準的な二重化戦略を上回り、競争比が9未満となる。
• ビーコンモデル（原点に戻る際に速くなる）では、二重化戦略が依然として最適であり、競争比は正確に9に達する。
• 探索履歴モデルでは、速度比 $ s $ に依存する拡張係数を持つ漸近的に最適な戦略が存在し、繰り返し走行において性能が向上する。
• 原点に向かって一定加速度で移動する場合、二重化戦略の競争比は $ 5 + O(d^{-1/2}) $ で有界であり、下界は $ \sigma^* \geq 5 $ である。$ d \to \infty $ のとき5に収束することが示され、収束する。
• 逆の状況（原点から離れる際は単位速度、原点に向かっては加速）でも、競争比は $ 5 + O(d^{-1/2}) $ で有界であり、下界5が成立する。これは近似的に最適性を示している。
• 加速モデルでは、競争比が無限大に発散する場合や、距離 $ d $ の増加に伴い改善する場合があるのに対し、二速度モデルでは性能が有界に保たれるのと対照的である。