Uniform solution of QSAT using polarizationless active membranes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4664 LNCS, Issue , 2007, Pages 122-133

  Alhazov, Artiom ^a,b   Pérez Jiménez, Mario J ^c  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b INSTITUTE OF CHEMISTRY   (Moldova)

^c UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER SCIENCE; SYSTEMS ANALYSIS;

DETERMINISTIC POLARIZATIONLESS; MEMBRANE DIVISION; P SYSTEMS;

PROBLEM SOLVING;

EID: 37849032435     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74593-8_11     Document Type: Conference Paper

References (19)

1. Alhazov, A., Martín-Vide, C., Pan, L.: Solving a PSPACE-complete problem by P systems with restricted active membranes. FundamentaInformaticae 58(2), 67-77 (2003)
2. Alhazov, A., Martín-Vide, C., Pan, L.: Solving graph problems by P systems with restricted elementary active membranes. In: Jonoska, N., Pǎun, G., Rozenberg, G. (eds.) Aspects of Molecular Computing. LNCS, vol. 2950, pp. 1-22. Springer, Heidelberg (2003)
3. Alhazov, A., Pan, L., Pǎun, G.: Trading Polarizations for Labels in P Systems with Active Membranes. Acta Informaticae 41(2-3), 111-144 (2004)
4. Alhazov, A., Pérez-Jiménez, M.J.: Uniform Solution to QSAT Using Polarizationless Active Membranes. In: Gutiérrez-Naranjo, M.A., Pǎun, G., Riscos-Núñez, A., Romero-Campero, F.J. (eds.) Fourth Brainstorming Week on Membrane Computing, Sevilla, vol. I, pp. 29-40. Fénix Editora (2006)
5. Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A fast P system for finding a balanced 2-partition. Soft Computing 9(9), 673-678 (2005)
6. 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)
7. Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Riscos-Núñez, A., Romero-Campero, F.J.: P systems with active membranes, without polarizations and without dissolution: A characterization of P. In: Calude, C.S., Dinneen, M.J., Pǎun, G., Pérez- Jiménez, M.J., Rozenberg, G. (eds.) UC 2005. LNCS, vol. 3699, pp. 105-116. Springer, Heidelberg (2005)
8. Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1995)
9. Pǎun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108-143 (2000)
10. Pǎun, G.: P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics 6(1), 75-90 (2001)
11. Pǎun, G., Suzuki, Y., Tanaka, H., Yokomori, T.: On the power of membrane division in P systems. Theoretical Computer Science 324(1), 61-85 (2004)
12. Pérez-Jiménez, M.J.: An approach to computational complexity in Membrane Computing. In: Mauri, G., Pǎun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 85-109. Springer, Heidelberg (2005)
13. Pérez-Jiménez, M.J., Riscos-Núñez, A.: Solving the Subset-Sum problem by active membranes. New Generation Computing 23(4), 367-384 (2005)
14. Pérez-Jiménez, M.J., Riscos-Núñez, A.: A linear-time solution to the Knapsack problem using P systems with active membranes. In: Martin-Vide, C., Mauri, G., Pǎun, C., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing. LNCS, vol. 2933, pp. 250-268. Springer, Heidelberg (2004)
15. Pérez-Jiménez, M.J., Romero-Campero, F.J.: Solving the Bin Packing problem by recognizer P systems with active membranes. In: Pǎun, G., Riscos-Núñez, A., Romero-Jiménez, A., Sancho-Caparrini, F. (eds.) Proceedings of the Second Brain-storming Week on Membrane Computing, (Report RGNC 01/04, University of Seville) pp. 414-430 (2004)
16. Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F.: A polynomial complexity class in P systems using membrane division. In: Proceedings of the 5th Workshop on Descriptional Complexity of Formal Systems, DCFS 2003, Budapest. Computer and Automation Research Institute of the Hungarian Academy of Sciences, pp. 284-294 (2003)
17. Pérez-Jiménez, M.J., Romero-Jiménez, A., Sancho-Caparrini, F.: Complexity classes in cellular computing with membranes. Natural Computing 2(3), 265-285 (2003)
18. Pérez-Jiménez, M.J., Romero-Campero, F.J.: Attacking the Common Algorithmic Problem by recognizer P systems. In: Margenstern, M. (ed.) MCU 2004. LNCS, vol. 3354, pp. 304-315. Springer, Heidelberg (2005)
19. Sosík, P.: The computational power of cell division. Natural Computing 2(3), 287-298 (2003)