Solution of Large Quadratic Knapsack Problems Through Aggressive Reduction

• Published in: INFORMS journal on computing Vol. 19; no. 2; pp. 280 - 290
• Main Authors: Pisinger, W. David, Rasmussen, Anders Bo, Sandvik, Rune
• Format: Journal Article
• Language: English
• Published: Linthicum INFORMS 22.03.2007; Institute for Operations Research and the Management Sciences
• Subjects: algorithms; Analysis; analysis of algorithms; Branch & bound algorithms; branch and bound; Branch and bound algorithms; Computational complexity; Heuristic; integer; Integer programming; Knapsack problem; Mathematical analysis; programming; quadratic; Quadratic programming; relaxation; Studies; United States
• ISSN: 1091-9856; 1526-5528; 1091-9856
• DOI: 10.1287/ijoc.1050.0172

The quadratic knapsack problem (QKP) calls for maximizing a quadratic objective function subject to a knapsack constraint. All coefficients are assumed to be nonnegative and all decision variables are binary. A new exact algorithm is presented, which makes use of aggressive reduction techniques to decrease the size of the instance to a manageable size. A cascade of upper bounds is used for the reduction, including an improved version of the Caprara-Pisinger-Toth bound based on upper planes and reformulation, and the Billionnet-Faye-Soutif bound based on Lagrangian decomposition. Generalized reduction techniques based on implicit enumeration are used to fix variables at their optimal values. In order to obtain lower bounds of high quality for the reduction, a core problem is solved, defined on a subset of variables. The core is chosen by merging numerous heuristic solutions found during the subgradient-optimization phase. The upper and lower bounding phases are repeated several times, each time improving the subgradient method used for finding the Lagrangian multipliers associated with the upper bounds. Having reduced the instance to a (hopefully) reasonable size, a branch and bound algorithm based on the Caprara-Pisinger-Toth framework is applied. Computational experiments are presented showing that several instances with up to 1,500 binary variables can be reduced to fewer than 100 variables. The remaining set of variables are easily handled through the exact branch and bound algorithm. In comparison to previous algorithms the framework does not only solve larger instances, but the algorithm also works well for instances with smaller densities of the profit matrix, which appear frequently when modeling various graph problems as quadratic knapsack problems.