Fixed-parameter tractability and lower bounds for stabbing problems

Abstract

We study the following general stabbing problem from a parameterized complexity point of view: Given a set S of n translates of an object in Rd, find a set of k lines with the property that every object in S is “stabbed” (intersected) by at least one line.We show that when S consists of axis-parallel unit squares in R2 the (decision) problem of stabbing S with axis-parallel lines is W[1]-hard with respect to k (and thus, not fixed-parameter tractable unless FPT=W[1]) while it becomes fixed-parameter tractable when the squares are disjoint. We also show that the problem of stabbing a set of disjoint unit squares in R2 with lines of arbitrary directions is W[1]-hard with respect to k. Several generalizations to other types of objects and lines with arbitrary directions are also presented. Finally, we show that deciding whether a set of unit balls in Rd can be stabbed by one line is W[1]-hard with respect to the dimension d.