Search

Your search keyword '"pspace, membrane systems, computational power"' showing total 2 results
Start Over Descriptor "pspace, membrane systems, computational power"
2 results on '"pspace, membrane systems, computational power"'

1. Solving PSPACE-complete Problems by Polarizationless Recognizer P Systems with Strong Division and Dissolution

Author

LEPORATI, ALBERTO OTTAVIO, ZANDRON, CLAUDIO, FERRETTI, CLAUDIO, MAURI, GIANCARLO, Batini, C, Schettini, R, Leporati, A, Zandron, C, Ferretti, C, and Mauri, G

Subjects
pspace, membrane systems, computational power, INF/01 - INFORMATICA
Abstract

Recognizer P systems with active membranes have proven to be able to solve computationally hard problems in a polynomial time. Hence it is interesting to investigate what features, such as electrical charges (polarizations) associated to membranes, evolution rules, communication rules, and strong or weak forms of division rules, are needed to achieve such a computational power. In this paper we show that polarizationless recognizer P systems with active membranes can solve the PSPACE-complete decision problem Quantified 3-sat, working in the maximally parallel way, by using only dissolution rules and a form of controlled strong division for non–elementary membranes.

Published
2009

2. Solving PSPACE-complete Problems by Polarizationless Recognizer P Systems with Strong Division and Dissolution

Author

Batini, C, Schettini, R, Leporati, A, Zandron, C, Ferretti, C, Mauri, G, LEPORATI, ALBERTO OTTAVIO, ZANDRON, CLAUDIO, FERRETTI, CLAUDIO, MAURI, GIANCARLO, Batini, C, Schettini, R, Leporati, A, Zandron, C, Ferretti, C, Mauri, G, LEPORATI, ALBERTO OTTAVIO, ZANDRON, CLAUDIO, FERRETTI, CLAUDIO, and MAURI, GIANCARLO

Abstract

Recognizer P systems with active membranes have proven to be able to solve computationally hard problems in a polynomial time. Hence it is interesting to investigate what features, such as electrical charges (polarizations) associated to membranes, evolution rules, communication rules, and strong or weak forms of division rules, are needed to achieve such a computational power. In this paper we show that polarizationless recognizer P systems with active membranes can solve the PSPACE-complete decision problem Quantified 3-sat, working in the maximally parallel way, by using only dissolution rules and a form of controlled strong division for non–elementary membranes.

Published
2009

Catalog

Books, media, physical & digital resources
See catalog results