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 .

Convergence of trust-region algorithms in compact metric spaces

Convergence and worst-case complexity of adaptive Riemannian trust-region methods for optimization on manifolds

On Convergence of Binary Trust-Region Steepest Descent

Local convergence analysis of an inexact trust-region method for nonsmooth optimization

The Convergence of the Generalized Lanczos Trust-Region Method for the Trust-Region Subproblem

A simple and practical adaptive trust-region method

A consistently adaptive trust-region method

Globally Convergent Composite-Step Trust-Region Framework for Model-Based Real-Time Optimization

On the Generalized Lanczos Trust-Region Method.

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

Beyond Nonconvexity: A Universal Trust-Region Method with New Analyses

On convergence of the generalized Lanczos trust-region method for trust-region subproblems

A Trust Region Algorithm with Conjugate Gradient Technique for Optimization Problems

Fast convergence of trust-regions for non-isolated minima via analysis of CG on indefinite matrices

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

On Convergence Properties of the Modified Trust Region Method under Hölderian Error Bound Condition

On Convergence Analysis of a Derivative-Free Trust Region Algorithm for Constrained Optimization with Separable Structure

Convergence Analysis of a Trust-Region Multidimensional Filter Method for Nonlinear Complementarity Problems

Complexity of trust-region methods in the presence of unbounded Hessian approximations

A Trust Region Algorithm for Constrained Nonsmooth Optimization Problems