<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Claudio Zandron</style></author><author><style face="normal" font="default" size="100%">Alberto Leporati</style></author><author><style face="normal" font="default" size="100%">Claudio Ferretti</style></author><author><style face="normal" font="default" size="100%">Giancarlo Mauri</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On the computational efficiency of polarizationless recognizer P systems with strong division and dissolution</style></title><secondary-title><style face="normal" font="default" size="100%">Fundamenta Informaticae</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year><pub-dates><date><style  face="normal" font="default" size="100%">09/2008</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://portal.acm.org/citation.cfm?id=1487719&dl=GUIDE,</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">IOS Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Warsaw, Poland</style></pub-location><volume><style face="normal" font="default" size="100%">87</style></volume><pages><style face="normal" font="default" size="100%">79-91</style></pages><abstract><style face="normal" font="default" size="100%">Recognizer P systems with active membranes have proven to be very efficient 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 maximallly parallel way.</style></abstract><issue><style face="normal" font="default" size="100%">1</style></issue><custom1><style face="normal" font="default" size="100%">0.715</style></custom1><custom2><style face="normal" font="default" size="100%">102/175 - Q3</style></custom2></record></records></xml>