Building Formulations for Piecewise Linear Relaxations of Nonlinear Functions

• 成果类型: Article; Early Access
• 署名作者: Lyu, Bochuan; Hicks, Illya, V; Huchette, Joey
• 署名单位: Rice University; Alphabet Inc.; Google Incorporated
• 刊物名称: OPERATIONS RESEARCH
• ISSN/ISSBN: 0030-364X
• DOI: 10.1287/opre.2023.0187
• 发表日期: 2025
• 关键词: optimal edge ranking; branch-and-cut; global optimization; outer-approximation; inverse kinematics; binary variables; models; algorithm; trees; constraints

摘要

We study mixed-integer programming formulations for the piecewise linear lower and upper bounds (in other words, piecewise linear relaxations) of nonlinear functions that can be modeled by a new class of combinatorial disjunctive constraints (CDCs), generalized nD-ordered CDCs. We first introduce a general formulation technique to model piecewise linear lower and upper bounds of univariate nonlinear functions concurrently so that it uses fewer binary variables than modeling bounds separately. Next, we propose logarithmically sized ideal nonextended formulations to model the piecewise linear relaxations of univariate and higher-dimensional nonlinear functions under the CDC and independent branching frameworks. We also perform computational experiments for the approaches modeling the piecewise linear relaxations of nonlinear functions and show significant speed-ups of our proposed formulations. Furthermore, we demonstrate that piecewise linear relaxations can provide strong dual bounds of the original problems with less computational time by an order of magnitude.