P systems simulating oracle computations

  • Authors:
  • Antonio E. Porreca;Alberto Leporati;Giancarlo Mauri;Claudio Zandron

  • Affiliations:
  • Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milano, Italy;Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milano, Italy;Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milano, Italy;Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milano, Italy

  • Venue:
  • CMC'11 Proceedings of the 12th international conference on Membrane Computing
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show how existing P systems with active membranes can be used as modules inside a larger P system; this allows us to simulate subroutines or oracles. As an application of this construction, which is (in principle) quite general, we provide a new, improved lower bound to the complexity class PMC $_{\mathcal{AM}(-{\rm d},-{\rm n})}$ of problems solved by polynomial-time P systems with (restricted) elementary active membranes: this class is proved to contain PPP and hence, by Toda's theorem, the whole polynomial hierarchy.