[論文レビュー] A Tight $(1.5+ε)$-Approximation for Unsplittable Capacitated Vehicle Routing on Trees

Claire Mathieu, Hang Zhou|arXiv (Cornell University)|Feb 11, 2022

Vehicle Routing Optimization Methods被引用数 3

ひとこと要約

本稿では、端末の需要が任意であり、巡回経路に跨って分割できない、木上の無分割容量付き車両巡回問題（UCVRP）に対して、多項式時間 (1.5 + ε)-近似アルゴリズムを提示する。需要リストの丸めと適合性制約を導入した構造的動的計画法を用いることで、30年以上にわたり改善されていなかった2-近似の上限を初めて上回り、NP困難性により1.5未満の近似は不可能であるため、比類ない性能が得られる。

ABSTRACT

In the unsplittable capacitated vehicle routing problem (UCVRP) on trees, we are given a rooted tree with edge weights and a subset of vertices of the tree called terminals. Each terminal is associated with a positive demand between 0 and 1. The goal is to find a minimum length collection of tours starting and ending at the root of the tree such that the demand of each terminal is covered by a single tour (i.e., the demand cannot be split), and the total demand of the terminals in each tour does not exceed the capacity of 1. For the special case when all terminals have equal demands, a long line of research culminated in a quasi-polynomial time approximation scheme [Jayaprakash and Salavatipour, TALG 2023] and a polynomial time approximation scheme [Mathieu and Zhou, TALG 2023]. In this work, we study the general case when the terminals have arbitrary demands. Our main contribution is a polynomial time (1.5+ε)-approximation algorithm for the UCVRP on trees. This is the first improvement upon the 2-approximation algorithm more than 30 years ago. Our approximation ratio is essentially best possible, since it is NP-hard to approximate the UCVRP on trees to better than a 1.5 factor.

研究の動機と目的

• 端末の需要が任意である木上の無分割容量付き車両巡回問題（UCVRP）に対して、多項式時間近似アルゴリズムを開発すること。
• 1991年にLabbe、Laporte、およびMercureが確立した長年の2-近似の上限を改善すること。
• UCVRPの木上での近似が1.5要因未満に不可能であるという既知の近似困難性を考慮すると、(1.5 + ε)-近似比が本質的に最良であることを達成すること。
• 需要の丸めと和リストを用いて、等価需要の設定から一般の需要ケースへと技術を拡張すること。

提案手法

• 木を、端点がリーフにあり、辺の重みが有界である完全二分木に変換する前処理ステップを用いる。
• 計算を局所化するため、各成分が根とたかだか1つの出入口頂点を持つように木を分解する。
• 各内部頂点で動的計画法を適用し、丸められた需要の和リストを通じて部分木の構成を追跡する。
• 和リストは、有限個の代表値を用いて多重集合としての巡回需要を表現し、多項式サイズの状態空間を保証する。
• ノードの子孫の巡回の組み合わせの妥当性を保証するため、和リストと需要多重集合の間の適合性制約を導入する。
• 代表値の有限集合を列挙し、丸めを用いて異なる需要組み合わせの数を制限する。

実験結果

リサーチクエスチョン

• RQ1 任意の需要を持つUCVRPの木上において、1991年の2-近似を上回る(1.5 + ε)-近似が達成可能か？
• RQ2 既知の近似困難性に基づくと、(1.5 + ε)-近似比は本質的に最良であるか？
• RQ3 等価需要のケースから得られた技術を、構造的近似を用いて任意の需要に適応可能か？
• RQ4 需要の丸めによる異なる需要値の数の制限により、任意の需要に対する動的計画法を効率的に可能にするか？

主な発見

• 本稿では、任意の需要を持つUCVRPの木上に対して、多項式時間 (1.5 + ε)-近似アルゴリズムを提示し、1991年の2-近似を改善した。
• 近似比は、UCVRPの木上での1.5要因未満の近似がNP困難であるため、本質的に最良である。
• アルゴリズムは、有限個の代表需要値と和リストを用いて、動的計画法における状態空間を制限することで、その結果を達成している。
• 実行時間は入力サイズに関して多項式的であり、特にn^Oε(1)である。これは、和リストと構成の数が有界であるためである。
• 本手法はUCVRPのパスへの一般化にも適用可能であり、(1.5 + ε)-近似が得られ、これも本質的に最良である。
• 本手法は需要の丸めと、多重集合分割による部分巡回構成の適合性を保証することに依存している。