From NP-Completeness to DP-Completeness: A Membrane Computing Perspective

3Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

Presumably efficient computing models are characterized by their capability to provide polynomial-time solutions for NP-complete problems. Given a class of recognizer membrane systems, denotes the set of decision problems solvable by families from in polynomial time and in a uniform way. PMC is closed under complement and under polynomial-time reduction. Therefore, if is a presumably efficient computing model of recognizer membrane systems, then NP ∪ co-NP ⫅ PMC. In this paper, the lower bound NP ∪ co-NP for the time complexity class PMC is improved for any presumably efficient computing model of recognizer membrane systems verifying some simple requirements. Specifically, it is shown that DP ∪ co-DP is a lower bound for such PMC, where DP is the class of differences of any two languages in NP. Since NP ∪ co-NP ⫅ DP ∩ co-DP, this lower bound for PMC delimits a thinner frontier than that with NP ∪ co-NP.

Cite

CITATION STYLE

APA

Valencia-Cabrera, L., Orellana-Martín, D., Martínez-Del-Amor, M., Pérez-Hurtado, I., & Pérez-Jiménez, M. J. (2020). From NP-Completeness to DP-Completeness: A Membrane Computing Perspective. Complexity, 2020. https://doi.org/10.1155/2020/6765097

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free