Volume 4 Number 5 (Oct. 2012)
Home > Archive > 2012 > Volume 4 Number 5 (Oct. 2012) >
IJCEE 2012 Vol.4(5): 726-732 ISSN: 1793-8163 DOI: 10.7763/IJCEE.2012.V4.594

A Hybrid Hopfield Network-Imperialist Competitive Algorithm for Solving the Satisfiability Problems

Marjan Abdechiri and Mohammad Reza Meybodi
Abstract—The novel Imperialist Competitive Algorithm (ICA) was recently introduced has a good performance in some optimization problems. The ICA inspired by socio-political process of imperialistic competition of human being in the real world. In this paper is proposed two algorithm for Solving SAT problems. Firstly, ICA algorithm is used to solve SAT problem that this algorithm is called ICALR. The SAT problem is formulated to Lagrange multipliers, which repreent the weights of the clauses of SAT. Secondly, this paper presents a hybrid Hopfield network (HNN)-Imperialist Competitive Algorithm (ICA) to solve the SAT problem. In this proposed algorithm, Hopfield neural network (HNN) manages the problem’s constraints and ICA algorithm searches for high quality solutions and minimum cost. ICALR and HNNICA algorithm are used for solving Lagrange multipliers. Some famous benchmark sets containing instances from SAT problems from various domains used to test the ICALR and HNNICA performance. Also we present a detailed comparative analysis of the proposed algorithms’ performance. Simulation results show HNNICA strategy can improve the performance of the HNN algorithm significantly. Experimental results show that the HNNICA finds solutions faster than existing methods.

Index Terms—Imperialist competitive algorithm, hopfield neural network, sat problem, lagrange multipliers.

Marjan Abdechiri is with Electronic, Computer and IT Department, Qazvin Azad University, Qazvin, Iran (e-mail: marjan.abdechiri@qiau.ac.ir)
Mohammad Reza Meybodi is with Computer Engineering and Information Technology Department, Amirkabir University of Technology, Tehran, Iran (e-mail: mmeybodi@aut.ac.ir)

Cite: Marjan Abdechiri and Mohammad Reza Meybodi, "A Hybrid Hopfield Network-Imperialist Competitive Algorithm for Solving the Satisfiability Problems," International Journal of Computer and Electrical Engineering vol. 4, no. 5, pp. 726-732, 2012.

General Information

ISSN: 1793-8163 (Print)
Abbreviated Title: Int. J. Comput. Electr. Eng.
Frequency: Quarterly
Editor-in-Chief: Prof. Yucong Duan
Abstracting/ Indexing: INSPEC, Ulrich's Periodicals Directory, Google Scholar, EBSCO, ProQuest, and Electronic Journals Library
E-mail: ijcee@iap.org

What's New

  • Jun 03, 2019 News!

    IJCEE Vol. 9, No. 2 - Vol. 10, No. 2 have been indexed by EI (Inspec) Inspec, created by the Institution of Engineering and Tech.!   [Click]

  • May 13, 2020 News!

    IJCEE Vol 12, No 2 is available online now   [Click]

  • Mar 04, 2020 News!

    IJCEE Vol 12, No 1 is available online now   [Click]

  • Dec 11, 2019 News!

    The dois of published papers in Vol 11, No 4 have been validated by Crossref

  • Oct 11, 2019 News!

    IJCEE Vol 11, No 4 is available online now   [Click]

  • Read more>>