Hardness of Exact Distance Queries in Sparse Graphs Through Hub Labeling
Résumé
A distance labeling scheme is an assignment of bit-labels to the vertices of an undirected, unweighted graph such that the distance between any pair of vertices can be decoded solely from their labels. An important class of distance labeling schemes is that of hub labelings, where a node $v \in G$ stores its distance to the so-called hubs $S_v \subseteq V$, chosen so that for any $u,v \in V$ there is $w \in S_u \cap S_v$ belonging to some shortest $uv$ path. Notice that for most existing graph classes, the best distance labelling constructions existing use at some point a hub labeling scheme at least as a key building block. Our interest lies in hub labelings of sparse graphs, i.e., those with $|E(G)| = O(n)$, for which we show a lowerbound of $\frac{n}{2^{O(\sqrt{\log n})}}$ for the average size of the hubsets. Additionally, we show a hub-labeling construction for sparse graphs of average size $O(\frac{n}{RS(n)^{c}})$ for some $0 < c < 1$, where $RS(n)$ is the so-called Ruzsa-Szemer{\'e}di function, linked to structure of induced matchings in dense graphs. This implies that further improving the lower bound on hub labeling size to $\frac{n}{2^{(\log n)^{o(1)}}}$ would require a breakthrough in the study of lower bounds on $RS(n)$, which have resisted substantial improvement in the last 70 years. For general distance labeling of sparse graphs, we show a lowerbound of $\frac{1}{2^{O(\sqrt{\log n})}} SumIndex(n)$, where $SumIndex(n)$ is the communication complexity of the Sum-Index problem over $Z_n$. Our results suggest that the best achievable hub-label size and distance-label size in sparse graphs may be $\Theta(\frac{n}{2^{(\log n)^c}})$ for some $0
Adrian Kosowski : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02429930
Soumis le : mardi 7 janvier 2020-00:34:39
Dernière modification le : mercredi 16 octobre 2024-14:42:09
Dates et versions
Identifiants
- HAL Id : hal-02429930 , version 1
- ARXIV : 1902.07055
- DOI : 10.1145/3293611.3331625
Citer
Adrian Kosowski, Przemysław Uznański, Laurent Viennot. Hardness of Exact Distance Queries in Sparse Graphs Through Hub Labeling. PODC '19 - ACM Symposium on Principles of Distributed Computing, Jul 2019, Toronto, Canada. pp.272-279, ⟨10.1145/3293611.3331625⟩. ⟨hal-02429930⟩
Collections
46
Consultations
0
Téléchargements