The Union of Minimal Hitting Sets: Parameterized Combinatorial Bounds and Counting

  • Peter Damaschke
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4393)


We study how many vertices in a rank-r hypergraph can belong to the union of all inclusion-minimal hitting sets of at most k vertices. This union is interesting in certain combinatorial inference problems with hitting sets as hypotheses, as it provides a problem kernel for likelihood computations (which are essentially counting problems) and contains the most likely elements of hypotheses. We give worst-case bounds on the size of the union, depending on parameters r,k and the size k * of a minimum hitting set. (Note that k ≥ k * is allowed.) Our result for r = 2 is tight. The exact worst-case size for any r ≥ 3 remains widely open. By several hypergraph decompositions we achieve nontrivial bounds with potential for further improvements.


algorithms parameterization combinatorial inference counting hypergraph transversals 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bafna, V., Reinert, K.: Mass spectrometry and computational proteomics. In: Encyclopedia of Genetics, Genomics, Proteomics and Bioinformatics, Wiley, Chichester (2005)Google Scholar
  2. 2.
    Boros, E., Golumbic, M.C., Levit, V.E.: On the number of vertices belonging to all maximum stable sets of a graph. Discrete Appl. Math. 124, 17–25 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Chen, J., et al.: Strong computational lower bounds via paramterized complexity. J. Comp. and System Sci. 72, 1346–1367 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Chen, J., et al.: On the effective enumerability of NP problems. In: Bodlaender, H.L., Langston, M.A. (eds.) IWPEC 2006. LNCS, vol. 4169, pp. 215–226. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Chen, J., Kanj, I.A., Xia, G.: Improved parameterized upper bounds for vertex cover. In: Královič, R., Urzyczyn, P. (eds.) MFCS 2006. LNCS, vol. 4162, pp. 238–249. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Chlebik, M., Chlebikova, J.: Crown reductions for the minimum weighted vertex cover problem. ECCC Report 101, to appear in Discrete Appl. Math. (2004)Google Scholar
  7. 7.
    Cicalese, F.: Center for Biotechnology, Univ. Bielefeld (personal communication)Google Scholar
  8. 8.
    Damaschke, P.: Parameterized enumeration, transversals, and imperfect phylogeny reconstruction, Theoretical Computer Science 351. In: Downey, R.G., Fellows, M.R., Dehne, F. (eds.) IWPEC 2004. LNCS, vol. 3162, pp. 1–12. Springer, Heidelberg (2004)Google Scholar
  9. 9.
    Fernau, H.: On parameterized enumeration. In: H. Ibarra, O., Zhang, L. (eds.) COCOON 2002. LNCS, vol. 2387, pp. 564–573. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
    Fernau, H.: A top-down approach to search-trees: Improved algorithmics for 3-hitting set. ECCC Report 073 (2004)Google Scholar
  11. 11.
    Fernau, H.: Parameterized algorithms for hitting set: The weighted case. In: Calamoneri, T., Finocchi, I., Italiano, G.F. (eds.) CIAC 2006. LNCS, vol. 3998, pp. 332–343. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Mitchell, T.: Machine Learning. McGraw-Hill, New York (1997)zbMATHGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Peter Damaschke
    • 1
  1. 1.School of Computer Science and Engineering, Chalmers University, 41296 GöteborgSweden

Personalised recommendations