Abstract:In this paper, we consider an SDP relaxation of the quadratic knapsack problem (QKP). After using the Burer-Monteiro factorization, we get a non-convex optimization problem, whose feasible region is an algebraic variety. Although there might be non-regular points on the algebraic variety, we prove that the algebraic variety is a smooth manifold except for a trivial point for a generic input data. We also analyze the local geometric properties of non-regular points on this algebraic variety. In order to maintain the equivalence between the SDP problem and its non-convex formulation, we derive a new rank condition under which these two problems are equivalent. This new rank condition can be much weaker than the classical rank condition if the coefficient matrix has certain special structures. We also prove that under an appropriate rank condition, any second order stationary point of the non-convex problem is also a global optimal solution without any regularity assumption. This result is distinguished from previous results based on LICQ-like smoothness assumption. With all these theoretical properties, we design an algorithm that equip a manifold optimization method with a strategy to escape from non-optimal non-regular points. Our algorithm can also be used as a heuristic for solving the quadratic knapsack problem. Numerical experiments are conducted to verify the high efficiency and robustness of our algorithm as compared to other SDP solvers and a heuristic method based on dynamic programming. In particular, our algorithm is able to solve the SDP relaxation of a one-million dimensional QKP with a sparse cost matrix very accurately in about 20 minutes on a modest desktop computer.

An Approximate Dynamic Programming Approach to Convex Quadratic Knapsack Problems

Heuristics to convex quadratic knapsack problems in sorted ADP

Approximation Algorithms for a Bi-Level Knapsack Problem

An Effective Grasp and Tabu Search for the 0-1 Quadratic Knapsack Problem

A Conic Approximation Method for the 0-1 Quadratic Knapsack Problem

A Fast and Effective Breakpoints Algorithm for the Quadratic Knapsack Problem

A feasible method for solving an SDP relaxation of the quadratic knapsack problem

A new variable reduction technique for convex integer quadratic programs

Approximation Algorithms on 0–1 Linear Knapsack Problem with a Single Continuous Variable

An Improved Convex 0-1 Quadratic Program Reformulation for Chance-Constrained Quadratic Knapsack Problems.

A Hybrid Dynamic Programming Method for Concave Resource Allocation Problems

An Exact Algorithm for 0-1 Polynomial Knapsack Problems

Exact Algorithm for Concave Knapsack Problems: Linear Underestimation and Partition Method

An Eigenvalue Decomposition Method for Low-rank and Non-convex Quadratically Constrained Quadratic Programming

A Practical and Optimal First-Order Method for Large-Scale Convex Quadratic Programming

Simple Solution Methods for Separable Mixed Linear and Quadratic Knapsack Problem

An Effective Hybrid Search Method for the Quadratic Knapsack Problem with Conflict Graphs

A Branch-and-bound Algorithm for Multi-Dimensional Quadratic 0–1 Knapsack Problems

Successive Approximation Technique for a Class of Large-Scale NLP Problems and Its Application to Dynamic Programming

An Exact Algorithm for the 0–1 Linear Knapsack Problem with a Single Continuous Variable

A Novel K-Combination First-Fit Algorithm for Three-Dimensional Knapsack Packing Problem