Abstract:We initiate the study of sub-linear sketching and streaming techniques for estimating the output size of common dictionary compressors such as Lempel-Ziv '77, the run-length Burrows-Wheeler transform, and grammar compression. To this end, we focus on a measure that has recently gained much attention in the information-theoretic community and which approximates up to a polylogarithmic multiplicative factor the output sizes of those compressors: the normalized substring complexity function $\delta$. We present a data sketch of $O(\epsilon^{-3}\log n + \epsilon^{-1}\log^2 n)$ words that allows computing a multiplicative $(1\pm \epsilon)$-approximation of $\delta$ with high probability, where $n$ is the string length. The sketches of two strings $S_1,S_2$ can be merged in $O(\epsilon^{-1}\log^2 n)$ time to yield the sketch of $\{S_1,S_2\}$, speeding up by orders of magnitude tasks such as the computation of all-pairs \emph{Normalized Compression Distances} (NCD). If random access is available on the input, our sketch can be updated in $O(\epsilon^{-1}\log^2 n)$ time for each character right-extension of the string. This yields a polylogarithmic-space algorithm for approximating $\delta$, improving exponentially over the working space of the state-of-the-art algorithms running in nearly-linear time. Motivated by the fact that random access is not always available on the input data, we then present a streaming algorithm computing our sketch in $O(\sqrt n \cdot \log n)$ working space and $O(\epsilon^{-1}\log^2 n)$ worst-case delay per character. We show that an implementation of our streaming algorithm can estimate {\delta} on a dataset of 189GB with a throughput of 203MB per minute while using only 5MB of RAM, and that our sketch speeds up the computation of all-pairs NCD distances by one order of magnitude, with applications to phylogenetic tree reconstruction.

On arch factorization and subword universality for words and compressed words

$α$-$β$-Factorization and the Binary Case of Simon's Congruence

Clustering and Arnoux-Rauzy words

Substring Compression Variations and LZ78-Derivates

Revisiting the Folklore Algorithm for Random Access to Grammar-Compressed Strings

Direct and indirect evidence of compression of word lengths. Zipf's law of abbreviation revisited

On abelian closures of infinite non-binary words

Sketching and Streaming for Dictionary Compression

Constant-delay enumeration for SLP-compressed documents

Tight Bounds for the Number of Absent Scattered Factors

Algorithms for Galois Words: Detection, Factorization, and Rotation

Spectral Analysis of Word Statistics

Additive word complexity and Walnut

Arithmetical subword complexity of automatic sequences

Algorithmically finite, universal, and $*$-universal groups

The Burrows-Wheeler Transform between Data Compression and Combinatorics on Words

Variations of the bridge quiver for domestic string algebras

Algorithms in the Ultra-Wide Word Model

Abelian Properties of Words (Extended abstract)

On state complexity for subword-closed languages

The Frobenius and factor universality problems of the Kleene star of a finite set of words