Skip to main content

Solving Generic Decision Problems by in-Message Computation in DNA-Based Molecular Nanonetworks

  • Conference paper
  • First Online:
Body Area Networks. Smart IoT and Big Data for Intelligent Health (BODYNETS 2020)


One of the biggest unsolved problems in nanonetwork research is the actual construction of the components required for building such networks. Most existing ideas are limited to partial solutions of construction of nanodevices, computation within them, and communication between them. While many ideas are promising, the problem remains how to combine those various building blocks into operational and efficient nanonetworks.

In this paper we use DNA as the basic building block for all components of nanonetworks. The inherent properties of this molecule are used to assemble complex nanostructures. DNA can be utilized to create both nanodevices and a communication mechanism. Properly designed DNA-molecules can even be utilized for computational purposes. In summary, DNA forms the base for an exhaustive nanonetwork concept.

This work specifically presents an approach how to solve arbitrary mathematical problems that can be modeled as boolean formulas using DNA-based nanonetworks by in-message computation. The computation itself is encoded in the assembly process of a message. This avoids often-stated space constraints for computations at the nanoscale, as the medium of transportation is commonly less constrained than the size of nanodevices dictates. This method thereby presents a constructive approach on how to actually create message molecules, rather than only proving the general possibility.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others


  1. Bende, P., Lau, F., Fischer, S.: Error-resistant scaling of three-dimensional nanoscale shapes on the basis of DNA-tiles. In: Proceedings of the 6th ACM International Conference on Nanoscale Computing and Communication (ACM NanoCom 2019), Dublin, Ireland (2019)

    Google Scholar 

  2. Büther, F., Lau, F.-L., Stelzner, M., Ebers, S.: A formal definition for nanorobots and nanonetworks. In: Galinina, O., Andreev, S., Balandin, S., Koucheryavy, Y. (eds.) NEW2AN/ruSMART/NsCC -2017. LNCS, vol. 10531, pp. 214–226. Springer, Cham (2017).

    Chapter  Google Scholar 

  3. Clote, P., Kranakis, E.: Boolean Functions and Computation Models. Texts in Theoretical Computer Science. An EATCS Series, 1st edn. Springer, Heidelberg (2002)

    Google Scholar 

  4. Kallenbach, N., Ma, R.I., Seeman, N.C.: An immobile nucleic acid junction constructed from oligonucleotides. Nature 305(5937), 829 (1983)

    Article  Google Scholar 

  5. Lathrop, J.I., Lutz, J.H., Summers, S.M.: Strict self-assembly of discrete Sierpinski triangles. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol. 4497, pp. 455–464. Springer, Heidelberg (2007).

    Chapter  Google Scholar 

  6. Lau, F., Büther, F., Gerlach, B.: Computational requirements for nano-machines: there is limited space at the bottom. In: Proceedings of the 4th ACM International Conference on Nanoscale Computing and Communication, ACM NanoCom 2017, Washington DC, USA (2017)

    Google Scholar 

  7. Lau, F., Büther, F., Geyer, R., Fischer, S.: Computation of decision problems within messages in DNA-tile-based molecular nanonetworks. Nano Commun. Netw. 21, 100245 (2019).

    Article  Google Scholar 

  8. Lau, F., Stahl, K., Fischer, S.: Techniques for the generation of arbitrary three-dimensional shapes in tile-based self-assembly systems. Open J. Internet of Things 4(1), 126–134 (2018). Special Issue: Proceedings of the International Workshop on Very Large Internet of Things (VLIoT 2018) in Conjunction with the VLDB 2018 Conference in Rio de Janeiro, Brazil

  9. Lee, J.Y., Shin, S.Y., Park, T.H., Zhang, B.T.: Solving traveling salesman problems with DNA molecules encoding numerical values. Biosystems 78(1), 39–47 (2004).

  10. McCluskey Jr., E.: Minimization of Boolean functions. Bell Syst. Tech. J. 35(6), 1417–1444 (1956)

    Article  MathSciNet  Google Scholar 

  11. Patitz, M.J.: An introduction to tile-based self-assembly and a survey of recent results. Natural Computing 13(2), 195–224 (2013).

    Article  MathSciNet  MATH  Google Scholar 

  12. Quine, W.: The problem of simplifying truth functions. Am. Math. Monthly 59(8), 521–531 (1952)

    Article  MathSciNet  Google Scholar 

  13. Rothemund, P.W.K.: Folding DNA to create nanoscale shapes and patterns. Nature 440(7082), 297–302 (2006).

    Article  Google Scholar 

  14. Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem. Proc. London Math. Soc. 2(1), 230–265 (1937)

    Article  MathSciNet  Google Scholar 

  15. Vollmer, H.: The NC hierarch. In: Introduction to Circuit Complexity. Texts in Theoretical Computer Science An EATCS Series, pp. 107–171. Springer, Heidelberg (1999).

  16. Watson, J.D., Crick, F.H.: A structure for deoxyribose nucleic acid. Nature 171, 737–738 (1953).

  17. Winfree, E., Liu, F., Wenzler, L., Seeman, N.C.: Design and self-assembly of two-dimensional DNA crystals. Nature 394(6693), 539–544 (1998)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Florian-Lennert Adrian Lau .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Lau, FL.A., Wendt, R., Fischer, S. (2020). Solving Generic Decision Problems by in-Message Computation in DNA-Based Molecular Nanonetworks. In: Alam, M.M., Hämäläinen, M., Mucchi, L., Niazi, I.K., Le Moullec, Y. (eds) Body Area Networks. Smart IoT and Big Data for Intelligent Health. BODYNETS 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 330. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-64990-6

  • Online ISBN: 978-3-030-64991-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics