The mixing-MIR set with divisible capacities

  • Authors:
  • M. Zhao;I. R. de Farias, Jr

  • Affiliations:
  • State University of New York, New York, USA;University at Buffalo, Department of Industrial and Systems Engineering, 438 Bell Hall, 14260-2050, Buffalo, NY, USA

  • Venue:
  • Mathematical Programming: Series A and B
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the set $$S = \{(x, y) \in \Re_{+} \times Z^{n} : x + B_{j} y_{j} \geq b_{j}, j = 1, \ldots, n\}$$, where $$B_{j}, b_{j} \in \Re_{+} - \{0\}$$, j =  1, ..., n, and B 1 | ... | B n . The set S generalizes the mixed-integer rounding (MIR) set of Nemhauser and Wolsey and the mixing-MIR set of Günlük and Pochet. In addition, it arises as a substructure in general mixed-integer programming (MIP), such as in lot-sizing. Despite its importance, a number of basic questions about S remain unanswered, including the tractability of optimization over S and how to efficiently find a most violated cutting plane valid for P =  conv (S). We address these questions by analyzing the extreme points and extreme rays of P. We give all extreme points and extreme rays of P. In the worst case, the number of extreme points grows exponentially with n. However, we show that, in some interesting cases, it is bounded by a polynomial of n. In such cases, it is possible to derive strong cutting planes for P efficiently. Finally, we use our results on the extreme points of P to give a polynomial-time algorithm for solving optimization over S.