Online Computation of the Longest Repeating Suffix and Smallest Suffixient Sets via Incremental Run-Length BWT-based Indexes
Abstract
We revisit the online construction of smallest suffixient sets and the online computation of the longest repeating suffix (LRS). We give the first compressed-space online construction of smallest suffixient sets, and present two space-time trade-offs for both problems: O(r n+n) bits of working space and O(2 n/ n) worst-case time per character, and O(r n+n n) bits of working space and O(( n/ n)2) worst-case time per character. Here, r is the number of runs in the Burrows-Wheeler transform of the reverse of T[1..n]. In particular, for highly repetitive texts satisfying r=O(n/ n), the first trade-off uses O(n) bits of working space, while the second uses O(n n) bits. We also prove that any deterministic online algorithm for computing LRS requires \(Ω(n)\) bits of peak working space in the worst case, even over a constant-size alphabet. Through reductions from online LRS computation, we extend this lower bound to deterministic online algorithms maintaining either an arbitrary smallest suffixient set augmented with the length of the supermaximal right extension represented by each selected position, or the position-only smallest suffixient set obtained by selecting the rightmost occurrence of every such extension. For constructing smallest suffixient sets, our algorithms are the first online solutions using compressed working space, improving the O(n)-word space required by previous online constructions. For compressed-space online LRS computation, compared with the algorithm of Prezza and Rosone~[CiE 2020], our bounds improve their O(2 n) amortized time per character by factors of Θ( n) and Θ(( n)2), respectively, while also providing worst-case guarantees.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.