Buchumschlag

Learning DFAs from Positive Examples Only via Word Counting

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bordais, Benjamin, Neider, Daniel
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computational Complexity
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A framework for computing upper bounds in passive learning settings
von: Bordais, Benjamin, et al.
Veröffentlicht: (2025)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

The Complexity of Learning Temporal Properties
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

Learning Tree Pattern Transformations
von: Neider, Daniel, et al.
Veröffentlicht: (2024)

Counting Small Induced Subgraphs: Hardness via Fourier Analysis
von: Curticapean, Radu, et al.
Veröffentlicht: (2024)

The Counting General Dominating Set Framework
von: Zheng, Jiayi, et al.
Veröffentlicht: (2026)

The Complexity of Logarithmic Space Bounded Counting Classes
von: Vijayaraghavan, T. C.
Veröffentlicht: (2025)

Low Sets and Closure Properties of Counting Function Classes
von: Ivanashev, Yaroslav
Veröffentlicht: (2025)

Lower Bounds for Subset Sum in Resolution with Modular Counting
von: Part, Fedor
Veröffentlicht: (2022)

Hilbert's Nullstellensatz is in the Counting Hierarchy
von: Andrews, Robert, et al.
Veröffentlicht: (2026)

Counting Triangulations of Fixed Cardinal Degrees
von: Chambers, Erin, et al.
Veröffentlicht: (2025)

From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
von: Hecher, Markus, et al.
Veröffentlicht: (2025)

The Complexity of Counting Turns in the Line-Based Dial-a-Ride Problem
von: Lauerbach, Antonio, et al.
Veröffentlicht: (2024)

Algorithmic Structure in Subset Sum: Deterministic In-Bound Navigation and the Counting Complexity Divide
von: Nkosi, Thami
Veröffentlicht: (2025)

Counting Small Induced Subgraphs: Scorpions Are Easy but Not Trivial
von: Curticapean, Radu, et al.
Veröffentlicht: (2025)

Modular Counting CSP: Reductions and Algorithms
von: Kazeminia, Amirhossein, et al.
Veröffentlicht: (2025)

Computing the Elementary Symmetric Polynomials in Positive Characteristics
von: Orzel, Ian
Veröffentlicht: (2025)

Counting Subgraphs in Somewhere Dense Graphs
von: Bressan, Marco, et al.
Veröffentlicht: (2022)

From Graph Properties to Graph Parameters: Tight Bounds for Counting on Small Subgraphs
von: Döring, Simon, et al.
Veröffentlicht: (2024)

Model Counting for Dependency Quantified Boolean Formulas
von: Fung, Long-Hin, et al.
Veröffentlicht: (2025)

Finite Variable Counting Logics with Restricted Requantification
von: Raßmann, Simon, et al.
Veröffentlicht: (2024)

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
von: Haneef, Farah
Veröffentlicht: (2024)

Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2006)

Positive Univariate Polynomials: SOS certificates, algorithms, bit complexity, and T-systems
von: Bender, Matías, et al.
Veröffentlicht: (2025)

Frontier Space-Time Algorithms Using Only Full Memory
von: Chmel, Petr, et al.
Veröffentlicht: (2026)

The Complexity of Finding and Counting Subtournaments
von: Döring, Simon, et al.
Veröffentlicht: (2025)

Work-Efficient Parallel Counting via Sampling
von: Liu, Hongyang, et al.
Veröffentlicht: (2024)

Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs Part I: Algorithmic Results
von: Focke, Jacob, et al.
Veröffentlicht: (2022)

The Complexity of Counting Small Sub-Hypergraphs
von: Bressan, Marco, et al.
Veröffentlicht: (2025)

Multiquadratic Sum-of-Squares Lower Bounds Imply VNC$^1$ $\neq$ VNP
von: Rossman, Benjamin, et al.
Veröffentlicht: (2025)

Tight Streaming Lower Bounds for Deterministic Approximate Counting
von: Wang, Yichuan
Veröffentlicht: (2024)

Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations
von: Focke, Jacob, et al.
Veröffentlicht: (2021)

Compilation and Fast Model Counting beyond CNF
von: de Colnet, Alexis, et al.
Veröffentlicht: (2025)

Tight Space Lower Bound for Pseudo-Deterministic Approximate Counting
von: Grossman, Ofer, et al.
Veröffentlicht: (2023)

Symmetric Distributions from Shallow Circuits
von: Kane, Daniel M., et al.
Veröffentlicht: (2025)

Epistemic Logic Programs: Non-Ground and Counting Complexity
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

P vs. NP
von: Uribe, Daniel
Veröffentlicht: (2016)

Between the deterministic and non-deterministic query complexity
von: Gerbner, Dániel
Veröffentlicht: (2019)

Hard-to-Sample Distributions from Robust Extractors
von: Byramji, Farzan, et al.
Veröffentlicht: (2026)

The Computational Complexity of Counting Linear Regions in ReLU Neural Networks
von: Stargalla, Moritz, et al.
Veröffentlicht: (2025)