共查询到20条相似文献,搜索用时 343 毫秒
1.
In this paper, we present an approximate lifting scheme to derive valid inequalities for general mixed integer programs and
for the group problem. This scheme uses superadditive functions as the building block of integer and continuous lifting procedures.
It yields a simple derivation of new and known families of cuts that correspond to extreme inequalities for group problems.
This new approximate lifting approach is constructive and potentially efficient in computation.
J.-P. P. Richard was supported by NSF grant DMI-348611. 相似文献
2.
Santanu S. Dey Jean-Philippe P. Richard Yanjun Li Lisa A. Miller 《Mathematical Programming》2010,121(1):145-170
Infinite group relaxations of integer programs (IP) were introduced by Gomory and Johnson (Math Program 3:23–85, 1972) to
generate cutting planes for general IPs. These valid inequalities correspond to real-valued functions defined over an appropriate
infinite group. Among all the valid inequalities of the infinite group relaxation, extreme inequalities are most important
since they are the strongest cutting planes that can be obtained within the group-theoretic framework. However, very few properties
of extreme inequalities of infinite group relaxations are known. In particular, it is not known if all extreme inequalities
are continuous and what their relations are to extreme inequalities of finite group problems. In this paper, we describe new
properties of extreme functions of infinite group problems. In particular, we study the behavior of the pointwise limit of
a converging sequence of extreme functions as well as the relations between extreme functions of finite and infinite group
problems. Using these results, we prove for the first time that a large class of discontinuous functions is extreme for infinite
group problems. This class of extreme functions is the generalization of the functions given by Letchford and Lodi (Oper Res
Lett 30(2):74–82, 2002), Dash and Günlük (Proceedings 10th conference on integer programming and combinatorial optimization.
Springer, Heidelberg, pp 33–45 (2004), Math Program 106:29–53, 2006) and Richard et al. (Math Program 2008, to appear). We
also present several other new classes of discontinuous extreme functions. Surprisingly, we prove that the functions defining
extreme inequalities for infinite group relaxations of mixed integer programs are continuous.
S.S. Dey and J.-P.P. Richard was supported by NSF Grant DMI-03-48611. 相似文献
3.
Amitabh Basu Manoel Campêlo Michele Conforti Gérard Cornuéjols Giacomo Zambelli 《Mathematical Programming》2013,141(1-2):561-576
This paper contributes to the theory of cutting planes for mixed integer linear programs (MILPs). Minimal valid inequalities are well understood for a relaxation of an MILP in tableau form where all the nonbasic variables are continuous; they are derived using the gauge function of maximal lattice-free convex sets. In this paper we study lifting functions for the nonbasic integer variables starting from such minimal valid inequalities. We characterize precisely when the lifted coefficient is equal to the coefficient of the corresponding continuous variable in every minimal lifting (This result first appeared in the proceedings of IPCO 2010). The answer is a nonconvex region that can be obtained as a finite union of convex polyhedra. We then establish a necessary and sufficient condition for the uniqueness of the lifting function. 相似文献
4.
In this paper we discuss the derivation of strong valid inequalities for (mixed) integer knapsack sets based on lifting of
valid inequalities for basic knapsack sets with two integer variables (and one continuous variable). The basic polyhedra can
be described in polynomial time. We use superadditive valid lifting functions in order to obtain sequence independent lifting.
Most of these superadditive functions and valid inequalities are not obtained in polynomial time. 相似文献
5.
We present a generalization of the mixed integer rounding (MIR) approach for generating valid inequalities for (mixed) integer
programming (MIP) problems. For any positive integer n, we develop n facets for a certain (n + 1)-dimensional single-constraint polyhedron in a sequential manner. We then show that for any n, the last of these facets (which we call the n-step MIR facet) can be used to generate a family of valid inequalities for the feasible set of a general (mixed) IP constraint, which we
refer to as the n-step MIR inequalities. The Gomory Mixed Integer Cut and the 2-step MIR inequality of Dash and günlük (Math Program 105(1):29–53, 2006) are the
first two families corresponding to n = 1,2, respectively. The n-step MIR inequalities are easily produced using periodic functions which we refer to as the n-step MIR functions. None of these functions dominates the other on its whole period. Finally, we prove that the n-step MIR inequalities generate two-slope facets for the infinite group polyhedra, and hence are potentially strong.
相似文献
6.
7.
In this paper, we study the relationship between 2D lattice-free cuts, the family of cuts obtained by taking two-row relaxations of a mixed-integer program (MIP) and applying intersection cuts based on maximal lattice-free sets in ${\mathbb{R}^2}$ , and various types of disjunctions. Recently Li and Richard (2008), studied disjunctive cuts obtained from t-branch split disjunctions of mixed-integer sets (these cuts generalize split cuts). Balas (Presentation at the Spring Meeting of the American Mathematical Society (Western Section), San Francisco, 2009) initiated the study of cuts for the two-row continuous group relaxation obtained from 2-branch split disjunctions. We study these cuts (and call them cross cuts) for the two-row continuous group relaxation, and for general MIPs. We also consider cuts obtained from asymmetric 2-branch disjunctions which we call crooked cross cuts. For the two-row continuous group relaxation, we show that unimodular cross cuts (the coefficients of the two split inequalities form a unimodular matrix) are equivalent to the cuts obtained from maximal lattice-free sets other than type 3 triangles. We also prove that all 2D lattice-free cuts and their S-free extensions are crooked cross cuts. For general mixed integer sets, we show that crooked cross cuts can be generated from a structured three-row relaxation. Finally, we show that for the corner relaxation of an MIP, every crooked cross cut is a 2D lattice-free cut. 相似文献
8.
In this survey we attempt to give a unified presentation of a variety of results on the lifting of valid inequalities, as
well as a standard procedure combining mixed integer rounding with lifting for the development of strong valid inequalities
for knapsack and single node flow sets. Our hope is that the latter can be used in practice to generate cutting planes for
mixed integer programs.
The survey contains essentially two parts. In the first we present lifting in a very general way, emphasizing superadditive
lifting which allows one to lift simultaneously different sets of variables. In the second, our procedure for generating strong
valid inequalities consists of reduction to a knapsack set with a single continuous variable, construction of a mixed integer
rounding inequality, and superadditive lifting. It is applied to several generalizations of the 0–1 single node flow set.
This paper appeared in 4OR, 1, 173–208 (2003).
The first author is supported by the FNRS as a chercheur qualifié. This paper presents research results of the Belgian Program on Interuniversity Poles of Attraction
initiated by the Belgian State, Prime Minister’s Office, Science Policy Programming. The scientific responsibility is assumed
by the authors. 相似文献
9.
Matthias Jach Matthias Köppe Robert Weismantel 《4OR: A Quarterly Journal of Operations Research》2006,4(1):29-46
This paper is based on the study of the set of nondecomposable integer solutions in a Gomory corner polyhedron, which was
recently used in a reformulation method for integer linear programs. In this paper, we present an algorithm for efficiently
computing this set. We precompute a database of nondecomposable solutions for cyclic groups up to order 52. As a second application
of this database, we introduce an algorithm for computing nontrivial simultaneous lifting coefficients. The lifting coefficients
are exact for a discrete relaxation of the integer program that consists of a group relaxation plus bound constraints.
Received: November 2004 / Revised version: June 2005
AMS classification:
90C10, 90C57 相似文献
10.
The well-known sequentially lifted cover inequality is widely employed in solving mixed integer programs.However,it is still an open question whether a sequentially lifted cover inequality can be computed in polynomial time for a given minimal cover(Gu et al.(1999)).We show that this problem is N P-hard,thus giving a negative answer to the question. 相似文献
11.
We investigate strong inequalities for mixed 0-1 integer programs derived from flow cover inequalities. Flow cover inequalities
are usually not facet defining and need to be lifted to obtain stronger inequalities. However, because of the sequential nature
of the standard lifting techniques and the complexity of the optimization problems that have to be solved to obtain lifting
coefficients, lifting of flow cover inequalities is computationally very demanding. We present a computationally efficient
way to lift flow cover inequalities based on sequence independent lifting techniques and give computational results that show
the effectiveness of our lifting procedures.
Received May 15, 1996 / Revised version received August 7, 1998
Published online June 28, 1999 相似文献
12.
In this paper, we introduce the first generic lifting techniques for deriving strong globally valid cuts for nonlinear programs.
The theory is geometric and provides insights into lifting-based cut generation procedures, yielding short proofs of earlier
results in mixed-integer programming. Using convex extensions, we obtain conditions that allow for sequence-independent lifting
in nonlinear settings, paving a way for efficient cut-generation procedures for nonlinear programs. This sequence-independent
lifting framework also subsumes the superadditive lifting theory that has been used to generate many general-purpose, strong
cuts for integer programs. We specialize our lifting results to derive facet-defining inequalities for mixed-integer bilinear
knapsack sets. Finally, we demonstrate the strength of nonlinear lifting by showing that these inequalities cannot be obtained
using a single round of traditional integer programming cut-generation techniques applied on a tight reformulation of the
problem.
相似文献
13.
The n-step mixed integer rounding (MIR) inequalities of Kianfar and Fathi (Math Program 120(2):313–346, 2009) are valid inequalities for the mixed-integer knapsack set that are derived by using periodic n-step MIR functions and define facets for group problems. The mingling and 2-step mingling inequalities of Atamtürk and Günlük (Math Program 123(2):315–338, 2010) are also derived based on MIR and they incorporate upper bounds on the integer variables. It has been shown that these inequalities are facet-defining for the mixed integer knapsack set under certain conditions and generalize several well-known valid inequalities. In this paper, we introduce new classes of valid inequalities for the mixed-integer knapsack set with bounded integer variables, which we call n-step mingling inequalities (for positive integer n). These inequalities incorporate upper bounds on integer variables into n-step MIR and, therefore, unify the concepts of n-step MIR and mingling in a single class of inequalities. Furthermore, we show that for each n, the n-step mingling inequality defines a facet for the mixed integer knapsack set under certain conditions. For n?=?2, we extend the results of Atamtürk and Günlük on facet-defining properties of 2-step mingling inequalities. For n ≥ 3, we present new facets for the mixed integer knapsack set. As a special case we also derive conditions under which the n-step MIR inequalities define facets for the mixed integer knapsack set. In addition, we show that n-step mingling can be used to generate new valid inequalities and facets based on covers and packs defined for mixed integer knapsack sets. 相似文献
14.
Recently Andersen et al. [1], Borozan and Cornuéjols [6] and Cornuéjols and Margot [9] have characterized the extreme valid inequalities of a mixed integer set consisting of two equations with two free integer variables and non-negative continuous variables. These inequalities are either split cuts or intersection cuts derived using maximal lattice-free convex sets. In order to use these inequalities to obtain cuts from two rows of a general simplex tableau, one approach is to extend the system to include all possible non-negative integer variables (giving the two row mixed-integer infinite-group problem), and to develop lifting functions giving the coefficients of the integer variables in the corresponding inequalities. In this paper, we study the characteristics of these lifting functions. We show that there exists a unique lifting function that yields extreme inequalities when starting from a maximal lattice-free triangle with multiple integer points in the relative interior of one of its sides, or a maximal lattice-free triangle with integral vertices and one integer point in the relative interior of each side. In the other cases (maximal lattice-free triangles with one integer point in the relative interior of each side and non-integral vertices, and maximal lattice-free quadrilaterals), non-unique lifting functions may yield distinct extreme inequalities. For the latter family of triangles, we present sufficient conditions to yield an extreme inequality for the two row mixed-integer infinite-group problem. 相似文献
15.
We study the mixed 0-1 knapsack polytope, which is defined by a single knapsack constraint that contains 0-1 and bounded continuous variables, through the lifting of continuous variables fixed at their upper bounds. We introduce the concept of a superlinear inequality and show that, in this case, lifting is significantly simpler than for general inequalities. We use the superlinearity theory, together with the traditional lifting of 0-1 variables, to describe families of facets of the mixed 0-1 knapsack polytope. Finally, we show that superlinearity results can be extended to nonsuperlinear inequalities when the coefficients of the variables fixed at their upper bounds are large.This research was supported by NSF grants DMI-0100020 and DMI-0121495Mathematics Subject Classification (1991): 90C11, 90C27 相似文献
16.
有效不等式在整数规划的定界研究中具有重要的意义.研究了一般整数规划问题的有效不等式的升维方法,引入超加性函数给出同步升维的条件,并给出有效不等式的同步升维的具体方法,算例表明本文提出的方法是有效的. 相似文献
17.
Cover inequalities are commonly used cutting planes for the 0–1 knapsack problem. This paper describes a linear-time algorithm (assuming the knapsack is sorted) to simultaneously lift a set of variables into a cover inequality. Conditions for this process to result in valid and facet-defining inequalities are presented. In many instances, the resulting simultaneously lifted cover inequality cannot be obtained by sequentially lifting over any cover inequality. Some computational results demonstrate that simultaneously lifted cover inequalities are plentiful, easy to find and can be computationally beneficial. 相似文献
18.
Ali T. Tuncel Felisa Preciado Ronald L. Rardin Mark Langer Jean-Philippe P. Richard 《Annals of Operations Research》2012,196(1):819-840
Fluence map optimization problems are commonly solved in intensity modulated radiation therapy (IMRT) planning. We show that, when subject to dose-volume restrictions, these problems are NP-hard and that the linear programming relaxation of their natural mixed integer programming formulation can be arbitrarily weak. We then derive strong valid inequalities for fluence map optimization problems under dose-volume restrictions using disjunctive programming theory and show that strengthening mixed integer programming formulations with these valid inequalities has significant computational benefits. 相似文献
19.
In this survey we attempt to give a unified presentation of a variety of results on the lifting of valid inequalities, as well as a standard procedure combining mixed integer rounding with lifting for the development of strong valid inequalities for knapsack and single node flow sets. Our hope is that the latter can be used in practice to generate cutting planes for mixed integer programs. The survey contains essentially two parts. In the first we present lifting in a very general way, emphasizing superadditive lifting which allows one to lift simultaneously different sets of variables. In the second, our procedure for generating strong valid inequalities consists of reduction to a knapsack set with a single continuous variable, construction of a mixed integer rounding inequality, and superadditive lifting. It is applied to several generalizations of the 0-1 single node flow set.Received: December 2002, Revised: April 2003, AMS classification:
90C11, 90C27Laurence A. Wolsey: Corresponding author: CORE, Voie du Roman Pays 34, 1348 Louvain-la-Neuve, Belgium. The first author is supported by the FNRS as a research fellow. This paper presents research results of the Belgian Program on Interuniversity Poles of Attraction initiated by the Belgian State, Prime Ministers Office, Science Policy Programming. The scientific responsibility is assumed by the authors.Laurence A. Wolsey: This research was also supported by the European Commission GROWTH Programme, Research Project LISCOS, Large Scale Integrated Supply Chain Optimization Software Based on Branch-and-Cut and Constraint Programming Methods, Contract No. GRDI-1999-10056, and the project TMR-DONET nr. ERB FMRX-CT98-0202. 相似文献
20.
In this paper we consider an infinite relaxation of the mixed integer linear program with two integer variables, nonnegative continuous variables and two equality constraints, and we give a complete characterization of its facets. We also derive an analogous characterization of the facets of the underlying finite integer program. 相似文献