Results 1 
3 of
3
Algorithmic Aspects of the ConsecutiveOnes Property
, 2009
"... We survey the consecutiveones property of binary matrices. Herein, a binary matrix has the consecutiveones property (C1P) if there is a permutation of its columns that places the 1s consecutively in every row. We provide an overview over connections to graph theory, characterizations, recognition ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
(Show Context)
We survey the consecutiveones property of binary matrices. Herein, a binary matrix has the consecutiveones property (C1P) if there is a permutation of its columns that places the 1s consecutively in every row. We provide an overview over connections to graph theory, characterizations, recognition algorithms, and applications such as integer linear programming and solving Set Cover.
Parameterized Complexity of Stabbing Rectangles and Squares in the Plane
, 2009
"... The NPcomplete geometric covering problem Rectangle Stabbing is defined as follows: Given a set of horizontal and vertical lines in the plane, a set of rectangles in the plane, and a positive integer k, select at most k of the lines such that every rectangle is intersected by at least one of the ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
(Show Context)
The NPcomplete geometric covering problem Rectangle Stabbing is defined as follows: Given a set of horizontal and vertical lines in the plane, a set of rectangles in the plane, and a positive integer k, select at most k of the lines such that every rectangle is intersected by at least one of the selected lines. While it is known that the problem can be approximated in polynomial time with a factor of two, its parameterized complexity with respect to the parameter k was open so far—only its generalization to three or more dimensions was known to be W[1]hard. Giving two fixedparameter reductions, one from the W[1]complete problem Multicolored Clique and one to the W[1]complete problem Short Turing Machine Acceptance, we prove that Rectangle Stabbing is W[1]complete with respect to the parameter k, which in particular means that there is no hope for fixedparameter tractability with respect to the parameter k. Our reductions show also the W[1]completeness of the more general problem Set Cover on instances that “almost have the consecutiveones property”, that is, on instances whose matrix representation has at most two blocks of 1s per row. For the special case of Rectangle Stabbing where all rectangles are squares of the same size we can also show W[1]hardness, while the parameterized complexity of the special case where the input consists of rectangles that do not overlap is open. By giving an algorithm running in (4k + 1) k · n O(1) time, we show that Rectangle Stabbing is fixedparameter tractable in the still NPhard case where both these restrictions apply.