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.

Fuzzy Neural Network Optimization Method Based on Hopfield Networks

Dynamic node creation and fast learning algorithm for a hybrid feedforward neural network

Fuzzy Neural Network Based on Hybrid Learning Algorithm and Its Application to Soft Sensor

A New Kind of Hopfield Networks for Finding Global Optimum

Design and Improvement of Hopfield network for TSP

Improved Fuzzy-Tuned Neural Network and Its Application

OPT-FRAC-CHN: Optimal Fractional Continuous Hopfield Network

A Novel Fraction-Based Hopfield Neural Networks

Fractional Hopfield Neural Networks: Fractional Dynamic Associative Recurrent Neural Networks

Relationship Between a Fuzzy Logic and a Steepest Descent Approach to Optimize a Feedforward Artificial Neural Network Configuration.

Anti-aircraft Missile Deployment Optimization Using Hopfield Neural Network.

A New Global Optimizing Algorithm for Fuzzy Neural Networks

Hopfield Networks for Asset Allocation

Fractional-Neuro-Optimizer: A Neural-Network-Based Optimization Method

Optimal parameters selection of back propagation algorithm in the feedforward neural network

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

Mutation Hopfield Neural Network and Its Applications

Optimal Training of Feedforward Neural Networks Using Teaching-Learning-Based Optimization with Modified Learning Phases

The learning algorithm for a novel fuzzy neural network

A Kind of Chaotic Neural Network Optimization Algorithm Based on Annealing Strategy

Using spotted hyena optimizer for training feedforward neural networks