Approximating Quadratic 0-1 Programming via SOCP

We consider the problem of approximating Quadratic O-1 Integer Programs with bounded number of constraints and non-negative constraint matrix entries, which we term as PIQP. We describe and analyze a randomized algorithm based on a program with hyperbolic constraints (a Second-Order Cone Programming -SOCP- formulation) that achieves an approximation ratio of $O(a_{max} \frac{n}{\beta(n)})$, where $a_{max}$ is the maximum size of an entry in the constraint matrix and $\beta(n) \leq \min_i{W_i} $, where $W_i$ are the constant terms that define the constraint inequalities. We note that by appropriately choosing $\beta(n)$ the randomized algorithm, when combined with other algorithms that achieve good approximations for smaller values of $ W_i$, allows better algorithms for the complete range of $W_i$. This, together with a greedy algorithm, provides a $O^*(a_{max} n^{1/2} )$ factor approximation, where $O^*$ hides logarithmic terms. Our solution is achieved by a randomization of the optimal solution to the relaxed version of the hyperbolic program. We show that this solution provides the approximation bounds using concentration bounds provided by Chernoff-Hoeffding and Kim-Vu.

[1]  David Zuckerman,et al.  Electronic Colloquium on Computational Complexity, Report No. 100 (2005) Linear Degree Extractors and the Inapproximability of MAX CLIQUE and CHROMATIC NUMBER , 2005 .

[2]  Jonas Holmerin,et al.  Clique Is Hard to Approximate within n1-o(1) , 2000, ICALP.

[3]  W. Hoeffding Probability Inequalities for sums of Bounded Random Variables , 1963 .

[4]  Uriel Feige,et al.  The Dense k -Subgraph Problem , 2001, Algorithmica.

[5]  P. Hammer,et al.  Quadratic knapsack problems , 1980 .

[6]  ProgrammingAnand Srivastav,et al.  Finding Dense Subgraphs withMathematical , 1999 .

[7]  H. Chernoff A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations , 1952 .

[8]  Stavros G. Kolliopoulos,et al.  Partially-Ordered Knapsack and Applications to Scheduling , 2002, ESA.

[9]  Subhash Khot,et al.  Ruling out PTAS for graph min-bisection, densest subgraph and bipartite clique , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[10]  J. Håstad Clique is hard to approximate withinn1−ε , 1999 .

[11]  O. Goldschmidt,et al.  Note: On the set-union knapsack problem , 1994 .

[12]  Venkatesan Guruswami,et al.  Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Graph Partitioning and Quadratic Integer Programming with PSD Objectives , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[13]  David Pisinger,et al.  The quadratic knapsack problem - a survey , 2007, Discret. Appl. Math..

[14]  Takeo Yamada,et al.  Heuristic and Exact Algorithms for the Disjunctively Constrained Knapsack Problem , 2002 .

[15]  Gerhard J. Woeginger,et al.  The quadratic 0-1 knapsack problem with series-parallel support , 2002, Oper. Res. Lett..

[16]  Van H. Vu,et al.  Concentration of non‐Lipschitz functions and applications , 2002, Random Struct. Algorithms.

[17]  Glencora Borradaile,et al.  The 1-Neighbour Knapsack Problem , 2011, IWOCA.

[18]  Ulrich Pferschy,et al.  The Knapsack Problem with Conflict Graphs , 2009, J. Graph Algorithms Appl..

[19]  M. Kojima,et al.  Second order cone programming relaxation of nonconvex quadratic optimization problems , 2001 .

[20]  N. Samphaiboon,et al.  Heuristic and Exact Algorithms for the Precedence-Constrained Knapsack Problem , 2000 .

[21]  Van H. Vu,et al.  Concentration of Multivariate Polynomials and Its Applications , 2000, Comb..

[22]  Anand Srivastav,et al.  Finding Dense Subgraphs with Semidefinite Programming , 1998, APPROX.

[23]  Aditya Bhaskara,et al.  Detecting high log-densities: an O(n¼) approximation for densest k-subgraph , 2010, STOC '10.

[24]  Deeparnab Chakrabarty,et al.  Knapsack Problems , 2008 .

[25]  Stephen P. Boyd,et al.  Applications of second-order cone programming , 1998 .