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

Download:

Current browse context:

cs

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 ScienceWISE logo

Computer Science > Computational Complexity

Title: Efficient enumeration of solutions produced by closure operations

Abstract: In this paper we address the problem of generating all elements obtained by the saturation of an initial set by some operations. More precisely, we prove that we can generate the closure by polymorphisms of a boolean relation with a polynomial delay. This implies for instance that we can compute with polynomial delay the closure of a family of sets by any set of "set operations" (e.g. by union, intersection, difference, symmetric difference$\dots$). To do so, we prove that for any set of operations $\mathcal{F}$, one can decide in polynomial time whether an elements belongs to the closure by $\mathcal{F}$ of a family of sets. When the relation is over a domain larger than two elements, our generic enumeration method fails for some cases, since the associated decision problem is $NP$-hard and we provide an alternative algorithm.
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:1509.05623 [cs.CC]
  (or arXiv:1509.05623v2 [cs.CC] for this version)

Submission history

From: Arnaud Mary [view email]
[v1] Fri, 18 Sep 2015 13:33:19 GMT (37kb,D)
[v2] Mon, 21 Sep 2015 07:08:46 GMT (37kb,D)

Link back to: arXiv, form interface, contact.