Skip to main content
SpringerLink
Log in

Small networks of polarized splicing processors are universal

  • Published:
Natural Computing Aims and scope Submit manuscript

Abstract

In this paper, we consider the computational power of a new variant of networks of splicing processors in which each processor as well as the data navigating throughout the network are now considered to be polarized. While the polarization of every processor is predefined (negative, neutral, positive), the polarization of data is dynamically computed by means of a valuation mapping. Consequently, the protocol of communication is naturally defined by means of this polarization. We show that networks of polarized splicing processors (NPSP) of size 2 are computationally complete, which immediately settles the question of designing computationally complete NPSPs of minimal size. With two more nodes we can simulate every nondeterministic Turing machine without increasing the time complexity. Particularly, we prove that NPSP of size 4 can accept all languages in NP in polynomial time. Furthermore, another computational model that is universal, namely the 2-tag system, can be simulated by NPSP of size 3 preserving the time complexity. All these results can be obtained with NPSPs with valuations in the set \(\{-1,0,1\}\) as well. We finally show that Turing machines can simulate a variant of NPSPs and discuss the time complexity of this simulation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Bottoni P, Labella A, Manea F, Mitrana V, Petre I, Sempere JM (2011) Complexity-preserving simulations among three variants of accepting networks of evolutionary processors. Nat Comput 10:429–445

    Article  MathSciNet  Google Scholar 

  • Csuhaj-Varjú E, Mitrana V (2000) Evolutionary systems: a language generating device inspired by evolving communities of cells. Acta Inf 36:913–926

    Article  MathSciNet  Google Scholar 

  • Csuhaj-Varjú E, Salomaa A (2005) Networks of parallel language processors. New Trends Form Lang LNCS 1218:299–318

    Article  MathSciNet  Google Scholar 

  • Csuhaj-Varjú E, Kari L, Păun G (1996) Test tube distributed systems based on splicing. Comput Artif Intell 15:211–232

    MathSciNet  MATH  Google Scholar 

  • Drăgoi C, Manea F, Mitrana V (2007) Accepting networks of evolutionary processors with filtered connections. J Univers Comput Sci 13:1598–1614

    MathSciNet  MATH  Google Scholar 

  • Gómez-Canaval S, Ortega A, Orgaz P (2015a) Distributed simulation of NEPs based on-demand cloud elastic computation. Adv Comput Intell LNCS 9094:40–54

    Article  MathSciNet  Google Scholar 

  • Gómez-Canaval S, Ordozgoiti B, Mozo A (2015b) NPEPE: massive natural computing engine for optimally solving NP-complete problems in big data scenarios. Commun Comput Inf Sci 539:207–217

    Google Scholar 

  • Gray R, Kotz D, Nog S, Rus D, Cybenko G (1997) Mobile agents: the next generation in distributed computing. In: Proceedings of the 2nd AIZU international symposium on parallel algorithms/architecture synthesis, PAS’97. IEEE Computer Society, pp 8–24

  • Head T (1987) Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bull Math Biol 49:737–759

    Article  MathSciNet  Google Scholar 

  • Head T, Păun G, Pixton D (1996) Language theory and molecular genetics: generative mechanisms suggested by DNA recombination. Handb Form Lang 2:295–360

    Google Scholar 

  • Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages and computation. Addison-Wesley, Reading

    MATH  Google Scholar 

  • Loos R, Manea F, Mitrana V (2009) On small, reduced, and fast universal accepting networks of splicing processors. Theoret Comput Sci 410:406–416

    Article  MathSciNet  Google Scholar 

  • Manea F, Martin-Vide C, Mitrana M (2006) All NP-problems can be solved in polynomial time by accepting networks of splicing processors of constant size. In: International workshop on DNA-based computers DNA12, LNCS, vol 4287, pp 47–57

    Chapter  Google Scholar 

  • Manea F, Martin-Vide C, Mitrana V (2007) Accepting networks of splicing processors: complexity results. Theoret Comput Sci 371:72–82

    Article  MathSciNet  Google Scholar 

  • Margenstern M, Rogozhin Y (2001) Time-varying distributed H systems of degree 1 generate all recursively enumerable languages. In: Words, semigroups, and transductions. World Scientific Publishing, Singapore, pp 329–340

    Chapter  Google Scholar 

  • Margenstern M, Mitrana V, Perez-Jimenez M (2005) Accepting hybrid networks of evolutionary systems. In: DNA based computers 10 LNCS, vol 3384, pp 235–246

  • Martín-Vide C, Pazos J, Păun G, Rodríguez-Patón A (2002) A new class of symbolic abstract neural nets: tissue P systems. In: 8th annual international conference, COCOON 2002, LNCS, vol 2387, pp 290–299

    Google Scholar 

  • Minsky ML (1962) Size and structure of universal turing machines using tag systems. In: Recursive function theory, symposium in pure mathematics, vol 5, pp 229–238

  • Morrison JP (2010) Flow-based programming: a new approach to application development, 2nd edn. J.P. Enterprises Ltd, Pune, p 2010

    Google Scholar 

  • Papadimitriou CH (1994) Computational complexity. Addison-Wesley, Reading

    MATH  Google Scholar 

  • Păun G (1996a) On the splicing operation. Discrete Appl Math 70:57–79

    Article  MathSciNet  Google Scholar 

  • Păun G (1996b) Regular extended H systems are computationally universal. J Autom Lang Combin 1:27–36

    MathSciNet  MATH  Google Scholar 

  • Păun G (1997) DNA computing: distributed splicing systems. In: Structures in logic and computer science, LNCS, vol 1261, pp 351–370

    Google Scholar 

  • Păun G (1998) Distributed architectures in DNA computing based on splicing: limiting the size of components. In: Unconventional models of computation. Springer, Berlin, pp 323–335

  • Păun A (1999) On time-varying H systems. Bull EATCS 67:157–164

    MATH  Google Scholar 

  • Post EL (1943) Formal reductions of the general combinatorial decision problem. Am J Math 65:197–215

    Article  MathSciNet  Google Scholar 

  • Rogozhin Y (1996) Small universal turing machines. Theoret Comput Sci 168:215–240

    Article  MathSciNet  Google Scholar 

  • Woods D, Neary T (2009) The complexity of small universal turing machines: a survey. Theoret Comput Sci 410:443–450

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

A preliminary version of this work has been presented at TPNC 2017 and has been published in Theory and Practice of Natural Computing–6th International Conference, TPNC 2017, LNCS 10687, pp. 165–177. This work was supported by a grant of the Romanian National Authority for Scientific Research and Innovation, project number POC P-37-257. Victor Mitrana has also been supported by the Alexander von Humboldt Foundation.

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Henning Bordihn

  2. Faculty of Mathematics and Computer Science, University of Bucharest, Str. Academiei 14, 010014, Bucharest, Romania

    Victor Mitrana, Maria C. Negru & Andrei Păun

  3. Bioinformatics Department, National Institute for R&D for Biological Sciences, Bucharest, 060031, Romania

    Victor Mitrana, Andrei Păun & Mihaela Păun

  4. Faculty of Administration and Business, University of Bucharest, Queen Elizabeth Bd. 4 - 12, Bucharest, Romania

    Mihaela Păun

Authors
  1. Henning Bordihn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Victor Mitrana
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maria C. Negru
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrei Păun
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Mihaela Păun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Victor Mitrana.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bordihn, H., Mitrana, V., Negru, M.C. et al. Small networks of polarized splicing processors are universal. Nat Comput 17, 799–809 (2018). https://doi.org/10.1007/s11047-018-9691-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-018-9691-0

Keywords

Search

Navigation