scholarly journals Solution to PSPACE-Complete Problem Using P Systems with Active Membranes with Time-Freeness

2019 ◽  
Vol 2019 ◽  
pp. 1-8 ◽  
Author(s):  
Bosheng Song ◽  
Yuan Kong
Keyword(s):  
Execution Time ◽  
Cell Structure ◽  
P Systems ◽  
Biological Information ◽  
Natural Computing ◽  
Boolean Satisfiability Problem ◽  
Active Membranes ◽  
Hard Problems ◽  
And Behavior ◽  
Computing Models

P systems with active membranes are powerful parallel natural computing models, which were inspired by cell structure and behavior. Inspired by the parallel processing of biological information and with the idealistic assumption that each rule is completed in exactly one time unit, P systems with active membranes are able to solve computational hard problems in a feasible time. However, an important biological fact in living cells is that the execution time of a biochemical reaction cannot be accurately divided equally and completed in one time unit. In this work, we consider time as an important factor for the computation in P systems with active membranes and investigate the computational efficiency of such P systems. Specifically, we present a time-free semiuniform solution to the quantified Boolean satisfiability problem (QSATproblem, for short) in the framework of P systems with active membranes, where the solution to such problem is correct, which does not depend on the execution time for the used rules.

scholarly journals Time-Free Solution to Hamilton Path Problems Using P Systems withd-Division

2013 ◽  
Vol 2013 ◽  
pp. 1-7 ◽  
Author(s):  
Tao Song ◽  
Xun Wang ◽  
Hongjiang Zheng
Keyword(s):  
Execution Time ◽  
Linear Time ◽  
Hamiltonian Path ◽  
P Systems ◽  
Free Solution ◽  
Hamilton Path ◽  
Working Space ◽  
A Cell ◽  
Hard Problems ◽  
Computing Models

P systems withd-division are a particular class of distributed and parallel computing models investigated in membrane computing, which are inspired from the budding behavior of Baker’s yeast (a cell can generate several cells in one reproducing cycle). In previous works, such systems can theoretically generate exponential working space in linear time and thus provide a way to solve computational hard problems in polynomial time by a space-time tradeoff, where the precise execution time of each evolution rule, one time unit, plays a crucial role. However, the restriction that each rule has a precise same execution time does not coincide with the biological fact, since the execution time of biochemical reactions can vary because of external uncontrollable conditions. In this work, we consider timed P systems withd-division by adding a time mapping to the rules to specify the execution time for each rule, as well as the efficiency of the systems. As a result, a time-free solution to Hamiltonian path problem (HPP) is obtained by a family of such systems (constructed in a uniform way), that is, the execution time of the rules (specified by different time mappings) has no influence on the correctness of the solution.

A time-free uniform solution to subset sum problem by tissue P systems with cell division

2015 ◽  
Vol 27 (1) ◽  
pp. 17-32 ◽  
Author(s):  
BOSHENG SONG ◽  
TAO SONG ◽  
LINQIANG PAN
Keyword(s):  
Cell Division ◽  
Execution Time ◽  
P Systems ◽  
Subset Sum Problem ◽  
Biological Inspiration ◽  
Global Clock ◽  
Subset Sum ◽  
Uniform Solution ◽  
Hard Problems ◽  
Computing Models

Tissue P systems are a class of bio-inspired computing models motivated by biochemical interactions between cells in a tissue-like arrangement. Tissue P systems with cell division offer a theoretical device to generate an exponentially growing structure in order to solve computationally hard problems efficiently with the assumption that there exists a global clock to mark the time for the system, the execution of each rule is completed in exactly one time unit. Actually, the execution time of different biochemical reactions in cells depends on many uncertain factors. In this work, with this biological inspiration, we remove the restriction on the execution time of each rule, and the computational efficiency of tissue P systems with cell division is investigated. Specifically, we solve subset sum problem by tissue P systems with cell division in a time-free manner in the sense that the correctness of the solution to the problem does not depend on the execution time of the involved rules.

scholarly journals Time-free Solution to Independent Set Problem using P Systems with Active Membranes

2021 ◽  
Vol 182 (3) ◽  
pp. 243-255
Author(s):  
Yu Jin ◽  
Bosheng Song ◽  
Yanyan Li ◽  
Ying Zhu
Keyword(s):  
Membrane Computing ◽  
Independent Set ◽  
P Systems ◽  
Natural Computing ◽  
Free Solution ◽  
Independent Set Problem ◽  
Global Clock ◽  
Active Membranes ◽  
Biological Reality ◽  
Hard Problems

Membrane computing is a branch of natural computing aiming to abstract computing models from the structure and functioning of living cells. The computation models obtained in the field of membrane computing are usually called P systems. P systems have been used to solve computationally hard problems efficiently on the assumption that the execution of each rule is completed in exactly one time-unit (a global clock is assumed for timing and synchronizing the execution of rules). However, in biological reality, different biological processes take different times to be completed, which can also be influenced by many environmental factors. In this work, with this biological reality, we give a time-free solution to independent set problem using P systems with active membranes, which solve the problem independent of the execution time of the involved rules.

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 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.

ON A PARTIAL AFFIRMATIVE ANSWER FOR A PĂUN'S CONJECTURE

2011 ◽  
Vol 22 (01) ◽  
pp. 55-64 ◽  
Author(s):  
IGNACIO PÉREZ-HURTADO ◽  
MARIO J. PÉREZ-JIMÉNEZ ◽  
AGUSTÍN RISCOS-NÚÑEZ ◽  
MIGUEL A. GUTIÉRREZ-NARANJO ◽  
MIQUEL RIUS-FONT
Keyword(s):  
Affirmative Answer ◽  
Positive Answer ◽  
Dependency Graph ◽  
P Systems ◽  
Complete Proof ◽  
Active Membranes ◽  
Hard Problems

At the beginning of 2005, Gheorghe Păun formulated a conjecture stating that in the framework of recognizer P systems with active membranes (evolution rules, communication rules, dissolution rules and division rules for elementary membranes), polarizations cannot be avoided in order to solve computationally hard problems efficiently (assuming that P ≠ NP ). At the middle of 2005, a partial positive answer was given, proving that the conjecture holds if dissolution rules are forbidden. In this paper we give a detailed and complete proof of this result modifying slightly the notion of dependency graph associated with recognizer P systems.

The P versus NP Problem from the Membrane Computing View

2014 ◽  
Vol 22 (1) ◽  
pp. 18-33 ◽  
Author(s):  
Mario J. Pérez-Jiménez
Keyword(s):  
Membrane Computing ◽  
Efficient Solutions ◽  
Significant Advance ◽  
Natural Computing ◽  
Complexity Classes ◽  
Membrane Systems ◽  
Hard Problems ◽  
Young Branch ◽  
Np Problem ◽  
Computing Models

In the last few decades several computing models using powerful tools from Nature have been developed (because of this, they are known as bio-inspired models). Commonly, the space-time trade-off method is used to develop efficient solutions to computationally hard problems. According to this, implementation of such models (in biological, electronic, or any other substrate) would provide a significant advance in the practical resolution of hard problems. Membrane Computing is a young branch of Natural Computing initiated by Gh. Păun at the end of 1998. It is inspired by the structure and functioning of living cells, as well as from the organization of cells in tissues, organs, and other higher order structures. The devices of this paradigm, called P systems or membrane systems, constitute models for distributed, parallel and non-deterministic computing. In this paper, a computational complexity theory within the framework of Membrane Computing is introduced. Polynomial complexity classes associated with different models of cell-like and tissue-like membrane systems are defined and the most relevant results obtained so far are presented. Different borderlines between efficiency and non-efficiency are shown, and many attractive characterizations of the P ≠ NP conjecture within the framework of this bio-inspired and non-conventional computing model are studied.

scholarly journals Elementary Active Membranes Have the Power of Counting

2014 ◽  
pp. 194-206
Author(s):  
Antonio E. Porreca ◽  
Alberto Leporati ◽  
Giancarlo Mauri ◽  
Claudio Zandron
Keyword(s):  
Polynomial Time ◽  
P Systems ◽  
Decision Problems ◽  
Active Membranes ◽  
Hard Problems ◽  
Whole Class ◽  
Uniformity Condition ◽  
Membrane Division

P systems with active membranes have the ability of solving computationally hard problems. In this paper, the authors prove that uniform families of P systems with active membranes operating in polynomial time can solve the whole class of PP decision problems, without using nonelementary membrane division or dissolution rules. This result also holds for families having a stricter uniformity condition than the usual one.

scholarly journals Elementary Active Membranes Have the Power of Counting

2011 ◽  
Vol 2 (3) ◽  
pp. 35-48 ◽  
Author(s):  
Antonio E. Porreca ◽  
Alberto Leporati ◽  
Giancarlo Mauri ◽  
Claudio Zandron
Keyword(s):  
Polynomial Time ◽  
P Systems ◽  
Decision Problems ◽  
Active Membranes ◽  
Hard Problems ◽  
Whole Class ◽  
Uniformity Condition ◽  
Membrane Division

P systems with active membranes have the ability of solving computationally hard problems. In this paper, the authors prove that uniform families of P systems with active membranes operating in polynomial time can solve the whole class of PP decision problems, without using nonelementary membrane division or dissolution rules. This result also holds for families having a stricter uniformity condition than the usual one.

scholarly journals Tissue P Systems with Cell Division

2008 ◽  
Vol 3 (3) ◽  
pp. 295 ◽  
Author(s):  
Gheorghe Păun ◽  
Mario J. Perez-Jimenez ◽  
Agustín Riscos-Nunez
Keyword(s):  
Cell Division ◽  
Polynomial Time ◽  
Basic Feature ◽  
P Systems ◽  
Sat Problem ◽  
Active Membranes ◽  
Hard Problems

In tissue P systems several cells (elementary membranes) communicate through symport/antiport rules, thus carrying out a computation. We add to such systems the basic feature of (cell–like) P systems with active membranes – the possibility to divide cells. As expected (as it is the case for P systems with active membranes), in this way we get the possibility to solve computationally hard problems in polynomial time; we illustrate this possibility with SAT problem.

Sign in / Sign up

Export Citation Format

Share Document