7,811 research outputs found
The algorithm by Ferson et al. is surprisingly fast: An NP-hard optimization problem solvable in almost linear time with high probability
We start with the algorithm of Ferson et al. (\emph{Reliable computing} {\bf
11}(3), p.~207--233, 2005), designed for solving a certain NP-hard problem
motivated by robust statistics.
First, we propose an efficient implementation of the algorithm and improve
its complexity bound to , where is the
clique number in a certain intersection graph. Then we treat input data as
random variables (as it is usual in statistics) and introduce a natural
probabilistic data generating model. On average, we get and . This results in
average computing time for arbitrarily
small, which may be considered as ``surprisingly good'' average time complexity
for solving an NP-hard problem. Moreover, we prove the following tail bound on
the distribution of computation time: ``hard'' instances, forcing the algorithm
to compute in time , occur rarely, with probability tending to
zero faster than exponentially with
Algorithmic and Hardness Results for the Colorful Components Problems
In this paper we investigate the colorful components framework, motivated by
applications emerging from comparative genomics. The general goal is to remove
a collection of edges from an undirected vertex-colored graph such that in
the resulting graph all the connected components are colorful (i.e., any
two vertices of the same color belong to different connected components). We
want to optimize an objective function, the selection of this function
being specific to each problem in the framework.
We analyze three objective functions, and thus, three different problems,
which are believed to be relevant for the biological applications: minimizing
the number of singleton vertices, maximizing the number of edges in the
transitive closure, and minimizing the number of connected components.
Our main result is a polynomial time algorithm for the first problem. This
result disproves the conjecture of Zheng et al. that the problem is -hard
(assuming ). Then, we show that the second problem is -hard,
thus proving and strengthening the conjecture of Zheng et al. that the problem
is -hard. Finally, we show that the third problem does not admit
polynomial time approximation within a factor of for
any , assuming (or within a factor of , assuming ).Comment: 18 pages, 3 figure
On the NP-Hardness of Approximating Ordering Constraint Satisfaction Problems
We show improved NP-hardness of approximating Ordering Constraint
Satisfaction Problems (OCSPs). For the two most well-studied OCSPs, Maximum
Acyclic Subgraph and Maximum Betweenness, we prove inapproximability of
and .
An OCSP is said to be approximation resistant if it is hard to approximate
better than taking a uniformly random ordering. We prove that the Maximum
Non-Betweenness Problem is approximation resistant and that there are width-
approximation-resistant OCSPs accepting only a fraction of
assignments. These results provide the first examples of
approximation-resistant OCSPs subject only to P \NP
Complexity of the robust weighted independent set problems on interval graphs
This paper deals with the max-min and min-max regret versions of the maximum
weighted independent set problem on interval graphswith uncertain vertex
weights. Both problems have been recently investigated by Nobibon and Leus
(2014), who showed that they are NP-hard for two scenarios and strongly NP-hard
if the number of scenarios is a part of the input. In this paper, new
complexity and approximation results on the problems under consideration are
provided, which extend the ones previously obtained. Namely, for the discrete
scenario uncertainty representation it is proven that if the number of
scenarios is a part of the input, then the max-min version of the problem
is not at all approximable. On the other hand, its min-max regret version is
approximable within and not approximable within for
any unless the problems in NP have quasi polynomial algorithms.
Furthermore, for the interval uncertainty representation it is shown that the
min-max regret version is NP-hard and approximable within 2
UG-Hardness to NP-Hardness by Losing Half
The 2-to-2 Games Theorem of [Subhash Khot et al., 2017; Dinur et al., 2018; Dinur et al., 2018; Dinur et al., 2018] implies that it is NP-hard to distinguish between Unique Games instances with assignment satisfying at least (1/2-epsilon) fraction of the constraints vs. no assignment satisfying more than epsilon fraction of the constraints, for every constant epsilon>0. We show that the reduction can be transformed in a non-trivial way to give a stronger guarantee in the completeness case: For at least (1/2-epsilon) fraction of the vertices on one side, all the constraints associated with them in the Unique Games instance can be satisfied.
We use this guarantee to convert the known UG-hardness results to NP-hardness. We show:
1) Tight inapproximability of approximating independent sets in degree d graphs within a factor of Omega(d/(log^2 d)), where d is a constant.
2) NP-hardness of approximate the Maximum Acyclic Subgraph problem within a factor of 2/3+epsilon, improving the previous ratio of 14/15+epsilon by Austrin et al. [Austrin et al., 2015].
3) For any predicate P^{-1}(1) subseteq [q]^k supporting a balanced pairwise independent distribution, given a P-CSP instance with value at least 1/2-epsilon, it is NP-hard to satisfy more than (|P^{-1}(1)|/(q^k))+epsilon fraction of constraints
Parameterized Approximation Schemes for Independent Set of Rectangles and Geometric Knapsack
The area of parameterized approximation seeks to combine approximation and parameterized algorithms to obtain, e.g., (1+epsilon)-approximations in f(k,epsilon)n^O(1) time where k is some parameter of the input. The goal is to overcome lower bounds from either of the areas. We obtain the following results on parameterized approximability:
- In the maximum independent set of rectangles problem (MISR) we are given a collection of n axis parallel rectangles in the plane. Our goal is to select a maximum-cardinality subset of pairwise non-overlapping rectangles. This problem is NP-hard and also W[1]-hard [Marx, ESA\u2705]. The best-known polynomial-time approximation factor is O(log log n) [Chalermsook and Chuzhoy, SODA\u2709] and it admits a QPTAS [Adamaszek and Wiese, FOCS\u2713; Chuzhoy and Ene, FOCS\u2716]. Here we present a parameterized approximation scheme (PAS) for MISR, i.e. an algorithm that, for any given constant epsilon>0 and integer k>0, in time f(k,epsilon)n^g(epsilon), either outputs a solution of size at least k/(1+epsilon), or declares that the optimum solution has size less than k.
- In the (2-dimensional) geometric knapsack problem (2DK) we are given an axis-aligned square knapsack and a collection of axis-aligned rectangles in the plane (items). Our goal is to translate a maximum cardinality subset of items into the knapsack so that the selected items do not overlap. In the version of 2DK with rotations (2DKR), we are allowed to rotate items by 90 degrees. Both variants are NP-hard, and the best-known polynomial-time approximation factor is 2+epsilon [Jansen and Zhang, SODA\u2704]. These problems admit a QPTAS for polynomially bounded item sizes [Adamaszek and Wiese, SODA\u2715]. We show that both variants are W[1]-hard. Furthermore, we present a PAS for 2DKR.
For all considered problems, getting time f(k,epsilon)n^O(1), rather than f(k,epsilon)n^g(epsilon), would give FPT time f\u27(k)n^O(1) exact algorithms by setting epsilon=1/(k+1), contradicting W[1]-hardness. Instead, for each fixed epsilon>0, our PASs give (1+epsilon)-approximate solutions in FPT time.
For both MISR and 2DKR our techniques also give rise to preprocessing algorithms that take n^g(epsilon) time and return a subset of at most k^g(epsilon) rectangles/items that contains a solution of size at least k/(1+epsilon) if a solution of size k exists. This is a special case of the recently introduced notion of a polynomial-size approximate kernelization scheme [Lokshtanov et al., STOC\u2717]
On local structures of cubicity 2 graphs
A 2-stab unit interval graph (2SUIG) is an axes-parallel unit square
intersection graph where the unit squares intersect either of the two fixed
lines parallel to the -axis, distance ()
apart. This family of graphs allow us to study local structures of unit square
intersection graphs, that is, graphs with cubicity 2. The complexity of
determining whether a tree has cubicity 2 is unknown while the graph
recognition problem for unit square intersection graph is known to be NP-hard.
We present a polynomial time algorithm for recognizing trees that admit a 2SUIG
representation
- …