Abstract
We introduce decision P systems,which are a class of P systems with symbol-objects and external output. The main result of the paper is the following:if there exists an NP-complete problem that cannot be solved in polynomial time,with respect to the input length,by a deterministic decision P system constructed in polynomial time,then P≠NP. From Zandron-Ferreti-Mauri’s theorem it follows that if P≠ NP,then no NP-complete problem can be solved in polynomial time, with respect to the input length,by a deterministic P system with active membranes but without membrane division,constructed in polynomial time from the input. Together,these results give a characterization of P≠NP in terms of deterministic P systems.
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
Păun, G.: Membrane Computing.An Introduction, Springer-Verlag, Berlin, 2002.
Păun, G.: Computing with Membranes, Journal of Computer and System Sciences, 61(1), 2000, 108–143.
Păun, G.; Rozenberg, G.: A Guide to Membrane Computing, Theoretical Computer Sciences, 287, 2002, 73–100.
Păun, G.; Rozenberg, G.; Salomaa, A.: Membrane Computing with External Output, Fundamenta Informaticae,41(3), 2000, 313–340.
Pérez Jiménez, M.J.; Romero-Jiménez, A.; Sancho Caparrini, F.: Teoría de la Complejidad en modelos de computación celular con membranas, Editorial Kronos, Sevilla, 2002.
Romero-Jiménez, A.; Pérez-Jiménez, M.J.: Simulating Turing Machines by P Systems with External Output, Fundamenta Informaticae, 49(1–3), 2002, 273–287.
Zandron, C.; Ferretti, C.; Mauri, G.: Solving NP-Complete Problems Using P Systems with Active Membranes,in Unconventional Models of Computation (I. Antoniou, C.S. Calude, M.J. Dinneen,eds.), Springer-Verlag, London, 2000, 289–301.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pérez Jiménez, M.J., Romero Jiménez, Á., Sancho Caparrini, F. (2003). Decision P Systems and the P≠NP Conjecture. In: PĂun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. WMC 2002. Lecture Notes in Computer Science, vol 2597. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36490-0_27
Download citation
DOI: https://doi.org/10.1007/3-540-36490-0_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00611-4
Online ISBN: 978-3-540-36490-0
eBook Packages: Springer Book Archive