Solving a PSPACE-complete problem by recognizing P systems with restricted active membranes

Fundamenta Informaticae

Volumn 58, Issue 2, 2003, Pages 67-77

  Alhazov, Artiom ^a,c   Pan, Linqiang ^b,c   Martín Vide, Carlos ^c  

^a INSTITUTE OF MATHEMATICS AND COMPUTER SCIENCE   (Moldova)

^b HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^c UNIVERSITAT ROVIRA I VIRGILI   (Spain)

Author keywords

Membrane computing; P system; PSPACE complete problem; QBF SAT problem

Indexed keywords

MATHEMATICAL MODELS; NUMERICAL METHODS; PROBLEM SOLVING; THEOREM PROVING;

MEMBRANE COMPUTING; PARALLEL MOLECULAR COMPUTING MODELS;

PARALLEL PROCESSING SYSTEMS;

EID: 1642306974     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Balcazar, J. L., Diaz, J., Gabarro, J.: Structural Complexity II, Springer-Verlag, Berlin, 1991.
2. Emde-Boas, P. van: The second machine class: models of parallelism, in Parallel Computers and Computations (J. van Leeuwen, J.K. Lenstra and A.H.G. Rinnooy Kan, Eds.), CWI Syll., Centre for Mathematics and Computer Science, Amsterdam, 1985.
3. Pǎun, Gh.: Computing with membranes, Journal of Computer and System Sciences, 61(1), (2000), 108-143, and TUCS Research Report 208, 1998 (http://www.tucs.fi).
4. Pǎun, Gh.: P systems with active membranes: attacking NP-complete problems, Journal of Automata, Languages and Combinatorics, 6(1), 2001, 75-90.
5. Pǎun, Gh.: Membrane Computing: An Introduction, Springer, Berlin, 2002.
6. Pérez Jiménez, M. J., Romero Jiménez, A., Sancho Caparrini, F.: Complexity classes in models of cellular computing with membranes, Natural Computing, 2(3), (2003), 265-285.
7. Pérez Jiménez, M. J., Romero Jiménez, A., Sancho Caparrini, F.: Solving validity problem by active membranes with input, in Proceedings of the Brainstorming Week on Membrane Computing (M. Cavaliere, C. Martín-Vide, and Gh. Pǎun, Eds.), Report GRLMC 26/03, 2003, 270-278.
8. Sipser, M.: Introduction to the Theory of Computation, PWS Publishing Company, Boston, 1997.
9. Sosík, P.: The computational power of cell division in P systems: Beating down parallel computers?, Natural Computing, 2(3), 2003, 287-298.