TY - JOUR
T1 - Generating Cuts from Surrogate Constraint Analysis for Zero-One and Multiple Choice Programming
AU - Glover, Fred
AU - Sherali, Hanif D.
AU - Lee, Youngho
N1 - Funding Information:
This work has been supported in part by the National Science and Engineering Council of Canada under Grants 5-83998 and 5-84181, and by the National Science Foundation under Grant DMI-9521398.
Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.
PY - 1997
Y1 - 1997
N2 - This paper presents a new surrogate constraint analysis that gives rise to a family of strong valid inequalities called surrogate-knapsack (S-K) cuts. The analytical procedure presented provides a strong S-K cut subject to constraining the values of selected cut coefficients, including the right-hand side. Our approach is applicable to both zero-one integer problems and problems having multiple choice (generalized upper bound) constraints. We also develop a strengthening process that further tightens the S-K cut obtained via the surrogate analysis. Building on this, we develop a polynomial-time separation procedure that successfully generates an S-K cut that renders a given non-integer extreme point infeasible. We show how sequential lifting processes can be viewed in our framework, and demonstrate that our approach can obtain facets that are not available to standard lifting methods. We also provide a related analysis for generating "fast cuts". Finally, we present computational results of the new S-K cuts for solving 0-1 integer programming problems. Our outcomes disclose that the new cuts are capable of reducing the duality gap between optimal continuous and integer feasible solutions more effectively than standard lifted cover inequalities, as used in modern codes such as the CPLEX mixed 0-1 integer programming solver.
AB - This paper presents a new surrogate constraint analysis that gives rise to a family of strong valid inequalities called surrogate-knapsack (S-K) cuts. The analytical procedure presented provides a strong S-K cut subject to constraining the values of selected cut coefficients, including the right-hand side. Our approach is applicable to both zero-one integer problems and problems having multiple choice (generalized upper bound) constraints. We also develop a strengthening process that further tightens the S-K cut obtained via the surrogate analysis. Building on this, we develop a polynomial-time separation procedure that successfully generates an S-K cut that renders a given non-integer extreme point infeasible. We show how sequential lifting processes can be viewed in our framework, and demonstrate that our approach can obtain facets that are not available to standard lifting methods. We also provide a related analysis for generating "fast cuts". Finally, we present computational results of the new S-K cuts for solving 0-1 integer programming problems. Our outcomes disclose that the new cuts are capable of reducing the duality gap between optimal continuous and integer feasible solutions more effectively than standard lifted cover inequalities, as used in modern codes such as the CPLEX mixed 0-1 integer programming solver.
KW - Chvátal Gomory cuts
KW - Fractional surrogate constraint cuts
KW - Knapsack polytope
KW - Liftings
KW - Separation procedure
KW - Surrogate-knapsack cuts
UR - http://www.scopus.com/inward/record.url?scp=0031219862&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0031219862&partnerID=8YFLogxK
U2 - 10.1023/A:1008621204567
DO - 10.1023/A:1008621204567
M3 - Article
AN - SCOPUS:0031219862
VL - 8
SP - 151
EP - 172
JO - Computational Optimization and Applications
JF - Computational Optimization and Applications
SN - 0926-6003
IS - 2
ER -