Suffix Random Access via Function Inversion: A Key for Asymmetric Streaming String Algorithms

TL;DR

This paper introduces a novel suffix random access data structure and a reduction technique that improve the efficiency of string processing algorithms in the asymmetric streaming model, enabling better pattern matching and compression.

Contribution

It presents a generic reduction from asymmetric streaming to the online read-only model and introduces a suffix random access data structure linked to function inversion.

Findings

Achieved efficient asymmetric streaming algorithms for pattern matching and compression.

Established a bidirectional reduction between suffix random access and function inversion.

Proposed a new variant of string synchronizing sets with an efficient streaming construction.

Abstract

Many string processing problems can be phrased in the streaming setting, where the input arrives symbol by symbol and we have sublinear working space. The area of streaming algorithms for string processing has flourished since the seminal work of Porat and Porat [FOCS 2009]. Unfortunately, problems with efficient solutions in the classical setting often do not admit efficient solutions in the streaming setting. As a bridge between these two settings, Saks and Seshadhri [SODA 2013] introduced the asymmetric streaming model. Here, one is given read-only access to a (typically short) reference string $R$ of length $m$, while a text $T$ arrives as a stream. We provide a generic technique to reduce fundamental string problems in the asymmetric streaming model to the online read-only model, lifting several existing algorithms and generally improving upon the state of the art. Most notably, we obtain asymmetric streaming algorithms for exact and approximate pattern matching (under both the Hamming and edit distances), and for relative Lempel-Ziv compression. At the heart of our approach lies a novel tool that facilitates efficient computation in the asymmetric streaming model: the suffix random access data structure. In its simplest variant, it maintains constant-time random access to the longest suffix of (the seen prefix of) $T$ that occurs in $R$. We show a bidirectional reduction between suffix random access and function inversion, a central problem in cryptography. On the way to our upper bound, we propose a variant of the string synchronizing sets ([Kempa and Kociumaka; STOC 2019]) with a local sparsity condition that, as we show, admits an efficient streaming construction algorithm. We believe that our framework and techniques will find broad applications in the development of small-space string algorithms.