Mixed n‐step MIR inequalities: Facets for the n‐mixing set

Mixed n‐step MIR inequalities: Facets for the n‐mixing set

0.00 Avg rating0 Votes
Article ID: iaor20125785
Volume: 9
Issue: 4
Start Page Number: 216
End Page Number: 235
Publication Date: Nov 2012
Journal: Discrete Optimization
Authors: ,
Keywords: programming: integer
Abstract:

Günlük and Pochet [O. Günlük, Y. Pochet, Mixing mixed integer inequalities. Mathematical Programming 90 (2001) 429–457] proposed a procedure to mix mixed integer rounding (MIR) inequalities. The mixed MIR inequalities define the convex hull of the mixing set { ( y 1 , , y m , v ) Z m × R + : α 1 y i + v β i , i = 1 , , m } equ1 and can also be used to generate valid inequalities for general as well as several special mixed integer programs (MIPs). In another direction, Kianfar and Fathi [K. Kianfar, Y. Fathi, Generalized mixed integer rounding inequalities: facets for infinite group polyhedra. Mathematical Programming 120 (2009) 313–346] introduced the n equ2‐step MIR inequalities for the mixed integer knapsack set through a generalization of MIR. In this paper, we generalize the mixing procedure to the n equ3‐step MIR inequalities and introduce the mixed n equ4‐step MIR inequalities. We prove that these inequalities define facets for a generalization of the mixing set with n equ5 integer variables in each row (which we refer to as the n equ6‐mixing set), i.e. { ( y 1 , , y m , v ) (Z × Z + n 1 ) m × R + : ? j = 1 n a j y j i + v = β i , i = 1 , , m } equ7. The mixed MIR inequalities are simply the special case of n = 1 equ8. We also show that mixed n equ9‐step MIR can generate valid inequalities based on multiple constraints for general MIPs. Moreover, we introduce generalizations of the capacitated lot‐sizing and facility location problems, which we refer to as the multi‐module problems, and show that mixed n equ10‐step MIR can be used to generate valid inequalities for these generalizations. Our computational results on small MIPLIB instances as well as a set of multi‐module lot‐sizing instances justify the effectiveness of the mixed n equ11‐step MIR inequalities.

Reviews

Required fields are marked *. Your email address will not be published.