14,691 research outputs found
The parameterized complexity of some geometric problems in unbounded dimension
We study the parameterized complexity of the following fundamental geometric
problems with respect to the dimension : i) Given points in \Rd,
compute their minimum enclosing cylinder. ii) Given two -point sets in
\Rd, decide whether they can be separated by two hyperplanes. iii) Given a
system of linear inequalities with variables, find a maximum-size
feasible subsystem. We show that (the decision versions of) all these problems
are W[1]-hard when parameterized by the dimension . %and hence not solvable
in time, for any computable function and constant
%(unless FPT=W[1]). Our reductions also give a -time lower bound
(under the Exponential Time Hypothesis)
Parameterized Study of the Test Cover Problem
We carry out a systematic study of a natural covering problem, used for
identification across several areas, in the realm of parameterized complexity.
In the {\sc Test Cover} problem we are given a set of items
together with a collection, , of distinct subsets of these items called
tests. We assume that is a test cover, i.e., for each pair of items
there is a test in containing exactly one of these items. The
objective is to find a minimum size subcollection of , which is still a
test cover. The generic parameterized version of {\sc Test Cover} is denoted by
-{\sc Test Cover}. Here, we are given and a
positive integer parameter as input and the objective is to decide whether
there is a test cover of size at most . We study four
parameterizations for {\sc Test Cover} and obtain the following:
(a) -{\sc Test Cover}, and -{\sc Test Cover} are fixed-parameter
tractable (FPT).
(b) -{\sc Test Cover} and -{\sc Test Cover} are
W[1]-hard. Thus, it is unlikely that these problems are FPT
On Polynomial Kernels for Integer Linear Programs: Covering, Packing and Feasibility
We study the existence of polynomial kernels for the problem of deciding
feasibility of integer linear programs (ILPs), and for finding good solutions
for covering and packing ILPs. Our main results are as follows: First, we show
that the ILP Feasibility problem admits no polynomial kernelization when
parameterized by both the number of variables and the number of constraints,
unless NP \subseteq coNP/poly. This extends to the restricted cases of bounded
variable degree and bounded number of variables per constraint, and to covering
and packing ILPs. Second, we give a polynomial kernelization for the Cover ILP
problem, asking for a solution to Ax >= b with c^Tx <= k, parameterized by k,
when A is row-sparse; this generalizes a known polynomial kernelization for the
special case with 0/1-variables and coefficients (d-Hitting Set)
Approximating the MaxCover Problem with Bounded Frequencies in FPT Time
We study approximation algorithms for several variants of the MaxCover
problem, with the focus on algorithms that run in FPT time. In the MaxCover
problem we are given a set N of elements, a family S of subsets of N, and an
integer K. The goal is to find up to K sets from S that jointly cover (i.e.,
include) as many elements as possible. This problem is well-known to be NP-hard
and, under standard complexity-theoretic assumptions, the best possible
polynomial-time approximation algorithm has approximation ratio (1 - 1/e). We
first consider a variant of MaxCover with bounded element frequencies, i.e., a
variant where there is a constant p such that each element belongs to at most p
sets in S. For this case we show that there is an FPT approximation scheme
(i.e., for each B there is a B-approximation algorithm running in FPT time) for
the problem of maximizing the number of covered elements, and a randomized FPT
approximation scheme for the problem of minimizing the number of elements left
uncovered (we take K to be the parameter). Then, for the case where there is a
constant p such that each element belongs to at least p sets from S, we show
that the standard greedy approximation algorithm achieves approximation ratio
exactly (1-e^{-max(pK/|S|, 1)}). We conclude by considering an unrestricted
variant of MaxCover, and show approximation algorithms that run in exponential
time and combine an exact algorithm with a greedy approximation. Some of our
results improve currently known results for MaxVertexCover
- …