Abstract:Backtracking combined with branching heuristics is a prevalent approach for tackling constraint satisfaction problems (CSPs) and combinatorial optimization problems (COPs). While branching heuristics specifically designed for certain problems can be theoretically efficient, they are often complex and difficult to implement in practice. On the other hand, general branching heuristics can be applied across various problems, but at the risk of suboptimality. We introduce a solver framework that leverages the Shannon entropy in branching heuristics to bridge the gap between generality and specificity in branching heuristics. This enables backtracking to follow the path of least uncertainty, based on probability distributions that conform to problem constraints. We employ graph neural network (GNN) models with loss functions derived from the probabilistic method to learn these probability distributions. We have evaluated our approach by its applications to two NP-hard problems: the (minimum) dominating-clique problem and the edge-clique-cover problem. Compared with the state-of-the-art solvers for both problems, our solver framework outputs competitive results. Specifically, for the (minimum) dominating-clique problem, our approach generates fewer branches than the solver presented by Culberson et al. (2005). For the edge-clique-cover problem, our approach produces smaller-sized edge clique covers (ECCs) than the solvers referenced by Conte et al. (2020) and Kellerman (1973).

Solving the Klee-Minty problem using a simulation computational method of neural network

Neural Network Method for Solving Elastoplastic Finite Element Problems

Neural Network Solution for General Nonlinear Optimization Problems

A High Performance Neural Network for Solving Nonlinear Programming Problems with Hybrid Constraints

A Neural Network for Solving Nonlinear Convex Programming with Linear Equality and Bounded Constraints

A Parallel Method With Hybrid Algorithms For Mixed Integer Nonlinear Programming

A discrete-time neural network for optimization problems with hybrid constraints.

An Improved Neural Network For Solving Optimization Of Quadratic Programming Problems

Neural Network Algorithm for Solving Nonlinear Equation Systems.

A Generalized Neural Network for Solving A Class of Minimax Optimization Problems with Linear Constraints

MATLAB Simulation of Gradient-based Neural Network for Sylvester Equation Solving

Projected Neural Network for a Class of Non-Lipschitz Optimization Problems with Linear Constraints.

Solving for a Quadratic Programming with a Quadratic Constraint Based on a Neural Network Frame

Quadratic Programming Problems and Its Solution Techniques With Neural Network Modeling

An Algorithm for Solving the Global Optimization of Nonlinear Integer Programming

A Simple And High Performance Neural Network For Quadratic Programming Problems

Improved Results on Solving Quadratic Programming Problems with Delayed Neural Network

A Graph-Neural-Network-Powered Solver Framework for Graph Optimization Problems

A Gradient-Based Neural Network Method for Solving Strictly Convex Quadratic Programming Problems

An Artificial Neural Network for Solving Quadratic Zero-One Programming Problems.

Neural network approach for linear absolute value problems