Copertina

Learning DFAs from Positive Examples Only via Word Counting

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bordais, Benjamin, Neider, Daniel
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computational Complexity
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A framework for computing upper bounds in passive learning settings
di: Bordais, Benjamin, et al.
Pubblicazione: (2025)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
di: Bordais, Benjamin, et al.
Pubblicazione: (2024)

The Complexity of Learning Temporal Properties
di: Bordais, Benjamin, et al.
Pubblicazione: (2024)

Learning Tree Pattern Transformations
di: Neider, Daniel, et al.
Pubblicazione: (2024)

Counting Small Induced Subgraphs: Hardness via Fourier Analysis
di: Curticapean, Radu, et al.
Pubblicazione: (2024)

The Counting General Dominating Set Framework
di: Zheng, Jiayi, et al.
Pubblicazione: (2026)

The Complexity of Logarithmic Space Bounded Counting Classes
di: Vijayaraghavan, T. C.
Pubblicazione: (2025)

Low Sets and Closure Properties of Counting Function Classes
di: Ivanashev, Yaroslav
Pubblicazione: (2025)

Lower Bounds for Subset Sum in Resolution with Modular Counting
di: Part, Fedor
Pubblicazione: (2022)

Hilbert's Nullstellensatz is in the Counting Hierarchy
di: Andrews, Robert, et al.
Pubblicazione: (2026)

Counting Triangulations of Fixed Cardinal Degrees
di: Chambers, Erin, et al.
Pubblicazione: (2025)

From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
di: Hecher, Markus, et al.
Pubblicazione: (2025)

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

Algorithmic Structure in Subset Sum: Deterministic In-Bound Navigation and the Counting Complexity Divide
di: Nkosi, Thami
Pubblicazione: (2025)

Counting Small Induced Subgraphs: Scorpions Are Easy but Not Trivial
di: Curticapean, Radu, et al.
Pubblicazione: (2025)

Modular Counting CSP: Reductions and Algorithms
di: Kazeminia, Amirhossein, et al.
Pubblicazione: (2025)

Computing the Elementary Symmetric Polynomials in Positive Characteristics
di: Orzel, Ian
Pubblicazione: (2025)

Counting Subgraphs in Somewhere Dense Graphs
di: Bressan, Marco, et al.
Pubblicazione: (2022)

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

Model Counting for Dependency Quantified Boolean Formulas
di: Fung, Long-Hin, et al.
Pubblicazione: (2025)

Finite Variable Counting Logics with Restricted Requantification
di: Raßmann, Simon, et al.
Pubblicazione: (2024)

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
di: Haneef, Farah
Pubblicazione: (2024)

Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
di: Pratt-Hartmann, Ian
Pubblicazione: (2006)

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

Frontier Space-Time Algorithms Using Only Full Memory
di: Chmel, Petr, et al.
Pubblicazione: (2026)

The Complexity of Finding and Counting Subtournaments
di: Döring, Simon, et al.
Pubblicazione: (2025)

Work-Efficient Parallel Counting via Sampling
di: Liu, Hongyang, et al.
Pubblicazione: (2024)

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

The Complexity of Counting Small Sub-Hypergraphs
di: Bressan, Marco, et al.
Pubblicazione: (2025)

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

Tight Streaming Lower Bounds for Deterministic Approximate Counting
di: Wang, Yichuan
Pubblicazione: (2024)

Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations
di: Focke, Jacob, et al.
Pubblicazione: (2021)

Compilation and Fast Model Counting beyond CNF
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Tight Space Lower Bound for Pseudo-Deterministic Approximate Counting
di: Grossman, Ofer, et al.
Pubblicazione: (2023)

Symmetric Distributions from Shallow Circuits
di: Kane, Daniel M., et al.
Pubblicazione: (2025)

Epistemic Logic Programs: Non-Ground and Counting Complexity
di: Eiter, Thomas, et al.
Pubblicazione: (2025)

P vs. NP
di: Uribe, Daniel
Pubblicazione: (2016)

Between the deterministic and non-deterministic query complexity
di: Gerbner, Dániel
Pubblicazione: (2019)

Hard-to-Sample Distributions from Robust Extractors
di: Byramji, Farzan, et al.
Pubblicazione: (2026)

The Computational Complexity of Counting Linear Regions in ReLU Neural Networks
di: Stargalla, Moritz, et al.
Pubblicazione: (2025)