Abstract
We describe the design of version 1.0 of GALAHAD, a library of Fortran 90 packages for large-scale nonlinear optimization. The library particularly addresses quadratic programming problems, containing both interior point and active set algorithms, as well as tools for preprocessing problems prior to solution. It also contains an updated version of the venerable nonlinear programming package, LANCELOT.
- Benson, H., Shanno, D. F., and Vanderbei, R. J. 2001. A comparative study of large-scale nonlinear optimization algorithms. Tech. Rep. ORFE 01-04, Operations Research and Financial Engineering, Princeton University, New Jersey.Google Scholar
- Bischof, Chr., Carle, A., Corliss, G., Griewank, A., and Hovland, P. 1992. ADIFOR---generating derivative codes from Fortran programs. Scientific Programming 1, 1--29.Google Scholar
- Bongartz, I., Conn, A. R., Gould, N. I. M., and Toint, Ph. L. 1995. CUTE: Constrained and Unconstrained Testing Environment. ACM Trans. Math. Soft. 21, 1, 123--160. Google Scholar
- Byrd, R. H., Hribar, M. E., and Nocedal, J. 1999. An interior point algorithm for large scale nonlinear programming. SIAM J. Optimization 9, 4, 877--900. Google Scholar
- Chin, C. M. 2001. Numerical results of SLPSQP, filterSQP and LANCELOT on selected CUTE test problems. Numerical Analysis Report NA/203, Department of Mathematics, University of Dundee, Scotland.Google Scholar
- Conn, A. R., Gould, N. I. M., and Toint, Ph. L. 1992. LANCELOT: a Fortran package for Large-scale Nonlinear Optimization (Release A). Springer Series in Computational Mathematics. Springer Verlag, Heidelberg, Berlin, New York. Google Scholar
- Conn, A. R., Gould, N. I. M., and Toint, Ph. L. 1996a. Numerical experiments with the LANCELOT package (Release A) for large-scale nonlinear optimization. Mathematical Programming, Series A 73, 1, 73--110. Google Scholar
- Conn, A. R., Gould, N. I. M., and Toint, Ph. L. 2000a. Trust-Region Methods. SIAM, Philadelphia. Google Scholar
- Conn, A. R., Gould, N. I. M., Orban, D., and Toint, Ph. L. 2000b. A primal-dual trust-region algorithm for non-convex nonlinear programming. Mathematical Programming 87, 2, 215--249.Google Scholar
- Conn, A. R., Gould, N. I. M., Sartenaer, A., and Toint, Ph. L. 1996b. Convergence properties of minimization algorithms for convex constraints using a structured trust region. SIAM J. Optimization 6, 4, 1059--1086. Google Scholar
- Czyzyk, J., Mesnier, M. P., and Moré, J. J. 1998. The NEOS Server. IEEE J. Computational Sci. Engin. 5, 68--75. Google Scholar
- Dolan, E. D. and Moré, J. J. 2000. Benchmarking optimization software with COPS. Tech. Rep. ANL/MCS-246, Argonne National Laboratory, Illinois, USA.Google Scholar
- Dolan, E. D. and Moré, J. J. 2002. Benchmarking optimization software with performance profiles. Math. Program. 91, 2, 201--213.Google Scholar
- Duff, I. S. 2002. MA57---a new code for the solution of sparse symmetric definite and indefinite systems. Tech. Rep. RAL-TR-2002-024, Rutherford Appleton Laboratory, Chilton, Oxfordshire, England.Google Scholar
- Duff, I. S. and Reid, J. K. 1982. MA27: A set of Fortran subroutines for solving sparse symmetric sets of linear equations. Report R-10533, AERE Harwell Laboratory, Harwell, UK.Google Scholar
- Fletcher, R. and Leyffer, S. 2002. Nonlinear programming without a penalty function. Math. Program. 91, 2, 239--269.Google Scholar
- Fourer, R., Gay, D. M., and Kernighan, B. W. 2003. AMPL: A Modeling Language for Mathematical Programming, (2nd. edn.). Brooks/Cole--Thompson Learning, Pacific Grove, California, USA. Google Scholar
- Gill, P. E., Murray, W., and Saunders, M. A. 2002. SNOPT: An SQP algorithm for large-scale constrained optimization. SIAM J. Optimization, 12, 4, 979--1006. Google Scholar
- Gould, N. I. M. and Toint, Ph. L. 2002a. Numerical methods for large-scale non-convex quadratic programming. In Trends in Industrial and Applied Mathematics (A. H. Siddiqi and M. Kočvara, eds.). Kluwer Academic Publishers, Dordrecht, The Netherlands, 149--179.Google Scholar
- Gould, N. I. M. and Toint, Ph. L. 2002b. Preprocessing for quadratic programming. Tech. Rep. RAL-TR-2002-001, Rutherford Appleton Laboratory, Chilton, Oxfordshire, England.Google Scholar
- Gould, N. I. M., Hribar, M. E., and Nocedal, J. 2001. On the solution of equality constrained quadratic problems arising in optimization. SIAM J. Sci. Comput. 23, 4, 1375--1394. Google Scholar
- Gould, N. I. M., Lucidi, S., Roma, M., and Toint, Ph. L. 1999a. Solving the trust-region subproblem using the Lanczos method. SIAM J. on Optimization 9, 2, 504--525. Google Scholar
- Gould, N. I. M., Orban, D., and Toint, Ph. L. 2002a. CUTEr (and SifDec), a constrained and unconstrained testing environment, revisited. Tech. Rep. RAL-TR-2002-009, Rutherford Appleton Laboratory, Chilton, Oxfordshire, England.Google Scholar
- Gould, N. I. M., Orban, D., and Toint, Ph. L. 2002b. Results from a numerical evaluation of LANCELOT B. Numerical Analysis Group Internal Report 2002-1, Rutherford Appleton Laboratory, Chilton, Oxfordshire, England.Google Scholar
- Gould, N. I. M., Orban, D., Sartenaer, A., and Toint, Ph. L. 1999b. Superlinear convergence of primal-dual interior-point algorithms for nonlinear programming. SIAM J. on Optimization 11, 4, 974--1002. Google Scholar
- Hock, W. and Schittkowski, K. 1981. Test Examples for Nonlinear Programming Codes. Number 187 In 'Lecture Notes in Economics and Mathematical Systems'. Springer Verlag, Heidelberg, Berlin, New York. Google Scholar
- HSL. 2002. A collection of {F}ortran codes for large-scale scientific computation. See http://www.cse.clrc.ac.uk/Activity/HSL.Google Scholar
- Lin, C. and Moré, J. J. 1999a. Incomplete Cholesky factorizations with limited memory. SIAM J. Sci. Comput. 21, 1, 24--45. Google Scholar
- Lin, C. and Moré, J. J. 1999b. Newton's method for large bound-constrained optimization problems. SIAM J. Optimization, 9, 4, 1100--1127. Google Scholar
- Moré, J. J. and Toraldo, G. 1991. On the solution of large quadratic programming problems with bound constraints. SIAM J. Optimization, 1, 1, 93--113.Google Scholar
- Pryce, J. D. and Reid, J. K. 1998. AD01, a Fortran 90 code for automatic differentiation. Tech. Rep. RAL-TR-1998-057, Rutherford Appleton Laboratory, Chilton, Oxfordshire, England.Google Scholar
- Toint, Ph. L. 1997. A non-monotone trust-region algorithm for nonlinear optimization subject to convex constraints. Math. Program. 77, 1, 69--94. Google Scholar
- Vanderbei, R. J. and Shanno, D. F. 1999. An interior point algorithm for nonconvex nonlinear programming. Computational Optimization and Applications 13, 231--252. Google Scholar
- Zhang, Y. 1994. On the convergence of infeasible interior-point methods for the horizontal linear complementarity problem. SIAM J. Optimization, 4, 1, 208--227.Google Scholar
Index Terms
- GALAHAD, a library of thread-safe Fortran 90 packages for large-scale nonlinear optimization
Recommendations
On the iterative solution of KKT systems in potential reduction software for large-scale quadratic problems
Iterative solvers appear to be very promising in the development of efficient software, based on Interior Point methods, for large-scale nonlinear optimization problems. In this paper we focus on the use of preconditioned iterative techniques to solve ...
Procedures and modules in Fortran 90
No new feature in Fortran 90 is more important than modules for the support of effective software engineering methods. Fortran 90 modules make it possible to encapsulate portions of software: to make entities accessible only from those parts of a ...
Comments