Further remark on P systems with active membranes and two polarizations

Authors:
Linqiang Pan;Carlos Martín-Vide
Affiliations:
Department of Control Science and Engineering, Huazhong University of Science and Technology, Wuhan 430074, People's Republic of China and Research Group on Mathematical Linguistics, Rovira i Virg ...;Research Group on Mathematical Linguistics, Rovira i Virgili University, Pl. Imperial Tàrraco 1, 43005 Tarragona, Spain
Venue:
Journal of Parallel and Distributed Computing
Year:
2006

Citing 4
Cited 1

Handbook of formal languages, vol. 3: beyond words

Handbook of formal languages, vol. 3: beyond words
Computing with membranes

Journal of Computer and System Sciences
Complexity classes in models of cellular computing with membranes

Natural Computing: an international journal
On the efficiency of p systems with active membranes and two polarizations

WMC'04 Proceedings of the 5th international conference on Membrane Computing

Time-free solution to SAT problem using P systems with active membranes

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type. In this paper, some restrictions on the general form of the developing rules are considered, under which it is still possible to solve NP-complete problems. We present an algorithm for deterministically deciding SAT in linear time by P systems with active membranes using two polarizations and rules of restricted versions of types (a), (c), (e). The result obtained in this paper answered an open problem proposed by Alhazov and Freund in the aspect of computing efficiency.