A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors

作者：Manea Florin; Margenstern Maurice; Mitrana Victor^*; Perez Jimenez Mario J

来源：Theory of Computing Systems, 2010, 46(2): 174-192.

DOI：10.1007/s00224-008-9124-z

• Evolution strategies
• Evolutionary processor
• Network of evolutionary processors
• Turing machine
• Computational complexity classes

We consider three complexity classes defined on Accepting Hybrid Networks of Evolutionary Processors (AHNEP) and compare them with the classical complexity classes defined on the standard computing model of Turing machine. By definition, AHNEPs are deterministic. We prove that the classical complexity class NP equals the family of languages decided by AHNEPs in polynomial time. A language is in P if and only if it is decided by an AHNEP in polynomial time and space. We also show that PSPACE equals the family of languages decided by AHNEPs in polynomial length.

• 出版日期2010-2