TY - JOUR
T1 - Towards a complete perspective on labeled tree indexing
T2 - New size bounds, efficient constructions, and beyond
AU - Inenaga, Shunsuke
N1 - Funding Information:
Acknowledgments The author thanks Dany Breslauer (deceased) for fruitful discussions at the initial stage of this work. The author is also grateful to an anonymous referee for pointing out an error in the previous version of this paper and for suggesting use of micro-macro tree decomposition. This research is supported by KAKENHI grant number JP17H01697 and by JST PRESTO Grant Number JPMJPR1922.
Funding Information:
The author thanks Dany Breslauer (de-ceased) for fruitful discussions at the initial stage of this work. The author is also grateful to an anonymous referee for pointing out an error in the previous version of this paper and for suggesting use of micro-macro tree decomposition. This research is supported by KAKENHI grant number JP17H01697 and by JST PRESTO Grant Number JPMJPR1922.
Publisher Copyright:
© 2021 Information Processing Society of Japan.
PY - 2021
Y1 - 2021
N2 - A labeled tree (or a trie) is a natural generalization of a string which can also be seen as a compact representation of a set of strings. This paper considers the labeled tree indexing problem, and provides a number of new results on space bound analysis and on algorithms for efficient construction and pattern matching queries. Kosaraju [FOCS 1989] was the first to consider the labeled tree indexing problem and he proposed the suffix tree for a backward trie, where the strings in the trie are read in the leaf-to-root direction. In contrast to a backward trie, we call an ordinary trie as a forward trie. Despite a few follow-up works after Kosaraju’s paper, indexing forward/backward tries is not well understood yet. In this paper, we show a full perspective on the sizes of indexing structures such as suffix trees, DAWGs, CDAWGs, suffix arrays, affix trees, affix arrays for forward and backward tries. Some of them take O(n) space in the size n of the input trie, while the others can occupy O(n2) space in the worst case. In particular, we show that the size of the DAWG for a forward trie with n nodes is Ω(σn), where σ is the number of distinct characters in the trie. This becomes Ω(n2) for an alphabet of size σ =Θ(n). Still, we show that there is a compact O(n)-space implicit representation of the DAWG for a forward trie, whose space requirement is independent of the alphabet size. This compact representation allows for simulating each DAWG edge traversal in O(log σ) time, and can be constructed in O(n) time and space over any integer alphabet of size O(n). In addition, this readily extends to the first indexing structure that permits bidirectional pattern searches over a trie within linear space in the input trie size. We also discuss the size of the DAWG built on a labeled DAG or on an acyclic DFA, and present a quadratic lower bound for its size.
AB - A labeled tree (or a trie) is a natural generalization of a string which can also be seen as a compact representation of a set of strings. This paper considers the labeled tree indexing problem, and provides a number of new results on space bound analysis and on algorithms for efficient construction and pattern matching queries. Kosaraju [FOCS 1989] was the first to consider the labeled tree indexing problem and he proposed the suffix tree for a backward trie, where the strings in the trie are read in the leaf-to-root direction. In contrast to a backward trie, we call an ordinary trie as a forward trie. Despite a few follow-up works after Kosaraju’s paper, indexing forward/backward tries is not well understood yet. In this paper, we show a full perspective on the sizes of indexing structures such as suffix trees, DAWGs, CDAWGs, suffix arrays, affix trees, affix arrays for forward and backward tries. Some of them take O(n) space in the size n of the input trie, while the others can occupy O(n2) space in the worst case. In particular, we show that the size of the DAWG for a forward trie with n nodes is Ω(σn), where σ is the number of distinct characters in the trie. This becomes Ω(n2) for an alphabet of size σ =Θ(n). Still, we show that there is a compact O(n)-space implicit representation of the DAWG for a forward trie, whose space requirement is independent of the alphabet size. This compact representation allows for simulating each DAWG edge traversal in O(log σ) time, and can be constructed in O(n) time and space over any integer alphabet of size O(n). In addition, this readily extends to the first indexing structure that permits bidirectional pattern searches over a trie within linear space in the input trie size. We also discuss the size of the DAWG built on a labeled DAG or on an acyclic DFA, and present a quadratic lower bound for its size.
UR - http://www.scopus.com/inward/record.url?scp=85099974915&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85099974915&partnerID=8YFLogxK
U2 - 10.2197/ipsjjip.29.1
DO - 10.2197/ipsjjip.29.1
M3 - Article
AN - SCOPUS:85099974915
VL - 29
SP - 1
EP - 13
JO - Journal of Information Processing
JF - Journal of Information Processing
SN - 0387-6101
ER -