Proving Tree Algorithms for Succinct Data Structures.

Reynald Affeldt Jacques Garrigue Xuanrui Qi Kazunari Tanaka

Published in: ITP (2019)

Keyphrases

data structure
optimization problems
computational efficiency
times faster
suffix tree
computational complexity
computational cost
computationally efficient
benchmark datasets
tree structure
decision trees
significant improvement
worst case
index structure
orders of magnitude
graph theory