For fixed @math , we consider the task of adding to a graph @math a set of weighted shortcut edges on the same vertex set, such that the length of a shortest @math -hop path between any pair of vertices in the augmented graph is exactly the same as the original distance between these vertices in @math . A set of shortcut edges with this property is called an exact @math -hopset and may be applied in processing distance queries on graph @math . In particular, a @math -hopset directly corresponds to a distributed distance oracle known as a hub labeling. In this work, we explore centralized distance oracles based on @math -hopsets and display their advantages in several practical scenarios. In particular, for graphs of constant highway dimension, and more generally for graphs of constant skeleton dimension, we show that @math -hopsets require exponentially fewer shortcuts per node than any previously described distance oracle while incurring only a quadratic increase in the query decoding time, and actually offer a speedup when compared to simple oracles based on a direct application of @math -hopsets. Finally, we consider the problem of computing minimum-size @math -hopset (for any @math ) for a given graph @math , showing a polylogarithmic-factor approximation for the case of unique shortest path graphs. When @math , for a given bound on the space used by the distance oracle, we provide a construction of hopsets achieving polylog approximation both for space and query time compared to the optimal @math -hopset oracle given the space bound.
The distance labeling problem is a special case of a distributed distance oracle, and consists of assigning labels to the nodes of a graph such that the distance between two nodes @math and @math can be computed from the labels of @math and @math (see, e.g., @cite_5 ).
@cite_5
37512724 756611012 2952655484 63325702
Distributed distance oracles consist of a labeling scheme which assigns a label to each node and a local data structure deployed to each node. When a node v wants to know the distance to a node u, it queries its local data structure with the label of u. The data structure returns an estimated distance to u, which must be larger than the actual distance but can be overestimated. The accuracy of the distance oracle is measured by stretch, which is defined as the maximum ratio between actual distances and estimated distances over all pairs (u, v). A distance labeling scheme labels the n nodes of a graph with binary strings such that, given the labels of any two nodes, one can determine the distance in the graph between the two nodes by looking only at the labels. A D-preserving distance labeling scheme only returns precise distances between pairs of nodes that are at distance at least D from each other. In this paper we consider distance labeling schemes for the classical case of unweighted and undirected graphs. We present the first distance labeling scheme of size opnq for sparse graphs (and hence bounded degree graphs). This addresses an open problem by Gavoille et. al. [J. Algo. 2004], hereby separating the complexity from general graphs which require pnq size Moon [Proc. of Glasgow Math. Association 1965]. As an intermediate result we give a Op n D log We consider how to assign labels to any undirected graph with n nodes such that, given the labels of two nodes and no other information regarding the graph, it is possible to determine the distance between the two nodes. The challenge in such a distance labeling scheme is primarily to minimize the maximum label lenght and secondarily to minimize the time needed to answer distance queries (decoding). Previous schemes have offered different trade-offs between label lengths and query time. This paper presents a simple algorithm with shorter labels and shorter query time than any previous solution, thereby improving the state-of-the-art with respect to both label length and query time in one single algorithm. Our solution addresses several open problems concerning label length and decoding time and is the first improvement of label length for more than three decades. More specifically, we present a distance labeling scheme with label size (log 3) 2 + o(n) (logarithms are in base 2) and O(1) decoding time. This outperforms all existing results with respect to both size and decoding time, including Winkler's (Combinatorica 1983) decade-old result, which uses labels of size (log 3)n and O(n log n) decoding time, and (SODA'01), which uses labels of size 11n + o(n) and O(loglog n) decoding time. In addition, our algorithm is simpler than the previous ones. In the case of integral edge weights of size at most W, we present almost matching upper and lower bounds for label sizes. For r-additive approximation schemes, where distances can be off by an additive constant r, we give both upper and lower bounds. In particular, we present an upper bound for 1-additive approximation schemes which, in the unweighted case, has the same size (ignoring second order terms) as an adjacency scheme: n 2. We also give results for bipartite graphs and for exact and 1-additive distance oracles. We consider vertex-labeled graphs, where each vertex v is attached with a label from a set of labels. The vertex-to-label distance query desires the length of the shortest path from the given vertex to the set of vertices with the given label. We show how to construct an oracle for a vertex-labeled planar graph, such that (O( 1 n n) ) storing space is needed, and any vertex-to-label query can be answered in (O( 1 n ) ) time with stretch 1 + e. Here, Δ is the hop-diameter of the given graph. For the case that Δ = O(logn), we construct a distance oracle that achieves (O( 1 n) ) query time, without changing space usage.