Solving Vertex Cover Problem by Means of Tissue P Systems with Cell Separation

Authors

  • Chun Lu Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074, Hubei, People’s Republic of China
  • Xingyi Zhang School of Computer Science and Technology, Anhui University Hefei 230601, Anhui, People’s Republic of China

Keywords:

Membrane Computing, Tissue P System, Cell Separation, Vertex Cover

Abstract

Tissue P systems is a computing model in the framework of membrane computing inspired from intercellular communication and cooperation between neurons. Many different variants of this model have been proposed. One of the most important models is known as tissue P systems with cell separation. This model has the ability of generating an exponential amount of workspace in linear time, thus it allows us to design cellular solutions to NP-complete problems in polynomial time. In this paper, we present a solution to the Vertex Cover problem via a family of such devices. This is the first solution to this problem in the framework of tissue P systems with cell separation.

References

D. Díaz-Pernil, M. A. Gutiérrez-Naranjo, M. J. Pérez-Jiménez, A. Riscos-Nú-ez. A Linear-time Tissue P System Based Solution for the 3-coloring Problem. Electronic Notes in Theoretical Computer Science, Vol. 171, pp. 81-93, 2007. http://dx.doi.org/10.1016/j.entcs.2007.05.009

D. Díaz-Pernil, M. A. Gutiérrez-Naranjo, M. J. Pérez-Jiménez, A. Riscos-Nú-ez. Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division. In: J. Mira, J. R. Alvarez, J. R. Ivarez (Eds.) 2nd International Work-Conference, IWINAC 2007, Interplay between natural and artificial computation Lecture Notes in Computer Science, Vol. 4527, pp. 170-179, 2007. http://dx.doi.org/10.1007/978-3-540-73053-8_17

D. Díaz-Pernil, M. J. Pérez-Jiménez, A. Riscos-Nú-ez, A. Romero. Computational Efficiency of Cellular Division in Tissue-like Membrane Systems. Romanian Journal of Information Science and Technology, Vol. 11(3), pp. 229-241, 2008.

M. A. Gutiérrez-Naranjo, M. J. Pérez-Jiménez, F. J. Romero-Campero. A Linear solution for QSAT with Membrane Creation. Lecture Notes in Computer Science, Vol. 3850, pp. 241-252, 2006. http://dx.doi.org/10.1007/11603047_17

C. Martín Vide, J. Pazos, Gh. Păun, A. Rodríguez-Patón. A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. Lecture Notes in Computer Science, Vol. 2387, pp. 290-299, 2002. http://dx.doi.org/10.1007/3-540-45655-4_32

C. Martín Vide, J. Pazos, Gh. Păun, A. Rodríguez-Patón. Tissue P Systems. Theoretical Computer Science, Vol. 296, pp. 295-326, 2003. http://dx.doi.org/10.1016/S0304-3975(02)00659-X

L. Pan, T.-O. Ishdorj. P Systems with Active Membranes and Separation Rules. Journal of Universal Computer Science, Vol. 10(5), pp. 630-649, 2004.

L. Pan, M. J. Pérez-Jiménez. Efficiency of Tissue P Systems with Cell Separation. In M. A. Martínez-del-Amor, E. F. Orejuela-Pinedo, Gh. Păun, I. Pérez-Hurtado, A. Riscos-Nú-ez, Seventh Brainstorming Week on Membrane Computing, Sevilla, Report RGNC 02/2009, 169-196, 2009.

A. Păun, Gh. Păun. The Power of Communication: P Systems with Symport/Antiport. New Generation Computing, Vol. 20(3), pp. 295-395, 2002. http://dx.doi.org/10.1007/BF03037362

Gh. Păun. Computing with Membranes. Journal of Computer and System Sciences, Vol. 61(1), 108-143, 2000. http://dx.doi.org/10.1006/jcss.1999.1693

Gh. Păun. Membrane Computing, An Introduction, Springer-Verlag, Berlin, 2002. http://dx.doi.org/10.1007/978-3-642-56196-2

Gh. Păun, M. J. Pérez-Jiménez, A. Riscos-Nú-ez. Tissue P System with Cell Division. In Gh. Păun, A. Riscos-Nú-ez, A. Romero-Jiménez, F. Sancho-Caparrini (eds.), Second Brainstorming Week on Membrane Computing, Sevilla, Report RGNC 01/2004, 380-386, 2004.

M. J. Pérez-Jiménez, A. Romero-Jiménez and F. Sancho-Caparrini, A Polynomial Complexity Class in P Systems Using Membrane Division, In E. Csuhaj-Varjú, C. Kintala, D. Wotschke and Gy. Vaszyl (eds.), Proceedings of the 5th Workshop on Descriptional Complexity of Formal Systems, DCFS 2003, pp. 284-294, 2003.

The P System Web Page: http://ppage.psystems.eu

Published

2010-11-01

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.