TY - JOUR
AU - Jean-Sébastien Roy
PY - 2007/02/07
Y2 - 2019/08/18
TI - “Binarize and Project” to generate cuts for general mixed-integer programs
JF - Algorithmic Operations Research
JA - AOR
VL - 2
IS - 1
SE - Articles
DO -
UR - https://journals.lib.unb.ca/index.php/AOR/article/view/2733
AB - We consider mixed-integer linear programs with arbitrary bounded integer variables. We ﬁrst describe a cutting plane approach based on the reformulation of integer variables into binary variables and describe a practical algorithm to compute these cuts for the original problem. We use the term “Binarize and Project” to highlight the similarity to the lift-and-project idea of lifting the problem to a higher dimensional space to generate cutting planes which are then projected back onto the original space. Indeed, the interest of this approach lies in taking advantage of cutting plane approaches efﬁcient for mixed-binary problems while keeping the problem in its non-binary form for improving the efﬁciency of the branch-and-bound procedure.We then propose a new strengthened reformulation into binary variables that answers some concerns and limitations raised in [9], by ensuring that only one application of the lift-and-project convexiﬁcation procedure to the binary reformulation of the problem is required to obtain a strengthening of the original problem.Finally, the method is implemented inside the COIN optimization library and a preliminary experimentation is performed on problems from the MIPLIB library. The computational results conﬁrm that the use of the proposed binary reformulation and cutting plane generation procedure leads to an improved integrality gap reduction albeit with an increased computing time.Key words: Binary reformulation, Cutting planes generation, Lift-and-project.
ER -