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 .

Homotopy trust-region method for phase-field approximations in perimeter-regularized binary optimal control

An Approximation for the Boundary Optimal Control Problem of a Heat Equation Defined in a Variable Domain

A phase-field version of the Faber--Krahn theorem

Input Regularization for Integer Optimal Control in BV with Applications to Control of Poroelastic and Poroviscoelastic Systems

Integer Optimal Control with Fractional Perimeter Regularization

Optimal control problems with sparsity for phase field tumor growth models involving variational inequalities

Optimal finite element error estimates for an optimal control problem governed by the wave equation with controls of bounded variation

On the Optimal Rate for the Convergence Problem in Mean Field Control

On Discrete Subproblems in Integer Optimal Control with Total Variation Regularization in Two Dimensions

Optimal control for a phase field system with a possibly singular potential

Fourier Galerkin approximation of mean field control problems

Optimal control of nonlocal continuity equations: numerical solution

Approximation of the relaxed perimeter functional under a connectedness constraint by phase-fields

Vanishing parameter for an optimal control problem modeling tumor growth

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

Approximation of shape optimization problems with non-smooth PDE constraints

Optimal Distributed Control for a Cahn-Hilliard Type Phase Field System Related to Tumor Growth

Linear Reduction and Homotopy Control for Steady Drift-Diffusion Systems in Narrow Convex Domains

Numerical Analysis for Neumann Optimal Control Problems on Convex Polyhedral Domains