Abstract
We investigate labeling schemes supporting adjacency, ancestry, sibling, and connectivity queries in forests. In the course of more than 20 years, the existence of log n + O(log log n) labeling schemes supporting each of these functions was proven, with the most recent being ancestry [Fraigniaud andKorman, STOC’10]. Severalmulti-functional labeling schemes also enjoy lower or upper bounds of log n+Ω(log log n) or logn+ O(log log n) respectively. Notably an upper bound of log n+2log log n for adjacency+siblings and a lower bound of log n + log log n for each of the functions siblings, ancestry, and connectivity [Alstrup et al., SODA’03]. We improve the constants hidden in the O-notation, where our main technical contribution is a log n+2log log n lower bound for connectivity +ancestry and connectivity+siblings. In the context of dynamic labeling schemes it is known that ancestry requires Ω(n) bits [Cohen, et al. PODS’02]. In contrast, we show upper and lower bounds on the label size for adjacency, siblings, and connectivity of 2 log n bits, and 3 log n to support all three functions. We also show that there exist no efficient dynamic adjacency labeling schemes for planar, bounded treewidth, bounded arboricity and bounded degree graphs.
Original language | English |
---|---|
Title of host publication | Algorithms and Computation : 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings |
Editors | Hee-Kap Ahn, Chan-Su Shin |
Number of pages | 13 |
Publisher | Springer |
Publication date | 2014 |
Pages | 141-153 |
Chapter | 12 |
ISBN (Print) | 978-3-319-13074-3 |
ISBN (Electronic) | 978-3-319-13075-0 |
DOIs | |
Publication status | Published - 2014 |
Event | International Symposium, ISAAC 2014 - Jeonju, Korea, Republic of Duration: 15 Dec 2014 → 17 Dec 2014 Conference number: 25 |
Conference
Conference | International Symposium, ISAAC 2014 |
---|---|
Number | 25 |
Country/Territory | Korea, Republic of |
City | Jeonju |
Period | 15/12/2014 → 17/12/2014 |
Series | Lecture notes in computer science |
---|---|
ISSN | 0302-9743 |