Abstract
In this paper, a reduced proximal-point homotopy (RPP-Hom) method is presented for large-scale non-convex box constrained quadratic programming (BQP) problems. As the outer iteration, at each step, the reduced proximal-point (RPP) algorithm applies the proximal point algorithm to a reduced BQP problem. The variables of the reduced subproblem include all free variables and variables at bound with respect to which the optimality conditions are violated. The RPP subproblem is solved by, as the inner iteration, an efficient piecewise linear homotopy path following method. A special termination criterion for the RPP algorithm is given and the global convergence as well as the locally linear convergence to a Karush-Kuhn-Tucker point is proved. Furthermore, a random perturbation procedure is given to modify RPP such that it converges to a local minimizer with probability 1. An accelerated version of RPP is also presented. Numerical experiments show that the RPP-Hom method outperforms the state-of-the-art algorithms for most of the benchmark problems, especially for training non-convex support vector machine.
Similar content being viewed by others
Data availability
All data included in this study are available upon request by contact with the corresponding author.
Notes
http://www.minlp.com/nlp-and-minlp-test-problems
http://yann.lecun.com/exdb/mnist/
References
Hanke, M., Nagy, J.G., Vogel, C.: Quasi-Newton approach to nonnegative image restorations. Linear Algebra Appl. 316, 223–236 (2000)
Ciarlet,P.G.: The finite element method for elliptic problems, Classics in Applied Mathematics, 40, SIAM (2002)
Glowinski, R., Oden, J.T.: Numerical methods for nonlinear variational problems. J. Appl. Mech. 52, 739 (1985)
Capriz,G., Cimatti,G.: Free boundary problems in the theory of hydrodynamic lubrication: A survey, Free Boundary Problems: Theory and Applications, A. Fasano and M. Primicerio, eds (1983), pp. 613–635
Cimatti, G.: On a problem of the theory of lubrication governed by a variational inequality. Appl. Math. Optim. 3, 227–242 (1976)
Fan, R.-E., Chang, K.-W., Hsieh, C.-J., Wang, X.-R., Lin, C.-J.: Liblinear: A LIBRARY for large linear classification. J. Mach. Learn. Res. 9, 1871–1874 (2008)
Hungerlander, P., Kaltenbacher, B., Rendl, F.: Regularization of inverse problems via box constrained minimization, arXiv preprint arXiv:1807.11316 (2018)
Conn, A.R., Gould, N.I., Toint, P.: A globally convergent augmented Lagrangian algorithm for optimization with general constraints and simple bounds. SIAM J. Numer. Anal. 28, 545–572 (1991)
Rosen, J.B.: The gradient projection method for nonlinear programming. Part I: linear constraints. J Soc. Ind. Appl. Math. 8, 181–217 (1960)
Nesterov, Y.: Smooth minimization of non-smooth functions. Math. Program. 103, 127–152 (2005)
Nesterov, Y.: Gradient methods for minimizing composite objective function, tech. report, UCL (2007)
Lin, C.J., Moré, J.J.: Newton’s method for large bound-constrained optimization problems. SIAM J. Optim. 9, 1100–1127 (1999)
Bertsekas, D.P.: Projected newton methods for optimization problems with simple constraints. SIAM J. Control Optim. 20, 221–246 (1982)
Steihaug, T.: The conjugate gradient method and trust regions in large scale optimization. SIAM J. Numer. Anal. 20, 626–637 (1983)
Byrd, R.H., Lu, P., Nocedal, J., Zhu, C.: A limited memory algorithm for bound constrained optimization. SIAM J. Sci. Comput. 16, 1190–1208 (1995)
Kim, D., Sra, S., Dhillon, I.S.: Tackling box-constrained optimization via a new projected quasi-newton approach. SIAM J. Sci. Comput. 32, 3548–3563 (2010)
Hager, W.W., Zhang, H.C.: A new active set algorithm for box constrained optimization. SIAM J. Optim. 17, 526–557 (2006)
Bongartz, I., Conn, A.R., Gould, N.I.M., Toint, P.L.: CUTE: constrained and unconstrained testing environment. ACM Trans. Math. Softw. (TOMS) 21, 123–160 (1995)
Averick, B.M., Carter, R.G., Xue, G.-L., Moré, J.J.: The MINPACK-2 test problem collection, tech. report, Argonne National Lab., IL (United States) (1992)
Ritter, K., Meyer, M.: A method for solving nonlinear maximum-problems depending on parameters. Naval Res. Logist. 14, 147–162 (1967)
Ritter, K.: On parametric linear and quadratic programming problems., Tech. Report, DTIC Document (1981)
Best, M.J.: An algorithm for the solution of the parametric quadratic programming problem, CORR 82–14, Department of Combinatorics and Optimization, University of Waterloo, Canada (1982)
Ferreau, H.J., Kirches, C., Potschka, A., Bock, H.G., Diehl, M.: qpOASES: a parametric active-set algorithm for quadratic programming. Math. Program. Comput. 6, 327–363 (2014)
Bartels, R.H., Golub, G.H.: The simplex method of linear programming using LU decomposition. Commun. of the ACM 12, 266–268 (1969)
Gill, P.E., Golub, G.H., Murray, W., Saunders, M.A.: Methods for modifying matrix factorizations. Math. Comput. 28, 505–535 (1974)
Eldersveld, S.K., Saunders, M.A.: A block-LU update for large-scale linear programming. SIAM J. Matrix Anal. Appl. 13, 191–201 (1992)
Fletcher, R., Matthews, S.: Stable modification of explicit LU factors for simplex updates. Math. Program. 30, 267–284 (1984)
Gill, P.E., Murray, W., Saunders, M., Wright, M.: Maintaining LU factors of a general sparse matrix. Linear Algebra Appl. 88, 239–270 (1987)
Björck, Å.: Numerical methods for least squares problems, SIAM (1996)
Ferreau, H.J., Bock, H.G., Diehl, M.: An online active set strategy to overcome the limitations of explicit MPC. Int. J. Robust Nonlinear Control 18, 816–830 (2008)
Nocedal, J., Wright, S.: Numerical Optimization. Springer Science & Business Media, Berlin (2006)
Luo, Z.Q., Tseng, P.: Error bounds and convergence analysis of feasible descent methods: a general approach. Annal. Oper. Res. 46, 157–178 (1993)
Kaplan, A., Tichatschke, R.: Proximal point methods and nonconvex optimization. J. Global Optim. 13, 389–406 (1998)
Wang, G.-Q. , Yu, B., Chen, Z.-X.: App-hom method for box constrained quadratic programming, arXiv preprint arXiv:1703.05001v2 (2020)
Wang, G., Yu, B.: Pal-hom method for QP and an application to LP. Comput. Optim. Appl. 73, 311–352 (2019)
Haeser, G., deMelo, V.V.: Approximate-KKT stopping criterion when lagrange multipliers are not available, Optimization-online (2013)
Vandenbussche, D., Nemhauser, G.L.: A branch-and-cut algorithm for nonconvex quadratic programs with box constraints. Math. Program. 102, 559–575 (2005)
Huyer, W., Neumaier, A.: MINQ8: general definite and bound constrained indefinite quadratic programming. Comput. Optim. Appl. 69, 351–381 (2018)
Sra, S., Nowozin, S., Wright, S.J.: Optimization for Machine Learning. Mit Press, Cambridge (2012)
Shalev-Shwartz, S., Singer, Y., Srebro, N., Cotter, A.: Pegasos: Primal estimated sub-gradient solver for SVM. Math. Program. 127, 3–30 (2011)
Chang, C.-C., Lin, C.-J.: LIBSVM: a library for support vector machines. ACM Trans. Intell. Syst. Technol. (TIST) 2, 27 (2011)
Acknowledgements
This research was supported by the National Natural Science Foundation of China (11971092, 11571061) and the China Postdoctoral Science Foundation (2019M660444).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Liang, X., Wang, G. & Yu, B. A reduced proximal-point homotopy method for large-scale non-convex BQP. Comput Optim Appl 81, 539–567 (2022). https://doi.org/10.1007/s10589-021-00330-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10589-021-00330-2