Skip to main content
Top
Published in: Journal of Combinatorial Optimization 4/2015

01-05-2015

Parameterizations of hitting set of bundles and inverse scope

Author: Peter Damaschke

Published in: Journal of Combinatorial Optimization | Issue 4/2015

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Hitting Set of Bundles generalizes the ordinary Hitting Set problem in the way that prescribed bundles of elements rather than single elements have to be put in a hitting set. The goal is to minimize the total number of distinct elements in the solution. First we prove that Hitting Set of Bundles, with the number of hyperedges and the solution size as parameter, is \(W[1]\)-complete. This contrasts to the to the corresponding parameterized Hitting Set version which is in FPT. Then we use this result to prove \(W[i]\)-hardness also for the Inverse Scope problem and some of its variants. This problem asks to identify small sets of chemical reactants being able to produce a given set of target compounds in a network of reactions. The problem has a graph-theoretic formulation as a reachability problem in directed graphs. On the positive side, we give an FPT algorithm where the parameter is the total number of compounds involved in the reactions.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literature
go back to reference Acuna V, Vieira Milreu P (2012) Algorithms and complexity of enumerating minimal precursor sets in genome-wide metabolic networks. Bioinformatics 28:2474–2483CrossRef Acuna V, Vieira Milreu P (2012) Algorithms and complexity of enumerating minimal precursor sets in genome-wide metabolic networks. Bioinformatics 28:2474–2483CrossRef
go back to reference Angel E, Bampis E, Gourvès L (2009) On the minimum hitting set of bundles problem. Theor Comp Sci 410:4534–4542CrossRefMATH Angel E, Bampis E, Gourvès L (2009) On the minimum hitting set of bundles problem. Theor Comp Sci 410:4534–4542CrossRefMATH
go back to reference Ben-Zwi O, Hermelin D, Lokshtanov D, Newman I (2011) Treewidth governs the complexity of target set selection. Discret Optim 8:87–96CrossRefMATHMathSciNet Ben-Zwi O, Hermelin D, Lokshtanov D, Newman I (2011) Treewidth governs the complexity of target set selection. Discret Optim 8:87–96CrossRefMATHMathSciNet
go back to reference Downey RG, Fellows MR (1999) Parameterized complexity. Springer, Heidelberg Downey RG, Fellows MR (1999) Parameterized complexity. Springer, Heidelberg
go back to reference Fellows MR, Flum J, Hermelin D, Müller M, Rosamond FA (2010) W-hierarchies defined by symmetric gates. Theor Comp Syst 46:311–339CrossRefMATH Fellows MR, Flum J, Hermelin D, Müller M, Rosamond FA (2010) W-hierarchies defined by symmetric gates. Theor Comp Syst 46:311–339CrossRefMATH
go back to reference Niedermeier R (2006) Invitation to fixed-parameter algorithms. Oxford lecture series in mathematics and its applications. Oxford University Press, Oxford Niedermeier R (2006) Invitation to fixed-parameter algorithms. Oxford lecture series in mathematics and its applications. Oxford University Press, Oxford
go back to reference Nikoloski Z, Grimbs S, Selbig J, Ebenhöh O (2008) Hardness and approximability of the inverse scope problem. In: Crandall KA, Lagergren J (eds) WABI 2008, LNCS 5251. Springer, Heidelberg, pp 99–112 Nikoloski Z, Grimbs S, Selbig J, Ebenhöh O (2008) Hardness and approximability of the inverse scope problem. In: Crandall KA, Lagergren J (eds) WABI 2008, LNCS 5251. Springer, Heidelberg, pp 99–112
go back to reference Wahlström M (2007) Algorithms, measures, and upper bounds for satisfiability and related problems, Dissertation 1079, Linköping Studies in Science and Technology. Wahlström M (2007) Algorithms, measures, and upper bounds for satisfiability and related problems, Dissertation 1079, Linköping Studies in Science and Technology.
Metadata
Title
Parameterizations of hitting set of bundles and inverse scope
Author
Peter Damaschke
Publication date
01-05-2015
Publisher
Springer US
Published in
Journal of Combinatorial Optimization / Issue 4/2015
Print ISSN: 1382-6905
Electronic ISSN: 1573-2886
DOI
https://doi.org/10.1007/s10878-013-9629-5

Other articles of this Issue 4/2015

Journal of Combinatorial Optimization 4/2015 Go to the issue

Premium Partner