Solving HPP and SAT by P Systems with Active Membranes and Separation Rules

The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obtaining an exponential working space in a linear time, and on this basis solving hard problems, typically NP-complete problems, in polynomial (often, linear) time. In this paper, using another way to obtain exponential working space

• Type: Journal
• Year: 2006
• Where: ACTA
• Authors: Linqiang Pan, Artiom Alhazov
• Keywords: ACTA 2006, Exponential Working Space, Linear, Separation Rules