Parameterizations of hitting set of bundles and inverse scope

被引:3
作者
Damaschke, Peter [1 ]
机构
[1] Chalmers, Dept Comp Sci & Engn, S-41296 Gothenburg, Sweden
基金
瑞典研究理事会;
关键词
Hitting set; Parameterized complexity; W[i]-hardness; Chemical reaction network; COMPLEXITY;
D O I
10.1007/s10878-013-9629-5
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
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 -complete. This contrasts to the to the corresponding parameterized Hitting Set version which is in FPT. Then we use this result to prove -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.
引用
收藏
页码:847 / 858
页数:12
相关论文
共 13 条
[1]   Algorithms and complexity of enumerating minimal precursor sets in genome-wide metabolic networks [J].
Acuna, Vicente ;
Milreu, Paulo Vieira ;
Cottret, Ludovic ;
Marchetti-Spaccamela, Alberto ;
Stougie, Leen ;
Sagot, Marie-France .
BIOINFORMATICS, 2012, 28 (19) :2474-2483
[2]   On the minimum hitting set of bundles problem [J].
Angel, Eric ;
Bampis, Evripidis ;
Gourves, Laurent .
THEORETICAL COMPUTER SCIENCE, 2009, 410 (45) :4534-4542
[3]   Treewidth governs the complexity of target set selection [J].
Ben-Zwi, Oren ;
Hermelin, Danny ;
Lokshtanov, Daniel ;
Newman, Ilan .
DISCRETE OPTIMIZATION, 2011, 8 (01) :87-96
[4]   The Turing way to parameterized complexity [J].
Cesati, M .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2003, 67 (04) :654-685
[5]   Parameterized enumeration, transversals, and imperfect phylogeny reconstruction [J].
Damaschke, P .
THEORETICAL COMPUTER SCIENCE, 2006, 351 (03) :337-350
[6]   Multiple hypernode hitting sets and smallest two-cores with targets [J].
Damaschke, Peter .
JOURNAL OF COMBINATORIAL OPTIMIZATION, 2009, 18 (03) :294-306
[7]   W-Hierarchies Defined by Symmetric Gates [J].
Fellows, Michael ;
Flum, Joerg ;
Hermelin, Danny ;
Mueller, Moritz ;
Rosamond, Frances .
THEORY OF COMPUTING SYSTEMS, 2010, 46 (02) :311-339
[8]   Parameterized algorithmics for d-Hitting Set [J].
Fernau, Henning .
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2010, 87 (14) :3157-3174
[9]   A Top-Down Approach to Search-Trees: Improved Algorithmics for 3-Hitting Set [J].
Fernau, Henning .
ALGORITHMICA, 2010, 57 (01) :97-118
[10]  
Niedermeier R., 2003, Journal of Discrete Algorithms, V1, P89, DOI 10.1016/S1570-8667(03)00009-1