An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals

E. Boros, K. Elbassioni, V. Gurvich, Leonid Khachiyan

Research output: Chapter in Book/Report/Conference proceedingChapter

14 Scopus citations

Abstract

Given a finite set V, and a hypergraph H ⊆ 2V, the hypergraph transversal problem calls for enumerating all minimal hitting sets (transversals) for H. This problem plays an important role in practical applications as many other problems were shown to be polynomially equivalent to it. Fredman and Khachiyan (1996) gave an incremental quasi-polynomial time algorithm for solving the hypergraph transversal problem [9]. In this paper, we present an efficient implementation of this algorithm. While we show that our implementation achieves the same bound on the running time as in [9], practical experience with this implementation shows that it can be substantially faster. We also show that a slight modification of the algorithm in [9] can be used to give a stronger bound on the running time.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsGiuseppe di Battista, Uri Zwick
PublisherSpringer Verlag
Pages556-567
Number of pages12
ISBN (Print)3540200649, 9783540200642
DOIs
StatePublished - 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2832
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals'. Together they form a unique fingerprint.

Cite this