Martín Muñoz ; Cristian Riveros - Constant-delay enumeration for SLP-compressed documents

lmcs:12495 - Logical Methods in Computer Science, February 21, 2025, Volume 21, Issue 1 - https://doi.org/10.46298/lmcs-21(1:17)2025
Constant-delay enumeration for SLP-compressed documentsArticle

Authors: Martín Muñoz ; Cristian Riveros

    We study the problem of enumerating results from a query over a compressed document. The model we use for compression are straight-line programs (SLPs), which are defined by a context-free grammar that produces a single string. For our queries, we use a model called Annotated Automata, an extension of regular automata that allows annotations on letters. This model extends the notion of Regular Spanners as it allows arbitrarily long outputs. Our main result is an algorithm that evaluates such a query by enumerating all results with output-linear delay after a preprocessing phase which takes linear time on the size of the SLP, and cubic time over the size of the automaton. This is an improvement over Schmid and Schweikardt's result, which, with the same preprocessing time, enumerates with a delay that is logarithmic on the size of the uncompressed document. We achieve this through a persistent data structure named Enumerable Compact Sets with Shifts which guarantees output-linear delay under certain restrictions. These results imply constant-delay enumeration algorithms in the context of regular spanners. Further, we use an extension of annotated automata which utilizes succinctly encoded annotations to save an exponential factor from previous results that dealt with constant-delay enumeration over vset automata. Lastly, we extend our results in the same fashion Schmid and Schweikardt did to allow complex document editing while maintaining the constant delay guarantee.


    Volume: Volume 21, Issue 1
    Published on: February 21, 2025
    Accepted on: January 13, 2025
    Submitted on: November 1, 2023
    Keywords: Computer Science - Data Structures and Algorithms,Computer Science - Formal Languages and Automata Theory,Computer Science - Logic in Computer Science

    Consultation statistics

    This page has been seen 414 times.
    This article's PDF has been downloaded 130 times.