A protocol for solutions to DP-complete problems through tissue membrane systems
Considering a class R comprising recognizer membrane systems with the capability of providing polynomial-time and uniform solutions for NP-complete problems (referred to as a “presumably efficient” class), the corresponding polynomial-time complexity class PMCR encompasses both the NP and co NP clas...
| Autores: | , , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2023 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/166046 |
| Acceso en línea: | https://hdl.handle.net/11441/166046 https://doi.org/10.3390/math11132797 |
| Access Level: | acceso abierto |
| Palabra clave: | Complexity class DP Membrane computing Tissue P systems |
| Sumario: | Considering a class R comprising recognizer membrane systems with the capability of providing polynomial-time and uniform solutions for NP-complete problems (referred to as a “presumably efficient” class), the corresponding polynomial-time complexity class PMCR encompasses both the NP and co NP classes. Specifically, when R represents the class of recognizer presumably efficient cell-like P systems that incorporate object evolution rules, communication rules, and dissolution rules, PMCR includes both the DP and co DP classes. Here, DP signifies the class of languages that can be expressed as the difference between any two languages in NP (it is worth noting that NP DP and co NP co DP). As DP-complete problems are believed to be more complex than NP-complete problems, they serve as promising candidates for studying the P vs NP problem. This outcome has previously been established within the realm of recognizer P systems with active membranes. In this paper, we extend this result to encompass any class R of presumably efficient recognizer tissue-like membrane systems by presenting a detailed protocol for transforming solutions of NP-complete problems into solutions of DP-complete problems. |
|---|