Skip to main content
SpringerLink
Log in

A Uniform Solution for Vertex Cover Problem by Using Time-Free Tissue P Systems

  • Conference paper
  • First Online:
Bio-Inspired Computing -- Theories and Applications (BIC-TA 2015)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 562))

Included in the following conference series:

Abstract

This work focuses on the computational efficiency of timed tissue P system. A rule in traditional P systems is usually executed in one time unit. We investigate the timed tissue P systems by removing the restriction. It is constructed by adding a time mapping to the rules to specify the execution time for each rule. A uniform and time-free solution to vertex cover problem is proposed, where the execution time of the computational processes involved can vary arbitrarily and the output produced is always the same.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Alhazov, A., Martin-Vide, C., Pan, L.: Solving a PSPACE-complete problem by recognizing P systems with restricted active membranes. Fundamenta Informaticae 58(2), 66–77 (2003)

    MathSciNet  MATH  Google Scholar 

  2. Cavaliere, M.: Time-free solution to hard computational problems. Proc. Tenth Brainstorming Week Membr. Comput. 1, 204–210 (2012)

    Google Scholar 

  3. Cavaliere, M., Deufemia, V.: Further results on time-free P systems. Int. J. Found. Comput. Sci. 17(1), 69–89 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  4. Ciobanu, G., Pérez-Jiménez, M.J., Păun, G.: Applications of Membrane Computing. Springer, Berlin (2006)

    Google Scholar 

  5. Cavaliere, M., Sburlan, D.: Time–independent P systems. In: Mauri, G., Păun, G., Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 239–258. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  6. Wang, X., Miao, Y., Cheng, M.: Finding motifs in DNA sequences using low-dispersion sequences. J. Comput. Biol. 21(4), 320–329 (2014)

    Article  MathSciNet  Google Scholar 

  7. Díaz-Pernil, D., Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A linear-time tissue P system based solution for the 3-coloring problem. Electr. Notes Theor. Comput. Sci. 171, 81–93 (2007)

    Article  MATH  Google Scholar 

  8. Shi, X., Wang, Z., Deng, C., Song, T., Pan, L., Chen, Z.: A novel bio-sensor based on DNA strand displacement. PLoS One 9(10), e108856 (2014)

    Article  Google Scholar 

  9. Gutiérrez–Naranjo, M.A., Pérez–Jiménez, M.J., Riscos–Núñez, A., Romero–Campero, F.J.: On the power of dissolution in P systems with active membranes. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 224–240. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  10. Martín-Vide, C., Păun, G., Pazos, J., Rodríguez Patón, A.: Tissue P Systems. Theor. Comput. Sci. 296, 295–326 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71, 279–308 (2006)

    MathSciNet  MATH  Google Scholar 

  12. Ishdorj, T., Leporati, A., Pan, L., Zeng, X., Zhang, X.: Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources. Theor. Comput. Sci. 411, 2345–2358 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  13. Pan, L., Daniel, D.P., Pérez-Jiménez, M.J.: Computation of ramsey numbers by P system with active membranes. Int. J. Found. Comput. Sci. 22, 29–38 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  14. Pan, L., Păun, G.: Spiking neural P systems: an improved normal form. Theor. Comput. Sci. 411, 906–918 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  15. Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with neuron division and budding. Sci. China Inf. Sci. 54(8), 1596–1607 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  16. Pan, L., Pérez-Jiménez, M.J.: Computational complexity of tissue-like P systems. J. Complex. 26(3), 296–315 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  17. Pan, L., Zeng, X., Zhang, X.: Time-free spiking neural P systems. Neural Comput. 23, 1320–1342 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  18. Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  19. Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)

    Book  MATH  Google Scholar 

  20. Song, T., Pan, L., Jiang, K., et al.: Normal forms for some classes of sequential spiking neural P systems. IEEE Trans. NanoBiosci. 12(3), 255–264 (2013)

    Article  Google Scholar 

  21. Păun, G., Rozenberg, G., Salomaa, A.: Handbook of Membrane Computing. Oxford University Press, Oxford (2009)

    MATH  Google Scholar 

  22. Song, T., Zheng, H., He, J., Zhang, L.: Time-free solution to hamilton path problems using P systems with d-Division. J. Appl. Math. Article ID 975798, p. 7 (2013), doi:10.1155/2013/975798. ISSN 1110–757X

  23. Song, T., Macías-Ramos, L.F.M., Pan, L., Pérez-Jiménez, M.J.: Time-free solution to SAT problem using P systmes with active membranes. Theor. Comput. Sci. 529, 61–68 (2014)

    Article  MATH  Google Scholar 

  24. Song, T., Luo, L., He, J., Chen, Z., Zhang, K.: Solving subset sum problems by time-free spiking neural P systems. Appl. Math. Inf. Sci. 8(1), 327–332 (2014)

    Article  Google Scholar 

  25. Zhang, G., Cheng, J., Gheorghe, M., Meng, Q.: A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems. Appl. Soft Comput. 13(3), 1528–1542 (2013)

    Article  Google Scholar 

  26. Zhang, G., Gheorghe, M., Li, Y.: A membrane algorithm with quantum-inspired subalgorithms and its application to image processing. Natural Comput. 11(4), 701–717 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  27. Zhang, X., Liu, Y., Luo, B., Pan, L.: Computational power of tissue P systems for generating control languages. Inf. Sci. 278(10), 285–297 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  28. Song, T., Pan, L., Păun, G.: Asynchronous spiking neural P systems with local synchronization. Inf. Sci. 219, 197–207 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  29. Zhang, X., Pan, L., Păun, A.: On universality of axon P systems. IEEE Trans. Neural Netw. Learn. Syst. (2015). doi:10.1109/TNNLS.2015.2396940

  30. Zhang, X., Wang, B., Pan, L.: Spiking neural P systems with a generalized use of rules. Neural Comput. 26(12), 2925–2943 (2014)

    Article  MathSciNet  Google Scholar 

  31. Song, T., Pan, L.: Spiking neural P systems with rules on synapses working in maximum spiking strateg. IEEE Trans. NanoBiosci. 14(4), 465–477 (2015)

    Article  Google Scholar 

  32. Zhang, X., Zeng, X., Luo, B., Pan, L.: On some classes of sequential spiking neural P systems. Neural Comput. 26(5), 974–997 (2014)

    Article  MathSciNet  Google Scholar 

  33. Song, T., Pan, L., Wang, J., et al.: Normal forms of spiking neural P systems with anti-spikes. IEEE Trans. NanoBiosci. 11(4), 352–359 (2012)

    Article  Google Scholar 

Download references

Acknowledgment

This work was supported by the Fundamental Research Funds for the Central Universities (2652015340) and the National Natural Science Foundation of China (No.61502012, No.61373066).

Author information

Authors and Affiliations

  1. School of Information Engineering, China University of Geosciences in Beijing, Beijing, 100083, China

    Yunyun Niu

  2. Basic Department, China Institute of Industrial Relations, Beijing, 100048, China

    Zhigao Wang

  3. The Research Center of Logistics, Nankai University, Tianjin, 300071, China

    Jianhua Xiao

Authors
  1. Yunyun Niu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhigao Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jianhua Xiao
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jianhua Xiao .

Editor information

Editors and Affiliations

  1. Xidian University, Xi'an, China

    Maoguo Gong

  2. Huazhong Univ. of Science and Technology, Wuhan, China

    Pan Linqiang

  3. University of Petroleum, Qingdao, China

    Song Tao

  4. University of Science and Technology of China, Hefei, China

    Ke Tang

  5. Anhui University, Hefei, China

    Xingyi Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Niu, Y., Wang, Z., Xiao, J. (2015). A Uniform Solution for Vertex Cover Problem by Using Time-Free Tissue P Systems. In: Gong, M., Linqiang, P., Tao, S., Tang, K., Zhang, X. (eds) Bio-Inspired Computing -- Theories and Applications. BIC-TA 2015. Communications in Computer and Information Science, vol 562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49014-3_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-49014-3_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-49013-6

  • Online ISBN: 978-3-662-49014-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation