Red-blue covering problems and the consecutive ones property

Set Cover problems are of core importance in many applications. In recent research, the ''red-blue variants'' where blue elements all need to be covered whereas red elements add further constraints on the optimality of a covering have received considerable interest. Application scenarios range from data mining to interference reduction in cellular networks. As a rule, these problem variants are computationally at least as hard as the original set cover problem. In this work we investigate whether and how the well-known consecutive ones property, restricting the structure of the input sets, makes the red-blue covering problems feasible. We explore a sharp border between polynomial-time solvability and NP-hardness for these problems.

[1]  Rolf Niedermeier,et al.  Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems , 2007, TAMC.

[2]  Rolf Niedermeier,et al.  Minimum Membership Set Covering and the Consecutive Ones Property , 2006, SWAT.

[3]  Giorgio Ausiello,et al.  Structure Preserving Reductions among Convex Optimization Problems , 1980, J. Comput. Syst. Sci..

[4]  Giorgio Gambosi,et al.  Complexity and approximation: combinatorial optimization problems and their approximability properties , 1999 .

[5]  Arthur F. Veinott,et al.  Optimal Capacity Scheduling---II , 1962 .

[6]  Dorothea Wagner,et al.  Station Location - Complexity and Approximation , 2005, ATMOS.

[7]  Louxin Zhang,et al.  The Consecutive Ones Submatrix Problem for Sparse Matrices , 2007, Algorithmica.

[8]  João Meidanis,et al.  On the Consecutive Ones Property , 1998, Discret. Appl. Math..

[9]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988 .

[10]  Alan J. Hoffman,et al.  Integral Boundary Points of Convex Polyhedra , 2010, 50 Years of Integer Programming.

[11]  Jörg Flum,et al.  Parameterized Complexity Theory , 2006, Texts in Theoretical Computer Science. An EATCS Series.

[12]  Matteo Fischetti,et al.  Algorithms for the Set Covering Problem , 2000, Ann. Oper. Res..

[13]  Robert D. Carr,et al.  On the red-blue set cover problem , 2000, SODA '00.

[14]  Aravind Srinivasan,et al.  Wavelength rerouting in optical networks, or the Venetian Routing problem , 2002, J. Algorithms.

[15]  Wen-Lian Hsu,et al.  PC trees and circular-ones arrangements , 2003, Theor. Comput. Sci..

[16]  Roger Wattenhofer,et al.  Interference in Cellular Networks: The Minimum Membership Set Cover Problem , 2005, COCOON.

[17]  Rajeev Motwani,et al.  K-connected Spanning Subgraphs of Low Degree , 2006, Electron. Colloquium Comput. Complex..

[18]  Christos H. Papadimitriou,et al.  Computational complexity , 1993 .

[19]  Anita Schöbel,et al.  Set covering with almost consecutive ones property , 2004, Discret. Optim..

[20]  A. Tucker,et al.  Linear Inequalities And Related Systems , 1956 .

[21]  David K. Smith Theory of Linear and Integer Programming , 1987 .

[22]  Joseph S. B. Mitchell,et al.  Orthogonal segment stabbing , 2005, Comput. Geom..

[23]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[24]  Mihalis Yannakakis,et al.  Optimization, approximation, and complexity classes , 1991, STOC '88.

[25]  Narendra Karmarkar,et al.  A new polynomial-time algorithm for linear programming , 1984, STOC '84.

[26]  R. Niedermeier,et al.  The Search for Consecutive Ones Sub- matrices: Faster and More General , 2007 .

[27]  Kellogg S. Booth,et al.  Testing for the Consecutive Ones Property, Interval Graphs, and Graph Planarity Using PQ-Tree Algorithms , 1976, J. Comput. Syst. Sci..

[28]  A. Tucker,et al.  A structure theorem for the consecutive 1's property☆ , 1972 .

[29]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[30]  Clifford Stein,et al.  Introduction to Algorithms, 2nd edition. , 2001 .

[31]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[32]  Robert E. Tarjan,et al.  A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas , 1979, Inf. Process. Lett..

[33]  Rolf Niedermeier,et al.  Invitation to Fixed-Parameter Algorithms , 2006 .

[34]  Dorothea Wagner,et al.  Solving Geometric Covering Problems by Data Reduction , 2004, ESA.

[35]  Jörg Flum,et al.  Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) , 2006 .

[36]  Vijay V. Vazirani,et al.  Approximation Algorithms , 2001, Springer Berlin Heidelberg.