space complexity for p systems
DESCRIPTION
Seventh Brainstorming Week on Membrane Computing (BWMC 2009), Universidad de Sevilla, Spain, 2–6 February 2009TRANSCRIPT
![Page 1: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/1.jpg)
Space complexity for P systems
Antonio E. [email protected]
Dipartimento di Informatica, Sistemistica e ComunicazioneUniversita degli Studi di Milano-Bicocca, Italy
BWMC7 – February 5, 2009
![Page 2: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/2.jpg)
Size of a configuration (1)
Suppose we manage to build a real P system withactive membranes. How large is it?
DefinitionLet Π be a P system with active membranes. Thesize |C| of a configuration C of Π is the sum of thenumber of membranes and the total number ofobjects inside its regions.
![Page 3: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/3.jpg)
Size of a configuration (2)
. . . or maybe we just want to simulate P systemsin silico?
DefinitionLet Π be a P system with active membranes. Thesize |C| of a configuration C of Π is the sum of thenumber of membranes and the number of bitsrequired to store the number of objects inside eachregion.
![Page 4: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/4.jpg)
Size of a configuration (3)
ProblemWhich definition do we choose? Does our choicechange the theory in any important way, i.e. is thenumber of objects as important as the number ofmembranes?
![Page 5: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/5.jpg)
On the number of membranes and objects
I Let Π be a recogniser P system with activemembranes
I Let m be the maximum number of membranesin Π (considering all computations and allconfigurations)
I Let o be the maximum number of objectsinside Π
ProblemCan we always modify Π (without changing itsbehaviour) in such a way that o ≤ poly(m)?
![Page 6: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/6.jpg)
Size of a computation
Meanwhile, assume the first definition of “size of aconfiguration”.
DefinitionLet Π be a P system with active membranes, andlet ~C = (C0, . . . , Cn) be a halting computation of Π.
The size of ~C is defined as
|~C| = max{|C0|, . . . , |Cn|}
![Page 7: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/7.jpg)
Space bound for a P system
DefinitionLet Π be a (confluent or non-confluent) P systemwith active membranes such that every computationof Π halts. The size of Π is defined as
|Π| = max{|~C| : ~C is a computation of Π}
If |Π| ≤ n for some n ∈ N then Π is said to operatewithin space n.
![Page 8: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/8.jpg)
Space bound for a family of P systems
DefinitionLet Π = {Πx : x ∈ Σ?} be a polynomiallysemi-uniform family of recogniser P systems, and letf : N→ N. Then Π is said to operate within spacebound f iff |Πx | ≤ f (|x |) for each x ∈ Σ?.
![Page 9: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/9.jpg)
Space complexity classes
DefinitionLet D be a class of P systems (e.g. with activemembranes but without division rules), f : N→ Nand L ⊆ Σ?. Then L ∈ MCSPACE?
D(f ) iff L = L(Π)for some polynomially semi-uniform family Π ⊆ Dof confluent recogniser P systems operating withinspace bound f .
DefinitionThe corresponding class for non-confluentP systems is NMCSPACE?
D(f ).
![Page 10: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/10.jpg)
Abbreviations
Definition
PMCSPACE?D = MCSPACE?
D(poly)
NPMCSPACE?D = NMCSPACE?
D(poly)
EXPMCSPACE?D = MCSPACE?
D(2poly)
NEXPMCSPACE?D = NMCSPACE?
D(2poly)
. . . and so on.
![Page 11: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/11.jpg)
Preliminary results (1)
PropositionMCSPACE?
D(f ) ⊆ NMCSPACE?D(f ) for all
f : N→ N.
PMCSPACE?D ⊆ NPMCSPACE?
DEXPMCSPACE?
D ⊆ NEXPMCSPACE?D
PMCSPACE?D ⊆ EXPMCSPACE?
DNPMCSPACE?
D ⊆ NEXPMCSPACE?D
![Page 12: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/12.jpg)
Preliminary results (2)
PropositionPMCSPACE?
D, NPMCSPACE?D, EXPMCSPACE?
D andNEXPMCSPACE?
D are all closed under polytimereductions.
PropositionMCSPACE?
D(f ) is closed under complementation foreach f : N→ N.
![Page 13: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/13.jpg)
Preliminary results (3)
PropositionNPMC?
NAM ⊆ EXPMCSPACE?EAM.
Proof.NPMC?
NAM = NP and SAT ∈ EXPMCSPACE?EAM,
which is closed under polytime reductions.
![Page 14: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/14.jpg)
Problems (1)
ProblemPMCSPACE?
NAM = PMCSPACE?EAM =
PMCSPACE?AM.
Ideas.Can we resolve all membrane divisions atconstruction time (by precomputing the finalmembrane structure)?
What about “conditional” divisions and “cyclic”behaviour (divide → dissolve → divide → · · · )?
![Page 15: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/15.jpg)
Problems (2)
ProblemIs PMC?
NAM = PMCSPACE?NAM?
Is NPMC?NAM = NPMCSPACE?
NAM?
Idea.Maybe when the size of the P system is polynomialthere is no need to compute for a superpolynomialamount of time.
![Page 16: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/16.jpg)
Problems (3)
ProblemDoes any of the following hold?
PMC?EAM 6= PMCSPACE?
EAMPMC?
AM 6= PMCSPACE?AM
![Page 17: Space complexity for P systems](https://reader035.vdocuments.mx/reader035/viewer/2022080209/547c6a9db47959c5508b4685/html5/thumbnails/17.jpg)
Problems (4)
And, of course. . .
ProblemWhat are the relations between these newcomplexity classes and traditional ones like P, NP,PSPACE, EXP, EXPSPACE?