[論文レビュー] DMVP: Foremost Waypoint Coverage of Time-Varying Graphs

Eric Aaron, Danny Kriz̧anc+1 more|arXiv (Cornell University)|Jul 27, 2014

Optimization and Search Problems参考文献 22被引用数 4

ひとこと要約

本稿は、時間変動グラフ（TVG）における動的マップ訪問問題（DMVP）を提示し、再発する辺（R）、限定的な再出現回数の辺（B）、周期的辺（P）の3つの動的クラスにおける計算複雑性を分析する。Rでは重度の近似不能性が示され、Bでは制限された近似可能性が得られ、Pでは特定のトポロジーにおいて tractable である。Rでは特定のグラフ構造において固定パrameter tractability が同定された。

ABSTRACT

We consider the Dynamic Map Visitation Problem (DMVP), in which a team of agents must visit a collection of critical locations as quickly as possible, in an environment that may change rapidly and unpredictably during the agents' navigation. We apply recent formulations of time-varying graphs (TVGs) to DMVP, shedding new light on the computational hierarchy $\mathcal{R} \supset \mathcal{B} \supset \mathcal{P}$ of TVG classes by analyzing them in the context of graph navigation. We provide hardness results for all three classes, and for several restricted topologies, we show a separation between the classes by showing severe inapproximability in $\mathcal{R}$, limited approximability in $\mathcal{B}$, and tractability in $\mathcal{P}$. We also give topologies in which DMVP in $\mathcal{R}$ is fixed parameter tractable, which may serve as a first step toward fully characterizing the features that make DMVP difficult.

研究の動機と目的

• 時間変動グラフ（TVG）における動的マップ訪問問題（DMVP）を、辺の可用性が動的に変化するナビゲーション課題として形式化すること。
• 再発する辺（R）、限定的再出現（B）、周期的辺（P）の3つのTVGクラスにおけるDMVPの計算複雑性を分析すること。
• DMVPの tractable と intractable なインスタンスを区別するトポロジー的および動的制約を同定すること。
• 制限されたグラフトポロジーを用いて、R、B、PクラスにおけるDMVPの計算ハードネスの差を確立すること。
• 特定のグラフ族におけるRクラスの固定パrameter tractability を探求し、DMVPの難易度に影響する構造的特徴を特定する基盤を築くこと。

提案手法

• 離散時間、無向辺、均一な移動コスト1を有する時間変動グラフ（TVG）として環境をモデル化する。
• DMVPを、動的辺の可用性下ですべての重要なウェイポイントを可能な限り速く訪問する1台のエージェント問題として定義する。
• TVGを3つのクラスに分類する：R（辺が最終的に再出現）、B（時間的に制限された再出現）、P（周期的に出現）。
• 時間的部分グラフ解析を用いてTVGの有効期間を制限し、時間制約内での訪問可能性を評価する。
• 星型グラフ（スパイダー）で、腕の長さが均一な場合に、待機なしの移動経路を特定するための完全二部マッチングアルゴリズムを適用する。
• 動的計画法およびパターン・ピece-mealing 技法を用いて、周期的設定（Pクラス）における最適な移動順序を求める。

実験結果

リサーチクエスチョン

• RQ1 時間変動グラフのR、B、PクラスにおけるDMVPの計算複雑性は何か？
• RQ2 制限されたトポロジーにおいて、R、B、PクラスのDMVPの複雑性に明確な分離が存在するか？
• RQ3 RクラスのDMVPが固定パrameter tractable となる特定のグラフトポロジーは存在するか？
• RQ4 星型グラフ（有界次数）を含む特定のグラフクラスにおいて、DMVPはRではNP困難だがBではそうではないか？
• RQ5 一般の木構造において、周期的辺動的（Pクラス）の最適な移動順序は、効率的に計算可能か？

主な発見

• Rクラスでは、制限されたトポロジーでさえも、DMVPは重度の近似不能性を示し、高い計算ハードネスを示す。
• Bクラスでは、DMVPは制限された近似可能性を有するが、再出現回数が制限されている場合にややアルゴリズム的妥当性を示す。
• Pクラスでは、木構造上でのDMVPは tractable であり、p=2のエージェントと周期的動的条件下では線形時間アルゴリズムが存在する。
• 待機を許可しない場合、均一な腕長のスパイダー（星型）では、DMVPが多項式時間で解ける。
• 均一な腕を持つスパイダーにおける待機なしの移動経路は、完全二部マッチング問題に還元され、多項式時間で解ける。
• 本稿は、RにおけるDMVPが、多項式個のスパニングツリーをもち、各ツリーがO(log n)個の葉を持つグラフ上で tractable であると予想し、このクラスがBを特徴付ける可能性もあると示唆している。