On the Notions of Facets, Weak Facets, and Extreme Functions of the Gomory–Johnson Infinite Group Problem
We investigate three competing notions that generalize the notion of a facet of finite-dimensional polyhedra to the infinite-dimensional Gomory–Johnson model. These notions were known to coincide for continuous piecewise linear functions with rational breakpoints. We show that two of the notions, extreme functions and facets, coincide for the case of continuous piecewise linear functions, removing the hypothesis regarding rational breakpoints. We then separate the three notions using discontinuous examples.
KeywordsValid Inequality Finite Index Extreme Function Discontinuous Function Perturbation Function
- 12.Hong, C.Y., Köppe, M., Zhou, Y.: SageMath program for computation and experimentation with the \(1\)-dimensional Gomory–Johnson infinite group problem (2014). https://github.com/mkoeppe/infinite-group-relaxation-code
- 13.Köppe, M., Zhou, Y.: Equivariant perturbation in Gomory and Johnson’s infinite group problem. VI. The curious case of two-sided discontinuous functions. eprint arXiv:1605.03975 [math.OC] (2016)