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

2021 ◽  
Author(s):  
Bosheng Song ◽  
Xiangxiang Zeng
Keyword(s):  
P Systems ◽  
Complete Problem ◽  
Membrane Division

P systems with proteins: a new frontier when membrane division disappears

2019 ◽  
Vol 1 (1) ◽  
pp. 29-39 ◽  
Author(s):  
David Orellana-Martín ◽  
Luis Valencia-Cabrera ◽  
Agustín Riscos-Núñez ◽  
Mario J. Pérez-Jiménez
Keyword(s):  
P Systems ◽  
New Frontier ◽  
Membrane Division

The computational power of timed P systems with active membranes using promoters

2018 ◽  
Vol 29 (5) ◽  
pp. 663-680 ◽  
Author(s):  
YUEGUO LUO ◽  
HAIJUN TAN ◽  
YING ZHANG ◽  
YUN JIANG
Keyword(s):  
P Systems ◽  
P System ◽  
Computational Power ◽  
Computable Set ◽  
Complete Problem ◽  
Active Membranes ◽  
New Variant ◽  
Uniform Solution ◽  
Bioinspired Computing ◽  
Computing Models

P systems with active membranes are a class of bioinspired computing models, where the rules are used in the non-deterministic maximally parallel manner. In this paper, first, a new variant of timed P systems with active membranes is proposed, where the application of rules can be regulated by promoters with only two polarizations. Next, we prove that any Turing computable set of numbers can be generated by such a P system in the time-free way. Moreover, we construct a uniform solution to the$\mathcal{SAT}$problem in the framework of such recognizer timed P systems in polynomial time, and the feasibility and effectiveness of the proposed system is demonstrated by an instance. Compared with the existing methods, the P systems constructed in our work require fewer necessary resources and RS-steps, which show that the solution is effective toNP-complete problem.

scholarly journals On the power of P systems with active membranes using weak non-elementary membrane division

2021 ◽  
Author(s):  
Zsolt Gazdag ◽  
Károly Hajagos ◽  
Szabolcs Iván
Keyword(s):  
Polynomial Time ◽  
P Systems ◽  
Computational Power ◽  
Complete Problems ◽  
Active Membranes ◽  
Membrane Division ◽  
Elementary Membrane

AbstractIt is known that polarizationless P systems with active membranes can solve $$\mathrm {PSPACE}$$ PSPACE -complete problems in polynomial time without using in-communication rules but using the classical (also called strong) non-elementary membrane division rules. In this paper, we show that this holds also when in-communication rules are allowed but strong non-elementary division rules are replaced with weak non-elementary division rules, a type of rule which is an extension of elementary membrane divisions to non-elementary membranes. Since it is known that without in-communication rules, these P systems can solve in polynomial time only problems in $$\mathrm {P}^{\text {NP}}$$ P NP , our result proves that these rules serve as a borderline between $$\mathrm {P}^{\text {NP}}$$ P NP and $$\mathrm {PSPACE}$$ PSPACE concerning the computational power of these P systems.

scholarly journals A new method to simulate restricted variants of polarizationless P systems with active membranes

2019 ◽  
Vol 1 (4) ◽  
pp. 251-261 ◽  
Author(s):  
Zsolt Gazdag ◽  
Gábor Kolonits
Keyword(s):  
Membrane Structure ◽  
P Systems ◽  
New Approach ◽  
Complete Problems ◽  
Active Membranes ◽  
Special Cases ◽  
Division Polynomials ◽  
Initial Membrane ◽  
Membrane Division ◽  
Elementary Membrane

AbstractAccording to the P conjecture by Gh. Păun, polarizationless P systems with active membranes cannot solve $${\mathbf {NP}}$$NP-complete problems in polynomial time. The conjecture is proved only in special cases yet. In this paper we consider the case where only elementary membrane division and dissolution rules are used and the initial membrane structure consists of one elementary membrane besides the skin membrane. We give a new approach based on the concept of object division polynomials introduced in this paper to simulate certain computations of these P systems. Moreover, we show how to compute efficiently the result of these computations using these polynomials.

scholarly journals Time-Free Solution to SAT Problem by Tissue P Systems

2017 ◽  
Vol 2017 ◽  
pp. 1-8 ◽  
Author(s):  
Yueguo Luo ◽  
Zhongyang Xiong ◽  
Guanghua Zhang
Keyword(s):  
Intercellular Communication ◽  
Execution Time ◽  
Efficient Solution ◽  
Point Of View ◽  
P Systems ◽  
Free Solution ◽  
Complete Problem ◽  
Np Complete ◽  
First Time ◽  
Computing Models

Tissue P systems are a class of computing models inspired by intercellular communication, where the rules are used in the nondeterministic maximally parallel manner. As we know, the execution time of each rule is the same in the system. However, the execution time of biochemical reactions is hard to control from a biochemical point of view. In this work, we construct a uniform and efficient solution to the SAT problem with tissue P systems in a time-free way for the first time. With the P systems constructed from the sizes of instances, the execution time of the rules has no influence on the computation results. As a result, we prove that such system is shown to be highly effective for NP-complete problem even in a time-free manner with communication rules of length at most 3.

scholarly journals Minimal Parallelism and Number of Membrane Polarizations

Triangle ◽  
2018 ◽  
pp. 1
Author(s):  
Artiom Alhazov
Keyword(s):  
P Systems ◽  
Satisfiability Problem ◽  
Main Question ◽  
Efficient Computation ◽  
Active Membranes ◽  
Membrane Division ◽  
Open Question ◽  
Elementary Membrane

It is known that the satisfiability problem (SAT) can be efficiently solved by a uniform family of P systems with active membranes that have two polarizations working in a maximally parallel way. We study P systems with active membranes without non-elementary membrane division, working in minimally parallel way. The main question we address is what number of polarizations is sufficient for an efficient computation depending on the types of rules used.In particular, we show that it is enough to have four polarizations, sequential evolution rules changing polarizations, polarizationless non-elementary membrane division rules and polarizationless rules of sending an object out. The same problem is solved with the standard evolution rules, rules of sending an object out and polarizationless non-elementary membrane division rules, with six polarizations. It is an open question whether these numbers are optimal.

Time-Free Solution for QSAT by Using Timed Tissue P Systems

2014 ◽  
Vol 568-570 ◽  
pp. 812-816 ◽  
Author(s):  
Yun Yun Niu ◽  
Zhi Gao Wang
Keyword(s):  
Computational Efficiency ◽  
Execution Time ◽  
Realistic Model ◽  
Point Of View ◽  
P Systems ◽  
P System ◽  
Free Solution ◽  
Complete Problem ◽  
Computational Processes ◽  
Tissue P System

A timed tissue P system is constructed by adding a time mapping to the rules of tissue P system to specify the execution time for each rule. It is a more realistic model from a biological point of view. In this study, we investigate the computational efficiency of timed tissue P systems. A uniform and time-free solution to QSAT problem, a famous PSPACE-complete problem, is proposed, where the execution time of the computational processes involved can vary arbitrarily and the output produced is always the same.

Sign in / Sign up

Export Citation Format

Share Document