Abstract:We study regular expression membership testing: Given a regular expression of size $m$ and a string of size $n$, decide whether the string is in the language described by the regular expression. Its classic $O(nm)$ algorithm is one of the big success stories of the 70s, which allowed pattern matching to develop into the standard tool that it is today. Many special cases of pattern matching have been studied that can be solved faster than in quadratic time. However, a systematic study of tractable cases was made possible only recently, with the first conditional lower bounds reported by Backurs and Indyk [FOCS'16]. Restricted to any "type" of homogeneous regular expressions of depth 2 or 3, they either presented a near-linear time algorithm or a quadratic conditional lower bound, with one exception known as the Word Break problem. In this paper we complete their work as follows: 1) We present two almost-linear time algorithms that generalize all known almost-linear time algorithms for special cases of regular expression membership testing. 2) We classify all types, except for the Word Break problem, into almost-linear time or quadratic time assuming the Strong Exponential Time Hypothesis. This extends the classification from depth 2 and 3 to any constant depth. 3) For the Word Break problem we give an improved $\tilde{O}(n m^{1/3} + m)$ algorithm. Surprisingly, we also prove a matching conditional lower bound for combinatorial algorithms. This establishes Word Break as the only intermediate problem. In total, we prove matching upper and lower bounds for any type of bounded-depth homogeneous regular expressions, which yields a full dichotomy for regular expression membership testing.

The Equivalence Problem of E-Pattern Languages with Regular Constraints is Undecidable

The Equivalence Problem of E-Pattern Languages with Length Constraints is Undecidable

The teaching complexity of erasing pattern languages with bounded variable frequency

A Dichotomy for Regular Expression Membership Testing

Parity Permutation Pattern Matching

On (shape-)Wilf-equivalence of certain sets of (partially ordered) patterns

Regular Intersection Emptiness of Graph Problems: Finding a Needle in a Haystack of Graphs with the Help of Automata

Representing permutations without permutations, or the expressive power of sequence types

Constrained Expressions and their Derivatives

Restrictive Acceptance Suffices for Equivalence Problems

Asymptotic enumeration of permutations avoiding generalized patterns

Reachability of Patterned Conditional Pushdown Systems

On restricted permutations on regular multisets

Equivalence after extension and Schur coupling for relatively regular operators

Pattern Models: A Dynamic Epistemic Logic For Distributed Systems

Regular Substitution Sets: A Means of Controlling E-Unification

All those EPPA classes (Strengthenings of the Herwig-Lascar theorem)

Deterministic Second-order Patterns in Program Transformation

Regular Expressions with Backreferences: Polynomial-Time Matching Techniques

Pattern equivariant functions, deformations and equivalence of tiling spaces

Doubled patterns are $3$-avoidable