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 .

On the optimal consensus of crab submarines in one dimension

Robust Budget Allocation via Continuous Submodular Functions

Achieving Consensus over Compact Submanifolds

Toward Rapid and Optimal Strategy for Swarm Conflict: A Computational Game Approach

Discretization-Strategy-Based Solution for Berth Allocation and Quay Crane Assignment Problem

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

Optimizing Participant Selection for Fault-Tolerant Decision Making in Orbit Using Mixed Integer Linear Programming

Distributed Optimal Consensus of Multi-Agent Systems: A Randomized Parallel Approach

Resilient Randomized Quantized Consensus

Distributed robust optimization for multi-agent systems with guaranteed finite-time convergence

Optimal motion of a scallop: some case studies

A cutting-surface consensus approach for distributed robust optimization of multi-agent systems

Global Optimal Consensus for UAV Swarms With Time-Varying Objective Functions and Bounded Input Constraints

Distributed Optimal Consensus Control Algorithm for Continuous-Time Multi-Agent Systems.

Jacobi-Style Iteration for Distributed Submodular Maximization

Discrete-Time Rendezvous Algorithms for Mobile Autonomous Agents

A consensus-based algorithm for non-convex multiplayer games

Consensus of Swarm Systems with Time Delays and Topology Uncertainties

Nonlinear Consensus for Distributed Optimization

Practical globally optimal consensus maximization by Branch-and-bound based on interval arithmetic

A particle consensus approach to solving nonconvex-nonconcave min-max problems