Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division

DOI10.1007/S41965-021-00084-0MaRDI QIDQ2152307zbMATH OpenOpenAlexFDO

Authors Bosheng Song, XiangXiang Zeng

Publication date 7 July 2022

Published in Journal of Membrane Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s41965-021-00084-0

zbMATH Keywords

membrane computingsymport/antiport rulecell-like P-systemQSAT problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division
• scientific article; zbMATH DE number 2118901
• Membrane creation and symport/antiport rules solving QSAT
• scientific article; zbMATH DE number 1958491
• Solution to PSPACE-complete problem using P systems with active membranes with time-freeness

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 2182442 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• A class of restricted P colonies with string environment
• An efficient time-free solution to QSAT problem using P systems with proteins on membranes
• An optimal frontier of the efficiency of tissue P systems with cell separation
• Cell-like P systems with evolutional symport/antiport rules and membrane creation
• Computational complexity of tissue-like P systems
• Computing with membranes
• Efficiently solving the bin packing problem through bio-inspired mobility
• Flat maximal parallelism in P systems with promoters
• Fuzzy reasoning spiking neural P system for fault diagnosis
• Membrane computing. An introduction.
• Membrane systems with promoters/inhibitors
• P systems with minimal parallelism
• P systems with proteins on membranes characterize PSPACE
• Spiking neural P systems
• The computational complexity of tissue P systems with evolutional symport/antiport rules
• The computational power of tissue-like P systems with promoters
• The power of communication: P systems with symport/antiport
• Tissue P systems.
• Tissue-like P systems with evolutional symport/antiport rules
• Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes
• Uniform Solution of QSAT Using Polarizationless Active Membranes

Cited in

(6)

• Membrane creation and symport/antiport rules solving QSAT
• Weighted spiking neural P systems with polarizations and anti-spikes
• Rule synchronization for monodirectional tissue-like P systems with channel states
• A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division
• The Computational Power of Cell-like P Systems with Symport/Antiport Rules and Promoters
• Spiking neural P systems with polarizations and astrocytes

This page was built for publication: Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2152307)