Abstract
Implications of a formal context (G,M,I) have a minimal implication basis, called Duquenne-Guigues basis or stem base. It is shown that the problem of deciding whether a set of attributes is a premise of the stem base is in coNP and determining the size of the stem base is polynomially Turing equivalent to a #P-complete problem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ganter, B.: Two Basic Algorithms in Concept Analysis, Preprint Nr. 831, Technische Hochschule Darmstadt (1984)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)
Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, San Francisco (1979)
Guigues, J.-L., Duquenne, V.: Informative implications derived from a table of binary data. Preprint, Groupe Mathématiques et Psychologie, Université René Descartes, Paris (1984)
Guigues, J.-L., Duquenne, V.: Familles minimales d’implications informatives résultant d’un tableau de données binaires. Math. Sci. Hum. 24(95), 5–18 (1986)
Kuznetsov, S.O.: On the Intractability of Computing the Duquenne-Guigues Base. Journal of Universal Computer Science 10(8), 927–933 (2004)
Valiant, L.G.: The Complexity of Enumeration and Reliability Problems. SIAM J. Comput. 8(3), 410–421 (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuznetsov, S.O., Obiedkov, S. (2006). Counting Pseudo-intents and #P-completeness. In: Missaoui, R., Schmidt, J. (eds) Formal Concept Analysis. Lecture Notes in Computer Science(), vol 3874. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11671404_21
Download citation
DOI: https://doi.org/10.1007/11671404_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32203-0
Online ISBN: 978-3-540-32204-7
eBook Packages: Computer ScienceComputer Science (R0)