Explore chapters and articles related to this topic
Equivariant perturbation in Gomory and Johnson's infinite group problem (V). Software for the continuous and discontinuous 1-row case
Published in Optimization Methods and Software, 2018
Chun Yu Hong, Matthias Köppe, Yuan Zhou
The question becomes much harder when all or some of the variables are constrained to be integers. The theory of valid linear inequalities here is called cutting plane theory. Over the past 60 years, a vast body of research has been carried out on this topic, the largest part of it regarding the polyhedral combinatorics of integer hulls of particular families of problems. The general theory again is equivalent to the duality theory of integer linear optimization problems. Here the dual objects are not linear, but superadditive (or subadditive) functionals, making the general form of this theory infinite-dimensional even though the original problem started out with only finitely many variables.