Polynomially solvable cases of hypergraph transversal and related problems

  title={Polynomially solvable cases of hypergraph transversal and related problems},
  author={I. Rauf},
  • I. Rauf
  • Published 2011
  • Computer Science, Mathematics
This thesis is mainly concerned with the hypergraph transversal problem, which asks to generate all minimal transversals of a given hypergraph. While the current best upper bound on the complexity of the problem is quasi-polynomial in the combined input and output sizes, it is shown to be solvable in output polynomial time for a number of hypergraph classes. We extend this polynomial frontier to the hypergraphs induced by hyperplanes and constant-sided polytopes in fixed dimension R and… Expand
Output-Polynomial Enumeration on Graphs of Bounded (Local) Linear MIM-Width
All 1-minimal and all 1-maximal and therefore all minimal dominating sets, and hence all minimal dominate sets, of graphs of bounded LMIM-width can be enumerated with polynomial (linear) delay usingPolynomial space. Expand
Output-Polynomial Enumeration on Graphs of Bounded (Local) Linear MIM-Width
It is shown that all 1-minimal and all1-maximal and hence all minimal dominating sets, of graphs of bounded LMIM-width can be enumerated with polynomial (linear) delay usingPolynomial space. Expand
Hypergraphs and Exact Transversals
The notion of a hypergraph was first used in the second half of the previous century. In 1973, a French mathematician, Claude Berge, published a monograph, in which a knowledge of hypergraphs wasExpand
Algorithms and Computation
This talk presents extensions of Myerson’s celebrated single-item auction to multi-item settings, and presents computationally efficient, approximation-preserving reductions from mechanism design to algorithm design in general Bayesian settings. Expand
C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets
The paper proposes the novel concurrency and sequentiality analysis techniques of a cyber-physical system specified by a safe Petri net based on the hypergraph theory and apply computation of exact transversals in a c-exact hypergraph. Expand


An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation
An efficient implementation of an incremental quasi-polynomial-time algorithm for solving the hypergraph transversal problem, and experimental results are presented to evaluate the implementation for a number of interesting monotone properties π. Expand
Exact Transversal Hypergraphs and Application to Boolean µ-Functions
  • Thomas Eiter
  • Computer Science, Mathematics
  • J. Symb. Comput.
  • 1994
It is shown that hypergraphs are recognizable in polynomial time and that their minimal transversals as well as their maximal independent sets can be generated in lexicographic order withPolynomial delay between subsequent outputs, which is impossible in the general case unless P= NP. Expand
On the dualization of hypergraphs with bounded edge-intersections and other related classes of hypergraphs
It is shown that for hypergraphs with k+r≤const, problem is NC-reducible to the problem of generating a single MIS for a partial subhypergraph of . Expand
A global parallel algorithm for the hypergraph transversal problem
A new decomposition technique is given for solving the problem of finding all minimal transversals of a hypergraph H@?2^V, given by an explicit list of its hyperedges with the following advantages: global parallelism, and new results on the complexity of generating minimalTransversals for new classes of hypergraphs. Expand
On the complexity of monotone dualization and generating minimal hypergraph transversals
The decomposition technique can be thought of as a generalization of that of Fredman and Khachiyan, and yields stronger bounds on the sequential complexity of the problem in the case when the sizes of f and g are significantly different, and allows for generating all minimal transversals of a given hypergraph using only polynomial space. Expand
Transversal Hypergraphs and Families of Polyhedral Cones
We discuss the complexity of generating certain geometric configurations related to the classical theorems of Caratheodory and Helly. Given a set K of rational cones in n dimensions and a rationalExpand
Identifying the Minimal Transversals of a Hypergraph and Related Problems
Two decision problems on hypergraphs, hypergraph saturation and recognition of the transversal hypergraph, are considered and their significance for several search problems in applied computer science is discussed. Expand
Some Fixed-Parameter Tractable Classes of Hypergraph Duality and Related Problems
This paper uses an Apriori approach to obtain FPT results for generating all maximal independent sets of a hypergraph, all minimaltransversals of ahypergraph, and all maximal frequent sets where parameters bound the intersections or unions of edges. Expand
New results on monotone dualization and generating hypergraph transversals
It is shown that duality of two monotone CNFs can be disproved with limited nondeterminism, and a number of new polynomial time resp. Expand
Evaluation of an Algorithm for the Transversal Hypergraph Problem
A heuristic algorithm is presented and experimentally evaluated for the Transversal Hypergraph Problem, which seems able to handle large instances and also possesses some nice features especially desirable in problems with large output such as the transversal hypergraph problem. Expand