×

APROS: Algorithmic development methodology for discrete-continuous optimization problems. (English) Zbl 0689.90058

Summary: APROS represents an algorithmic development procedure for classes of mathematical programming problems that involve some form of decomposition technique and require extensive communication of data between a set of subproblems whose sizes and structures may vary during the solution procedure. Examples include most classes of mixed-integer nonlinear programming problems and large-scale mixed-integer linear programming problems as well as a wide variety of algorithms for large-scale nonlinear and linear programming problems exhibiting special structures. APROS works through the general algebraic modeling system (GAMS) to provide exact syntactic statement of algorithmic solution procedures. APROS procedures are implemented through GAMS which is interfaced with nonlinear, linear and mixed-integer linear programming solvers to provide completely general automated implementations of many well known algorithms including the generalized Benders decomposition, the outer approximation/equality relaxation and Dantzig-Wolfe decomposition. The flexibility of APROS and the highly procedural modeling language GAMS provide a means of obtaining quick solutions to difficult classes of problems by implementing a selected algorithm, and also provide a unique tool for developing, prototyping and experimenting with new algorithms. A description of the procedural components, features and setups is presented with emphasis on the generality of the techniques.

MSC:

90C11 Mixed integer programming
90C06 Large-scale problems in mathematical programming
65K05 Numerical mathematical programming methods
49M27 Decomposition methods
90C30 Nonlinear programming
90C10 Integer programming

Software:

GAMS
PDFBibTeX XMLCite
Full Text: DOI