Beating the SDP bound for the floor layout problem: A simple combinatorial idea

For many mixed-integer programming (MIP) problems, high-quality dual bounds can be obtained either through advanced formulation techniques coupled with a state-of-the-art MIP solver, or through semi-definite programming (SDP) relaxation hierarchies. In this paper, we introduce an alternative boundin...

Full description

Bibliographic Details
Main Authors: Dey, Santanu S. (Author), Huchette, Joey (Contributor), Vielma Centeno, Juan Pablo (Contributor)
Format: Article
Language:English
Published: University of Toronto Press Inc, 2019-03-22T18:40:46Z.
Subjects:
Online Access:Get fulltext
LEADER 01861 am a22002053u 4500
001 121065
042 |a dc 
100 1 0 |a Dey, Santanu S.  |e author 
100 1 0 |a Huchette, Joey  |e contributor 
100 1 0 |a Vielma Centeno, Juan Pablo  |e contributor 
700 1 0 |a Huchette, Joey  |e author 
700 1 0 |a Vielma Centeno, Juan Pablo  |e author 
245 0 0 |a Beating the SDP bound for the floor layout problem: A simple combinatorial idea 
260 |b University of Toronto Press Inc,   |c 2019-03-22T18:40:46Z. 
856 |z Get fulltext  |u http://hdl.handle.net/1721.1/121065 
520 |a For many mixed-integer programming (MIP) problems, high-quality dual bounds can be obtained either through advanced formulation techniques coupled with a state-of-the-art MIP solver, or through semi-definite programming (SDP) relaxation hierarchies. In this paper, we introduce an alternative bounding approach that exploits the 'combinatorial implosion' effect by solving portions of the original problem and aggregating this information to obtain a global dual bound. We apply this technique to the one-dimensional and two-dimensional floor layout problems and compare it with the bounds generated by both state-of-the-art MIP solvers and by SDP relaxations. Specifically, we prove that the bounds obtained through the proposed technique are at least as good as those obtained through SDP relaxations, and present computational results that these bounds can be significantly stronger and easier to compute than these alternative strategies, particularly for very difficult problem instances. 
520 |a United States. National Science Foundation. Graduate Research Fellowship Program (Grant 1122374) 
520 |a United States. National Science Foundation. Graduate Research Fellowship Program (Grant CMMI-1351619) 
655 7 |a Article 
773 |t INFOR Information Systems and Operational Research