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

01.05.2015

Parameterizations of hitting set of bundles and inverse scope

verfasst von: Peter Damaschke

Erschienen in: Journal of Combinatorial Optimization | Ausgabe 4/2015

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat Damaschke P (2006) Parameterized enumeration, transversals, and imperfect phylogeny reconstruction. Theor Comp Sci 351:337–350CrossRefMATHMathSciNet Damaschke P (2006) Parameterized enumeration, transversals, and imperfect phylogeny reconstruction. Theor Comp Sci 351:337–350CrossRefMATHMathSciNet
Zurück zum Zitat Downey RG, Fellows MR (1999) Parameterized complexity. Springer, Heidelberg Downey RG, Fellows MR (1999) Parameterized complexity. Springer, Heidelberg
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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.
Metadaten
Titel
Parameterizations of hitting set of bundles and inverse scope
verfasst von
Peter Damaschke
Publikationsdatum
01.05.2015
Verlag
Springer US
Erschienen in
Journal of Combinatorial Optimization / Ausgabe 4/2015
Print ISSN: 1382-6905
Elektronische ISSN: 1573-2886
DOI
https://doi.org/10.1007/s10878-013-9629-5

Weitere Artikel der Ausgabe 4/2015

Journal of Combinatorial Optimization 4/2015 Zur Ausgabe

Premium Partner