Abstract
Given a nonlinear, univariate, bounded, and differentiable function f(x), this article develops a sequence of Mixed Integer Linear Programming (MILP) and Linear Programming (LP) relaxations that converge to the graph of f(x) and its convex hull, respectively. Theoretical convergence of the sequence of relaxations to the graph of the function and its convex hull is established. For nonlinear non-convex optimization problems, the relaxations presented in this article can be used to construct tight MILP and LP relaxations. These MILP and the LP relaxations can also be used with MILP-based and spatial branch-and-bound based global optimization algorithms, respectively.
References
Jeff B, Alan E, Stefan K, Shah Viral B (2017) Julia: a fresh approach to numerical computing. SIAM Rev 59(1):65–98
Stephen B, Lieven V (2004) Convex Optim. Cambridge University Press, Cambridge
Burkard Rainer E, Hamacher Horst W, Günter R (1991) Sandwich approximation of univariate convex functions with an application to separable convex programming. Naval Res Logist (NRL) 38(6):911–924
Bussieck Michael R, Drud AS, Alexander M (2003) MINLPLib-a collection of test models for mixed-integer nonlinear programming. Inf J Comput 15(1):114–119
Castillo Castillo Pedro A, Castro Pedro M, Vladimir M (2018) Global optimization of MIQCPs with dynamic piecewise relaxations. J Global Optim 71(4):691–716
Castro Pedro M (2016) Normalized multiparametric disaggregation: an efficient relaxation for mixed-integer bilinear problems. J Global Optim 64(4):765–784
D’Ambrosio C, Lee J, Wächter A (2012) An algorithmic framework for MINLP with separable non-convexity Mixed integer nonlinear programming. Springer, New York, pp 315–347
Wicaksono DS, Karimi Iftekhar A (2008) Piecewise MILP under-and overestimators for global optimization of bilinear programs. AIChE J 54(4):991–1008
Iain D, Joey H, Miles L (2017) JuMP: a modeling language for mathematical optimization. SIAM Rev 59(2):295–320
Edwards Deming W, Colcord Clarence G (1935) The minimum in the gamma function. Nature 135(3422):917–917
Floudas Christodoulos A, Pardalos Panos M (2014) Recent advances in global optimization. Princeton University Press, Princeton
Gounaris Chrysanthos E, Floudas Christodoulos A (2008) Tight convex underestimators for \(mathcal C ^2\)-continuous problems: I univariate functions. J Global Optim 42(1):51–67
Gurobi Optimization. Gurobi 8 performance benchmarks, 2019. https://www.gurobi.com/pdfs/benchmarks.pdf
Jeroslow RG, Lowe JK (1984) Modelling with integer variables Mathematical programming at oberwolfach II. Springer, New York
Kallrath J, Rebennack S (2014) Computing area-tight piecewise linear overestimators, underestimators and tubes for univariate functions Optim Sci Eng. Springer, New York, pp 273–292
Kleinbaum David G, Dietz K, Gail M, Mitchel K, Mitchell K (2002) Logistic regression. Springer, New York
Leo L, Pantelides Constantinos C (2003) Convex envelopes of monomials of odd degree. J Global Optim 25(2):157–168
Lu M, Nagarajan H, Bent R, Eksioglu SD, Mason SJ (2018) Tight piecewise convex relaxations for global optimization of optimal power flow. In Power Systems Computation Conference (PSCC), pages 1–7. IEEE
McCormick GP (1985) Global solutions to factorable nonlinear optimization problems using separable programming techniques
Ruth M, Thompson Jeffrey P, Floudas Christodoulos A (2011) APOGEE: global optimization of standard, generalized, and extended pooling problems via linear and logarithmic partitioning schemes. Comput Chem Eng 35(5):876–892
Harsha N, Mowen L, Site W, Russell B, Kaarthik S (2019) An adaptive, multivariate partitioning algorithm for global optimization of nonconvex programs. J Global Optim 74(4):639–675
Nagarajan H, Lu M, Yamangil E, Bent R (2016) Tightening McCormick relaxations for nonlinear programs via dynamic multivariate partitioning. In International Conference on Principles and Practice of Constraint Programming, pages 369–387. Springer
Padberg Manfred W, Rijal Minendra P (2012) Location, scheduling, design and integer programming, vol 3. Springer, New York
Pardalos Panos M, Edwin Romeijn H (2013) Handbook of global optimization. Springer, New York
Steffen R (2016) Computing tight bounds via piecewise linear functions through the example of circle cutting problems. Math Methods Op Res 84(1):3–57
Sahinidis Nikolaos V (1996) Baron: a general purpose global optimization software package. J Global Optim 8(2):201–205
Gabriella S, Wets Roger J-B (1979) On the convergence of sequences of convex sets in finite dimensions. SIAM Rev 21(1):18–33
Smith Edward MB, Pantelides Constantinos C (1997) Global optimisation of nonconvex MINLPs. Comput Chem Eng 21:S791–S796
Kaarthik S, Anatoly Z (2018) State and parameter estimation for natural gas pipeline networks using transient state data. IEEE Trans Control Syst Technol 27(5):2110–2124
Kaarthik S, Harsha N, Jeff L, Site W, Russell B (2021) Piecewise polyhedral formulations for a multilinear term. Op Res Lett 49(1):144–149
Tawarmalani M, Sahinidis NV, Sahinidis N (2002) Convexification and global optimization in continuous and mixed-integer nonlinear programming: theory, algorithms, software, and applications. Springer, New York
Teles João P, Castro Pedro M, Matos Henrique A (2013) Univariate parameterization for global optimization of mixed-integer polynomial problems. Europ J Op Res 229(3):613–625
Thakur Lakshman S (1980) Error analysis for convex separable programs: bounds on optimal and dual optimal solutions. J Math Anal Appl 75(2):486–494
Sercan Yıldiz, Vielma JP (2013) Incremental and encoding formulations for mixed integer programming. Op Res Lett 41(6):654–658
Acknowledgements
The work was funded LANL’s Directed Research and Development (LDRD) projects, “20170201ER: POD: A Polyhedral Outer-approximation, Dynamic-discretization optimization solver” and “20200603ECR: Distributed Algorithms for Large-Scale Ordinary Differential/Partial Differential Equation (ODE/PDE) Constrained Optimization Problems on Graphs”. This work was carried out under the U.S. DOE Contract No. DE-AC52-06NA25396.
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
Sundar, K., Sanjeevi, S. & Nagarajan, H. Sequence of polyhedral relaxations for nonlinear univariate functions. Optim Eng 23, 877–894 (2022). https://doi.org/10.1007/s11081-021-09609-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11081-021-09609-z