Abstract
An expression graph, informally speaking, represents a function in a way that can be manipulated to reveal various kinds of information about the function, such as its value or partial derivatives at specified arguments and bounds thereon in specified regions. (Various representations are possible, and all are equivalent in complexity, in that one can be converted to another in time linear in the expression’s size.) For mathematical programming problems, including the mixed-integer nonlinear programming problems that were the subject of the IMA workshop that led to this paper, there are various advantages to representing problems as collections of expression graphs. “Presolve” deductions can simplify the problem, e.g., by reducing the domains of some variables and proving that some inequality constraints are never or always active. To find global solutions, it is helpful sometimes to solve relaxed problems (e.g., allowing some “integer” variables to vary continuously or introducing convex or concave relaxations of some constraints or objectives), and to introduce “cuts” that exclude some relaxed variable values. There are various ways to compute bounds on an expression within a specified region or to compute relaxed expressions from expression graphs. This paper sketches some of them. As new information becomes available in the course of a branch-and-bound (or -cut) algorithm, some expression-graph manipulations and presolve deductions can be revisited and tightened, so keeping expression graphs around during the solution process can be helpful. Algebraic problem representations are a convenient source of expression graphs. One of my reasons for interest in the AMPL modeling language is that it delivers expression graphs to solvers.
AMS(MOS) subject classifications. Primary 68U01, 68N20, 68W30, 05C85.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Autodi_ Web Site, http://www.autodiff.org.
Roscoe A. Bartlett, David M. Gay, and Eric T. Phipps, Automatic Di_erentiation of C++ Codes for Large-Scale Scienti_c Computing. In Computational Science { ICCS 2006, Vassil N. Alexandrov, Geert Dick van Albada, Peter M.A. Sloot, and Jack Dongarra (eds.), Springer, 2006, pp. 525{532.
Martin Berz, Di_erential Algebraic Description of Beam Dynamics to Very High Orders, Particle Accelerators 24 (1989), p. 109.
Martin Berz, yoko Makino, Khodr Shamseddine, Georg H. Hoffstatter, and Weishi Wan, COSY INFINITY and Its Applications in Nonlinear Dynamics, SIAM, 1996.
Stephen P. Boyd and Jacob Mattingley, CVXMOD | Convex Optimization Software in Python, http://cvxmod.net/, accessed July 2009.
R. Fourer and D.M. Gay, Experience with a Primal Presolve Algorithm. In Large Scale Optimization: State of the Art, W.W. Hager, D.W. Hearn, and P.M. Pardalos (eds.), Kluwer Academic Publishers, 1994, pp. 135{154.
R. Fourer, D.M. Gay, and B.W. Kernighan, A Modeling Language for Mathematical Programming, Management Science 36(5) (1990), pp. 519{554.
Robert Fourer, David M. Gay, and Brian W. Kernighan, AMPL: A Modeling Language for Mathematical Programming, Duxbury Press/Brooks/Cole Publishing Co., 2nd edition, 2003.
Robert Fourer, Jun Ma, and Kipp Martin, An Open Interface for Hooking Solvers to Modeling Systems, slides for DIMACS Workshop on COIN-OR, 2006, http://dimacs.rutgers.edu/Workshops/COIN/slides/osil.pdf.
R. Fourer, C. Maheshwari, A. Neumaier, D. Orban, and H. Schichl, Convexity and Concavity Detection in Computational Graphs, manuscript, 2008, to appear in INFORMS J. Computing.
Edward P. Gatzke, John E. Tolsma, and Paul I. Barton, Construction of Convex Function Relaxations Using Automated Code Generation Techniques Optimization and Engineering 3, 2002, pp. 305{326.
Davd M. Gay, Automatic Di_erentiation of Nonlinear AMPL Models. In Automatic Di_erentiation of Algorithms: Theory, Implementation, and Application, A. Griewank and G. Corliss (eds.), SIAM, 1991, pp. 61{73.
Davd M. Gay, Hooking Your Solver to AMPL, AT&T Bell Laboratories, Numerical Analysis Manuscript 93–10, 1993 (revised 1997). http://www.ampl.com/REFS/hooking2.pdf.
Davd M. Gay, More AD of Nonlinear AMPL Models: Computing Hessian Information and Exploiting Partial Separability. In Computational Di_erentiation : Techniques, Applications, and Tools, Martin Berz, Christian Bischof, George Corliss and Andreas Griewank (eds.), SIAM, 1996, pp. 173{184.
Davd M. Gay, Semiautomatic Di_erentiation for E_cient Gradient Computations. In Automatic Di_erentiation: Applications, Theory, and Implementations, H. Martin Bucker, George F. Corliss, Paul Hovland and Uwe Naumann and Boyana Norris (eds.), Springer, 2005, pp. 147{158.
Davd M. Gay, Bounds from Slopes, report SAND-1010xxxx, to be available as http://www.sandia.gov/~dmgay/bounds10.pdf.
D.M. Gay, T. Head-Gordon, F.H. Stillinger, and M.H. Wright, An Application of Constrained Optimization in Protein Folding: The Poly-L-Alanine Hypothesis, Forefronts 8(2) (1992), pp. 4{6.
Andreas Griewank, On Automatic Di_erentiation. In Mathematical Programming: Recent Developments and Applications, M. Iri and K. Tanabe (eds.), Kluwer, 1989, pp. 83{108.
, Andreas Griewank, Evaluating Derivatives, SIAM, 2000.
A. Griewank, D. Juedes, and J. Utke, Algorithm 755: ADOL-C: A package for the automatic di_erentiation of algorithms written in C/C++, ACM Trans. Math Software 22(2) (1996), pp. 131{167.
R. Baker Kearfott An Overview of the GlobSol Package for Veri_ed Global Optimization, talk slides, 2002, http://www.mat.univie.ac.at/~neum/glopt/mss/Kea02.pdf.
, Padmanaban Kesavan, Russell J. Allgor, Edward P. Gatzke, and Paul I. Barton, Outer Approximation Algorithms for Separable Nonconvex Mixed- Integer Nonlinear Programs, Mathematical Programming 100(3), 2004, pp. 517{535.
R. Krawczyk and A. Neumaier, Interval Slopes for Rational Functions and Associated Centered Forms, SIAM J. Numer. Anal. 22(3) (1985), pp. 604{616.
R.E. Moore, Interval Arithmetic and Automatic Error Analysis in Digital Computing, Ph.D. dissertation, Stanford University, 1962.
Ramon E. Moore, Methods and Applications of Interval Analysis, SIAM, 1979.
Ramon E. Moore, R. Baker Kearfott, and Michael J. Cloud, Introduction to Interval Analysis, SIAM, 2009.
Ivo P. Nenov, Daniel H. Fylstra, and Lubomir V. Kolev, Convexity Determination in the Microsoft Excel Solver Using Automatic Di_erentiation Techniques, extended abstract, 2004, http://www.autodiff.org/ad04/abstracts/Nenov.pdf.
Arnold Neumaier, Interval Methods for Systems of Equations, Cambridge University Press, 1990.
Dominique Orban, Dr. AMPL Web Site, http://www.gerad.ca/~orban/drampl/
accessed July 2009.
Dominique Orban and Robert Fourer, Dr. AMPL, A Meta Solver for Optimization, CORS/INFORMS Joint International Meeting, 2004, http://users.iems.northwestern.edu/~4er/SLIDES/ban0406h.pdf.
Polish notation, http://en.wikipedia.org/wiki/Polish_notation, accessed July 2009.
S.M. Rump, Expansion and Estimation of the Range of Nonlinear Functions, Mathematics of Computation 65(216) (1996), pp. 1503{1512.
Sacado Web Site, http://trilinos.sandia.gov/packages/sacado/.
Hermann Schichl and Arnold Neumaier, Interval Analysis on Directed Acyclic Graphs for Global Optimization Journal of Global Optimization 33(4) (2005), pp. 541{562.
Marco Schnurr, Steigungen hoeherer Ordnung zur veri_zierten globalen Optimierung, Ph.D. dissertation, Universitat Karlsruhe, 2007.
Marco Schnurr, The Automatic Computation of Second-Order Slope Tuples for Some Nonsmooth Functions, Electronic Transactions on Numerical Analysis 30 (2008), pp. 203{223.
Joseph G. Young Program Analysis and Transformation in Mathematical Programming, Ph.D. dissertation, Rice University, 2008.
Shen Zuhe and M.A. Wolfe, On Interval Enclosures Using Slope Arithmetic, Applied Mathematics and Computation 39 (1990), pp. 89{105.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media, LLC
About this paper
Cite this paper
Gay, D.M. (2012). Using Expression Graphs in Optimization Algorithms. In: Lee, J., Leyffer, S. (eds) Mixed Integer Nonlinear Programming. The IMA Volumes in Mathematics and its Applications, vol 154. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-1927-3_8
Download citation
DOI: https://doi.org/10.1007/978-1-4614-1927-3_8
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-1926-6
Online ISBN: 978-1-4614-1927-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)