Polynomial-Time Approximation Schemes for Bounded-Capacity Vehicle Routing and Clustering Problems in Metrics with Bounded Highway Dimension

The concept of bounded highway dimension was developed to capture observed properties of the metrics of road networks. We show that a metric with bounded highway dimension and a distinguished point (the depot) 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 depot. We show that this theorem yields a PTAS for Bounded-Capacity Vehicle Routing in metrics of bounded highway dimension. In this problem, the input specifies a depot and a set of client locations; the output is a set of depot-to-depot tours, where each tour is responsible for visiting at most $Q$ client locations. Our PTAS can be extended to handle penalties for unvisited clients. We extend this embedding in a case where there is a set $S$ of distinguished points. 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 implies a PTAS for Multiple Depot Bounded-Capacity Vehicle Routing, where the tours can go from one depot to an other. The embedding also implies that, for fixed $k$, there is a PTAS for $k$-Center in metrics of bounded highway dimension. In this problem, the goal is to minimize $d$ such that there exist $k$ points (the centers) such that every point is within distance $d$ of some center. Similarly, for fixed $k$, there is a PTAS for $k$-Median in metrics of bounded highway dimension. The goal of this problem is to minimize the sum of distances to the $k$ centers.

[1]  Vangelis Th. Paschos,et al.  Structural Parameters, Tight Bounds, and Approximation for (k, r)-Center , 2017, ISAAC.

[2]  Satish Rao,et al.  Approximation schemes for Euclidean k-medians and related problems , 1998, STOC '98.

[3]  Amos Fiat,et al.  Highway Dimension and Provably Efficient Shortest Path Algorithms , 2016, J. ACM.

[4]  Piotr Indyk,et al.  Approximate clustering via core-sets , 2002, STOC '02.

[5]  Amit Kumar,et al.  Linear-time approximation schemes for clustering problems in any dimensions , 2010, JACM.

[6]  Philip N. Klein,et al.  Local Search Yields Approximation Schemes for k-Means and k-Median in Euclidean and Minor-Free Metrics , 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).

[7]  Teofilo F. GONZALEZ,et al.  Clustering to Minimize the Maximum Intercluster Distance , 1985, Theor. Comput. Sci..

[8]  J. Plesník On the computational complexity of centers locating in a graph , 1980 .

[9]  Tetsuo Asano,et al.  A New Approximation Algorithm for the Capacitated Vehicle Routing Problem on a Tree , 2001, J. Comb. Optim..

[10]  Alexander H. G. Rinnooy Kan,et al.  Bounds and Heuristics for Capacitated Routing Problems , 1985, Math. Oper. Res..

[11]  Michael Langberg,et al.  A unified framework for approximating and clustering data , 2011, STOC.

[12]  Naoki Katoh,et al.  A Capacitated Vehicle Routing Problem on a Tree , 1998, ISAAC.

[13]  Philip N. Klein,et al.  Embedding Planar Graphs into Low-Treewidth Graphs with Applications to Efficient Approximation Schemes for Metric Problems , 2019, SODA.

[14]  Andreas Emil Feldmann,et al.  Fixed-Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs , 2015, Algorithmica.

[15]  Jochen Könemann,et al.  A (1+ε)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs , 2015, ICALP.

[16]  Mikhail Yu. Khachay,et al.  PTAS for the Euclidean Capacitated Vehicle Routing Problem in R^d , 2016, DOOR.

[17]  Amos Fiat,et al.  VC-Dimension and Shortest Path Algorithms , 2011, ICALP.

[18]  David B. Shmoys,et al.  A Best Possible Heuristic for the k-Center Problem , 1985, Math. Oper. Res..

[19]  Philip N. Klein,et al.  A Quasi-Polynomial-Time Approximation Scheme for Vehicle Routing on Planar and Bounded-Genus Graphs , 2017, ESA.

[20]  Bruce L. Golden,et al.  Capacitated arc routing problems , 1981, Networks.

[21]  David B. Shmoys,et al.  Approximation algorithms for facility location problems , 2000, APPROX.

[22]  Sariel Har-Peled,et al.  On coresets for k-means and k-median clustering , 2004, STOC '04.

[23]  Claire Mathieu,et al.  A Quasipolynomial Time Approximation Scheme for Euclidean Capacitated Vehicle Routing , 2008, Algorithmica.

[24]  Dan Feldman,et al.  A PTAS for k-means clustering based on weak coresets , 2007, SCG '07.

[25]  Tetsuo Asano,et al.  Covering points in the plane by k-tours: towards a polynomial time approximation scheme for general k , 1997, STOC '97.

[26]  Robert Krauthgamer,et al.  Bounded geometries, fractals, and low-distortion embeddings , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[27]  Sariel Har-Peled,et al.  Smaller Coresets for k-Median and k-Means Clustering , 2005, SCG.

[28]  Stefan Funke,et al.  Ultrafast Shortest-Path Queries via Transit Nodes , 2006, The Shortest Path Problem.

[29]  Peter Sanders,et al.  In Transit to Constant Time Shortest-Path Queries in Road Networks , 2007, ALENEX.