Abstract:We explore the benefits of multivariable branching schemes for linear-programming-based branch-and-bound algorithms for the 0-1 knapsack problem—that is, the benefits of branching on sets of variables rather than on a single variable (the current default in integer-programming solvers). We present examples where multivariable branching has advantages over single-variable branching and partially characterize situations in which this happens. Chvátal shows that for a specific class of 0-1 knapsack instances, a linear-programming-based branch-and-bound algorithm (employing a single-variable branching scheme) must explore exponentially many nodes. We show that for this class of 0-1 knapsack instances, a linear-programming-based branch-and-bound algorithm employing an appropriately chosen multivariable branching scheme explores either three or seven nodes. Finally, we investigate the performance of various multivariable branching schemes for 0-1 knapsack instances computationally and demonstrate their potential; the multivariable branching schemes explored result in smaller search trees (some in search trees that are an order of magnitude smaller), and some also result in shorter solution times. Summary of Contribution: As a powerful modeling tool, mixed-integer programming (MIP) is ubiquitous in Operations Research and is usually solved via the branch-and-bound framework. However, solving MIPs is computationally challenging in general, where branching affects the performance of solvers dramatically. In this paper, we explore the benefits of branching on multiple variables, which can be viewed as a generalization of the standard single-variable branching. We analyze its theoretical behavior on a special instance introduced by Chvátal, which is proved to be hard for single-variable branching. We also partially characterize situations in which branching on multiple variables is superior to its single-variable counterpart. Lastly, we demonstrate its potential in reducing the overall computational time and possible memory usage for storing unexplored nodes through numerical experiments on 0-1 knapsack problems.

Analysis of Divide & Conquer strategies for the 0-1 Minimization Knapsack Problem

Ant Colony Optimization Algorithm for the 0-1 Knapsack Problem Based on Genetic Operators

Approximation Algorithms for a Bi-Level Knapsack Problem

Solving efficiently the 0–1 multi-objective knapsack problem

Cascading-Tree Algorithm for the 0-1 Knapsack Problem (In Memory of Heiner M{ü}ller-Merbach, a Former President of IFORS)

An Exact Algorithm for Bilevel 0-1 Knapsack Problems

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

Convergent Lagrangian and domain cut method for nonlinear knapsack problems

0-1 Knapsack in Nearly Quadratic Time

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

An Iterative Pseudo-Gap Enumeration Approach for the Multidimensional Multiple-choice Knapsack Problem.

Packing Groups of Items into Multiple Knapsacks.

A Quasi-human Heuristic Algorithm for Multidimensional 0-1 Knapsack Problem

Multivariable Branching: A 0-1 Knapsack Problem Case Study

An Efficient Algorithm for Multi-Dimensional Nonlinear Knapsack Problems

Genetic Algorithm for the 0/1 Multidimensional Knapsack Problem

Expectation analysis for bounding solutions of the 0–1 knapsack problem

Minimizing the total waste in the one-dimensional cutting stock problem with the African buffalo optimization algorithm

Solving 0–1 knapsack problem by a novel binary monarch butterfly optimization

The Multi-level Bottleneck Assignment Problem: Complexity and Solution Methods

Multiple-class Multidimensional Knapsack Optimisation Problem and Its Solution Approaches.