Incremental and encoding formulations for Mixed Integer Programming

The standard way to represent a choice between n alternatives in Mixed Integer Programming is through n binary variables that add up to one. Unfortunately, this approach commonly leads to unbalanced branch-and-bound trees and diminished solver performance. In this paper, we present an encoding formu...

Full description

Bibliographic Details
Main Authors: Yıldız, Sercan, Vielma Centeno, Juan Pablo
Other Authors: Sloan School of Management
Format: Article
Language:en_US
Published: Elsevier 2017
Online Access:http://hdl.handle.net/1721.1/107938
https://orcid.org/0000-0003-4335-7248
Description
Summary:The standard way to represent a choice between n alternatives in Mixed Integer Programming is through n binary variables that add up to one. Unfortunately, this approach commonly leads to unbalanced branch-and-bound trees and diminished solver performance. In this paper, we present an encoding formulation framework that encompasses and expands existing approaches to mitigate this behavior. Through this framework, we generalize the incremental formulation for piecewise linear functions to any finite union of polyhedra with identical recession cones.