Abstract:We develop a class of mixed-integer formulations for disjunctive constraints intermediate to the big-M and convex hull formulations in terms of relaxation strength. The main idea is to capture the best of both the big-M and convex hull formulations: a computationally light formulation with a tight relaxation. The "P-split" formulations are based on a lifted transformation that splits convex additively separable constraints into P partitions and forms the convex hull of the linearized and partitioned disjunction. The "P-split" formulations are derived for disjunctive constraints with convex constraints within each disjuct, and we generalize the results for the case with nonconvex constraints within the disjuncts. We analyze the continuous relaxation of the P-split formulations and show that, under certain assumptions, the formulations form a hierarchy starting from a big-M equivalent and converging to the convex hull. The goal of the P-split formulations is to form strong approximations of the convex hull through a computationally simpler formulation. We computationally compare the P-split formulations against big-M and convex hull formulations on 344 test instances. The test problems include K-means clustering, semi-supervised clustering, P_ball problems, and optimization over trained ReLU neural networks. The computational results show promising potential of the P-split formulations. For many of the test problems, P-split formulations are solved with a similar number of explored nodes as the convex hull formulation, while reducing the solution time by an order of magnitude and outperforming big-M both in time and number of explored nodes.

DisjunctiveProgramming.jl: Generalized Disjunctive Programming Models and Algorithms for JuMP

MINLP Algorithms Mixed with Constraint Programming

Extensions to Generalized Disjunctive Programming: Hierarchical Structures and First-order Logic

JuMP 1.0: recent improvements to a modeling language for mathematical optimization

Nested Heuristic and Gradient-Based Method for Generalized Disjunctive Programming

Object-Oriented Disjunctive Programming with a Nested Heuristic and Gradient-Based Solver for Chemical Process Synthesis

Modeling Combinatorial Disjunctive Constraints via Junction Trees

A mixed-integer branching approach for very small formulations of disjunctive constraints

Extended multi-adjoint logic programming

Modularity Aspects of Disjunctive Stable Models

DPO: Dynamic-Programming Optimization on Hybrid Constraints

P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding

PLMEs and Disjunctive Decompositions for Bilevel Optimization

Applications and algorithms for mixed integer nonlinear programming

A graphical framework for global optimization of mixed-integer nonlinear programs

Intersection cuts from multiple rows: a disjunctive programming approach

Compiling CP subproblems to MDDs and d-DNNFs

Model Predictive Control of Discrete-Continuous Energy Systems via Generalized Disjunctive Programming