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 条
  • [21] ONLINE ALGORITHMS FOR POLYNOMIALLY SOLVABLE SATISFIABILITY PROBLEMS
    AUSIELLO, G
    ITALIANO, GF
    JOURNAL OF LOGIC PROGRAMMING, 1991, 10 (01): : 69 - 90
  • [22] Variational satisfiability solving: efficiently solving lots of related SAT problems
    Young, Jeffrey M.
    Bittner, Paul Maximilian
    Walkingshaw, Eric
    Thuem, Thomas
    EMPIRICAL SOFTWARE ENGINEERING, 2023, 28 (01)
  • [23] Variational satisfiability solving: efficiently solving lots of related SAT problems
    Jeffrey M. Young
    Paul Maximilian Bittner
    Eric Walkingshaw
    Thomas Thüm
    Empirical Software Engineering, 2023, 28
  • [24] Solving employee timetabling problems using Boolean satisfiability
    Aloul, Fadi
    Al-Rawi, Bashar
    Al-Farra, Anas
    Al-Roh, Basel
    2006 INNOVATIONS IN INFORMATION TECHNOLOGY, 2006, : 71 - 75
  • [25] On solving stack-based incremental satisfiability problems
    Kim, J
    Whittemore, J
    Sakallah, K
    2000 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, 2000, : 379 - 382
  • [26] Combining approaches for solving satisfiability problems with qualitative preferences
    Di Rosa, Emanuele
    Giunchiglia, Enrico
    AI COMMUNICATIONS, 2013, 26 (04) : 395 - 408
  • [27] An Approximative Inference Method for Solving ∃∀SO Satisfiability Problems
    Vlaeminck, Hanne
    Vennekens, Joost
    Denecker, Marc
    Bruynooghe, Maurice
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2012, 45 : 79 - 124
  • [28] A new Approach for Solving Satisfiability Problems with Qualitative Preferences
    Di Rosa, Emanuele
    Giunchiglia, Enrico
    Maratea, Marco
    ECAI 2008, PROCEEDINGS, 2008, 178 : 510 - +
  • [29] An Approximative Inference Method for Solving ∃∀SO Satisfiability Problems
    Vlaeminck, Hanne
    Wittocx, Johan
    Vennekens, Joost
    Denecker, Marc
    Bruynooghe, Maurice
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 326 - 338
  • [30] Complete Boolean Satisfiability Solving Algorithms Based on Local Search
    Guo, Wen-Sheng
    Yang, Guo-Wu
    Hung, William N. N.
    Song, Xiaoyu
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013, 28 (02) : 247 - 254