%0 Journal Article
%1 219403
%A Eiter, Thomas
%A Gottlob, Georg
%C Philadelphia, PA, USA
%D 1995
%I Society for Industrial and Applied Mathematics
%J SIAM J. Comput.
%K complexity conp hypergraph theory
%N 6
%P 1278--1304
%T Identifying the Minimal Transversals of a Hypergraph and Related Problems
%U http://portal.acm.org/citation.cfm?id=219403
%V 24
%X The paper considers two decision problems on hypergraphs, hypergraph saturation and recognition of the transversal hypergraph, and discusses their significance for several search problems in applied computer science. Hypergraph saturation (i.e., given a hypergraph $\cal H$, decide if every subset of vertices is contained in or contains some edge of $\cal H$) is shown to be co-NP-complete. A certain subproblem of hypergraph saturation, the saturation of simple hypergraphs (i.e., Sperner families), is shown to be under polynomial transformation equivalent to transversal hypergraph recognition; i.e., given two hypergraphs $\cal H_1, \cal H_2$, decide if the sets in $\cal H_2$ are all the minimal transversals of $\cal H_1$. The complexity of the search problem related to the recognition of the transversal hypergraph, the computation of the transversal hypergraph, is an open problem. This task needs time exponential in the input size; it is unknown whether an output-polynomial algorithm exists. For several important subcases, for instance if an upper or lower bound is imposed on the edge size or for acyclic hypergraphs, output-polynomial algorithms are presented. Computing or recognizing the minimal transversals of a hypergraph is a frequent problem in practice, which is pointed out by identifying important applications in database theory, Boolean switching theory, logic, and artificial intelligence (AI), particularly in model-based diagnosis.