Dynamic Suffix Array with Polylogarithmic Queries and Updates

Abstract

The suffix array $SA[\mathrm{1..}n]$ of a text $T$ of length $n$ is a permutation of $\{1,\dots ,n\}$ describing the lexicographical ordering of suffixes of $T$, and it is considered to be among of the most important data structures in string algorithms, with dozens of applications in data compression, bioinformatics, and information retrieval. One of the biggest drawbacks of the suffix array is that it is very difficult to maintain under text updates: even a single character substitution can completely change the contents of the suffix array. Thus, the suffix array of a dynamic text is modelled using suffix array queries, which return the value $SA[i]$ given any $i\in [\mathrm{1..}n]$. Prior to this work, the fastest dynamic suffix array implementations were by Amir and Boneh. At ISAAC 2020, they showed how to answer suffix array queries in $\tilde{O}(k)$ time, where $k\in [\mathrm{1..}n]$ is a trade-off parameter, with $\tilde{O}(\frac{n}{k})$-time text updates. In a very recent preprint [2021], they also provided a solution with $O({\log }^{5}n)$-time queries and $\tilde{O}(n^{2/3})$-time updates. We propose the first data structure that supports both suffix array queries and text updates in $O(\mathrm{polylog}n)$ time (achieving $O({\log }^{4}n)$ and $O({\log }^{3+o(1)}n)$ time, respectively). Our data structure is deterministic and the running times for all operations are worst-case. In addition to the standard single-character edits (character insertions, deletions, and substitutions), we support (also in $O({\log }^{3+o(1)}n)$ time) the "cut-paste" operation that moves any (arbitrarily long) substring of $T$ to any place in $T$. We complement our structure by a hardness result: unless the Online Matrix-Vector Multiplication (OMv) Conjecture fails, no data structure with $O(\mathrm{polylog}n)$-time suffix array queries can support the "copy-paste" operation in $O(n^{1-\epsilon })$ time for any $\epsilon >0$.

arXiv comment83 pages

References in corpus (7)

• Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture
• Fully-Functional Suffix Trees and Optimal Text Searching in BWT-runs Bounded Space
• Time-Space Trade-Offs for Lempel-Ziv Compressed Indexing
• Resolution of the Burrows-Wheeler Transform Conjecture
• String Synchronizing Sets: Sublinear-Time BWT Construction and Optimal LCE Data Structure
• Dynamic Suffix Array with Polylogarithmic Queries and Updates
• Locally Consistent Parsing for Text Indexing in Small Space

Cited by in corpus (5)

• Internal Pattern Matching Queries in a Text and Applications
• Dynamic Suffix Array with Polylogarithmic Queries and Updates
• Breaking the $O(n)$-Barrier in the Construction of Compressed Suffix Arrays and Suffix Trees
• Near-Optimal Search Time in $\delta$-Optimal Space, and Vice Versa
• Data structures for computing unique palindromes in static and non-static strings