Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2017, Article ID 1567378, 8 pages
https://doi.org/10.1155/2017/1567378
Research Article

Time-Free Solution to SAT Problem by Tissue P Systems

1College of Computer Science, Chongqing University, Chongqing 400030, China
2College of Computer Engineering, Yangtze Normal University, Chongqing 408100, China

Correspondence should be addressed to Yueguo Luo; nc.ude.uqc@oulgy

Received 15 December 2016; Revised 15 January 2017; Accepted 19 January 2017; Published 23 February 2017

Academic Editor: Nicolas Hudon

Copyright © 2017 Yueguo Luo et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. M. Davis and H. Putnam, “A computing procedure for quantification theory,” Journal of the ACM, vol. 7, no. 3, pp. 201–215, 1960. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  2. S. He and B. Zhang, “Solving SAT by algorithm transform of Wu's method,” Journal of Computer Science & Technology, vol. 14, no. 5, pp. 468–480, 1999. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  3. G. Păun, “Computing with membranes,” Journal of Computer and System Sciences, vol. 61, no. 1, pp. 108–143, 2000. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  4. M. A. Gutierrez-Naranjo, M. J. Pérez-Jiménez, and F. J. Romero-Campero, “A uniform solution to SAT using membrane creation,” Theoretical Computer Science, vol. 371, no. 1-2, pp. 54–61, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  5. G. Păun, Y. Suzuki, H. Tanaka, and T. Yokomori, “On the power of membrane division in P systems,” Theoretical Computer Science, vol. 324, no. 1, pp. 61–85, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  6. Z. Gazdag and G. Kolonits, “A new approach for solving SAT by p systems with active membranes,” in Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28–31, 2012, Revised Selected Papers, vol. 7762 of Lecture Notes in Computer Science, pp. 195–207, Springer, Berlin, Germany, 2013. View at Publisher · View at Google Scholar
  7. M. J. Pérez-Jiménez and P. Sosík, “An optimal frontier of the efficiency of tissue P systems with cell separation,” Fundamenta Informaticae, vol. 138, no. 1-2, pp. 45–60, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  8. P. Guo, J. Ji, H. Chen, and R. Liu, “Solving all-SAT problems by P systems,” Chinese Journal of Electronics, vol. 24, no. 4, pp. 744–749, 2015. View at Publisher · View at Google Scholar · View at Scopus
  9. L. Pan and M. J. Pérez-Jiménez, “Computational complexity of tissue-like P systems,” Journal of Complexity, vol. 26, no. 3, pp. 296–315, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  10. A. E. Porreca, G. Mauri, and C. Zandron, “Non-confluence in divisionless P systems with active membranes,” Theoretical Computer Science, vol. 411, no. 6, pp. 878–887, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  11. D. Díaz-Pernil, M. A. Gutiérrez-Naranjo, M. J. Pérez-Jiménez, and A. Riscos-Núñez, “A uniform family of tissue P systems with cell division solving 3-COL in a linear time,” Theoretical Computer Science, vol. 404, no. 1-2, pp. 76–87, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  12. P. Guo, Y. Dai, and H. Chen, “A P system for Hamiltonian cycle problem,” Optik, vol. 127, no. 20, pp. 8461–8468, 2016. View at Publisher · View at Google Scholar · View at Scopus
  13. F. Bernardini and M. Gheorghe, “Cell communication in tissue P systems: universality results,” Soft Computing, vol. 9, no. 9, pp. 640–649, 2005. View at Publisher · View at Google Scholar · View at Scopus
  14. B. Song, C. Zhang, and L. Pan, “Tissue-like P systems with evolutional symport/antiport rules,” Information Sciences, vol. 378, pp. 177–193, 2017. View at Publisher · View at Google Scholar · View at MathSciNet
  15. B. Song, L. Pan, and M. J. Perez-Jimenez, “Cell-like P systems with channel states and symport/antiport rules,” IEEE Transactions on NanoBioscience, vol. 15, no. 6, pp. 555–566, 2016. View at Publisher · View at Google Scholar
  16. G. Păun, M. J. Pérez-Jiménez, and A. Riscos-Núñez, “Tissue P systems with cell division,” International Journal of Computers, Communications and Control, vol. 3, no. 3, pp. 295–303, 2008. View at Publisher · View at Google Scholar · View at Scopus
  17. M. Cavaliere and D. Sburlan, “Time—independent P systems,” in Membrane Computing, Lecture Notes in Computer Science, pp. 239–258, Springer, 2005. View at Google Scholar
  18. M. Gheorghe, G. Păun, M. J. Pérez-Jiménez, and G. Rozenberg, “Research frontiers of membrane computing: open problems and research topics,” International Journal of Foundations of Computer Science, vol. 24, no. 5, pp. 547–623, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  19. B. Song and L. Pan, “Computational efficiency and universality of timed P systems with active membranes,” Theoretical Computer Science, vol. 567, pp. 74–86, 2015. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  20. B. Song, T. Song, and L. Pan, “Time-free solution to SAT problem by P systems with active membranes and standard cell division rules,” Natural Computing, vol. 14, no. 4, pp. 673–681, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  21. B. Song, T. Song, and L. Pan, “A time-free uniform solution to subset sum problem by tissue P systems with cell division,” Mathematical Structures in Computer Science, vol. 27, no. 1, pp. 17–32, 2017. View at Publisher · View at Google Scholar · View at Scopus
  22. Y. Niu, Y. Jiang, and J. Xiao, “Time-free solution to 3-coloring problem using tissue P systems,” Chinese Journal of Electronics, vol. 25, no. 3, pp. 407–412, 2016. View at Publisher · View at Google Scholar
  23. X. Zeng, N. Ding, F. Xing, and X. Liu, “Time-free tissue P systems for solving the hamilton path problem,” Communications in Computer & Information Science, vol. 472, pp. 562–565, 2014. View at Publisher · View at Google Scholar · View at Scopus