Solving the 4QBF problem in polynomial time by using the biological-inspired mobility

Abstract

Inspired by the cell motion expressed by endocytosis and exocytosis, we propose a class of membrane systems which uses elementary membrane division and mobility of membranes. We show that this class of mobile membranes using only elementary division and mobility can provide a semi-uniform polynomial solutions for the 4QBF problem, ascending to the fourth level in the polynomial hierarchy. © 2013 Springer-Verlag Berlin Heidelberg.