Highway dimension
The highway dimension is a graph parameter modelling transportation networks, such as road networks or public transportation networks. It was first formally defined by Abraham et al.[1] based on the observation by Bast et al.[2][3] that any road network has a sparse set of "transit nodes", such that driving from a point A to a sufficiently far away point B along the shortest route will always pass through one of these transit nodes. It has also been proposed that the highway dimension captures the properties of public transportation networks well (at least according to definitions 1 and 2 below), given that longer routes using busses, trains, or airplanes will typically be serviced by larger transit hubs (stations and airports). This relates to the spoke–hub distribution paradigm in transport topology optimization.
Definitions
Several definitions of the highway dimension exist.[4] Each definition of the highway dimension uses a hitting set of a certain set of shortest paths: given a graph [math]\displaystyle{ G=(V,E) }[/math] with edge lengths [math]\displaystyle{ \ell:E\to\mathbb{R}^+ }[/math], let [math]\displaystyle{ \mathcal{P} }[/math] contain every vertex set [math]\displaystyle{ P\subseteq V }[/math] such that [math]\displaystyle{ P }[/math] induces a shortest path between some vertex pair of [math]\displaystyle{ G }[/math], according to the edge lengths [math]\displaystyle{ \ell }[/math]. To measure the highway dimension we determine the "sparseness" of a hitting set of a subset of [math]\displaystyle{ \mathcal{P} }[/math] in a local area of the graph, for which we define a ball of radius [math]\displaystyle{ r\gt 0 }[/math] around a vertex [math]\displaystyle{ u\in V }[/math] to be the set [math]\displaystyle{ B_r(u)\subseteq V }[/math] of vertices at distance at most [math]\displaystyle{ r }[/math] from [math]\displaystyle{ u }[/math] in [math]\displaystyle{ G }[/math] according to the edge lengths [math]\displaystyle{ \ell }[/math]. In the context of low highway dimension graphs, the vertices of a hitting set for the shortest paths are called hubs.
Definition 1
The original definition[1] of the highway dimension measures the sparseness of a hub set [math]\displaystyle{ H }[/math] of shortest paths contained within a ball of radius [math]\displaystyle{ 4r }[/math]:
The highway dimension of [math]\displaystyle{ G }[/math] is the smallest integer [math]\displaystyle{ h_1 }[/math] such that for any radius [math]\displaystyle{ r\gt 0 }[/math] and any node [math]\displaystyle{ u\in V }[/math] there is a hitting set [math]\displaystyle{ H\subseteq B_{4r}(u) }[/math] of size at most [math]\displaystyle{ h_1 }[/math] for all shortest paths [math]\displaystyle{ P\in\mathcal{P} }[/math] of length more than [math]\displaystyle{ r }[/math] for which [math]\displaystyle{ P\subseteq B_{4r}(u) }[/math].
A variant of this definition uses balls of radius [math]\displaystyle{ cr }[/math] for some constant [math]\displaystyle{ c\gt 4 }[/math]. Choosing a constant greater than 4 implies additional structural properties of graphs of bounded highway dimension, which can be exploited algorithmically.[5]
Definition 2
A subsequent definition[6] of the highway dimension measures the sparseness of a hub set [math]\displaystyle{ H }[/math] of shortest paths intersecting a ball of radius [math]\displaystyle{ 2r }[/math]:
The highway dimension of [math]\displaystyle{ G }[/math] is the smallest integer [math]\displaystyle{ h_2 }[/math] such that for any radius [math]\displaystyle{ r\gt 0 }[/math] and any node [math]\displaystyle{ u\in V }[/math] there is a hitting set [math]\displaystyle{ H\subseteq V }[/math] of size at most [math]\displaystyle{ h_2 }[/math] for all shortest paths [math]\displaystyle{ P\in\mathcal{P} }[/math] of length more than [math]\displaystyle{ r }[/math] and at most [math]\displaystyle{ 2r }[/math] for which [math]\displaystyle{ P\cap B_{2r}(u)\neq\emptyset }[/math].
This definition is weaker than the first, i.e., every graph of highway dimension [math]\displaystyle{ h_1 }[/math] also has highway dimension [math]\displaystyle{ h_2 }[/math], but not vice versa.[5]
Definition 3
For the third definition[7] of the highway dimension we introduce the notion of a "witness path": for a given radius [math]\displaystyle{ r }[/math], a shortest path [math]\displaystyle{ P\in\mathcal{P} }[/math] has an [math]\displaystyle{ r }[/math]-witness path [math]\displaystyle{ Q\in\mathcal{P} }[/math] if [math]\displaystyle{ Q }[/math] has length more than [math]\displaystyle{ r }[/math] and [math]\displaystyle{ Q }[/math] can be obtained from [math]\displaystyle{ P }[/math] by adding at most one vertex to either end of [math]\displaystyle{ P }[/math] (i.e., [math]\displaystyle{ Q }[/math] has at most 2 vertices more than [math]\displaystyle{ P }[/math] and these additional vertices are incident to [math]\displaystyle{ P }[/math]). Note that [math]\displaystyle{ P }[/math] may be shorter than [math]\displaystyle{ r }[/math] but is contained in [math]\displaystyle{ Q }[/math], which has length more than [math]\displaystyle{ r }[/math].
The highway dimension of [math]\displaystyle{ G }[/math] is the smallest integer [math]\displaystyle{ h_3 }[/math] such that for any radius [math]\displaystyle{ r\gt 0 }[/math] and any node [math]\displaystyle{ u\in V }[/math] there is a hitting set [math]\displaystyle{ H\subseteq V }[/math] of size at most [math]\displaystyle{ h_3 }[/math] for all shortest paths [math]\displaystyle{ P\in\mathcal{P} }[/math] that have an [math]\displaystyle{ r }[/math]-witness path [math]\displaystyle{ Q }[/math] with [math]\displaystyle{ Q\cap B_{2r}(u)\neq\emptyset }[/math].
This definition is stronger than the above, i.e., every graph of highway dimension [math]\displaystyle{ h_1 }[/math] also has highway dimension [math]\displaystyle{ h_3=O(h_1^2) }[/math], but [math]\displaystyle{ h_1 }[/math] cannot be bounded in terms of [math]\displaystyle{ h_3 }[/math].[5]
Shortest path cover
A notion closely related to the highway dimension is that of a shortest path cover,[1] where the order of the quantifiers in the definition is reversed, i.e., instead of a hub set for each ball, there is a one hub set [math]\displaystyle{ H }[/math], which is sparse in every ball:
Given a radius [math]\displaystyle{ r\gt 0 }[/math], an [math]\displaystyle{ r }[/math]-shortest path cover of [math]\displaystyle{ G }[/math] is a hitting set [math]\displaystyle{ H\subseteq V }[/math] for all shortest paths in [math]\displaystyle{ \mathcal{P} }[/math] of length more than [math]\displaystyle{ r }[/math] and at most [math]\displaystyle{ 2r }[/math]. The [math]\displaystyle{ r }[/math]-shortest path cover [math]\displaystyle{ H }[/math] is locally [math]\displaystyle{ h }[/math]-sparse if any node [math]\displaystyle{ u\in V }[/math] the ball [math]\displaystyle{ B_{2r}(u) }[/math] contains at most [math]\displaystyle{ h }[/math] vertices of [math]\displaystyle{ H }[/math], i.e., [math]\displaystyle{ |B_{2r}(u)\cap H|\leq h }[/math].
Every graph of bounded highway dimension [math]\displaystyle{ h }[/math] (according to any of the above definitions) also has a locally [math]\displaystyle{ h }[/math]-sparse [math]\displaystyle{ r }[/math]-shortest path cover for every [math]\displaystyle{ r\gt 0 }[/math], but not vice versa.[4] For algorithmic purposes it is often more convenient to work with one hitting set for each radius [math]\displaystyle{ r }[/math], which makes shortest path covers an important tool for algorithms on graphs of bounded highway dimension.
Relation to other graph parameters
The highway dimension combines structural and metric properties of graphs, and is thus incomparable to common structural and metric parameters. In particular, for any graph it is possible to choose edge lengths such that the highway dimension is [math]\displaystyle{ 1 }[/math],[5] while at the same time some graphs with very simple structure such as trees can have arbitrary large highway dimension. This implies that the highway dimension parameter is incomparable to structural graph parameters such as treewidth, cliquewidth, or minor-freeness. On the other hand, a star with unit edge lengths has highway dimension [math]\displaystyle{ 1 }[/math] (according to definitions 1 and 2 above) but unbounded doubling dimension, while a [math]\displaystyle{ k\times k }[/math] grid graph with unit edge lengths has constant doubling dimension but highway dimension [math]\displaystyle{ \Omega(k) }[/math].[1] This means that the highway dimension according to definitions 1 and 2 is also incomparable to the doubling dimension. Any graph of bounded highway dimension according to definition 3 above, also has bounded doubling dimension.[7]
Computing the highway dimension
Computing the highway dimension of a given graph is NP-hard.[5] Assuming that all shortest paths are unique (which can be done by slightly perturbing the edge lengths), an [math]\displaystyle{ O(\log h) }[/math]-approximation can be computed in polynomial time,[6] given that the highway dimension of the graph is [math]\displaystyle{ h }[/math]. It is not known whether computing the highway dimension is fixed-parameter tractable (FPT), however there are hardness results indicating that this is likely not the case.[8] In particular, these results imply that, under standard complexity assumptions, an FPT algorithm can neither compute the highway dimension bottom-up (from the smallest value [math]\displaystyle{ r }[/math] to the largest) nor top-down (from the largest value [math]\displaystyle{ r }[/math] to the smallest).
Algorithms exploiting the highway dimension
Shortest path algorithms
Some heuristics to compute shortest paths, such as the Reach, Contraction Hierarchies, Transit Nodes, and Hub Labelling algorithms, can be formally proven to run faster than other shortest path algorithms (e.g. Dijkstra's algorithm) on graphs of bounded highway dimension according to definition 3 above.[7]
Approximations for NP-hard problems
A crucial property that can be exploited algorithmically for graphs of bounded highway dimension is that vertices that are far from the hubs of a shortest path cover are clustered into so-called towns:[5]
Given a radius [math]\displaystyle{ r\gt 0 }[/math], an [math]\displaystyle{ r }[/math]-shortest path cover [math]\displaystyle{ H }[/math] of [math]\displaystyle{ G }[/math], and a vertex [math]\displaystyle{ u\in V }[/math] at distance more than [math]\displaystyle{ 2r }[/math] from [math]\displaystyle{ H }[/math], the set [math]\displaystyle{ T\subseteq V }[/math] of vertices at distance at most [math]\displaystyle{ r }[/math] from [math]\displaystyle{ u }[/math] according to the edge lengths [math]\displaystyle{ \ell }[/math] is called a town. The set of all vertices not lying in any town is called the sprawl.
It can be shown that the diameter of every town is at most [math]\displaystyle{ r }[/math], while the distance between a town and any vertex outside it is more than [math]\displaystyle{ r }[/math]. Furthermore, the distance from any vertex in the sprawl to some hub of [math]\displaystyle{ H }[/math] is at most [math]\displaystyle{ 2r }[/math].
Based on this structure, Feldmann et al.[5] defined the towns decomposition, which recursively decomposes the sprawl into towns of exponentially growing values [math]\displaystyle{ r }[/math]. For a graph of bounded highway dimension (according to definition 1 above) this decomposition can be used to find a metric embedding into a graph of bounded treewidth that preserves distances between vertices arbitrarily well. Due to this embedding it is possible to obtain quasi-polynomial time approximation schemes (QPTASs) for various problems such as Travelling Salesman (TSP), Steiner Tree, k-Median, and Facility Location.[5]
For clustering problems such as k-Median, k-Means, and Facility Location, faster polynomial-time approximation schemes (PTASs) are known for graphs of bounded highway dimension according to definition 1 above.[9] For network design problems such as TSP and Steiner Tree it is not known how to obtain a PTAS.
For the k-Center problem, it is not known whether a PTAS exists for graphs of bounded highway dimension, however it is NP-hard to compute a ([math]\displaystyle{ 2-\varepsilon }[/math])-approximation on graphs of highway dimension [math]\displaystyle{ O(\log^2{n}) }[/math],[10] which implies that any ([math]\displaystyle{ 2-\varepsilon }[/math])-approximation algorithm needs at least double exponential time in the highway dimension, unless P=NP.[10] On the other hand, it was shown that a parameterized [math]\displaystyle{ 3/2 }[/math]-approximation algorithm with a runtime of [math]\displaystyle{ 2^{O(kh \log{h} )}n^{O(1)} }[/math] exists for k-Center where [math]\displaystyle{ h }[/math] is the highway dimension according to any of the above definitions.[10] When using definition 1 above, a parameterized approximation scheme (PAS) is known to exist when using [math]\displaystyle{ k }[/math] and [math]\displaystyle{ h }[/math] as parameters.[11]
For the Capacitated k-Center problem there is no PAS parameterized by [math]\displaystyle{ k }[/math] and the highway dimension [math]\displaystyle{ h }[/math], unless FPT=W[1].[12] This is notable, since typically (i.e., for all the problems mentioned above), if there is an approximation scheme for metrics of low doubling dimension, then there is also one for graphs of bounded highway dimension. But for Capacitated k-Center there is a PAS parameterized by [math]\displaystyle{ k }[/math] and the doubling dimension.[12]
External links
- Video on "Capacitated k-Center in Low Doubling and Highway Dimension"[12] given by Tung Ahn Vu, 2022.
- Video on "Algorithms for Hard Problems on Low Highway Dimension Graphs" given by Andreas Emil Feldmann at ICERM, Brown University, Providence, US, May 2019.
- Video on "A (1 + ε)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs"[5] given by Andreas Emil Feldmann at Hausdorff Institut, Bonn, DE, 2015.
- Video on "Highway Dimension: From Practice to Theory and Back"[6] given by Andrew Goldberg
References
- ↑ 1.0 1.1 1.2 1.3 Abraham, Ittai; Fiat, Amos; Goldberg, Andrew V.; Werneck, Renato F. (2010-01-17) (in en). Highway Dimension, Shortest Paths, and Provably Efficient Algorithms. Society for Industrial and Applied Mathematics. pp. 782–793. doi:10.1137/1.9781611973075.64. ISBN 978-0-89871-701-3. https://epubs.siam.org/doi/10.1137/1.9781611973075.64.
- ↑ Bast, Holger; Funke, Stefan; Matijevic, Domagoj; Sanders, Peter; Schultes, Dominik (2007-01-06), Applegate, David; Stølting Brodal, Gerth, eds., "In Transit to Constant Time Shortest-Path Queries in Road Networks" (in en), 2007 Proceedings of the Ninth Workshop on Algorithm Engineering and Experiments (ALENEX) (Philadelphia, PA: Society for Industrial and Applied Mathematics): pp. 46–59, doi:10.1137/1.9781611972870.5, ISBN 978-1-61197-287-0, http://epubs.siam.org/doi/abs/10.1137/1.9781611972870.5, retrieved 2023-11-10
- ↑ Bast, Holger; Funke, Stefan; Matijevic, Domagoj; Demetrescu, Camil; Goldberg, Andrew; Johnson, David (2006). "TRANSIT: Ultrafast Shortest-Path Queries with Linear-Time Preprocessing". The Shortest Path Problem: Ninth DIMACS Implementation Challenge. https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_1328598.
- ↑ 4.0 4.1 Blum, Johannes (2019). "Hierarchy of Transportation Network Parameters and Hardness Results" (in en). Proceedings of the 14th International Symposium on Parameterized and Exact Computation (IPEC 2019) (Schloss-Dagstuhl - Leibniz Zentrum für Informatik). doi:10.4230/LIPIcs.IPEC.2019.4. https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2019.4.
- ↑ 5.0 5.1 5.2 5.3 5.4 5.5 5.6 5.7 5.8 Feldmann, Andreas Emil; Fung, Wai Shing; Könemann, Jochen; Post, Ian (January 2018). "A $(1+\varepsilon)$-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs" (in en). SIAM Journal on Computing 47 (4): 1667–1704. doi:10.1137/16M1067196. ISSN 0097-5397. https://epubs.siam.org/doi/10.1137/16M1067196.
- ↑ 6.0 6.1 6.2 Abraham, Ittai; Delling, Daniel; Fiat, Amos; Goldberg, Andrew V.; Werneck, Renato F. (2011). "VC-Dimension and Shortest Path Algorithms". in Aceto, Luca; Henzinger, Monika; Sgall, Jiří (in en). Automata, Languages and Programming. Lecture Notes in Computer Science. 6755. Berlin, Heidelberg: Springer. pp. 690–699. doi:10.1007/978-3-642-22006-7_58. ISBN 978-3-642-22006-7. https://link.springer.com/chapter/10.1007/978-3-642-22006-7_58.
- ↑ 7.0 7.1 7.2 Abraham, Ittai; Delling, Daniel; Fiat, Amos; Goldberg, Andrew V.; Werneck, Renato F. (2016-12-08). "Highway Dimension and Provably Efficient Shortest Path Algorithms". Journal of the ACM 63 (5): 41:1–41:26. doi:10.1145/2985473. ISSN 0004-5411. https://doi.org/10.1145/2985473.
- ↑ Blum, Johannes; Disser, Yann; Feldmann, Andreas Emil; Gupta, Siddharth; Zych-Pawlewicz, Anna (2022). "On Sparse Hitting Sets: From Fair Vertex Cover to Highway Dimension" (in en). Proceedings of 17th International Symposium on Parameterized and Exact Computation (IPEC 2022) (Schloss-Dagstuhl - Leibniz Zentrum für Informatik). doi:10.4230/LIPIcs.IPEC.2022.5. https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2022.5.
- ↑ Feldmann, Andreas Emil; Saulpic, David (2021-12-01). "Polynomial time approximation schemes for clustering in low highway dimension graphs". Journal of Computer and System Sciences 122: 72–93. doi:10.1016/j.jcss.2021.06.002. ISSN 0022-0000. https://www.sciencedirect.com/science/article/pii/S0022000021000647.
- ↑ 10.0 10.1 10.2 Feldmann, Andreas Emil (2019-03-01). "Fixed-Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs" (in en). Algorithmica 81 (3): 1031–1052. doi:10.1007/s00453-018-0455-0. ISSN 1432-0541. https://doi.org/10.1007/s00453-018-0455-0.
- ↑ Becker, Amariah; Klein, Philip N.; Saulpic, David (2018). "Polynomial-Time Approximation Schemes for k-center, k-median, and Capacitated Vehicle Routing in Bounded Highway Dimension" (in en). Proceedings of the 26th Annual European Symposium on Algorithms (ESA 2018) (Schloss-Dagstuhl - Leibniz Zentrum für Informatik). doi:10.4230/LIPIcs.ESA.2018.8. https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2018.8.
- ↑ 12.0 12.1 12.2 Feldmann, Andreas Emil; Vu, Tung Anh (2022). Bekos, Michael A.; Kaufmann, Michael. eds. "Generalized $$k$$-Center: Distinguishing Doubling and Highway Dimension" (in en). Graph-Theoretic Concepts in Computer Science. Lecture Notes in Computer Science (Cham: Springer International Publishing): 215–229. doi:10.1007/978-3-031-15914-5_16. ISBN 978-3-031-15914-5. https://link.springer.com/chapter/10.1007/978-3-031-15914-5_16.
 |  |
