On the complexity of computing generators of closed sets

  • Authors:
  • Miki Hermann;Bariş Sertkaya

  • Affiliations:
  • LIX, CNRS, UMR, École Polytechnique, Palaiseau, France;Institut für Theoretische Informatik, TU Dresden, Germany

  • Venue:
  • ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate the computational complexity of some decision and counting problems related to generators of closed sets fundamental in Formal Concept Analysis. We recall results from the literature about the problem of checking the existence of a generator with a specified cardinality, and about the problem of determining the number of minimal generators. Moreover, we show that the problem of counting minimum cardinality generators is #ċcoNP-complete. We also present an incremental-polynomial time algorithm from relational database theory that can be used for computing all minimal generators of an implication-closed set.