Better Distance Labeling for Unweighted Planar Graphs

• Published in: Algorithms and Data Structures Vol. 12808; pp. 428 - 441
• Main Authors: Gawrychowski, Paweł, Uznański, Przemysław
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2021; Springer International Publishing
• Series: Lecture Notes in Computer Science
• ISBN: 3030835073; 9783030835071
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-030-83508-8_31

A distance labeling scheme is an assignment of labels, that is, binary strings, to all nodes of a graph, so that the distance between any two nodes can be computed from their labels without any additional information about the graph. The goal is to minimize the maximum length of a label as a function of the number of nodes. A major open problem in this area is to determine the complexity of distance labeling in unweighted planar (undirected) graphs. It is known that, in such a graph on n nodes, some labels must consist of Ω(n1/3) $$\varOmega (n^{1/3})$$ bits, but the best known labeling scheme constructs labels of length O(nlogn) $$\mathcal {O}(\sqrt{n}\log n)$$ [Gavoille, Peleg, Pérennes, and Raz, J. Algorithms, 2004]. For weighted planar graphs with edges of length polynomial in n, we know that labels of length Ω(nlogn) $$\varOmega (\sqrt{n}\log n)$$ are necessary [Abboud and Dahlgaard, FOCS 2016]. Surprisingly, we do not know if distance labeling for weighted planar graphs with edges of length polynomial in n is harder than distance labeling for unweighted planar graphs. We prove that this is indeed the case by designing a distance labeling scheme for unweighted planar graphs on n nodes with labels consisting of O(n) $$\mathcal {O}(\sqrt{n})$$ bits with a simple and (in our opinion) elegant method. We augment the construction with a mechanism that allows us to compute the distance between two nodes in only polylogarithmic time while increasing the length by O(nlogn) $$\mathcal {O}(\sqrt{n\log n})$$ . The previous scheme required Ω(n) $$\varOmega (\sqrt{n})$$ time to answer a query in this model.