ISSATA: An algorithm for solving the 3-satisfiability problem based on improved strategy

被引:0
|
作者
Ping Guo
Yang Zhang
机构
[1] Chongqing University,College of Computer Science
[2] Chongqing Key Laboratory of Software Theory and Technology,undefined
来源
Applied Intelligence | 2022年 / 52卷
关键词
Combinatorial optimization; Heuristic algorithm; Satisfiability problem; Stochastic local search;
D O I
暂无
中图分类号
学科分类号
摘要
Stochastic local search algorithm with configuration check strategy can effectively solve random satisfiability instances, so configuration check strategy is widely used in combinatorial optimization problems. Inspired by this, we proposed an ISSATA algorithm to solve the 3-satisfiability problem. In this algorithm, a new initialization strategy is given, which can assign initial values to variables more efficiently. At the same time, a new variable selection strategy and a new neighbor priority strategy are proposed to improve the performance of selecting flipped variables. Comparative experiments conducted in public datasets show that ISSATA has better solution accuracy and efficiency.
引用
收藏
页码:1740 / 1751
页数:11
相关论文
共 50 条
  • [1] ISSATA: An algorithm for solving the 3-satisfiability problem based on improved strategy
    Guo, Ping
    Zhang, Yang
    [J]. APPLIED INTELLIGENCE, 2022, 52 (02) : 1740 - 1751
  • [2] AN EFFICIENT ALGORITHM FOR THE 3-SATISFIABILITY PROBLEM
    BILLIONNET, A
    SUTTER, A
    [J]. OPERATIONS RESEARCH LETTERS, 1992, 12 (01) : 29 - 36
  • [3] Solving the 3-Satisfiability Problem Using Network-Based Biocomputation
    Zhu, Jingyuan
    Salhotra, Aseem
    Meinecke, Christoph Robert
    Surendiran, Pradheebha
    Lyttleton, Roman
    Reuter, Danny
    Kugler, Hillel
    Diez, Stefan
    Mansson, Alf
    Linke, Heiner
    Korten, Till
    [J]. ADVANCED INTELLIGENT SYSTEMS, 2022, 4 (12)
  • [4] The Experimental Analysis of the Efficiency of Genetic Algorithm Based on 3-satisfiability Problem
    Zhang, Yu-an
    Li, Bingfen
    Meng, Qiao
    Hu, Qiongqiong
    Ma, Qinglian
    [J]. 2015 11TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION (ICNC), 2015, : 245 - 249
  • [5] The Empirical Study of the Schema Theory of Genetic Algorithm Based on 3-satisfiability Problem
    Zhang YuAn
    Li BingFen
    [J]. PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015), 2015, 10 : 448 - 453
  • [6] Study of computational performance of Genetic Algorithm for 3-satisfiability problem
    Ma, QingLian
    Zhang, Yu-an
    Sakamoto, Makoto
    Furutani, Hiroshi
    [J]. PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL SYMPOSIUM ON ARTIFICIAL LIFE AND ROBOTICS (AROB 16TH '11), 2011, : 354 - 358
  • [7] A New Method for 3-Satisfiability Problem Solving Space Structure on Structural Entropy
    Liang, Chen
    Wang, Xiaofeng
    Lu, Lei
    Niu, Pengfei
    [J]. SYMMETRY-BASEL, 2021, 13 (11):
  • [8] A NEURAL NETWORK APPROACH TO THE 3-SATISFIABILITY PROBLEM
    JOHNSON, JL
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1989, 6 (02) : 435 - 449
  • [9] PROBABILISTIC ANALYSIS OF 2 HEURISTICS FOR THE 3-SATISFIABILITY PROBLEM
    CHAO, MT
    FRANCO, J
    [J]. SIAM JOURNAL ON COMPUTING, 1986, 15 (04) : 1106 - 1118
  • [10] Hybridised Network of Fuzzy Logic and a Genetic Algorithm in Solving 3-Satisfiability Hopfield Neural Networks
    Azizan, Farah Liyana
    Sathasivam, Saratha
    Ali, Majid Khan Majahar
    Roslan, Nurshazneem
    Feng, Caicai
    [J]. AXIOMS, 2023, 12 (03)