371 research outputs found
Approximating Subdense Instances of Covering Problems
We study approximability of subdense instances of various covering problems
on graphs, defined as instances in which the minimum or average degree is
Omega(n/psi(n)) for some function psi(n)=omega(1) of the instance size. We
design new approximation algorithms as well as new polynomial time
approximation schemes (PTASs) for those problems and establish first
approximation hardness results for them. Interestingly, in some cases we were
able to prove optimality of the underlying approximation ratios, under usual
complexity-theoretic assumptions. Our results for the Vertex Cover problem
depend on an improved recursive sampling method which could be of independent
interest
Explicit Optimal Hardness via Gaussian stability results
The results of Raghavendra (2008) show that assuming Khot's Unique Games
Conjecture (2002), for every constraint satisfaction problem there exists a
generic semi-definite program that achieves the optimal approximation factor.
This result is existential as it does not provide an explicit optimal rounding
procedure nor does it allow to calculate exactly the Unique Games hardness of
the problem.
Obtaining an explicit optimal approximation scheme and the corresponding
approximation factor is a difficult challenge for each specific approximation
problem. An approach for determining the exact approximation factor and the
corresponding optimal rounding was established in the analysis of MAX-CUT (KKMO
2004) and the use of the Invariance Principle (MOO 2005). However, this
approach crucially relies on results explicitly proving optimal partitions in
Gaussian space. Until recently, Borell's result (Borell 1985) was the only
non-trivial Gaussian partition result known.
In this paper we derive the first explicit optimal approximation algorithm
and the corresponding approximation factor using a new result on Gaussian
partitions due to Isaksson and Mossel (2012). This Gaussian result allows us to
determine exactly the Unique Games Hardness of MAX-3-EQUAL. In particular, our
results show that Zwick algorithm for this problem achieves the optimal
approximation factor and prove that the approximation achieved by the algorithm
is as conjectured by Zwick.
We further use the previously known optimal Gaussian partitions results to
obtain a new Unique Games Hardness factor for MAX-k-CSP : Using the well known
fact that jointly normal pairwise independent random variables are fully
independent, we show that the the UGC hardness of Max-k-CSP is , improving on results of Austrin and Mossel (2009)
Inapproximability of Combinatorial Optimization Problems
We survey results on the hardness of approximating combinatorial optimization
problems
Inapproximability of maximal strip recovery
In comparative genomic, the first step of sequence analysis is usually to
decompose two or more genomes into syntenic blocks that are segments of
homologous chromosomes. For the reliable recovery of syntenic blocks, noise and
ambiguities in the genomic maps need to be removed first. Maximal Strip
Recovery (MSR) is an optimization problem proposed by Zheng, Zhu, and Sankoff
for reliably recovering syntenic blocks from genomic maps in the midst of noise
and ambiguities. Given genomic maps as sequences of gene markers, the
objective of \msr{d} is to find subsequences, one subsequence of each
genomic map, such that the total length of syntenic blocks in these
subsequences is maximized. For any constant , a polynomial-time
2d-approximation for \msr{d} was previously known. In this paper, we show that
for any , \msr{d} is APX-hard, even for the most basic version of the
problem in which all gene markers are distinct and appear in positive
orientation in each genomic map. Moreover, we provide the first explicit lower
bounds on approximating \msr{d} for all . In particular, we show that
\msr{d} is NP-hard to approximate within . From the other
direction, we show that the previous 2d-approximation for \msr{d} can be
optimized into a polynomial-time algorithm even if is not a constant but is
part of the input. We then extend our inapproximability results to several
related problems including \cmsr{d}, \gapmsr{\delta}{d}, and
\gapcmsr{\delta}{d}.Comment: A preliminary version of this paper appeared in two parts in the
Proceedings of the 20th International Symposium on Algorithms and Computation
(ISAAC 2009) and the Proceedings of the 4th International Frontiers of
Algorithmics Workshop (FAW 2010
Structural Rounding: Approximation Algorithms for Graphs Near an Algorithmically Tractable Class
We develop a framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world networks) while still guaranteeing approximation ratios. The idea is to edit a given graph via vertex- or edge-deletions to put the graph into an algorithmically tractable class, apply known approximation algorithms for that class, and then lift the solution to apply to the original graph. We give a general characterization of when an optimization problem is amenable to this approach, and show that it includes many well-studied graph problems, such as Independent Set, Vertex Cover, Feedback Vertex Set, Minimum Maximal Matching, Chromatic Number, (l-)Dominating Set, Edge (l-)Dominating Set, and Connected Dominating Set.
To enable this framework, we develop new editing algorithms that find the approximately-fewest edits required to bring a given graph into one of a few important graph classes (in some cases these are bicriteria algorithms which simultaneously approximate both the number of editing operations and the target parameter of the family). For bounded degeneracy, we obtain an O(r log{n})-approximation and a bicriteria (4,4)-approximation which also extends to a smoother bicriteria trade-off. For bounded treewidth, we obtain a bicriteria (O(log^{1.5} n), O(sqrt{log w}))-approximation, and for bounded pathwidth, we obtain a bicriteria (O(log^{1.5} n), O(sqrt{log w} * log n))-approximation. For treedepth 2 (related to bounded expansion), we obtain a 4-approximation. We also prove complementary hardness-of-approximation results assuming P != NP: in particular, these problems are all log-factor inapproximable, except the last which is not approximable below some constant factor 2 (assuming UGC)
Approximating the Regular Graphic TSP in near linear time
We present a randomized approximation algorithm for computing traveling
salesperson tours in undirected regular graphs. Given an -vertex,
-regular graph, the algorithm computes a tour of length at most
, with high probability, in time. This improves upon a recent result by Vishnoi (\cite{Vishnoi12}, FOCS
2012) for the same problem, in terms of both approximation factor, and running
time. The key ingredient of our algorithm is a technique that uses
edge-coloring algorithms to sample a cycle cover with cycles with
high probability, in near linear time.
Additionally, we also give a deterministic
factor approximation algorithm
running in time .Comment: 12 page
- …