Decision diagrams for decomposed mixed integer linear programs

Master thesis (2017)

Authors

J.G.M. van der Linden Electrical Engineering, Mathematics and Computer Science

Contributors

M.M. de Weerdt (supervisor 1)
M.T.J. Spaan (supervisor 2)
L.J.J. van Iersel (supervisor 2)
Faculty
Electrical Engineering, Mathematics and Computer Science
Copyright: © 2017 Koos van der Linden
More Info
expand_more

Published Date

30-08-2017

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Electrical Engineering, Mathematics and Computer Science

Abstract

A recent development in the field of discrete optimization is the combined use of (binary) decision diagrams (DD) and branch and bound for optimization. This method has been shown to outperform integer linear programming on several classic problems. The performance of DDs in integer optimization raises the question if this method can be extended to solve mixed integer problems (MIP), because of the prevalence of MIP modelling. This thesis is an effort to answer that question. Currently DD-based optimization does not allow for continuous variables. We propose a method that uses Benders Decomposition to divide MIP problems into a discrete master problem and a continuous subproblem. DD-based optimization is used to solve the master problem. The subproblem can be solved by linear programming. The results presented in this thesis show that our method can be used for MIP problems whose integer variables play a dominant role, and are hard to solve by MIP solvers. An advantage of our method is that it provides feasible solutions as early as the first iteration.