Abstract:In this article, we discuss the numerical solution of Boolean polynomial programs by algorithms borrowing from numerical methods for differential equations, namely the Houbolt scheme, the Lie scheme, and a Runge-Kutta scheme. We first introduce a quartic penalty functional (of Ginzburg-Landau type) to approximate the Boolean program by a continuous one and prove some convergence results as the penalty parameter converges to 0. We prove also that, under reasonable assumptions, the distance between local minimizers of the penalized problem and the set is of order . Next, we introduce algorithms for the numerical solution of the penalized problem, these algorithms relying on the Houbolt, Lie and Runge-Kutta schemes, classical methods for the numerical solution of ordinary or partial differential equations. We performed numerical experiments to investigate the impact of various parameters on the convergence of the algorithms. We have tested our ODE approaches and compared with the classical nonlinear optimization solver IPOPT and a quadratic binary formulation approach (QB-G) as well as an exhaustive method using parallel computing techniques. The numerical results on various datasets (including small and large-scale randomly generated synthetic datasets of general Boolean polynomial optimization problems, and a large-scale heterogeneous MQLib benchmark dataset of Max-Cut and Quadratic Unconstrained Binary Optimization (QUBO) problems) show good performances for our ODE approaches. As a result, our ODE algorithms often converge faster than the other compared methods to better integer solutions of the Boolean program.

An Iterative Algorithm of Optimal Control for the Non-Homogenous Bilinear Quadratic Problem

Iterative design of suboptimal feedback control for bilinear parabolic PDE systems

Sequential Linear Quadratic Control of Bilinear Parabolic PDEs Based on POD Model Reduction

A DISOPE Algorithm of Optimal Control for Nonlinear Time-Delay Systems

Optimal Control Of A Class Of Non-Linear Discrete-Continuous Hybrid Systems

Optimal control of discrete‐time nonlinear heterogeneous multi‐agent systems via a distributed DISOPE algorithm

A Numerical Solution of Positive-Semidefinite Linear-Quadratic Optimal Control

Convergence of an Algorithm for Optimal Control of Nonlinear Continuous-Time Systems with Model-Reality Differences

Discrete Dynamical System Approaches for Boolean Polynomial Optimization

Improved Successive Approximation Procedure for Optimal Control of Nonlinear Systems

A successive convex optimization method for bilinear matrix inequality problems and its application to static output‐feedback control

Parallel D–D Type Domain Decomposition Algorithm for Optimal Control Problem Governed by Parabolic Partial Differential Equation

Data-driven policy iteration algorithm for continuous-time stochastic linear-quadratic optimal control problems

Linear Quadratic Optimal Control for Systems Governed by First-Order Hyperbolic Partial Differential Equations

On Linear Quadratic Optimal Control of Discrete-Time Complex-Valued Linear Systems

Discrete Time Mean-Field Stochastic Linear-Quadratic Optimal Control Problems

A New Algorithm Applied in Control-Relevant Discretization of Nonlinear Systems

A Class of Discrete-time Mean-field Stochastic Linear-quadratic Optimal Control Problems with Financial Application

A numerical method to simulate the stochastic linear-quadratic optimal control problem with control constraint in higher dimensions

Error estimates for the discretization of bilinear control problems governed by semilinear elliptic PDEs

A Linear Quadratic Optimal Control Problem with Disturbances?an Algebraic Riccati Equation and Differential Games Approach