Abstract:Within the swiftly evolving domain of neural networks, the discrete Hopfield-SAT model, endowed with logical rules and the ability to achieve global minima of SAT problems, has emerged as a novel prototype for SAT solvers, capturing significant scientific interest. However, this model shows substantial sensitivity to network size and logical complexity. As the number of neurons and logical complexity increase, the solution space rapidly contracts, leading to a marked decline in the model's problem-solving performance. This paper introduces a novel discrete Hopfield-SAT model, enhanced by Crow search-guided fuzzy clustering hybrid optimization, effectively addressing this challenge and significantly boosting solving speed. The proposed model unveils a significant insight: its uniquely designed cost function for initial assignments introduces a quantification mechanism that measures the degree of inconsistency within its logical rules. Utilizing this for clustering, the model utilizes a Crow search-guided fuzzy clustering hybrid optimization to filter potential solutions from initial assignments, substantially narrowing the search space and enhancing retrieval efficiency. Experiments were conducted with both simulated and real datasets for 2SAT problems. The results indicate that the proposed model significantly surpasses traditional discrete Hopfield-SAT models and those enhanced by genetic-guided fuzzy clustering optimization across key performance metrics: Global minima ratio, Hamming distance, CPU time, retrieval rate of stable state, and retrieval rate of global minima, particularly showing statistically significant improvements in solving speed. These advantages play a pivotal role in advancing the discrete Hopfield-SAT model towards becoming an exemplary SAT solver. Additionally, the model features exceptional parallel computing capabilities and possesses the potential to integrate with other logical rules. In the future, this optimized model holds promise as an effective tool for solving more complex SAT problems.

A Novel Swarm-Exploring Neurodynamic Network for Obtaining Global Optimal Solutions to Nonconvex Nonlinear Programming Problems

Neural Network Solution for General Nonlinear Optimization Problems

Neural Net-Enhanced Competitive Swarm Optimizer for Large-Scale Multiobjective Optimization

A Columnar Competitive Model with Simulated Annealing for Solving Combinatorial Optimization Problems

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

Distributed Neurodynamic Models for Solving a Class of System of Nonlinear Equations

A New Neural Network Model And Its Application

A Collaborative Neurodynamic Optimization Approach to Distributed Nash-Equilibrium Seeking in Multicluster Games With Nonconvex Functions

A Swarm Optimization Solver Based on Ferroelectric Spiking Neural Networks

Multicell Power Control under QoS Requirements with CNet

A fast algorithm for solving large scale nonlinear optimization problems using RNN

Multiobjective Brain Storm Optimization Community Detection Method Based on Novelty Search

A Multi-Objective Topology Optimization Methodology Using Deep Learning and Its Application to Electromagnetic Devices

Multivehicle Task Assignment Based on Collaborative Neurodynamic Optimization With Discrete Hopfield Networks

2-SAT discrete Hopfield neural networks optimization via Crow search and fuzzy dynamical clustering approach

Two-timescale projection neural networks in collaborative neurodynamic approaches to global optimization and distributed optimization

A Two-Timescale Duplex Neurodynamic Approach to Mixed-Integer Optimization

An adaptive particle swarm optimizer with decoupled exploration and exploitation for large scale optimization

An Enhanced Neural Network Algorithm with Quasi-Oppositional-Based and Chaotic Sine-Cosine Learning Strategies

A time-dependent symplectic network for non-convex path planning problems with linear and nonlinear dynamics

A self-organizing fuzzy neural network modeling approach using an adaptive quantum particle swarm optimization