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 .

Recovering optimal solutions via SOC-SDP relaxation of trust region subproblem with nonintersecting linear constraints

Trust--Region Problems with Linear Inequality Constraints: Exact SDP Relaxation, Global Optimality and Robust Optimization

A Second-Order Cone Based Approach for Solving the Trust Region Subproblem and Its Variants

A Linear-Time Algorithm for Generalized Trust Region Subproblems

On the Global Optimality of Generalized Trust Region Subproblems

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

Novel reformulations and efficient algorithms for the generalized trust region subproblem

Hölderian Error Bounds and Kurdyka-Łojasiewicz Inequality for the Trust Region Subproblem

Nonconvex Quadratically Constrained Quadratic Programming: Best D.C. Decompositions and Their SDP Representations.

Enhancing low-rank solutions in semidefinite relaxations of Boolean quadratic problems

On globally solving nonconvex trust region subproblem via projected gradient method

A feasible method for solving an SDP relaxation of the quadratic knapsack problem

Fully Stochastic Trust-Region Sequential Quadratic Programming for Equality-Constrained Optimization Problems

The Mixed Integer Trust Region Problem

Tightening a Copositive Relaxation for Standard Quadratic Optimization Problems

Trust-Region Stochastic Optimization with Variance Reduction Technique

On the Exactness of SDP Relaxation for Quadratic Assignment Problem

One Method of Solving Constrained Optimization Problem Basing on the Trust-Region

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

An adaptive simple model trust region algorithm based on new weak secant equations

A feasible method for general convex low-rank SDP problems