4,093 research outputs found
The parallel approximability of a subclass of quadratic programming
In this paper we deal with the parallel approximability of a special class of Quadratic Programming (QP), called Smooth Positive Quadratic Programming. This subclass of QP is obtained by imposing restrictions on the coefficients of the QP instance. The Smoothness condition restricts the magnitudes of the coefficients while the positiveness requires that all the coefficients be non-negative. Interestingly, even with these restrictions several combinatorial problems can be modeled by Smooth QP. We show NC Approximation Schemes for the instances of Smooth Positive QP. This is done by reducing the instance of QP to an instance of Positive Linear Programming, finding in NC an approximate fractional solution to the obtained program, and then rounding the fractional solution to an integer approximate solution for the original problem. Then we show how to extend the result for positive instances of bounded degree to Smooth Integer Programming problems. Finally, we formulate several important combinatorial problems as Positive Quadratic Programs (or Positive Integer Programs) in packing/covering form and show that the techniques presented can be used to obtain NC Approximation Schemes for "dense" instances of such problems.Peer ReviewedPostprint (published version
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
A New Regularity Lemma and Faster Approximation Algorithms for Low Threshold Rank Graphs
Kolla and Tulsiani [KT07,Kolla11} and Arora, Barak and Steurer [ABS10]
introduced the technique of subspace enumeration, which gives approximation
algorithms for graph problems such as unique games and small set expansion; the
running time of such algorithms is exponential in the threshold-rank of the
graph.
Guruswami and Sinop [GS11,GS12], and Barak, Raghavendra, and Steurer [BRS11]
developed an alternative approach to the design of approximation algorithms for
graphs of bounded threshold-rank, based on semidefinite programming relaxations
in the Lassere hierarchy and on novel rounding techniques. These algorithms are
faster than the ones based on subspace enumeration and work on a broad class of
problems.
In this paper we develop a third approach to the design of such algorithms.
We show, constructively, that graphs of bounded threshold-rank satisfy a weak
Szemeredi regularity lemma analogous to the one proved by Frieze and Kannan
[FK99] for dense graphs. The existence of efficient approximation algorithms is
then a consequence of the regularity lemma, as shown by Frieze and Kannan.
Applying our method to the Max Cut problem, we devise an algorithm that is
faster than all previous algorithms, and is easier to describe and analyze
Almost Optimal Classical Approximation Algorithms for a Quantum Generalization of Max-Cut
Approximation algorithms for constraint satisfaction problems (CSPs) are a central direction of study in theoretical computer science. In this work, we study classical product state approximation algorithms for a physically motivated quantum generalization of Max-Cut, known as the quantum Heisenberg model. This model is notoriously difficult to solve exactly, even on bipartite graphs, in stark contrast to the classical setting of Max-Cut. Here we show, for any interaction graph, how to classically and efficiently obtain approximation ratios 0.649 (anti-feromagnetic XY model) and 0.498 (anti-ferromagnetic Heisenberg XYZ model). These are almost optimal; we show that the best possible ratios achievable by a product state for these models is 2/3 and 1/2, respectively
Finding Connected Dense -Subgraphs
Given a connected graph on vertices and a positive integer ,
a subgraph of on vertices is called a -subgraph in . We design
combinatorial approximation algorithms for finding a connected -subgraph in
such that its density is at least a factor
of the density of the densest -subgraph
in (which is not necessarily connected). These particularly provide the
first non-trivial approximations for the densest connected -subgraph problem
on general graphs
Approximating Dense Max 2-CSPs
In this paper, we present a polynomial-time algorithm that approximates
sufficiently high-value Max 2-CSPs on sufficiently dense graphs to within
approximation ratio for any constant .
Using this algorithm, we also achieve similar results for free games,
projection games on sufficiently dense random graphs, and the Densest
-Subgraph problem with sufficiently dense optimal solution. Note, however,
that algorithms with similar guarantees to the last algorithm were in fact
discovered prior to our work by Feige et al. and Suzuki and Tokuyama.
In addition, our idea for the above algorithms yields the following
by-product: a quasi-polynomial time approximation scheme (QPTAS) for
satisfiable dense Max 2-CSPs with better running time than the known
algorithms
- …