Abstract
In this paper, we present a new hybrid algorithm for convex Mixed Integer Nonlinear Programming (MINLP). The proposed hybrid algorithm is an improved version of the classical nonlinear branch-and-bound (BB) procedure, where the enhancements are obtained with the application of the outer approximation algorithm on some nodes of the enumeration tree. The two methods are combined in such a way that each one collaborates to the convergence of the other. Computational experiments with benchmark instances of the MINLP problem show the good performance of the proposed algorithm, which is compared to the outer approximation algorithm, the nonlinear BB algorithm and the hybrid algorithm implemented in the solver Bonmin.




Similar content being viewed by others
References
CMU-IBM open source minlp project
Bonami, P., Biegler, L.T., Conn, A.R., Cornuéjols, G., Grossmann, I.E., Laird, C.D., Lee, J., Lodi, A., Margot, F., Sawaya, N.: An algorithmic framework for convex mixed integer nonlinear programs. Discrete Optim. 5(2), 186–204 (2008)
Bonami, Pierre, Gonçalves, João: Heuristics for convex mixed integer nonlinear programs. Comput. Optim. Appl., pp. 1–19 (2008). doi:10.1007/s10589-010-9350-6
Bonami, P., Kilinç, M., Linderoth, J.: Algorithms and software for convex mixed integer nonlinear programs. Technical report 1664, Computer Sciences Department, University of Wisconsin-Madison (2009)
Bonami, P., Lee, J., Leyffer, S., Wachter, A.: More branch-and-bound experiments in convex nonlinear integer programming. InReport 0 (2011)
Borchers, B., Mitchell, J.E.: An improved branch and bound algorithm for mixed integer nonlinear programs. Comput. Oper. Res. 21, 359–367 (1994)
Christodoulou, M., Costoulakis, C.: Nonlinear mixed integer programming for aircraft collision avoidance in free flight. In: Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference, 2004 MELECON 2004. vol. 1, pp. 327–330, May (2004)
Duran, M., Grossmann, I.: An outer-approximation algorithm for a class of mixed-integer nonlinear programs. Math. Program. 36, 307–339 (1986). doi:10.1007/BF02592064
Geoffrion, A.M.: Generalized benders decomposition. J. Optim. Theory Appl. 10, 237–260 (1972). doi:10.1007/BF00934810
Grossmann, I.E.: Review of nonlinear mixed-integer and disjunctive programming techniques. Optim. Eng. 3(3), 227–252 (2002)
Grossmann, I.E., Lee, S.: Generalized convex disjunctive programming: nonlinear convex hull relaxation. Comput. Optim. Appl. 26, 83–100 (2003). doi:10.1023/A:1025154322278
Grossmann, I.E., Ruiz, J.P.: Generalized disjunctive programming: a framework for formulation and alternative algorithms for minlp optimization. In: Lee, J., Leyffer, S. (eds.) Mixed Integer Nonlinear Programming, volume of The IMA Volumes in Mathematics and Its Applications, pp. 93–115. Springer, New York (2012). doi:10.1007/978-1-4614-1927-3_4
Gupta, O.K., Ravindran, A.: Branch and bound experiments in convex nonlinear integer programming. Manag. Sci. 31(12), 1533–1546 (1985)
Land, A.H., Doig, A.G.: An automatic method of solving discrete programming problems. Econometrica 28(3), 497–520 (1960)
Lee, S., Grossmann, I.E.: New algorithms for nonlinear generalized disjunctive programming. Comput. Chem. Eng. 24(9–10), 2125–2141 (2000)
Leyffer, S.: Integrating SQP and branch-and-bound for mixed integer nonlinear programming. Comput. Optim. Appl. 18, 295–309 (2001)
Leyffer, S., Linderoth, J., Luedtke, J., Miller, A., Munson, T.: Applications and algorithms for mixed integer nonlinear programming. J. Phys. Conf. Ser. 180(1), 012014 (2009)
Melo, W.: Agoritmos para programação não linear inteira mista (Algorithms for Mixed Integer Nonlinear Programming). Master thesis, COPPE, Federal University of Rio de Janeiro, Rio de Janeiro, RJ, Brasil, (2012) Printed in Portuguese
Murray, W., Ng, K.-M.: An algorithm for nonlinear optimization problems with binary variables. Comput. Optim. Appl. 47, 257–288 (2010). doi:10.1007/s10589-008-9218-1
Quesada, I., Grossmann, I.E.: An lp/nlp based branch and bound algorithm for convex minlp optimization problems. Comput .Chem. Eng., 16(10–11), 937–947, (1992). An International Journal of Computer Applications in Chemical Engineering
Raman, R., Grossmann, I.E.: Modelling and computational techniques for logic based integer programming. Comput. Chem. Eng., 18(7), 563–578 (1994). An International Journal of Computer Applications in Chemical Engineering
Still, C., Westerlund, T.: Solving convex minlp optimization problems using a sequential cutting plane algorithm. Comput. Optim. Appl. 34, 63–83 (2006). doi:10.1007/s10589-005-3076-x
Stubbs, R.A., Mehrotra, S.: A branch-and-cut method for 0–1 mixed convex programming. Math. Program. 86, 515–532 (1999). doi:10.1007/s101070050103
Westerlund, T., Pettersson, F.: An extended cutting plane method for solving convex minlp problems. Comput. Chem. Eng. 19(Supplement 10, 131–136 (1995). European Symposium on Computer Aided Process Engineering
You, F., Grossmann, I.E.: Mixed-integer nonlinear programming models and algorithms for large-scale supply chain design with stochastic inventory management. Ind. Eng. Chem. Res. 47(20), 7802–7817 (2008)
Acknowledgments
The authors would like to thank the anonymous referees, whose comments helped to improve the paper, and CAPES and CNPq for the financial support.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A
1.1 Information about the test problems
Table 1 describes the characteristics of the selected test-instances. The columns of the table provide for each instance: name, objective type, number of continuous variables (\(n_x\)), number of integer (binary) variables (\(n_y\)), number of nonlinear constraints (\(m_{nl}\)), number of quadratic constraints (\(m_q\)), number of linear constraints (\(m_l\)), number of nonzeros in objective function quadratic matrix (\(\#Q\)), number of nonzeros in the Jacobian of the nonlinear constraints (excluding linear and quadratic ones) (\(\#{\nabla g}\)), number of nonzeros in the nonlinear Hessian of the Lagrangian (excluding quadratic expressions) (\(\#{\nabla ^2 H}\)).
Appendix B
1.1 Detailed computational results
Table 2 shows the computational results of OA, BB, our hybrid approach, and Bonmin’s hybrid approach for the 50 test problems selected. The columns on the table present, for each approach: final status (St), best solution (Sol), and CPU time in seconds (Time). The possible values for the final status (St) are: Optimal Solution (OS), Maximum Time Achieved (MT), and Solver Error (SE). Maximum Time was set at 14,400 s (4 h).
Rights and permissions
About this article
Cite this article
Melo, W., Fampa, M. & Raupp, F. Integrating nonlinear branch-and-bound and outer approximation for convex Mixed Integer Nonlinear Programming. J Glob Optim 60, 373–389 (2014). https://doi.org/10.1007/s10898-014-0217-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10898-014-0217-8