Sciweavers

Share
NC
2011

P systems with active membranes: trading time for space

8 years 5 months ago
P systems with active membranes: trading time for space
We consider recognizer P systems having three polarizations associated to the membranes, and we show that they are able to solve the PSPACEcomplete problem Quantified 3SAT when working in polynomial space and exponential time. The solution is uniform (all the instances of a fixed size are solved by the same P system) and uses only communication rules: evolution rules, as well as membrane division and dissolution rules, are not used. Our result shows that, as it happens with Turing machines, this model of P systems can solve in exponential time and polynomial space problems that cannot be solved in polynomial time, unless P = PSPACE.
Antonio E. Porreca, Alberto Leporati, Giancarlo Ma
Added 14 May 2011
Updated 14 May 2011
Type Journal
Year 2011
Where NC
Authors Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
Comments (0)
books