Buchumschlag

Polynomial Bounds of CFLOBDDs against BDDs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhi, Xusheng, Reps, Thomas
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Symbolic Computation Discrete Mathematics Data Structures and Algorithms Formal Languages and Automata Theory I.1.1; G.2.2; F.4.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Myhill-Nerode Type Characterization of 2detLIN Languages
von: Nagy, Benedek
Veröffentlicht: (2025)

Specifying and Verifying the Convergence Stairs of the Collatz Program
von: Ebnenasir, Ali
Veröffentlicht: (2024)

Dorst-Smeulders Coding for Arbitrary Binary Words
von: De Luca, Alessandro, et al.
Veröffentlicht: (2025)

Construction of Minkowski Sums by Cellular Automata
von: Tahay, Pierre-Adrien
Veröffentlicht: (2024)

Learning Tree Automata with Term Rewriting
von: Kopystiański, Jakub, et al.
Veröffentlicht: (2026)

Subsequence Matching and Analysis Problems for Formal Languages
von: Fazekas, Szilárd Zsolt, et al.
Veröffentlicht: (2024)

Better Approximation for Weighted $k$-Matroid Intersection
von: Singer, Neta, et al.
Veröffentlicht: (2024)

Decomposing Words for Enhanced Compression: Exploring the Number of Runs in the Extended Burrows-Wheeler Transform
von: Ingels, Florian, et al.
Veröffentlicht: (2025)

On Graph Grammars and Games
von: Vijayakumar, Jayakrishna, et al.
Veröffentlicht: (2024)

Efficient Uniform Sampling of Surjections via their Profiles
von: Carayol, Arnaud, et al.
Veröffentlicht: (2026)

Approximation Algorithms for Correlated Knapsack Orienteering
von: Espinosa, David Aleman, et al.
Veröffentlicht: (2024)

Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces
von: Arellanes, Damian
Veröffentlicht: (2021)

Regular Expressions with Backreferences: Polynomial-Time Matching Techniques
von: Schmid, Markus L.
Veröffentlicht: (2019)

Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
von: Kiefer, Stefan, et al.
Veröffentlicht: (2025)

Weisfeiler-Leman on graphs of small twin-width
von: Heinrich, Irene, et al.
Veröffentlicht: (2026)

Generalized De Bruijn Words, Invertible Necklaces, and the Burrows-Wheeler Transform
von: Fici, Gabriele, et al.
Veröffentlicht: (2025)

Morphisms and BWT-run Sensitivity
von: Fici, Gabriele, et al.
Veröffentlicht: (2025)

Unclustered BWTs of any Length over Non-Binary Alphabets
von: Fici, Gabriele, et al.
Veröffentlicht: (2025)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
von: Sistla, Meghana, et al.
Veröffentlicht: (2022)

Active Automata Learning with Advice
von: Fica, Michał, et al.
Veröffentlicht: (2025)

Deterministic Minimum Steiner Cut in Maximum Flow Time
von: Ding, Matthew, et al.
Veröffentlicht: (2023)

Highly Connected Steiner Subgraph -- Parameterized Algorithms and Applications to Hitting Set Problems
von: Eiben, Eduard, et al.
Veröffentlicht: (2023)

Forward-backward Contention Resolution Schemes for Fair Rationing
von: Ma, Will, et al.
Veröffentlicht: (2025)

A polynomial-time algorithm for recognizing high-bandwidth graphs
von: Varona, Luis M. B.
Veröffentlicht: (2026)

An O(log n)-Approximation Algorithm for (p,q)-Flexible Graph Connectivity via Independent Rounding
von: Ibrahimpur, Sharat, et al.
Veröffentlicht: (2025)

Implementation of Polynomial NP-Complete Algorithms Based on the NP Verifier Simulation Framework
von: Lee, Changryeol
Veröffentlicht: (2026)

Grammar-Constrained (CFL) Reachability: Subcubic Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

Beyond Worst-Case Subset Sum: An Adaptive, Structure-Aware Solver with Sub-$2^{n/2}$ Enumeration
von: Salas, Jesus
Veröffentlicht: (2025)

A Polynomial Kernel for Vertex Deletion to the Scattered Class of Proper Interval Graph and Trees
von: Jacob, Ashwin, et al.
Veröffentlicht: (2026)

A Polynomial Kernel for Deletion to the Scattered Class of Cliques and Trees
von: Jacob, Ashwin, et al.
Veröffentlicht: (2024)

The Inclusion Depth of Pattern Languages: An Open Problem in Algorithmic Learning Theory
von: Luo, Wei
Veröffentlicht: (2026)

Rabin Games and Colourful Universal Trees
von: Majumdar, Rupak, et al.
Veröffentlicht: (2024)

Online Bipartite Matching in the Probe-Commit Model
von: Borodin, Allan, et al.
Veröffentlicht: (2023)

Online Matching and Contention Resolution for Edge Arrivals with Vanishing Probabilities
von: Ma, Will, et al.
Veröffentlicht: (2024)

On (Random-order) Online Contention Resolution Schemes for the Matching Polytope of (Bipartite) Graphs
von: MacRury, Calum, et al.
Veröffentlicht: (2022)

Structural and Combinatorial Properties of 2-swap Word Permutation Graphs
von: Adamson, Duncan, et al.
Veröffentlicht: (2023)

SSD Set System, Graph Decomposition and Hamiltonian Cycle
von: Shota, Kan, et al.
Veröffentlicht: (2024)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
von: Grabmayer, Clemens
Veröffentlicht: (2024)

Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
von: Alevizos, Elias, et al.
Veröffentlicht: (2024)

On a Generalization of the Christoffel Tree: Epichristoffel Trees
von: Krishnamoorthy, Abhishek, et al.
Veröffentlicht: (2025)