Lecture Notes in Computer Science, 2008, Volume 4933/2008, 140-149, DOI: 10.1007/978-3-540-78137-0_10

About Keys of Formal Context and Conformal Hypergraph

Pierre Colomb and Lhouari Nourine

View Related Documents

Abstract

In this paper we study the problem of generating all keys of a formal context as well as a hypergraph. We show that computing the maximum size of a key is NP-complete. Consequently, there is no polynomial time algorithm that decides if a hypergraph is k-conformal, unless P=NP. We also present an algorithmic framework based on decomposition to enumerates all keys of a hypergraph. As example we propose a decomposition of a hypergraph into conformal hypergraphs. Computing a minimal decomposition of an arbitrary hypergraph into conformal hypergraphs remains open in this paper.

Fulltext Preview

Image of the first page of the fulltext document