An effective molecular algorithm for solving the satisfiability problem

被引：0
|
作者：
Yu, W [1 ]
Zheng, WM [1 ]
机构：
[1] Tsinghua Univ, Dept Comp & Technol, Beijing 100084, Peoples R China
来源：
ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS | 2003年 / 2834卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A well-defined satisfiability problem (SAT) is mapped into a unique expression of logical array by introducing a transformation. Such an expression forms a unique molecular algorithm for solving SAT, which is prone to computation on an electronic computer. A famous 20-variable instance of the three-satisfiability problem is solved via Matrix laboratory (MATLAB) installed on a notebook computer. The special computation implements huge parallelism that goes beyond I million (2(20)). The unique solution is found and the computational complexity is analyzed.
引用
收藏
页码：274 / 280
页数：7
相关论文
共 50 条
  • [1] An effective heuristic algorithm for the maximum satisfiability problem
    Mohamed El Bachir Menaï
    Mohamed Batouche
    Applied Intelligence, 2006, 24 : 227 - 239
  • [2] An effective heuristic algorithm for the maximum satisfiability problem
    Menaï, ME
    Batouche, M
    APPLIED INTELLIGENCE, 2006, 24 (03) : 227 - 239
  • [3] Solving the satisfiability problem by a parallel cellular genetic algorithm
    Folino, G
    Pizzuti, C
    Spezzano, G
    24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 715 - 722
  • [4] An algorithm for solving satisfiability problem based on the structural information of formulas
    Zhang, Zaijun
    Xu, Daoyun
    Zhou, Jincheng
    FRONTIERS OF COMPUTER SCIENCE, 2021, 15 (06)
  • [5] An asynchronous P system with a DPLL algorithm for solving a satisfiability problem
    Noguchi, Takuya
    Fujiwara, Akihiro
    2021 NINTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR 2021), 2021, : 155 - 161
  • [6] An algorithm for solving satisfiability problem based on the structural information of formulas
    Zaijun Zhang
    Daoyun Xu
    Jincheng Zhou
    Frontiers of Computer Science, 2021, 15
  • [7] An algorithm for solving satisfiability problem based on the structural information of formulas
    Zaijun ZHANG
    Daoyun XU
    Jincheng ZHOU
    Frontiers of Computer Science, 2021, (06) : 80 - 82
  • [8] SOLVING THE INCREMENTAL SATISFIABILITY PROBLEM
    HOOKER, JN
    JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (1-2): : 177 - 186
  • [9] A Quantum Inspired Particle Swarm Algorithm for Solving the Maximum Satisfiability Problem
    Layeb, Abdesslem
    INTERNATIONAL JOURNAL OF COMBINATORIAL OPTIMIZATION PROBLEMS AND INFORMATICS, 2010, 1 (01): : 13 - 23
  • [10] ISSATA: An algorithm for solving the 3-satisfiability problem based on improved strategy
    Guo, Ping
    Zhang, Yang
    APPLIED INTELLIGENCE, 2022, 52 (02) : 1740 - 1751
12345