Explore chapters and articles related to this topic
Sparktope: linear programs from algorithms
Published in Optimization Methods and Software, 2022
David Avis, David Bremner
For a given integer n we will give an upper bound on the number of steps taken in order to reach a return statement. Referring to the source code mm.spk we see that the program is divided into two phases to reduce the number of constraints produced. phaseinit handles initialization and is executed once whereas phasemain performs the blossom algorithm.