Buchumschlag

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cadilhac, Michaël, Flügel, Vanessa, Pérez, Guillermo A., Rao, Shrisha
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Data Structures and Algorithms Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression
von: Cotumaccio, Nicola
Veröffentlicht: (2023)

Constant-delay enumeration for SLP-compressed documents
von: Muñoz, Martín, et al.
Veröffentlicht: (2022)

Continuous Pushdown VASS in One Dimension are Easy
von: Perez, Guillermo A., et al.
Veröffentlicht: (2024)

Dynamic direct (ranked) access of MSO query evaluation over SLP-compressed strings
von: Muñoz, Martín
Veröffentlicht: (2026)

Indexing Finite-State Automata Using Forward-Stable Partitions
von: Becker, Ruben, et al.
Veröffentlicht: (2024)

The Existential Theory of the Reals as a Complexity Class: A Compendium
von: Schaefer, Marcus, et al.
Veröffentlicht: (2024)

A closer look at TDFA
von: Borsotti, Angelo, et al.
Veröffentlicht: (2022)

Maximal Closed Substrings
von: Badkobeh, Golnaz, et al.
Veröffentlicht: (2022)

Novel Results on the Number of Runs of the Burrows-Wheeler-Transform
von: Giuliani, Sara, et al.
Veröffentlicht: (2020)

A Fast Algorithm for Computing Prefix Probabilities
von: Nowak, Franz, et al.
Veröffentlicht: (2023)

Generating a Gray code for prefix normal words in amortized polylogarithmic time per word
von: Burcsi, Péter, et al.
Veröffentlicht: (2020)

Computing Minimal Absent Words and Extended Bispecial Factors with CDAWG Space
von: Inenaga, Shunsuke, et al.
Veröffentlicht: (2024)

Absent Subsequences in Words
von: Kosche, Maria, et al.
Veröffentlicht: (2021)

Exponent-Strings and Their Edit Distance
von: Baek, Ingyu
Veröffentlicht: (2024)

Subsequences in Bounded Ranges: Matching and Analysis Problems
von: Kosche, Maria, et al.
Veröffentlicht: (2022)

Efficient Matching of Some Fundamental Regular Expressions with Backreferences
von: Nogami, Taisei, et al.
Veröffentlicht: (2025)

$k$-Universality of Regular Languages Revisited
von: Adamson, Duncan, et al.
Veröffentlicht: (2025)

Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
von: Prinz, Thomas M., et al.
Veröffentlicht: (2026)

Algorithmical Aspects of Some Bio Inspired Operations
von: Dumitran, Marius
Veröffentlicht: (2025)

Dynamic Membership for Regular Tree Languages
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

On Minimizers of Minimum Density
von: Shur, Arseny
Veröffentlicht: (2025)

Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models
von: Taylor, Landon, et al.
Veröffentlicht: (2025)

Linear Time Subsequence and Supersequence Regex Matching
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Wheeler Bisimulations
von: Cotumaccio, Nicola
Veröffentlicht: (2026)

The Inverse Lyndon Array: Definition, Properties, and Linear-Time Construction
von: Negri, Pietro, et al.
Veröffentlicht: (2026)

Efficiently Finding All Minimal and Shortest Absent Subsequences in a String
von: Manea, Florin, et al.
Veröffentlicht: (2025)

Language Edit Distance & Scored Parsing: Faster Algorithms & Connection to Fundamental Graph Problems
von: Kociumaka, Tomasz, et al.
Veröffentlicht: (2014)

Constant-Time Dynamic Enumeration of Word Infixes in a Regular Language
von: Amarilli, Antoine, et al.
Veröffentlicht: (2026)

Linear-size Suffix Tries and Linear-size CDAWGs Simplified and Improved
von: Inenaga, Shunsuke
Veröffentlicht: (2024)

Out-of-Order Membership in Regular Languages
von: Amarilli, Antoine, et al.
Veröffentlicht: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

From Width-Based Model Checking to Width-Based Automated Theorem Proving
von: Oliveira, Mateus de Oliveira, et al.
Veröffentlicht: (2022)

Attractors Is All You Need: Parity Games In Polynomial Time
von: van der Heijden, Rick
Veröffentlicht: (2025)

Smallest Suffixient Sets: Effectiveness, Resilience, and Calculation
von: Fujimaru, Hiroto, et al.
Veröffentlicht: (2025)

Complex event recognition meets hierarchical conjunctive queries
von: Pinto, Dante, et al.
Veröffentlicht: (2024)

Distinct Shortest Walk Enumeration for RPQs
von: David, Claire, et al.
Veröffentlicht: (2023)

Revisiting Weighted Information Extraction: A Simpler and Faster Algorithm for Ranked Enumeration
von: Gawrychowski, Pawel, et al.
Veröffentlicht: (2024)

A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata
von: Amarilli, Antoine, et al.
Veröffentlicht: (2024)

Dynamic direct access of MSO query evaluation over strings
von: Bourhis, Pierre, et al.
Veröffentlicht: (2024)

Tokenisation is NP-Complete
von: Whittington, Philip, et al.
Veröffentlicht: (2024)