A new algorithm for the hypergraph transversal problem

  • Authors:
  • Leonid Khachiyan;Endre Boros;Khaled Elbassioni;Vladimir Gurvich

  • Affiliations:
  • Department of Computer Science, Rutgers University, Piscataway, NJ;RUTCOR, Rutgers University, Piscataway, NJ;Max-Planck-Institut für Informatik, Saarbrücken, Germany;RUTCOR, Rutgers University, Piscataway, NJ

  • Venue:
  • COCOON'05 Proceedings of the 11th annual international conference on Computing and Combinatorics
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider the problem of finding all minimal transversals of a hypergraph ${\mathcal H}\subseteq 2^V$, given by an explicit list of its hyperedges. We give a new decomposition technique for solving the problem with the following advantages: (i) Global parallelism: for certain classes of hypergraphs, e.g. hypergraphs of bounded edge size, and any given integer k, the algorithm outputs k minimal transversals of ${\mathcal H}$ in time bounded by ${\rm polylog}(|V|,|{\mathcal H}|,k)$ assuming ${\rm poly}(|V|,|{\mathcal H}|,k)$ number of processors. Except for the case of graphs, none of the previously known algorithms for solving the same problem exhibit this feature. (ii) Using this technique, we also obtain new results on the complexity of generating minimal transversals for new classes of hypergraphs, namely hypergraphs of bounded dual-conformality, and hypergraphs in which every edge intersects every minimal transversal in a bounded number of vertices.