P Systems with Evolutional Communication and Division Rules

A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P systems are only capable of efficiently solving problems from the class P, adding one or more syntactic or semantic ingredients to these membrane systems can give them the ability...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Axioms Ročník 10; číslo 4; s. 327
Hlavní autoři: Orellana-Martín, David, Valencia-Cabrera, Luis, Pérez-Jiménez, Mario J.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Basel MDPI AG 01.12.2021
Témata:
Communication
Complexity theory
computational complexity theory
Efficiency
evolutional communication
Ingredients
membrane computing
Membranes
P vs. NP problem
Problem solving
symport/antiport
ISSN:2075-1680, 2075-1680
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P systems are only capable of efficiently solving problems from the class P, adding one or more syntactic or semantic ingredients to these membrane systems can give them the ability to efficiently solve presumably intractable problems. These ingredients are called to form a frontier of efficiency, in the sense that passing from the first type of P systems to the second type leads to passing from non-efficiency to the presumed efficiency. In this work, a solution to the SAT problem, a well-known NP-complete problem, is obtained by means of a family of recognizer P systems with evolutional symport/antiport rules of length at most (2,1) and division rules where the environment plays a passive role; that is, P systems from CDEC^(2,1). This result is comparable to the one obtained in the tissue-like counterpart, and gives a glance of a parallelism and the non-evolutionary membrane systems with symport/antiport rules.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2075-1680
2075-1680
DOI:10.3390/axioms10040327