scispace - formally typeset
Search or ask a question
Book ChapterDOI

A Characterisation of NL Using Membrane Systems without Charges and Dissolution

25 Aug 2008-pp 164-176
TL;DR: It turns out that the computational power of some systems is lowered from P to NL, so it seems that the tighter uniformities are more reasonable for these systems.
Abstract: We apply techniques from complexity theory to a model of biological cellular membranes known as membrane systems or P-systems. Like circuits, membrane systems are defined as uniform families. To date, polynomial time uniformity has been the accepted uniformity notion for membrane systems. Here, we introduce the idea of using AC 0and L -uniformities and investigate the computational power of membrane systems under these tighter conditions. It turns out that the computational power of some systems is lowered from P to NL , so it seems that our tighter uniformities are more reasonable for these systems. Interestingly, other systems that are known to be lower bounded by P are shown to retain their computational power under the new uniformity conditions. Similarly, a number of membrane systems that are lower bounded by PSPACE retain their power under the new uniformity conditions.

Summary (2 min read)

1 Introduction

  • Membrane systems [12] are a model of computation inspired by living cells.
  • In the active membrane model it is also possible for a membrane to completely dissolve, and for a membrane to divide into two child membranes.
  • The authors also show that the PSPACE lower and upper bounds mentioned above still hold under these restricted uniformity conditions.
  • So far the authors have shown that four models, that characterise P when polynomial time uniformity is used, actually only characterise NL when restricted to be AC0 uniform.
  • Interestingly, the authors also show that two other polynomial time uniform membrane system that are known [9] to be lower bounded by P actually retain this P lower bound when restricted to be AC0 uniform.

2 Membrane Systems

  • In this section the authors define membrane systems and complexity classes.
  • The authors also introduce the notion of AC0 uniformity for membrane systems.

2.1 Recogniser membrane systems

  • Active membranes systems are membrane systems with membrane division rules.
  • Division rules can either only act on elementary membranes, or else on both elementary and non-elementary membranes.
  • These rules are applied according to the following principles: – All the rules are applied in maximally parallel manner.
  • The result of the computation (a solution to the instance) is “yes” if a distinguished object yes is expelled during the computation, otherwise the result is “no”.
  • Therefore, the following interpretation holds: given a fixed initial configuration, a confluent membrane system nondeterministically chooses one from a number of valid configuration sequences, but all of them must lead to the same result.

2.2 Complexity classes

  • Here the authors introduce the notion of AC0 uniformity to membrane systems.
  • Previous work on the computational complexity of membrane systems used (Turing machine) polynomial time uniformity [14].
  • – Each ΠX(n) is confluent: all computations of ΠX(n) with the same input x of size n give the same result; either always “yes” or else always “no”.
  • The authors denote by AM0+ne the classes of membrane systems with active membranes, and both non-elementary and elementary membrane division and no charges.
  • The authors now show that the use of AC0 uniformity does not change this lower bound.

3 NL Upper bound on active membranes without dissolution rules

  • Previously the upper bound on all active membrane systems without dissolution was P [5].
  • The authors give an overview rather than the full details.
  • The authors make the observation that the graph GΠ can be constructed in deterministic logspace, and even in AC0.
  • Since the authors have shown that the problem of simulating a membrane system without charges and without dissolution can be encoded as an NL-complete problem they have proved Theorem 1.

4 NL lower bound for semi-uniform active membranes without dissolution

  • The algorithm works by having each edge in the problem instance graph represented as a membrane.
  • The initial multisets are all empty except Mcount = {c2n+1}.
  • The authors also have a counter that counts down in parallel with the above steps.
  • Note that the authors encode the edges of the graph as membranes, rather than objects.
  • In the membrane computing framework, for uniform membrane systems, inputs must be specified as objects.

4.1 PARITY lower bound for uniform active membranes without dissolution

  • The previous proof gave a lower bound for a semi-uniform membrane system.
  • The authors show that PARITY ∈ PMCAM0−d,+u by providing an AC0 uniform membrane system that can solve instances of the problem.
  • PARITYis the problem of telling whether the number of 1 symbols in the input word is odd.
  • A type (a) rule is created mapping every even object with i “1” symbols to the odd object with i− 1 “1” symbols in it.
  • The AC0 uniformity machine (a CRAM) rearranges the input word w by moving all 1 symbols to the left and all 0 symbols to the right, to give w′.

5 P lower bound on uniform families of active membrane systems with dissolving rules

  • In this section the authors show that does not happen for all models with at least P power.
  • Naturally this result also holds for the semi-uniform case.
  • The resulting membrane system directly solves the instance of CVP in polynomial time.
  • The authors simulate multiple fanouts by outputting multiple copies of the resulting truth value of each gate.
  • The output of a gate moves up through the layers of the membrane system until it reaches the correct gate according to its tag.

Did you find this useful? Give us your feedback

Content maybe subject to copyright    Report

A characterisation of NL using membrane
systems without charges and dissolution
Niall Murphy, Damien Woods
Technical Report
NUIM-CS-TR-2008-01
Department of Computer Science
National University of Ireland, Maynooth
Ireland

A characterisation of NL using membrane
systems without charges and dissolution
Niall Murphy
1
and Damien Woods
2
1
Department of Computer Science, National University of Ireland, Maynooth,
Ireland
nmurphy@cs.nuim.ie
2
Department of Computer Science, University College Cork, Ireland
d.woods@cs.ucc.ie
Abstract. We apply techniques from complexity theory to a model of
biological cellular membranes known as membrane systems or P-systems.
Like circuits, membrane systems are defined as uniform families. To
date, polynomial time uniformity was the accepted uniformity notion
for membrane systems. Here, we introduce the idea of using AC
0
and L
uniformities and investigate the computational power of membrane sys-
tems under these tighter conditions. It turns out that the computational
power of some systems is lowered from P to NL, so it seems that our
tighter uniformities are more reasonable for these systems. Interestingly,
other systems that are known to be lower bounded by P are shown to
retain their computational power under the new uniformity conditions.
Similarly, a number of membrane systems that are lower bounded by
PSPACE retain their power under the new uniformity conditions.
1 Introduction
Membrane systems [12] are a model of computation inspired by living cells.
In this paper we explore the computational power of cell division (mitosis) and
dissolution (apoptosis) by investigating a variant of the model called active mem-
branes [11]. An instance of the model consists of a number of (possibly nested)
membranes, or compartments, which themselves contain objects. During a com-
putation, the objects, depending on the compartment they are in, become other
objects or pass through membranes. In the active membrane model it is also
possible for a membrane to completely dissolve, and for a membrane to divide
into two child membranes.
This membrane model can be regarded as a model of parallel computation
but it has a number of features that make it somewhat unusual when compared
to other parallel models. For example, object interactions are nondeterministic
so confluence plays an important role, membranes contain multisets of objects,
there are many parameters to the model, etc. In order to clearly see the power
of the model we analyse it from the computational complexity point of view, the
goal being to characterise the model in terms of the set of problems that it can
solve in reasonable time.

Another, more specific, motivation is the so-called P-conjecture [13] which
states that recogniser membranes systems with division rules (active membranes),
but without charges, characterise P. On the one hand, it was shown that this
conjecture does not hold for systems with non-elementary division as PSPACE
upper [16] and lower [1] bounds were found for this variant (non-elementary di-
vision is where a membrane containing multiple membranes and objects may be
copied in a single timestep). On the other hand, the P-conjecture was shown to
hold for all active membrane systems without dissolution rules, when Guti´errez-
Naranjo et al. [5] gave a P upper bound. The corresponding P lower bound
(trivially) came from the fact that the model is defined to be P-uniform.
However, here we argue that the aforementioned P lower bound highlights a
problem with using P uniformity, as it does not tell us whether this membrane
model itself has (in some sense) the ability to solve all of P in polynomial time,
or if the uniformity condition is providing the power. In this paper we show that
in fact when we use weaker, and more reasonable, uniformity conditions the
model does not have the ability to solve all problems in P (assuming P 6= NL).
We find that with either AC
0
or L uniformity the model characterises NL in
the semi-uniform case, and we give an NL upper bound for the uniform case.
We also show that the PSPACE lower and upper bounds mentioned above still
hold under these restricted uniformity conditions.
Using the notation of membrane systems (to be defined later) our upper
bound on L-uniform and L-semi-uniform membrane systems can be stated as
follows.
Theorem 1. PMC
AM
0
d
NL
Essentially this theorem states that polynomial time active membrane systems,
without dissolution rules, solve no more than those problems in NL. Despite
the fact that these systems run for polynomial time (and can even create expo-
nentially many objects), they can not solve all of P (assuming NL 6= P). This
result is illustrated by the bottom four nodes in Figure 1.
The upper bound in Theorem 1 is found by showing that the construction
in [5] can be reduced to an instance of the NL-complete problem s-t-connectivity
(STCON). The full proof appears in Section 3. Next we give a corresponding
lower bound.
Theorem 2. NL PMC
AM
0
d,u
To show this lower bound we provide an AC
0
-semi-uniform membrane family
that solves STCON. The full proof is in Section 4 and the result is illustrated
by the bottom left two nodes in Figure 1. Therefore, in the semi-uniform case
we have a characterisation of NL.
Corollary 1. NL = PMC
AM
0
d,u
We have not yet shown an analogous lower bound result for uniform families. To
date our best lower bound is PARITY, which is known not to be in AC
0
[4].
We describe this in Section 4.1.

NL
PSPACE
P
PSPACE
P
NL
PARITY
NL
NL
PARITY
PSPACE PSPACE
-d, -ne, -u
+d, -ne, -u +d, -ne, +u
-d, -ne, +u
-d, +ne, -u -d, +ne, +u
+d, +ne, -u +d, +ne, +u
Fig. 1. An inclusion diagram showing the currently known upper and lower bounds
on the variations of the model. The top part of a node represents the best known
upper bounds, and the lower part the best known lower bounds. An undivided node
represents a characterisation.
So far we have shown that four models, that characterise P when polynomial
time uniformity is used, actually only characterise NL when restricted to be AC
0
uniform. Interestingly, we also show that two other polynomial time uniform
membrane system that are known [9] to be lower bounded by P actually retain
this P lower bound when restricted to be AC
0
uniform. This result is stated as
a P lower bound on membrane systems with dissolution:
Theorem 3. P PMC
AM
0
+d,+u
The proof appears in Section 5 and is illustrated by the top front two nodes in
Figure 1.
In Section 2.3 we observe that the known PSPACE upper and lower bounds
(top four nodes in Figure 1) remain unchanged under AC
0
uniformity conditions.
2 Membrane Systems
In this section we define membrane systems and complexity classes. These def-
initions are from aun [11, 12], and Sos´ık and Rodr´ıguez-Pat´on [16]. We also
introduce the notion of AC
0
uniformity for membrane systems.
2.1 Recogniser membrane systems
Active membranes systems are membrane systems with membrane division rules.
Division rules can either only act on elementary membranes, or else on both
elementary and non-elementary membranes. An elementary membrane is one
which does not contain other membranes (a leaf node, in tree terminology).

Definition 1. An active membrane system without charges is a tuple Π =
(O, H, µ, w
1
, . . . , w
m
, R) where,
1. m > 1 is the initial number of membranes;
2. O is the alphabet of objects;
3. H is the finite set of labels for the membranes;
4. µ is a membrane structure, consisting of m membranes, labelled with ele-
ments of H;
5. w
1
, . . . , w
m
are strings over O, describing the multisets of objects placed in
the m regions of µ.
6. R is a finite set of developmental rules, of the following forms:
(a) [ a v ]
h
,
for h H, a O, v O
(b) a[
h
]
h
[
h
b ]
h
,
for h H, a, b O
(c) [
h
a ]
h
[
h
]
h
b,
for h H, a, b O
(d) [
h
a ]
h
b,
for h H, a, b O
(e) [
h
a ]
h
[
h
b ]
h
[
h
c ]
h
,
for h H, a, b, c O.
(f) [
h
o
[
h
1
]
h
1
[
h
2
]
h
2
[
h
3
]
h
3
]
h
0
[
h
0
[
h
1
]
h
1
[
h
3
]
h
3
]
h
0
[
h
0
[
h
2
]
h
2
[
h
3
]
h
3
]
h
0
,
for h
0
, h
1
, h
2
, h
3
H.
These rules are applied according to the following principles:
All the rules are applied in maximally parallel manner. That is, in one step,
one object of a membrane is used by at most one rule (chosen in a non-
deterministic way), but any object which can evolve by one rule of any form,
must evolve.
If at the same time a membrane labelled with h is divided by a rule of type
(e) or (f) and there are objects in this membrane which evolve by means
of rules of type (a), then we suppose that first the evolution rules of type
(a) are used, and then the division is produced. This process takes only one
step.
The rules associated with membranes labelled with h are used for membranes
with that label. At one step, a membrane can be the subject of only one rule
of types (b)-(f).
In this paper we study the language recognising variant of membrane systems
that solves decision problems. A distinguished region contains, at the beginning
of the computation, an input a description of an instance of a problem. The
result of the computation (a solution to the instance) is “yes” if a distinguished
object yes is expelled during the computation, otherwise the result is “no”. Such
a membrane system is called deterministic if for each input a unique sequence of
configurations exists. A membrane system is called confluent if it always halts
and, starting from the same initial configuration, it always gives the same re-
sult, either always “yes” or always “no”. Therefore, the following interpretation

Citations
More filters
Journal ArticleDOI
01 Dec 2019
TL;DR: A new approach is given based on the concept of object division polynomials introduced in this paper to simulate certain computations of polarizationless P systems with active membranes and how to compute efficiently the result of these computations using these polynmials.
Abstract: According to the P conjecture by Gh. Paun, polarizationless P systems with active membranes cannot solve $${\mathbf {NP}}$$-complete problems in polynomial time. The conjecture is proved only in special cases yet. In this paper we consider the case where only elementary membrane division and dissolution rules are used and the initial membrane structure consists of one elementary membrane besides the skin membrane. We give a new approach based on the concept of object division polynomials introduced in this paper to simulate certain computations of these P systems. Moreover, we show how to compute efficiently the result of these computations using these polynomials.

17 citations


Cites background from "A Characterisation of NL Using Memb..."

  • ...It is also widely investigated how certain restrictions on P systems with active membrane affect the computation power of these systems (see for example [6, 8, 9, 11, 13, 14, 16, 17, 19, 20, 25])....

    [...]

Book ChapterDOI
03 Sep 2009
TL;DR: Even though systems with dissolution, elementary division and where each membrane initially has at most one child membrane may create exponentially many membranes, it is shown that their power is upperbounded by P.
Abstract: Membrane systems with dividing and dissolving membranes are known to solve PSPACE problems in polynomial time. However, we give a P upperbound on an important restriction of such systems. In particular we examine systems with dissolution, elementary division and where each membrane initially has at most one child membrane. Even though such systems may create exponentially many membranes, each with different contents, we show that their power is upperbounded by P.

14 citations


Cites background from "A Characterisation of NL Using Memb..."

  • ...AC or L), then we conjecture that a P lowerbound can be found by improving a result in [6]....

    [...]

  • ...What is the lowerbound on the power of the systems that we consider? If P uniformity is used, then we get a trivial P lowerbound [6]....

    [...]

  • ...Given a (properly encoded) set of rules for a membrane system Π, the dependency graph GΠ is created in logspace [6]....

    [...]

Journal ArticleDOI
TL;DR: This work gives analogous results for membrane systems by showing that certain classes of uniform membrane systems are strictly weaker than the analogous semi-uniform classes, which solves a known open problem in the theory of membrane systems.
Abstract: We investigate computing models that are presented as families of finite computing devices with a uniformity condition on the entire family Examples of such models include Boolean circuits, membrane systems, DNA computers, chemical reaction networks and tile assembly systems, and there are many others However, in such models there are actually two distinct kinds of uniformity condition The first is the most common and well-understood, where each input length is mapped to a single computing device (eg a Boolean circuit) that computes on the finite set of inputs of that length The second, called semi-uniformity, is where each input is mapped to a computing device for that input (eg a circuit with the input encoded as constants) The former notion is well-known and used in Boolean circuit complexity, while the latter notion is frequently found in literature on nature-inspired computation from the past 20 years or so Are these two notions distinct? For many models it has been found that these notions are in fact the same, in the sense that the choice of uniformity or semi-uniformity leads to characterisations of the same complexity classes In other related work, we showed that these notions are actually distinct for certain classes of Boolean circuits Here, we give analogous results for membrane systems by showing that certain classes of uniform membrane systems are strictly weaker than the analogous semi-uniform classes This solves a known open problem in the theory of membrane systems We then go on to present results towards characterising the power of these semi-uniform and uniform membrane models in terms of NL and languages reducible to the unary languages in NL, respectively

10 citations


Cites background from "A Characterisation of NL Using Memb..."

  • ...In this paper and others [33, 34, 35, 36, 37], we have put forward the idea of exploring the power of membrane systems under tight uniformity conditions....

    [...]

Journal ArticleDOI
TL;DR: It is demonstrated that two particular acceptance conditions (one easier to program, the other easier to prove correctness) both characterise the same complexity class, NL, and by restricting the acceptance conditions, by obtaining a characterisation of L.
Abstract: In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution We demonstrate that two particular acceptance conditions (one easier to program, the other easier to prove correctness) both characterise the same complexity class, NL We also find that by restricting the acceptance conditions we obtain a characterisation of L We obtain these results by investigating the connectivity properties of dependency graphs that model membrane system computations

7 citations

Journal ArticleDOI
TL;DR: In this article, it was shown that certain classes of uniform membrane systems are strictly weaker than the analogous semi-uniform classes, and the power of these semiautomain and uniform membrane models in terms of NL and languages reducible to the unary languages in NL, respectively.
Abstract: We investigate computing models that are presented as families of finite computing devices with a uniformity condition on the entire family. Examples of such models include Boolean circuits, membrane systems, DNA computers, chemical reaction networks and tile assembly systems, and there are many others. However, in such models there are actually two distinct kinds of uniformity condition. The first is the most common and well-understood, where each input length is mapped to a single computing device (e.g. a Boolean circuit) that computes on the finite set of inputs of that length. The second, called semi-uniformity, is where each input is mapped to a computing device for that input (e.g. a circuit with the input encoded as constants). The former notion is well-known and used in Boolean circuit complexity, while the latter notion is frequently found in literature on nature-inspired computation from the past 20 years or so. Are these two notions distinct? For many models it has been found that these notions are in fact the same, in the sense that the choice of uniformity or semi-uniformity leads to characterisations of the same complexity classes. In other related work, we showed that these notions are actually distinct for certain classes of Boolean circuits. Here, we give analogous results for membrane systems by showing that certain classes of uniform membrane systems are strictly weaker than the analogous semi-uniform classes. This solves a known open problem in the theory of membrane systems. We then go on to present results towards characterising the power of these semi-uniform and uniform membrane models in terms of NL and languages reducible to the unary languages in NL, respectively.

6 citations

References
More filters
Book ChapterDOI
02 Jan 1991
TL;DR: In this paper, the authors discuss parallel algorithms for shared-memory machines and discuss the theoretical foundations of parallel algorithms and parallel architectures, and present a theoretical analysis of the appropriate logical organization of a massively parallel computer.
Abstract: Publisher Summary This chapter discusses parallel algorithms for shared-memory machines. Parallel computation is rapidly becoming a dominant theme in all areas of computer science and its applications. It is estimated that, within a decade, virtually all developments in computer architecture, systems programming, computer applications and the design of algorithms will be taking place within the context of parallel computation. In preparation for this revolution, theoretical computer scientists have begun to develop a body of theory centered on parallel algorithms and parallel architectures. As there is no consensus yet on the appropriate logical organization of a massively parallel computer, and as the speed of parallel algorithms is constrained as much by limits on interprocessor communication as it is by purely computational issues, it is not surprising that a variety of abstract models of parallel computation have been pursued. Closest to the hardware level are the VLSI models, which focus on the technological limits of today's chips, in which gates and wires are packed into a small number of planar layers.

812 citations

Book
01 Jan 1988
TL;DR: This volume is written for undergraduate students who have taken a first course in Formal Language Theory and presents the basic concepts of structural complexity, thus providing the background necessary for the understanding of complexity theory.
Abstract: This is the first volume of a systematic two-volume presentation of the various areas of research on structural complexity. The theory of algorithmic complexity, a part of the mathematical theory of computation, can be approached from several points of view, one of which is the structural one. This volume is written for undergraduate students who have taken a first course in Formal Language Theory. It presents the basic concepts of structural complexity, thus providing the background necessary for the understanding of complexity theory. The second corrected edition has been extended by an appendix with recent results on nondeterministic space classes and updated with regard to the bibliographical remarks and the references.

811 citations

Proceedings ArticleDOI
28 Oct 1981
TL;DR: A super-polynomial lower bound is given for the size of circuits of fixed depth computing the parity function and connections are given to the theory of programmable logic arrays and to the relativization of the polynomial-time hierarchy.
Abstract: A super-polynomial lower bound is given for the size of circuits of fixed depth computing the parity function. Introducing the notion of polynomial-size, constant-depth reduction, similar results are shown for the majority, multiplication, and transitive closure functions. Connections are given to the theory of programmable logic arrays and to the relativization of the polynomial-time hierarchy.

718 citations


"A Characterisation of NL Using Memb..." refers background in this paper

  • ...This problem is known [5] to be outside of AC, and so AC would be a reasonable uniformity condition in this case....

    [...]

Journal ArticleDOI
TL;DR: It is shown that Immerman's families of circuits defined by first-order formulas and a uniformity corresponding to Buss' deterministic log-time reductions are equivalent, leading to a natural notion of uniformity for low-level circuit complexity classes.

536 citations


"A Characterisation of NL Using Memb..." refers background in this paper

  • ...AC circuits are DLOGTIME-uniform, polynomial sized (in input length n), constant depth, circuits with AND, OR, and NOT gates, and unbounded fanin [4]....

    [...]

Book
06 Apr 1995
TL;DR: In providing an up-to-date survey of parallel computing research from 1994, Topics in Parallel Computing will prove invaluable to researchers and professionals with an interest in the super computers of the future.
Abstract: This volume provides an ideal introduction to key topics in parallel computing. With its cogent overview of the essentials of the subject as well as lists of P -complete- and open problems, extensive remarks corresponding to each problem, a thorough index, and extensive references, the book will prove invaluable to programmers stuck on problems that are particularly difficult to parallelize. In providing an up-to-date survey of parallel computing research from 1994, Topics in Parallel Computing will prove invaluable to researchers and professionals with an interest in the super computers of the future.

533 citations

Frequently Asked Questions (1)
Q1. What are the contributions in "A characterisation of nl using membrane systems without charges and dissolution" ?

Here, the authors introduce the idea of using AC and L uniformities and investigate the computational power of membrane systems under these tighter conditions.