Operations Research Letters 36 (2008) 726–733 Contents lists available at ScienceDirect Operations Research Letters journal homepage: www.elsevier.com/locate/orl A note on the continuous mixing set M. Zhao a , I.R. de Farias Jr. b, a IBM T.J. Watson Research, United States b Department of Industrial Engineering, Texas Tech University, United States article info Article history: Received 15 October 2007 Accepted 4 August 2008 Available online 15 August 2008 Keywords: Mixed-integer programming Branch-and-cut Polyhedral combinatorics Simple mixed-integer set abstract The continuous mixing set is S = (s, r , z ) R × R n + × Z n : s + r j + w j z j f j , j = 1,..., n , where w 1 ,...,w n > 0 and f 1 ,..., f n R. Let m = |{w 1 ,...,w n }|. We show that when w 1 |···|w n , optimization over S can be performed in time O(n m+1 ), and in time O(n log n) when w 1 =···= w n = 1. © 2008 Elsevier B.V. All rights reserved. 1. Introduction It is widely accepted that the overwhelming progress of computational mixed-integer programming (MIP) over the past fifteen years is largely due to the use of cutting planes in branch-and-bound algorithms, see for example Fügenschuh and Martin [8] and Wolsey [17]. Recently, an interesting direction for studying cutting planes for MIP emerged from Marchand and Wolsey’s [12] observation, and its successful use in computation, that several families of well-known cutting planes, including 0–1 cover inequalities [2,11,16] and Gomory cuts [9], are implied by the only non-trivial facet-defining inequality valid for conv(S MIR ): x + (b −⌊b)z (b −⌊b)b, where: S MIR ={(x, z ) R + × Z : x + z b} is the mixed-integer rounding (MIR) set [14]. It consists in studying simple MIP sets and their computational use. Specifically, we say that an MIP set is simple if optimization over it can be performed in polynomial time. A major goal of this line of research is to produce families of cutting planes for MIP that supersede the MIR cuts and their close relatives (i.e. Gomory [9], intersection [1], disjunctive [3], and split [4] cuts). In order to achieve this objective, it is necessary first to identify simple sets that generalize S MIR ; second to study the convex hull of such sets (specifically, determine extreme points and rays, and valid inequalities for the set in question) or polynomial size formulations that project onto the set under consideration, i.e. an extended formulation; and third, to develop strategies to use the simple set computationally (specifically, determine how to relax the MIP to a problem over the simple set and how to use the cuts valid for the simple set to separate points that are not valid for the MIP). Let n be a positive integer and N ={1,..., n}. To address these questions, Günlük and Pochet [10] introduced the mixing-MIR set S MMIR , given by: S MMIR ={(x, z ) R + × Z n : x + z j b j , j N }. They gave all extreme points, extreme rays, and a full inequality description of conv(S MMIR ), and initial computational results on the market share problem that use cuts implied by the inequalities valid for conv(S MMIR ). Since then, several sets generalizing S MMIR have appeared in the literature. A particularly interesting one is the continuous mixing set : S (w) = (s, r , z ) R × R n + × Z n : (1) holds , Corresponding author. E-mail addresses: mzhao@us.ibm.com (M. Zhao), ismael.de-farias@ttu.edu (I.R. de Farias Jr.). 0167-6377/$ – see front matter © 2008 Elsevier B.V. All rights reserved. doi:10.1016/j.orl.2008.08.001