Next Article in Journal
Precanonical Structure of the Schrödinger Wave Functional of a Quantum Scalar Field in Curved Space-Time
Previous Article in Journal
Algebraic Properties of the Block Cipher DESL
Previous Article in Special Issue
A Study on Hypergraph Representations of Complex Fuzzy Information
Open AccessArticle

Enhanced Membrane Computing Algorithm for SAT Problems Based on the Splitting Rule

by Le Hao 1,* and Jun Liu 2
1
School of Mathematics, Southwest Jiaotong University, Chengdu 611756, China
2
School of Computing, Ulster University, Northern Ireland BT37 0QB, UK
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(11), 1412; https://doi.org/10.3390/sym11111412
Received: 13 October 2019 / Revised: 11 November 2019 / Accepted: 13 November 2019 / Published: 15 November 2019
(This article belongs to the Special Issue Symmetry and Complexity 2019)
Boolean propositional satisfiability (SAT) problem is one of the most widely studied NP-complete problems and plays an outstanding role in many domains. Membrane computing is a branch of natural computing which has been proven to solve NP problems in polynomial time with a parallel compute mode. This paper proposes a new algorithm for SAT problem which combines the traditional membrane computing algorithm of SAT problem with a classic simplification rule, the splitting rule, which can divide a clause set into two axisymmetric subsets, deal with them respectively and simultaneously, and obtain the solution of the original clause set with the symmetry of their solutions. The new algorithm is shown to be able to reduce the space complexity by distributing clauses with the splitting rule repeatedly, and also reduce both time and space complexity by executing one-literal rule and pure-literal rule as many times as possible. View Full-Text
Keywords: SAT problem; membrane computing; P system; splitting rule SAT problem; membrane computing; P system; splitting rule
Show Figures

Graphical abstract

MDPI and ACS Style

Hao, L.; Liu, J. Enhanced Membrane Computing Algorithm for SAT Problems Based on the Splitting Rule. Symmetry 2019, 11, 1412.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop