We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Computational Complexity

Title: Enumeration Classes Defined by Circuits

Abstract: We refine the complexity landscape for enumeration problems by introducing very low classes defined by using Boolean circuits as enumerators. We locate well-known enumeration problems, e.g., from graph theory, Gray code enumeration, and propositional satisfiability in our classes. In this way we obtain a framework to distinguish between the complexity of different problems known to be in $\mathbf{DelayP}$, for which a formal way of comparison was not possible to this day.
Comments: 20 pages, 1 figure
Subjects: Computational Complexity (cs.CC); Computation and Language (cs.CL); Data Structures and Algorithms (cs.DS)
ACM classes: F.1.1; F.1.3; F.2.2
Cite as: arXiv:2205.00539 [cs.CC]
  (or arXiv:2205.00539v1 [cs.CC] for this version)

Submission history

From: Arnaud Durand [view email]
[v1] Sun, 1 May 2022 19:02:03 GMT (57kb,D)

Link back to: arXiv, form interface, contact.