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.

A New Angle: On Evolving Rotation Symmetric Boolean Functions

Look into the Mirror: Evolving Self-Dual Bent Boolean Functions

A Systematic Evaluation of Evolving Highly Nonlinear Boolean Functions in Odd Sizes

The More the Merrier: On Evolving Five-valued Spectra Boolean Functions

Balanced2p-variable Rotation Symmetric Boolean Functions with Optimal Algebraic Immunity, Good Nonlinearity, and Good Algebraic Degree

On Finding the Eigenvalues of the Matrix of Rotation Symmetric Boolean Functions

A Discrete Particle Swarm Optimizer for the Design of Cryptographic Boolean Functions

Constructions of 2-resilient rotation symmetric Boolean functions with odd number of variables

Generating Bent Functions and Dynamic Filters: A Novel Equivalence-Based Approach

Construction and enumeration of balanced rotation symmetric Boolean functions

Constructing Rotation Symmetric Boolean Functions with Maximum Algebraic Immunity on an Odd Number of Variables

A Search for Nonlinear Balanced Boolean Functions by Leveraging Phenotypic Properties

Using Easy Coefficients Conjecture for rotation symmetric Boolean functions

Heuristics Optimization of Boolean Circuits with application in Attribute Based Encryption

Robust Boolean Operation For An Uniformed Representation Of Wire-Frame, Solid And Surface Models

RDNF Oriented Analytics to Random Boolean Functions

borealis - A generalized global update algorithm for Boolean optimization problems

A Method for Determining the Affine Equivalence of Boolean Functions

An Infinite Class of Balanced Vectorial Boolean Functions with Optimum Algebraic Immunity and Good Nonlinearity

Discrete Dynamical System Approaches for Boolean Polynomial Optimization

1-Resilient Boolean Functions on Even Variables with Almost Perfect Algebraic Immunity