On the computational efficiency of polarizationless recognizer P systems with strong division and dissolution

TitleOn the computational efficiency of polarizationless recognizer P systems with strong division and dissolution
Publication TypeConference Contributions
Year of Publication2008
AuthorsZandron, C., Leporati A., Ferretti C., Mauri G., & Pérez-Jiménez M. J.
Conference Name6th Brainstorming Week on Membrane Computing
Volume TitleProceedings of the Sixth Brainstorming Week on Membrane Computing
ISBN Number978-84-612-44
PublisherFénix Editora
Place PublishedSevilla, Spain
Volume6
Pages261-274
Abstract

Recognizer P systems with active membranes have proven to be very powerful
computing devices, being able to solve NP-complete decision problems in a polynomial
time. However such solutions usually exploit many powerful features, such as electrical
charges (polarizations) associated to membranes, evolution rules, communication rules,
and strong or weak forms of division rules. In this paper we contribute to the study
of the computational power of polarizationless recognizer P systems with active membranes.
Precisely, we show that such systems are able to solve in polynomial time the
NP-complete decision problem 3-sat by using only dissolution rules and a form of strong
division for non–elementary membranes, working in the maximal parallel way.

URLhttp://www.gcn.us.es/6BWMC/volume/strongdivision.pdf