0abd62097fb58bdc.tex
1: \begin{abstract}
2:   We give a variant of Basu--Hildebrand--Molinaro's approximation theorem for
3:   continuous minimal valid functions for Gomory--Johnson's infinite group
4:   problem by piecewise linear two-slope extreme functions [\emph{Minimal
5:     cut-generating functions are nearly extreme}, IPCO 2016].  Our theorem is
6:   for piecewise linear minimal valid functions that have only rational
7:   breakpoints (in $1/q\,\mathbb{Z}$ for some $q\in \mathbb{N}$) and that take
8:   rational values at the breakpoints.  In contrast to Basu et al.'s
9:   construction, our construction preserves all function values on
10:   $1/q\,\mathbb{Z}$.  As a corollary, we obtain that every extreme function
11:   for the finite group problem on $1/q\,\mathbb{Z}$ is the restriction of a
12:   continuous piecewise linear two-slope extreme function for the infinite
13:   group problem with breakpoints on a refinement $1/(Mq)\,\mathbb{Z}$ for some
14:   $M\in \mathbb{N}$.  In combination with Gomory's master theorem [\emph{Some
15:   Polyhedra related to Combinatorial Problems}, Lin.\@ Alg.\@ Appl.\@ 2 (1969),
16:   451--558], this shows that the infinite group problem is the correct master
17:   problem for facets (extreme functions) of 1-row group relaxations.
18: \end{abstract}
19: