Valid inequalities for a single constrained 0-1 MIP set intersected with a conflict graph

In this paper a mixed integer set resulting from the intersection of a single constrained mixed 0-1 set with the vertex packing set is investigated. This set arises as a subproblem of more general mixed integer problems such as inventory routing and facility location problems. Families of strong valid inequalities that take into account the structure of the simple mixed integer set and that of the vertex packing set simultaneously are introduced. In particular, the well-known mixed integer rounding inequality is generalized to the case where incompatibilities between binary variables are present. Exact and heuristic algorithms are designed to solve the separation problems associated to the proposed valid inequalities. Preliminary computational experiments show that these inequalities can be useful to reduce the integrality gaps and to solve integer programming problems.

[1]  Eva K. Lee,et al.  Facets of the independent set polytope , 2003, Math. Program..

[2]  Martin W. P. Savelsbergh,et al.  Conflict Graphs in Integer Programming , 1998 .

[3]  Laurence A. Wolsey,et al.  Production Planning by Mixed Integer Programming , 2010 .

[4]  Martin W. P. Savelsbergh,et al.  Conflict graphs in solving integer programming problems , 2000, Eur. J. Oper. Res..

[5]  Monique Laurent,et al.  A generalization of antiwebs to independence systems and their canonical facets , 1989, Math. Program..

[6]  Alain Hertz,et al.  A sequential elimination algorithm for computing bounds on the clique number of a graph , 2008, Discret. Optim..

[7]  Pedro Martins,et al.  Solving the maximum edge-weight clique problem in sparse graphs with compact formulations , 2015, EURO J. Comput. Optim..

[8]  Laurence A. Wolsey,et al.  Aggregation and Mixed Integer Rounding to Solve MIPs , 2001, Oper. Res..

[9]  Martin W. P. Savelsbergh,et al.  The mixed vertex packing problem , 2000, Math. Program..

[10]  Laurence A. Wolsey,et al.  A maritime inventory routing problem: Discrete time formulations and valid inequalities , 2013, Networks.

[11]  Leslie E. Trotter,et al.  Properties of vertex packing and independence system polyhedra , 1974, Math. Program..

[12]  Marielle Christiansen,et al.  Hybrid heuristics for a short sea inventory routing problem , 2014, Eur. J. Oper. Res..

[13]  Laurence A. Wolsey,et al.  Production Planning by Mixed Integer Programming (Springer Series in Operations Research and Financial Engineering) , 2006 .

[14]  박경철,et al.  An Extended Formulation Approach to the Edge-weighted Maximal Clique Problem , 1995 .

[15]  Manfred W. Padberg,et al.  On the facial structure of set packing polyhedra , 1973, Math. Program..

[16]  Cid C. de Souza,et al.  Intersecting a simple mixed integer set with a vertex packing set , 2013, Electron. Notes Discret. Math..

[17]  G. Nemhauser,et al.  A Strong Cutting Plane/Branch-and-Bound Algorithm for Node Packing , 1992 .

[18]  Alper Atamtürk,et al.  The Flow Set with Partial Order , 2008, Math. Oper. Res..

[19]  Ali Ridha Mahjoub,et al.  Generating Facets for the Independence System Polytope , 2009, SIAM J. Discret. Math..

[20]  Tobias Achterberg,et al.  Conflict analysis in mixed integer programming , 2007, Discret. Optim..