[論文レビュー] Polynomial-Time Approximation Schemes for k-Center and Bounded-Capacity Vehicle Routing in Metrics with Bounded Highway Dimension.

Amariah Becker, Philip N. Klein+1 more|arXiv (Cornell University)|Jul 26, 2017

Facility Location and Emergency Management参考文献 31被引用数 4

ひとこと要約

本稿では、有界ハイウェイ次元を持つグラフにおけるk-Center、k-Median、および容量制限付きの車両ルーティング問題に対して、多項式時間近似スキーム（PTAS）を提示する。このようなグラフを、追加的歪みを制御する低木幅構造へ埋め込むことで、これらのNP困難問題に対する効率的な近似アルゴリズムが可能となり、複数の拠点や訪問されないクライアントに対するペナルティを含めた拡張も可能となる。

ABSTRACT

The concept of bounded highway dimension was developed to capture observed properties of the metrics of road networks. We show that a graph with bounded highway dimension, for any vertex, can be embedded into a a graph of bounded treewidth in such a way that the distance between $u$ and $v$ is preserved up to an additive error of $\epsilon$ times the distance from $u$ or $v$ to the selected vertex. We show that this theorem yields a PTAS for Bounded-Capacity Vehicle Routing in graphs of bounded highway dimension. In this problem, the input specifies a depot and a set of clients, each with a location and demand; the output is a set of depot-to-depot tours, where each client is visited by some tour and each tour covers at most $Q$ units of client demand. Our PTAS can be extended to handle penalties for unvisited clients. We extend this embedding result to handle a set $S$ of distinguished vertices. The treewidth depends on $|S|$, and the distance between $u$ and $v$ is preserved up to an additive error of $\epsilon$ times the distance from $u$ and $v$ to $S$. This embedding result implies a PTAS for Multiple Depot Bounded-Capacity Vehicle Routing: the tours can go from one depot to another. The embedding result also implies that, for fixed $k$, there is a PTAS for $k$-Center in graphs of bounded highway dimension. In this problem, the goal is to minimize $d$ such that there exist $k$ vertices (the centers) such that every vertex is within distance $d$ of some center. Similarly, for fixed $k$, there is a PTAS for $k$-Median in graphs of bounded highway dimension. In this problem, the goal is to minimize the sum of distances to the $k$ centers.

研究の動機と目的

• 実世界の道路ネットワークに類似したグラフ、特に有界ハイウェイ次元を持つものにおいて、基本的なネットワーク最適化問題であるk-Center、k-Median、および容量制限付き車両ルーティング問題に対する効率的な近似アルゴリズムを開発すること。
• 一般にはNP困難であるこれらの問題に対して、有界ハイウェイ次元メトリクスが持つ構造的性質を活用することで、多項式時間近似スキーム（PTAS）を設計する挑戦に応えること。
• 既存の技術を拡張し、車両ルーティング問題において複数の拠点や訪問されないクライアントに対するペナルティを扱えるようにし、実世界の物流シナリオへの適用範囲を広げること。
• 特定の頂点集合への距離に依存する加法的誤差を許容する距離保存を実現する一般化された埋め込みフレームワークを確立し、動的で柔軟なアルゴリズム設計を可能にすること。

提案手法

• 有界ハイウェイ次元を持つグラフを、任意の二頂点間の距離が、いずれの頂点からも選択された中心頂点までの距離のε倍以内の加法的誤差で保たれる低木幅グラフに写像する、新規な埋め込み技術を提案する。
• この埋め込みを用いて、元の問題を低木幅グラフ上での等価なインスタンスに還元し、動的計画法を効率的に適用することでPTASを達成する。
• 距離保存が集合S（例：拠点や中心）への距離に依存するように、埋め込みを拡張し、複数拠点およびk-Centerの変種を扱えるようにする。
• 木幅に基づく構造を活用して、固定されたkに対してk-Centerおよびk-Medianの近似最適解を計算する動的計画法を設計する。
• 目的関数を変更することでペナルティ項を車両ルーティング定式化に統合し、訪問されないクライアントに対しても対応しつつ、同じ埋め込みフレームワークによりPTASの保証を維持する。
• 距離保存における加法的誤差が、選択された集合内の最近接頂点までの距離のε倍以内に抑えられることを証明し、すべての問題変種において近似品質が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 実世界の道路ネットワークに類似した構造的性質を持つ有界ハイウェイ次元グラフにおいて、k-Center問題に対してPTASを設計できるか？
• RQ2 同じ埋め込みフレームワークを、有効容量付き車両ルーティング問題に拡張し、複数の拠点や訪問されないクライアントに対するペナルティを扱えるか？
• RQ3 有界ハイウェイ次元グラフを、制御された加法的歪みを伴う低木幅グラフに埋め込むことで、k-Medianおよび関連問題に対する効率的な近似が可能になるか？
• RQ4 中心頂点または集合Sの選択が、歪みおよび埋め込み後のインスタンスにおける近似品質にどのように影響するか？
• RQ5 木幅が|S|およびハイウェイ次元に関してどのように上限づけられるか？また、この制限がアルゴリズムの効率にどのように影響するか？

主な発見

• kが固定されている場合、有界ハイウェイ次元を持つグラフにおけるk-Center問題に対して、加法的歪みを制御する低木幅埋め込みを用いたPTASが存在する。
• 同じ埋め込みフレームワークにより、kが固定されている有界ハイウェイ次元グラフにおけるk-Median問題に対してもPTASが得られ、和距離の目的関数への適用範囲が拡張される。
• 有界ハイウェイ次元を持つグラフにおける容量制限付き車両ルーティング問題に対してもPTASが達成可能であり、訪問されないクライアントにペナルティが発生する場合でも同様に成立する。
• 埋め込みにより、任意の二頂点間の距離が、いずれの頂点からも選択された中心頂点までの距離のε倍以内の加法的誤差で保存され、正確な近似が可能になる。
• 複数の拠点の場合は、フレームワークが拠点間の巡回を許容するように拡張可能であり、集合Sの頂点を含むように埋め込みを調整でき、木幅は|S|に依存する。
• 距離保存における加法的誤差は、選択された集合内での最近接頂点までの距離のε倍以内に抑えられ、すべての問題変種において近似品質が強く保たれる。