Solving a PSPACE-complete problem with cP systems

Journal Publication ResearchOnline@JCU
Henderson, Alec;Nicolescu, Radu;Dinneen, Michael J.
Alec Henderson
Abstract

There have been a few NP-hard problems solved using cP systems including the travelling salesman problem. However, these problems are typically in NP rather than higher in the polynomial time hierarchy. In this paper, we solve QSAT (also known as TQBF), which is a well-known PSPACE-complete problem. Compared to other extant confluent P systems solutions, our deterministic cP solution only uses a small constant number of custom alphabet symbols (19), a small constant number of rules (10) and a small constant upper limit of membrane nesting depth (6), independent of the problem size.

Journal

Journal of Membrane Computing

Publication Name

N/A

Volume

2

ISBN/ISSN

2523-8914

Edition

N/A

Issue

4

Pages Count

12

Location

N/A

Publisher

Springer

Publisher Url

N/A

Publisher Location

N/A

Publish Date

N/A

Url

N/A

Date

N/A

EISSN

N/A

DOI

10.1007/s41965-020-00064-w