Un campo ampliamente estudiado en el marco de la computación de membranas es la teoría de complejidad computacional. Mientras que algunos tipos de sistemas P solo pueden resolver eficientemente problemas de la clase , añadir uno o más ingredientes sintácticos o semánticos a estos sistemas de membranas puede darles la capacidad de resolver eficientemente problemas presumiblemente intratables. Estos ingredientes se llaman para formar una frontera de eficiencia, en el sentido de que pasar del primer tipo de sistemas P al segundo tipo lleva de la no eficiencia a la presunta eficiencia. En este trabajo, se obtiene una solución al problema, un problema bien conocido -completo, mediante una familia de sistemas P reconocedores con reglas de simporte/antiporte evolutivas de longitud a lo sumo (2,1) y reglas de división donde el entorno juega un papel pasivo; es decir, sistemas P de . Este resultado es comparable al obtenido en el homólogo de tipo de tejido, y da una idea de un paralelismo y de los sistemas de membranas no evolutivos con reglas de simporte/antiporte.