infinite group relaxation
Light on the infinite group relaxation. I: Foundations and taxonomy. This is a survey on the infinite group problem, an infinite-dimensional relaxation of integer linear optimization problems introduced by Ralph Gomory and Ellis Johnson in their groundbreaking papers titled {it Some continuous functions related to corner polyhedra I, II} (Math Program 3:23-85, 359-389, 1972a, b). The survey presents the infinite group problem in the modern context of cut generating functions. It focuses on the recent developments, such as algorithms for testing extremality and breakthroughs for the $k$-row problem for general $kge 1$ that extend previous work on the single-row and two-row problems. The survey also includes some previously unpublished results; among other things, it unveils piecewise linear extreme functions with more than four different slopes. An interactive companion program, implemented in the open-source computer algebra package Sage, provides an updated compendium of known extreme functions.
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
Sorted by year (- Crama, Yves (ed.); Grabisch, Michel (ed.); Martello, Silvano (ed.): Sweet sixteen (2018)
- Hong, Chun Yu; Köppe, Matthias; Zhou, Yuan: Equivariant perturbation in Gomory and Johnson’s infinite group problem. V: Software for the continuous and discontinuous 1-row case (2018)
- Köppe, Matthias; Wang, Jiawei: Structure and interpretation of dual-feasible functions (2017)
- Basu, Amitabh; Conforti, Michele; Di Summa, Marco; Paat, Joseph: Extreme functions with an arbitrary number of slopes (2016)
- Basu, Amitabh; Hildebrand, Robert; Köppe, Matthias: Light on the infinite group relaxation. I: Foundations and taxonomy (2016)
- Basu, Amitabh; Hildebrand, Robert; Köppe, Matthias: Light on the infinite group relaxation. II: Sufficient conditions for extremality, sequences, and algorithms (2016)
- Basu, Amitabh; Hildebrand, Robert; Molinaro, Marco: Minimal cut-generating functions are nearly extreme (2016)
- Hong, Chun Yu; Köppe, Matthias; Zhou, Yuan: Software for cut-generating functions in the Gomory-Johnson model and beyond (2016)
- Köppe, Matthias; Zhou, Yuan: Toward computer-assisted discovery and automated proofs of cutting plane theorems (2016)