Solving Satisfiability Problems with Membrane Algorithms

被引:0
|
作者
Zhang, Gexiang [1 ]
Liu, Chunxiu [1 ]
Gheorghe, Marian [2 ]
Ipate, Florentin [3 ]
机构
[1] SW Jiaotong Univ, Sch Elect Engn, Chengdu 610031, Peoples R China
[2] Univ Sheffield, Dept Comp Sci, Sheffield S1 4DP, South Yorkshire, England
[3] Univ Pitesti, Dept Comp Sci & Math, Pitesti 110040, Romania
基金
中国国家自然科学基金;
关键词
INSPIRED EVOLUTIONARY ALGORITHM; P-SYSTEMS; SAT;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper presents the application of membrane algorithms to satisfiability problems which are well-known NP-hard combinatorial optimization problems. The membrane algorithm, called QEPS, is a combination of P system approaches and quantum-inspired evolutionary algorithms. QEPS employs the hierarchical structure of the compartments of P systems, the objects consisting of quantum-inspired bit individuals, the rules composed of quantum-inspired gate evolutionary rules and transformation/communication-like rules in P systems to specify the membrane algorithms. A large number of experiments carried out on bench satisfiability problems show that QEPS performs better than its counterpart quantum-inspired evolutionary algorithm.
引用
收藏
页码:29 / +
页数:3
相关论文
共 50 条
  • [1] A survey of intelligent optimization algorithms for solving satisfiability problems
    Yang, Lan
    Wang, Xiaofeng
    Ding, Hongsheng
    Yang, Yi
    Zhao, Xingyu
    Pang, Lichao
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2023, 45 (01) : 445 - 461
  • [2] Combining cellular genetic algorithms and local search for solving satisfiability problems
    Folino, G
    Pizzuti, C
    Spezzano, G
    TENTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 192 - 198
  • [3] Comparing the performance of the genetic and local search algorithms for solving the satisfiability problems
    Kilani, Yousef
    APPLIED SOFT COMPUTING, 2010, 10 (01) : 198 - 207
  • [4] RUNNING TIME EXPERIMENTS ON SOME ALGORITHMS FOR SOLVING PROPOSITIONAL SATISFIABILITY PROBLEMS
    MAYER, J
    MITTERREITER, I
    RADERMACHER, FJ
    ANNALS OF OPERATIONS RESEARCH, 1995, 55 : 139 - 178
  • [5] Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms
    Barthel, W
    Hartmann, AK
    Weigt, M
    PHYSICAL REVIEW E, 2003, 67 (06):
  • [6] Solving satisfiability problems on FPGAs
    Suyama, T.
    Yokoo, M.
    Sawada, H.
    Lecture Notes in Computer Science, 1142
  • [7] Solving satisfiability problems with preferences
    Di Rosa, Emanuele
    Giunchiglia, Enrico
    Maratea, Marco
    CONSTRAINTS, 2010, 15 (04) : 485 - 515
  • [8] Solving satisfiability problems with preferences
    Emanuele Di Rosa
    Enrico Giunchiglia
    Marco Maratea
    Constraints, 2010, 15 : 485 - 515
  • [9] On Strategies for Solving Boolean Satisfiability Problems
    Pulka, Andrzej
    2012 INTERNATIONAL CONFERENCE ON SIGNALS AND ELECTRONIC SYSTEMS (ICSES), 2012,
  • [10] Verification of consensus algorithms using satisfiability solving
    Tatsuhiro Tsuchiya
    André Schiper
    Distributed Computing, 2011, 23 : 341 - 358