Abstract:We consider a class of integer linear programs (IPs) that arise as discretizations of trust-region subproblems of a trust-region algorithm for the solution of control problems, where the control input is an integer-valued function on a one-dimensional domain and is regularized with a total variation term in the objective, which may be interpreted as a penalization of switching costs between different control modes. We prove that solving an instance of the considered problem class is equivalent to solving a resource-constrained shortest-path problem (RCSPP) on a layered directed acyclic graph. This structural finding yields an algorithmic solution approach based on topological sorting and corresponding run-time complexities that are quadratic in the number of discretization intervals of the underlying control problem, the main quantifier for the size of a problem instance. We also consider the solution of the RCSPP with an [Formula: see text] algorithm. Specifically, the analysis of a Lagrangian relaxation yields a consistent heuristic function for the [Formula: see text] algorithm and a preprocessing procedure, which can be employed to accelerate the [Formula: see text] algorithm for the RCSPP without losing optimality of the computed solution. We generate IP instances by executing the trust-region algorithm on several integer optimal control problems. The numerical results show that the accelerated [Formula: see text] algorithm and topological sorting outperform a general-purpose IP solver significantly. Moreover, the accelerated [Formula: see text] algorithm is able to outperform topological sorting for larger problem instances. We also give computational evidence that the performance of the superordinate trust-region algorithm may be improved if it is initialized with a solution obtained with the combinatorial integral approximation. History: Accepted by Andrea Lodi, Area Editor for Design and Analysis of Algorithms–Discrete. Supplemental Material: The online supplement is available at https://doi.org/10.1287/ijoc.2023.1294 .

Piecewise Polyhedral Relaxations of Multilinear Optimization

Piecewise Polyhedral Formulations for a Multilinear Term

MIP Relaxations in Factorable Programming

Optimization over convex polyhedra via Hadamard parametrizations

Improved Convex and Concave Relaxations of Composite Bilinear Forms

Completely positive and completely positive semidefinite tensor relaxations for polynomial optimization

Linearization of McCormick relaxations and hybridization with the auxiliary variable method

Decomposition Polyhedra of Piecewise Linear Functions

Piecewise linear approximation for MILP leveraging piecewise convexity to improve performance

A Correlatively Sparse Lagrange Multiplier Expression Relaxation for Polynomial Optimization

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

Efficient Solution of Discrete Subproblems Arising in Integer Optimal Control with Total Variation Regularization

Global optimization of separable objective functions on convex polyhedra via piecewise-linear approximation

An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection

Convergence Study on Strictly Contractive Peaceman–Rachford Splitting Method for Nonseparable Convex Minimization Models with Quadratic Coupling Terms

New SDP Roundings and Certifiable Approximation for Cubic Optimization

Efficient continuous piecewise linear regression for linearising univariate non-linear functions

Relaxations and cutting planes for linear programs with complementarity constraints

Convex Relaxations for Nonconvex Quadratically Constrained Quadratic Programming: Matrix Cone Decomposition and Polyhedral Approximation