Skip to main content
×
×
Home

The computational power of timed P systems with active membranes using promoters

  • YUEGUO LUO (a1), HAIJUN TAN (a1), YING ZHANG (a1) and YUN JIANG (a2)
Abstract

P systems with active membranes are a class of bioinspired computing models, where the rules are used in the non-deterministic maximally parallel manner. In this paper, first, a new variant of timed P systems with active membranes is proposed, where the application of rules can be regulated by promoters with only two polarizations. Next, we prove that any Turing computable set of numbers can be generated by such a P system in the time-free way. Moreover, we construct a uniform solution to the $\mathcal{SAT}$ problem in the framework of such recognizer timed P systems in polynomial time, and the feasibility and effectiveness of the proposed system is demonstrated by an instance. Compared with the existing methods, the P systems constructed in our work require fewer necessary resources and RS-steps, which show that the solution is effective to NP-complete problem.

Copyright
References
Hide All
Alhazov, A., Pan, L. and Păun, G. (2004). Trading polarizations for labels in P systems with active membranes. Acta Informatica 41 (2-3) 111144.
Bottoni, P., Martín-Vide, C. and Păun, G. (2002). Membrane systems with promoters/inhibitors. Acta Informatica 38 (10) 695720.
Cavaliere, M. and Sburlan, D. (2005). Time-Independent P Systems. Lecture Notes in Computer Science 3365, Springer-Verlag, Berlin 239258.
Gheorghe, M., Păun, G. and Pérez-Jiménez, M.J. (2013). Research frontiers of membrane computing: Open problems and research topics. International Journal of Foundations of Computer Science 24 (5) 547623.
Guo, P., Ji, J. and Chen, H. (2015). Solving all-SAT problems by P systems. Chinese Journal of Electronics 24 (4) 744749.
Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J. and Romero-Campero, F.J. (2007). A uniform solution to SAT using membrane creation. Theoretical Computer Science 371 (1-2) 5461.
Ionescu, M., Păun, G. and Yokomori, T. (2006). Spiking neural P systems. Fundamenta Informaticae 71 (2) 279308.
Leporati, A., Mauri, G., Zandron, C., Păun, G. and Pérez-Jiménez, M. J. (2009). Uniform solutions to SAT and subset sum by spiking neural P systems. Natural Computing 8 (4) 681702.
Luo, Y., Xiong, Z., Tan, H. and Xia, S. (2015). A uniform algorithm of solving all-SAT using membrane systems. Journal of Computational & Theoretical Nanoscience 12 (12) 58255832.
Luo, Y., Xiong, Z., Chen, Y. and Tan, H. (2016). Efficient solutions to all-SAT by P systems with active membranes. Journal of Computational & Theoretical Nanoscience 13 (6) 38873894.
Minsky, M. (1967). Computation: Finite and Infinite Machines, Prentice-Hall Inc.
Pan, L., Zeng, X. and Zhang, X. (2011). Time-free spiking neural P systems. Neural Computation 23 (5) 13201342.
Pan, L. and Pérez-Jiménez, M.J. (2010). Computational complexity of tissue-like P systems. Journal of Complexity 26 (3) 296315.
Pan, L., Wang, Y.S., Jiang, S. and Song, B. (2017). Flat maximal parallelism in tissue P systems with promoters. Romanian Journal of Information Science and Technology 20 (1) 4256.
Păun, A. and Păun, G. (2002). The power of communication: P systems with symport/antiport. New Generation Computing 20 (3) 295305.
Păun, A. and Păun, G. (2007). Small universal spiking neural P systems. Biosystems 90 (1) 4860.
Păun, G. (1999a). Introduction to membrane computing. Theoretical Computer Science 287 (1) 73100.
Păun, G. (1999b). P systems with active membranes: Attacking NP complete problems. Journal of Automata Languages & Combinatorics 6 (1) 7590.
Păun, G. (2000). Computing with membranes. Journal of Computer and System Sciences 61 (1) 108143.
Păun, G., Pérez-Jiménez, M.J. and Riscos, A. (2008). Tissue P systems with cell division. International Journal of Computers Communications & Control 3 (3) 295303.
Păun, G., Suzuki, Y., Tanaka, H. and Yokomori, T. (2004). On the power of membrane division in P systems. Theoretical Computer Science 324 (1) 6185.
Pérez-Jiménez, M.J. and Sosik, P. (2015). An optimal frontier of the efficiency of tissue P systems with cell separation. Fundamenta Informaticae 138 (1-2) 4560.
Song, B. and Pan, L. (2015a). Computational efficiency and universality of timed P systems with active membranes. Theoretical Computer Science 567, 7486.
Song, B., Song, T. and Pan, L. (2015b). Time-free solution to SAT problem by P systems with active membranes and standard cell division rules. Natural Computing 14 (4) 673681.
Song, B., Pérez-Jiménez, M.J. and Pan, L. (2015c). Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division. BioSystems 130, 5158.
Song, B., Zhang, C. and Pan, L. (2016a). Tissue-like P systems with evolutional symport/antiport rules. Information Sciences 378, 177193.
Song, B., Pérez-Jiménez, M.J. and Pan, L. (2016b). An efficient time-free solution to SAT problem by P systems with proteins on membranes. Journal of Computer and System Sciences 82 (6) 10901099.
Song, B., Pérez-Jiménez, M.J. and Pan, L. (2017a). An efficient time-free solution to QSAT problem using P systems with proteins on membranes. Information and Computation 256C, 287299.
Song, B., Song, T. and Pan, L. (2017b). A time-free uniform solution to subset sum problem by tissue P systems with cell division. Mathematical Structures in Computer Science 27, 1732.
Song, B., Pérez-Jiménez, M.J., Păun, G. and Pan, L. (2016c). Tissue P systems with channel states working in the flat maximally parallel way. IEEE Transactions on NanoBioscience 15 (7) 645656.
Song, T., Macias-Ramos, L. and Pan, L. (2014). Time-free solution to SAT problem using P systems with active membranes. Theoretical Computer Science 529, 6168.
Song, T. and Pan, L. (2016). Spiking neural P systems with request rules. Neurocomputing 193, 193200.
Wu, T., Zhang, Z. and Pan, L. (2016). On languages generated by cell-like spiking neural P systems. IEEE Transactions on Nanobioscience 15 (5) 455467.
Zeng, X., Xu, L., Liu, X. and Pan, L. (2014a). On languages generated by spiking neural P systems with weights. Information Sciences 278 (10) 423433.
Zeng, X., Pan, L. and Pérez-Jiménez, M.J. (2014b). Small universal simple spiking neural P systems with weights. Science China 57 (9) 111.
Zhang, G., Gheorghe, M. and Li, Y. (2012). A membrane algorithm with quantum-inspired subalgorithms and its application to image processing. Natural Computing 11 (4) 701717.
Zhang, G., Gheorghe, M., Pan, L. and Pérez-Jiménez, M.J. (2014). Evolutionary membrane computing: A comprehensive survey and new results. Information Sciences 279) 528551.
Zhang, X., Liu, Y., Luo, B. and Pan, L. (2014). Computational power of tissue P systems for generating control languages. Information Sciences 278 (10) 285297.
Zhang, X., Pan, L. and Păun, A. (2017). On the universality of axon P systems. IEEE Transactions on Neural Networks & Learning Systems 26 (11) 28162829.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed