Tissue P systems with evolutional communication rules with two objects in the left-hand side

In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To find new borderlines between families of P systems that can solve them and the ones that cannot is an important task to tackle the P versus NP problem. Adding syntactic and/or sem...

Full description

Bibliographic Details
Authors: Orellana Martín, David, Valencia Cabrera, Luis, Song, Bosheng, Pan, Linqiang, Pérez Jiménez, Mario de Jesús
Format: article
Status:Published version
Publication Date:2022
Country:España
Institution:Universidad de Sevilla (US)
Repository:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/144124
Online Access:https://hdl.handle.net/11441/144124
https://doi.org/10.1007/s11047-022-09924-z
Access Level:Open access
Keyword:Membrane computing
Symport/antiport rules
The P versus NP problem
SAT problem
id ES_baf7ccd28f0e63fbca86a8f2056580c3
oai_identifier_str oai:idus.us.es:11441/144124
network_acronym_str ES
network_name_str España
repository_id_str
spelling Tissue P systems with evolutional communication rules with two objects in the left-hand sideOrellana Martín, DavidValencia Cabrera, LuisSong, BoshengPan, LinqiangPérez Jiménez, Mario de JesúsMembrane computingSymport/antiport rulesThe P versus NP problemSAT problemIn the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To find new borderlines between families of P systems that can solve them and the ones that cannot is an important task to tackle the P versus NP problem. Adding syntactic and/or semantic ingredients can mean passing from non-efficiency to presumed efficiency. Here, we try to get narrow frontiers, setting the stage to adapt efficient solutions from a family of P systems to another one. In order to do that, a solution to the SAT problem is given by means of a family of tissue P systems with evolutional symport/antiport rules and cell separation with the restriction that both the left-hand side and the righthand side of the rules have at most two objects; that is, with recognizer P systems from TSECð2; 2Þ. This result improves a previous one, when 3 objects could be used in the left-hand side of the evolutional communication rulesJunta de Andalucía P20_00486SpringerCiencias de la Computación e Inteligencia ArtificialJunta de Andalucía2022info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/11441/144124https://doi.org/10.1007/s11047-022-09924-zreponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)InglésNatural Computing, 22, 119-132.P20_00486https://link.springer.com/article/10.1007/s11047-022-09924-zinfo:eu-repo/semantics/openAccessoai:idus.us.es:11441/1441242026-06-17T12:51:07Z
dc.title.none.fl_str_mv Tissue P systems with evolutional communication rules with two objects in the left-hand side
title Tissue P systems with evolutional communication rules with two objects in the left-hand side
spellingShingle Tissue P systems with evolutional communication rules with two objects in the left-hand side
Orellana Martín, David
Membrane computing
Symport/antiport rules
The P versus NP problem
SAT problem
title_short Tissue P systems with evolutional communication rules with two objects in the left-hand side
title_full Tissue P systems with evolutional communication rules with two objects in the left-hand side
title_fullStr Tissue P systems with evolutional communication rules with two objects in the left-hand side
title_full_unstemmed Tissue P systems with evolutional communication rules with two objects in the left-hand side
title_sort Tissue P systems with evolutional communication rules with two objects in the left-hand side
dc.creator.none.fl_str_mv Orellana Martín, David
Valencia Cabrera, Luis
Song, Bosheng
Pan, Linqiang
Pérez Jiménez, Mario de Jesús
author Orellana Martín, David
author_facet Orellana Martín, David
Valencia Cabrera, Luis
Song, Bosheng
Pan, Linqiang
Pérez Jiménez, Mario de Jesús
author_role author
author2 Valencia Cabrera, Luis
Song, Bosheng
Pan, Linqiang
Pérez Jiménez, Mario de Jesús
author2_role author
author
author
author
dc.contributor.none.fl_str_mv Ciencias de la Computación e Inteligencia Artificial
Junta de Andalucía
dc.subject.none.fl_str_mv Membrane computing
Symport/antiport rules
The P versus NP problem
SAT problem
topic Membrane computing
Symport/antiport rules
The P versus NP problem
SAT problem
description In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To find new borderlines between families of P systems that can solve them and the ones that cannot is an important task to tackle the P versus NP problem. Adding syntactic and/or semantic ingredients can mean passing from non-efficiency to presumed efficiency. Here, we try to get narrow frontiers, setting the stage to adapt efficient solutions from a family of P systems to another one. In order to do that, a solution to the SAT problem is given by means of a family of tissue P systems with evolutional symport/antiport rules and cell separation with the restriction that both the left-hand side and the righthand side of the rules have at most two objects; that is, with recognizer P systems from TSECð2; 2Þ. This result improves a previous one, when 3 objects could be used in the left-hand side of the evolutional communication rules
publishDate 2022
dc.date.none.fl_str_mv 2022
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/11441/144124
https://doi.org/10.1007/s11047-022-09924-z
url https://hdl.handle.net/11441/144124
https://doi.org/10.1007/s11047-022-09924-z
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Natural Computing, 22, 119-132.
P20_00486
https://link.springer.com/article/10.1007/s11047-022-09924-z
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869417984246677504
score 15,300719

Similar Items