Membrane dissolution and division in P

TitleMembrane dissolution and division in P
Publication TypeJournal Papers
Year of Publication2009
AuthorsWoods, D., Murphy N., Pérez-Jiménez M. J., & Riscos-Núñez A.
Journal TitleLecture Notes in Computer Science
ISBN Number978-3-642-03744-3
PublisherSpringer Berlin / Heidelberg
Place PublishedHeidelberg, Alemania
Date Published09/2009

Membrane systems with dividing and dissolving membranes are known to solve PSPACE problems in polynomial time. However, we give a P upperbound on an important restriction of such systems. In particular we examine systems with dissolution, elementary division and where each membrane initially has at most one child membrane. Even though such systems may create exponentially many membranes, each with different contents, we show that their power is upperbounded by P.
This work is supported by a Project of Excellence TIC-581 from the Junta de Andalucía, project TIN 2006 13425 of Ministerio de Educación y Ciencia of Spain, and the Irish Research Council for Science, Engineering and Technology.