Abstract:Grammar compression is a general compression framework in which a string $T$ of length $N$ is represented as a context-free grammar of size $n$ whose language contains only $T$. In this paper, we focus on studying the limitations of algorithms and data structures operating on strings in grammar-compressed form. Previous work focused on proving lower bounds for grammars constructed using algorithms that achieve the approximation ratio $\rho=\mathcal{O}(\text{polylog }N)$. Unfortunately, for the majority of grammar compressors, $\rho$ is either unknown or satisfies $\rho=\omega(\text{polylog }N)$. In their seminal paper, Charikar et al. [IEEE Trans. Inf. Theory 2005] studied seven popular grammar compression algorithms: RePair, Greedy, LongestMatch, Sequential, Bisection, LZ78, and $\alpha$-Balanced. Only one of them ($\alpha$-Balanced) is known to achieve $\rho=\mathcal{O}(\text{polylog }N)$. We develop the first technique for proving lower bounds for data structures and algorithms on grammars that is fully general and does not depend on the approximation ratio $\rho$ of the used grammar compressor. Using this technique, we first prove that $\Omega(\log N/\log \log N)$ time is required for random access on RePair, Greedy, LongestMatch, Sequential, and Bisection, while $\Omega(\log\log N)$ time is required for random access to LZ78. All these lower bounds hold within space $\mathcal{O}(n\text{ polylog }N)$ and match the existing upper bounds. We also generalize this technique to prove several conditional lower bounds for compressed computation. For example, we prove that unless the Combinatorial $k$-Clique Conjecture fails, there is no combinatorial algorithm for CFG parsing on Bisection (for which it holds $\rho=\tilde{\Theta}(N^{1/2})$) that runs in $\mathcal{O}(n^c\cdot N^{3-\epsilon})$ time for all constants $c>0$ and $\epsilon>0$. Previously, this was known only for $c<2\epsilon$.

Frontiers in Algorithmics

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Complexity of Problems of Commutative Grammars

A Fast Algorithm for Computing Prefix Probabilities

A Grammar of Dumont and a Theorem of Diaconis-Evans-Graham

A Uniform Framework for Problems on Context-Free Grammars

Normal ordered grammars

Differential operators, grammars and Young tableaux

Grammar Boosting: A New Technique for Proving Lower Bounds for Computation over Compressed Data

The hardest language for grammars with context operators

Context-free Grammars for Permutations and Increasing Trees

On Some Complexity Results for Even Linear Languages

Ordered Context-Free Grammars Revisited

Algorithms for Galois Words: Detection, Factorization, and Rotation

The Power of Constraint Grammars Revisited

Faster Prefix-Sorting Algorithms for Deterministic Finite Automata

Regular Methods for Operator Precedence Languages

#CFG and #DNNF admit FPRAS

Online Ordinal Problems: Optimality of Comparison-based Algorithms and their Cardinal Complexity

The categorical contours of the Chomsky-Schützenberger representation theorem

Generalized Fixed-Depth Prefix and Postfix Symbolic Regression Grammars