Abstract
One of the interesting applications of membrane computing is the ability to solve intractable problems in polynomial time. The existing variants with active membranes have several powerful features like polarizations, dissolution, evolution and communication rules as well as non-elementary membrane division. We propose a simple variant which uses elementary membrane division and communication only in the form of mobility of membranes. We show that this variant has \(\Sigma_2^P \cup \Pi_2^P\) as lower bound. This is the first known treatment of the complexity classes \(\Sigma_2^P\), \(\Pi_2^P\) using active membranes without the features of polarizations, non elementary membrane division.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alhazov, A., Pan, L., Păun, G.: Trading Polarizations for Labels in P Systems with Active Membranes. Acta Informatica 41(2-3), 111–144 (2004)
Alhazov, A., Freund, R.: On the Efficiency of P systems with Active Membranes and Two Polarizations. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 146–160. Springer, Heidelberg (2005)
Alhazov, A., Burtseva, L., Cojocaru, S., Rogozhin, Y.: Solving PP-Complete and #P-complete problems by P systems with active membranes. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 108–117. Springer, Heidelberg (2009)
Borodin, A.: On Relating Time and Space to Size and Depth. SIAM Journal of Computing 6(4), 733–744 (1977)
Krishna, S.N., Ciobanu, G.: On the Computational Power of Enhanced Mobile Membranes. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds.) CiE 2008. LNCS, vol. 5028, pp. 326–335. Springer, Heidelberg (2008)
Krishna, S.N., Ciobanu, G.: Enhanced Mobile Membranes: Computability Results. Theory of Computing Systems 48 (2011), doi:10.1007/s00224-010-9256-9).
Leporati, A., Ferretti, C., Mauri, G., Pérez-Jiménez, M.J., Zandron, C.: Complexity Aspects of Polarizationless Membrane Systems. Natural Computing 8(4), 703–717 (2009)
Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F.: Complexity Classes in Models of Cellular Computing with Membranes. Natural Computing 2(3), 265–285 (2003)
Pérez-Jiménez, M.J., Romero-Jiménez, A.: Trading Polarizations for Bi-stable Catalysts in P Systems with Active Membranes. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 373–388. Springer, Heidelberg (2005)
Pan, L., Ishdorj, T.-O.: P systems with Active Membranes and Separation Rules. Journal of Universal Computer Science 10, 630–649 (2004)
Pan, L., Alhazov, A., Ishdorj, T.-O.: Further Remarks on P systems with Active Membranes, Separation, Merging, and Release Rules. Soft Computing 9(9), 686–690 (2005)
Papadimitriou, C.: Computational Complexity. Addison-Wesley, Reading (1994)
Porreca, A.E., Leporati, A., Mauri, G., Zandron, C.: P Systems with Elementary Active Membranes: Beyond NP and coNP. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 338–347. Springer, Heidelberg (2010)
Păun, G.: Computing with Membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Păun, G.: P Systems with Active Membranes: Attacking NP-Complete Problems. Journal of Automata, Languages and Combinatorics 6(1), 75–90 (2001)
Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)
Zandron, C., Leporati, A., Ferretti, C., Mauri, G., Pérez-Jiménez, M.J.: On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution. Fundamenta Informaticae 87, 79–91 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krishna, S.N., Ciobanu, G. (2011). A \(\Sigma_2^P \cup \Pi_2^P\) Lower Bound Using Mobile Membranes. In: Holzer, M., Kutrib, M., Pighizzini, G. (eds) Descriptional Complexity of Formal Systems. DCFS 2011. Lecture Notes in Computer Science, vol 6808. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22600-7_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-22600-7_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22599-4
Online ISBN: 978-3-642-22600-7
eBook Packages: Computer ScienceComputer Science (R0)