[論文レビュー] Speedup in the Traveling Repairman Problem with Unit Time Windows

Greg N. Frederickson, Barry Wittman|ArXiv.org|Jul 30, 2009

Optimization and Search Problems参考文献 18被引用数 3

ひとこと要約

本稿では、ユニットタイムウィンドウを伴う非ルート付き巡回修理職人問題に対して、訪問カバレッジを向上させるためにスピードアップを活用した多項式時間バイクリテリア近似アルゴリズムを提示する。スピードアップ $ s $ に対して、$ 1 \leq s \leq 2 $ の場合に $ 6\gamma/(s+1) $-近似を達成し、$ 2 \leq s \leq 4 $ の場合に $ 4\gamma/s $-近似を達成する。ここで $ \gamma = 1 $ は木構造で、一般のメトリックグラフでは $ \gamma = 2 + \epsilon $ であり、速度を犠牲にしてカバレッジを増やすという有効なトレードオフが実現される。

ABSTRACT

The input to the unrooted traveling repairman problem is an undirected metric graph and a subset of nodes, each of which has a time window of unit length. Given that a repairman can start at any location, the goal is to plan a route that visits as many nodes as possible during their respective time windows. A polynomial-time bicriteria approximation algorithm is presented for this problem, gaining an increased fraction of repairman visits for increased speedup of repairman motion. For speedup $s$, we find a $6γ/(s + 1)$-approximation for $s$ in the range $1 \leq s \leq 2$ and a $4γ/s$-approximation for $s$ in the range $2 \leq s \leq 4$, where $γ= 1$ on tree-shaped networks and $γ= 2 + ε$ on general metric graphs.

研究の動機と目的

• 修理職人が任意の場所から出発でき、時間ウィンドウ内にノードを訪問することで利益を得る、ユニットタイムウィンドウを伴う非ルート付き巡回修理職人問題に対処すること。
• 時間ウィンドウのトリミングによる性能低下（以前はサービス範囲が1/3にまで低下）を補うために、スピードアップをリソース拡張のメカニズムとして導入すること。
• 速度の増加を活用して近似比を向上させる多項式時間アルゴリズムを設計し、速度とカバレッジのトレードオフをバランスさせること。
• 固定のベンチマークに依存するのではなく、スピードアップの値のスケーラブルなスケーリングに適した、トリミング時間ウィンドウと動的計画法の一般化を図ること。
• スピードアップ $ s $ とグラフの構造的複雑性を反映するパラメータ $ \gamma $（木では1、一般のメトリックグラフでは $ 2+\epsilon $）に依存する近似保証を確立すること。

提案手法

• 時間単位0.5の周期的時間分割法を用い、重複しないか同一の時間ウィンドウとなるようにトリミング時間ウィンドウを定義する。
• スピードアップ下での最適訪問順序を計算するために、重複しないか同一の時間ウィンドウを持つ構造を活用し、トリミング時間ウィンドウ上で動的計画法を適用する。
• 前向き走行 $ A $ と逆走行 $ A^R $、$ A_{r-k} $ と $ A_{r-k}^R $ を用いた対称的走行構成を導入し、異なる開始時刻オフセットに対応して効率的に時間帯をカバーする。
• $ r $ 個の異なる周期開始点に対して重み付き平均化を実施し、$ A $ と $ A^R $ を $ A_{r-k} $ と $ A_{r-k}^R $ よりも2倍の重みを付けることで、カバレッジのバランスを確保する。
• 平均カバレッジ補題を用いて近似比を導出する。結合走行の収益を用いて、最適解に対する近似要因を上限付ける。
• 区間間の走行の組み合わせカバレッジを、$ k $ と $ r-k $ の相対的サイズに依存する区分的関数で分析し、最小収益 $ 2r + k $ を保証する。

実験結果

リサーチクエスチョン

• RQ1 スピードアップを用いることで、ユニットタイムウィンドウ付き巡回修理職人問題における時間ウィンドウトリミングによる性能損失を緩和できるか？
• RQ2 メトリックグラフ上での非ルート付き巡回修理職人問題において、スピードアップ $ s $ と近似比のトレードオフはどのように変化するか？
• RQ3 スピードアップの異なる範囲、特に $ 1 \leq s \leq 2 $ と $ 2 \leq s \leq 4 $ において、近似比はどのように変化するのか。また、グラフ構造はその影響をどのように及えるか？
• RQ4 固定された定数要因にとどまらず、スピードアップに比例して訪問カバレッジを向上させるバイクリテリア近似アルゴリズムを設計できるか？
• RQ5 周期の開始時刻の選択がトリミング時間ウィンドウのカバレッジに与える影響は何か。複数の開始点を活用することで、近似品質を向上させられるか？

主な発見

• スピードアップ $ s \in [1, 2] $ の場合、アルゴリズムは $ 6\gamma/(s+1) $-近似を達成する。ここで $ \gamma = 1 $ は木構造、一般のメトリックグラフでは $ \gamma = 2 + \epsilon $ である。
• スピードアップ $ s \in [2, 4] $ の場合、アルゴリズムは $ 4\gamma/s $-近似を達成し、スピードアップの増加に伴い近似比の改善が顕著に現れる。
• アルゴリズムの実行時間は $ O(\min\{r,m\}\Gamma(n)) $ であり、$ \Gamma(n) $ は $ n $ 個のノードにおける部分問題を解く時間である。実用的展開に適した効率性を有する。
• 周期分割の複数の開始点を用い、対称的走行を組み合わせることで、最小収益 $ 2r + k $ を保証する。これは近似比を導出する上で極めて重要である。
• 近似比は平均カバレッジ補題を用いて導出され、異なる周期オフセットにおける走行寄与の重み付き平均が、有界な近似要因を保証することを示している。
• 時間ウィンドウのトリミングによる1/3の損失を速度の増加で補うことで、時間制約付きルーティングにおいてスピードアップが実用的なリソース拡張戦略であることが効果的に示された。