Skip to main content
SpringerLink
Log in

Molecular Assembly and Computation: From Theory to Experimental Demonstrations

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2380))

Included in the following conference series:

Abstract

While the topic of Molecular Computation would have appeared even a half dozen years ago to be purely conjectural, it now is an emerging subfield of computer science with the development of its theoretical basis and a number of moderate to large-scale experimental demonstrations. This paper focuses on a subarea of Molecular Computation known as DNA self- assembly. Self-assembly is the spontaneous self-ordering of substructures into superstructures driven by the selective affinity of the substructures. DNA provides a molecular scale material for effecting this programmable self-assembly, using the selective affinity of pairs of DNA strands to form DNA nanostructures. DNA self-assembly is the most advanced and versatile system known for programmable construction of patterned systems on the molecular scale. The methodology of DNA self-assembly begins with the synthesis of single-strand DNA molecules that self-assemble into macromolecular building blocks called DNA tiles. These tiles have sticky ends that match the sticky ends of other DNA tiles, facilitating further assembly into large structures known as DNA tiling lattices. In principal you can make the DNA tiling assemblies form any computable two- or three-dimensional pattern, however complex, with the appropriate choice of the tile’s component DNA. This paper overviews the evolution of DNA self-assembly techniques from pure theory to experimental practice. We describe how some theoretical developments have made a major impact on the design of self-assembly experiments, as well as a number of theoretical challenges remaining in the area of DNA self-assembly. We descuss algorithms and software for the design, simulation and optimization of DNA tiling assemblies. We also describe the first experimental demonstrations of DNA self-assemblies that execute molecular computations and the assembly of patterned objects at the molecular scale. Recent experimental results indicate that this technique is scalable. Molecular imaging devices such as atomic force microscopes and transmission electron microscopes allow visualization of self-assembled two-dimensional DNA tiling lattices composed of hundreds of thousands of tiles. These assemblies can be used as scaffolding on which to position molecular electronics and robotics components with precision and specificity. The programmability lets this scaffolding have the patterning required for fabricating complex devices made of these components.

John Reif is supported by DARPA/AFSOR Contract F30602-01-2-0561, NSF ITR Grant EIA-0086015, DARPA/NSF Grant CCR-9725021.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adleman, L., Molecular Computation of Solution to Combinatorial Problems, Science, 266, 1021, (1994).

    Article  Google Scholar 

  2. Adleman, L., Toward a mathematical theory of self-assembly, USC Tech Report, January 2000.

    Google Scholar 

  3. Adleman, L., Q. Cheng, A. Goel, M. Huang, D. Kempe, P. M. de Moisset and P. W. K. Rothemund, Combinatorial Optimization Problems in Self-Assembly, Thirty-Fourth Annual ACM Symposium on Theory of Computing, Montréal, Québec, Canada, May 19–21, 2002. http://www-scf.usc.edu/~pwkr/papers.html

  4. Adleman, L., Qi Cheng, Ashish Goel, Ming-Deh Huang and Hal Wasserman: Linear Self-Assemblies: equilibria, entropy, and convergence rates. Abstract Draft April 2000.

    Google Scholar 

  5. Adleman, L., Q. Cheng, A. Goel, M. Huang, D. Kempe, P. M. de Moisset and P. W. K. Rothemund, Combinatorial Optimization Problems in Self-Assembly, Thirty-Fourth Annual ACM Symposium on Theory of Computing, Montréal, Québec, Canada, May 19–21, 2002.

    Google Scholar 

  6. Alivisatos, A.P., K.P. Johnsson, X. Peng, T.E. Wilson, C.J. Loweth, M. P. Bruchez Jr., P. G. Schultz, Organization of ‘nanocrystal molecules’ using DNA, Nature, bf 382, 609–611, August 1996.

    Google Scholar 

  7. Aviram and M. Ratner (Eds), Molecular Electronics: Science and Technology, Annals of the New York Academy of Sciences, New York, Vol. 852 (1998).

    Google Scholar 

  8. Berger, R. The Undecidability of the Domino Problem, Memoirs of the American Mathematical Society, 66 (1966).

    Google Scholar 

  9. Bo, Guo Master Thesis Computing by DNA Self-Assembly. Oct, 2001.

    Google Scholar 

  10. Bowden, N.; Brittain, S.; Evans, A. G., Hutchinson, J. W. and Whitesides, G. M. Spontaneous formation of ordered structures in thin films of metals supported on an elastomeric polymer, Nature 1998, 393, 146–149.

    Article  Google Scholar 

  11. J. Chen, M. A. Reed, A. M. Rawlett, and J. M. Tour, Observation of a Large On-Off Ratio and Negative Differential Resistance in an Molecular Electronic Device, Science, Vol 286, 19, Nov. 1999, p 1550–1552.

    Google Scholar 

  12. E. Coven, N. Jonoska: DNA Hybridization, Shifts of Finite type and Tiling of the Integers, to appear in: Words, Sequences, Languages: where computer science and linguistics meet, published by Kluwer, edited by Carlos Martin-Vide (2001).

    Google Scholar 

  13. Du, S.M., S. Zhang and N.C. Seeman, DNA Junctions, Antijunctions and Meso-junctions, Biochem., 31, 10955–10963, (1992).

    Article  Google Scholar 

  14. Eng, T., Linear DNA self-assembly with hairpins generates the equivalent of linear context-free grammars, 3rd DIMACS Meeting on DNA Based Computers, Univ. of Penn. (June, 1997).

    Google Scholar 

  15. Fu, T.-J., and N.C. Seeman, DNA Double Crossover Structures, Biochemistry, 32, 3211–3220, (1993).

    Article  Google Scholar 

  16. Gehani, A., T. H. LaBean, and J.H. Reif, DNA-based Cryptography, 5th DIMACS Workshop on DNA Based Computers, MIT, June, 1999. DNA Based Computers, V, DIMACS Series in Discrete Mathematics and Theoretical CS (ed. E. Winfree), American Mathematical Society, 2000. http://www.cs.duke.edu/~reif/paper/DNAcrypt/crypt.ps

  17. Grunbaum, S., Branko, and G.C. Shepard, Tilings and Patterns, H Freeman and Company, Chapter 11, (1987).

    Google Scholar 

  18. Guangwei, Y. “Simulation of DNA Self-assembly”, MS Thesis, Duke University, 2000.

    Google Scholar 

  19. Harder, P.; Grunze, M.; Dahint, R.; Whitesides, G. M. and Laibinis, P. E., Molecular Conformation in Oligo(ethylene glycol)-Terminated Self-Assembled Monolayers on Gold and Silver Surfaces Determines Their Ability To Resist Protein Adsorption, J. Phys. Chem. B 1998, 102, 426–436.

    Article  Google Scholar 

  20. Jonoska, N., S. Karl, M. Saito: Creating 3-Dimensional Graph Structures With DNA in DNA based computer III (Editors: H. Rubin, D. Wood) DIMACS series in Discrete Math. and Theoretical Comp. Sci. vol 48 (1999) 123–136.

    Google Scholar 

  21. Jonoska, N., S. Karl, M. Saito: Three dimensional DNA structures in computing (to appear in BioSystems, 2001).

    Google Scholar 

  22. Jonoska, N., 3D DNA patterns and Computing (to appear) collection of papers on Patterns in Biology edited by M. Gromov and A. Carbone (to be published by World Scientific), 2001.

    Google Scholar 

  23. Jonoska, N., S. Karl: Ligation Experiments in Computing with DNA, Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC’97), April 13–16, (1997) 261–265.

    Google Scholar 

  24. Jonoska, N., S. Karl: A molecular computation of the road coloring problem, in DNA based computer II (Editors: L. Landwaber, E. Baum) DIMACS series in Discrete Math. and Theoretical Comp. Sci. vol 44 (1999) 87–96

    Google Scholar 

  25. Jonoska, N., S. Karl, M. Saito: Graph structures in DNA computing in Computing with Bio-Molecules, theory and experiments, (editor Gh. Paun) Springer-Verlag (1998), 93–110.

    Google Scholar 

  26. LaBean, T. H., E. Winfree, and J.H. Reif, Experimental Progress in Computation by Self-Assembly of DNA Tilings, Proc. DNA Based Computers V: June 14–16, 1999. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, E. Winfree and D. K. Gifford, editors, American Mathematical Society, Providence, RI, vol. 54, 2000, pp. 123–140. http://www.cs.duke.edu/~thl/tilings/labean.ps

    Google Scholar 

  27. LaBean, T. H., Yan, H., Kopatsch, J., Liu, F., Winfree, E., Reif, J.H. and Seeman, N.C., The construction, analysis, ligation and self-assembly of DNA triple crossover complexes, J. Am. Chem. Soc. 122, 1848–1860 (2000). http://www.cs.duke.edu/~reif/paper/DNAtiling/tilings/JACS.pdf

    Article  Google Scholar 

  28. Lagoudakis, M. G., T. H. LaBean, 2D DNA Self-Assembly for Satisfiability, 5th International Meeting on DNA Based Computers(DNA5), MIT, Cambridge, MA, (June, 1999). DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 44, American Mathematical Society, ed. E. Winfree, (1999).

    Google Scholar 

  29. Lewis, H.R., and C.H. Papadimitriou, Elements of the Theory of Computation, Prentice-Hall, pages 296–300 and 345–348 (1981).

    Google Scholar 

  30. Li, X.J., X.P. Yang, J. Qi, and N.C. Seeman, Antiparallel DNA Double Crossover Molecules as Components for Nanoconstruction, J. Am. Chem. Soc., 118, 6131–6140, (1996).

    Article  Google Scholar 

  31. Liu, F., H. Wang and N.C. Seeman, Short Extensions to Sticky Ends for DNA Nanotechnology and DNA-Based Computation, Nanobiology 4, 257–262 (1999).

    Google Scholar 

  32. Liu, F., R. Sha and N.C. Seeman, Modifying the Surface Features of Two-Dimensional DNA Crystals, J. Am. Chem. Soc. 121, 917–922 (1999).

    Article  Google Scholar 

  33. Liu, F., M.F. Bruist and N.C. Seeman, Parallel Helical Domains in DNA Branched Junctions Containing 5’, 5’ and 3’, 3’ Linkages, Biochemistry 38, 2832–2841 (1999).

    Article  Google Scholar 

  34. Mao, C., W. Sun and N.C. Seeman, Designed Two-Dimensional DNA Holliday Junction Arrays Visualized by Atomic Force Microscopy, J. Am. Chem. Soc. 121, 5437–5443 (1999).

    Article  Google Scholar 

  35. Mao, C., LaBean, T.H. Reif, J.H., Seeman, Logical Computation Using Algorithmic Self-Assembly of DNA Triple-Crossover Molecules, Nature, vol. 407, Sept. 2000, pp. 493–495; C. Erratum: Nature 408, 750-750 (2000) http://www.cs.duke.edu/~reif/paper/SELFASSEMBLE/AlgorithmicAssembly.pdf

  36. Petty, M. C., M. R. Bryce and D. Bloor (Eds.), An Introduction to Molecular Electronics, Oxford University Press, New York (1995).

    Google Scholar 

  37. Reed, M. A., C. Zhou, C. J. Muller, T. P. Burgin and J. M. Tour, Conductance of a molecular junction, Science, Vol. 278, pages 252–254, October 10, 1997.

    Google Scholar 

  38. Reed, M. A. and J. M. Tour Computing with Molecules, Scientific American, June 2000. http://www.scientificamerican.com/2000/0600issue/0600reed.html

  39. Reif, J.H., Local Parallel Biomolecular Computation, Third Annual DIMACS Workshop on DNA Based Computers, University of Pennsylvania, June 23–26, 1997. Published in DNA Based Computers, III, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol 48 (ed. H. Rubin), American Mathematical Society, 1999, p. 217–254. http://www.cs.duke.edu/~reif/paper/Assembly.ps Assembly.fig.ps

  40. Reif, J.H., Paradigms for Biomolecular Computation, First International Conference on Unconventional Models of Computation, Auckland, New Zealand, January 1998. Published in Unconventional Models of Computation, edited by C.S. Calude, J. Casti, and M.J. Dinneen, Springer Publishers, 1998, pp 72–93. http://www.cs.duke.edu/~reif/paper/paradigm.ps

  41. Reif, J.H., T.H. LaBean, and N.C. Seeman, Challenges and Applications for Self-Assembled DNA Nanostructures, Proc. Sixth International Workshop on DNA-Based Computers, Leiden, The Netherlands, June, 2000. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Edited by A. Condon and G. Rozenberg. Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, vol. 2054, 2001, pp. 173–198: http://www.cs.duke.edu/~reif/paper/SELFASSEMBLE/selfassemble.pdf

    Google Scholar 

  42. Reif, J.H., DNA Lattices: A Programmable Method for Molecular Scale Patterning and Computation, Special issue on Bio-Computation, Computer and Scientific Engineering Journal of the Computer Society. 2002.

    Google Scholar 

  43. Reif, J.H., The Emergence of the Discipline of Biomolecular Computation, invited paper to the special issue on Biomolecular Computing, New Generation Computing, edited by Masami Hagiya, Masayuki Yamamura, and Tom Head, 2002. [PostScript] [PDF] http://www.cs.duke.edu/~reif/paper/NGCsurvey/NGCsurvey.pdf

  44. Robinson, R.M. Undecidablility and Nonperiodicity for Tilings of the Plane, In-ventiones Mathematicae, 12, 177–209, (1971).

    Article  MATH  Google Scholar 

  45. Rothemund, P.W.K., Using lateral capillary forces to compute by self-assembly, Proc. Nat. Acad. Sci. (USA) 97, 984–989 (2000).

    Article  Google Scholar 

  46. Rothemund, P.W.K., and E. Winfree, The Program-Size Complexity of Self-Assembled Squares, Symposium on Theory of Computing Portland, OR, (May, 2000).

    Google Scholar 

  47. Seeman, N.C. Nucleic Acid Junctions and Lattices, J. Theor. Biol., 99, 237–247, (1982).

    Article  Google Scholar 

  48. Seeman, N.C., DNA Engineering and its Application to Nanotechnology, Trends in Biotech. 17, 437–443 (1999).

    Article  Google Scholar 

  49. Seeman, N.C., Nucleic Acid Nanostructures and Topology. Angewandte Chemie. 110, 3408–3428 (1998); Angewandte Chemie International Edition 37, 3220-3238 (1998).

    Article  Google Scholar 

  50. Seeman, N. C., J.-H. Chen, N.R. Kallenbach, Gel electrophoretic analysis of DNA branched junctions, Electrophoresis, 10, 345–354, (1989).

    Article  Google Scholar 

  51. Seeman, N. C., F. Liu, C Mao, X. Yang, L.A. Wenzler, R. Sha, W. Sun, Z. Shen, X. Li, J. Qi, Y. Zhang, T. Fu, J.-H. Chen, and E. Winfree, Two Dimensions and Two States in DNA Nanotechnology, Journal of Biomolecular Structure and Dynamics, ISSN 0739-1102, Conversion 11, Issue 1, June, 1999.

    Google Scholar 

  52. Seeman, N. C., H. Wang, X. Yang, F. Liu, C Mao, W. Sun, L.A. Wenzler, Z. Shen, R. Sha, H. Yan, M.H. Wong, P. Sa-Ardyen, B. Lui, H. Qiu, X. Li, J. Qi, S.M. Du, Y. Zhang, J.E. Mueller, T.-J. Fu, Y. Wang, amd J. Chen, New Motifs in DNA nanotechnology, Nanotechnology 9, p 257–273 (1998).

    Article  Google Scholar 

  53. Seeman, N. C., Y. Zhang, and J. Chen, DNA nanoconstructions, J. Vac. Sci. Tech-nol., 12:4, 1895–1905, (1994).

    Article  Google Scholar 

  54. Wang, H., In Proc. Symp. Math. Theory of Automata, 23–26 (Polytechnic Press, New York, 1963).

    Google Scholar 

  55. Winfree, E. Simulations of Computing by Self-Assembly. In Proceedings of the Fourth Annual Meeting on DNA Based Computers, held at the University of Pennsylvania, June 16–19, 1998.

    Google Scholar 

  56. Winfree, E., X. Yang, N.C. Seeman, Universal Computation via Self-assembly of DNA: Some Theory and Experiments, 2nd Annual DIMACS Meeting on DNA Based Computers, Princeton, June, 1996.

    Google Scholar 

  57. Winfree, E., T. Eng, and G. Rozenberg, String Tile Models for DNA Computing by Self-Assembly, Proc. Sixth International Workshop on DNA-Based Computers, Leiden, The Netherlands, June, 2000. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Edited by A. Condon and G. Rozenberg. Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, vol. 2054, 2001, pp. 63–88.

    Google Scholar 

  58. Winfree, E., Furong Liu, Lisa A. Wenzler, Nadrian C. Seeman (1998) Design and Self-Assembly of Two Dimensional DNA Crystals. Nature 394: 539–544, 1998.

    Article  Google Scholar 

  59. Winfree, E., X. Yang, and N.C. Seeman, Universal Computation via Self-assembly of DNA: Some Theory and Experiments, Proc. DNA Based Computers II: June 10–12, 1996, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 44, L. F. Landweber and E. B. Baum, editors, American Mathematics Society, Providence, RI, 1998, pp. 191–213.

    Google Scholar 

  60. Winfree, E., On the Computational Power of DNA Annealing and Ligation, Proc. DNA-Based Computers: April 4, 1995, In DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Richard Lipton and E. B. Baum, editors, American Mathematical Society, Providence, RI, vol. 27, 1996, pp. 199–211.

    Google Scholar 

  61. Winfree, E., F. Liu, L. A. Wenzler, and N.C. Seeman, Design and Self-Assembly of Two-Dimensional DNA Crystals, Nature 394, 539–544 (1998).

    Article  Google Scholar 

  62. Xia, Y. and Whitesides, G. M., Soft Lithography, Annu. Rev. Mater. Sci. 1998, 28, 153–184. Yan, L.; Zhao, X.-M. and Whitesides, G. M. Patterning a Preformed, Reactive SAM Using Microcontact Printing, J. Am. Chem. Soc. 1998,120, 6179–6180.

    Article  Google Scholar 

  63. Yan, H., X. Zhang, Z. Shen and N.C. Seeman, A robust DNA mechanical device controlled by hybridization topology, Nature, 415, 62–65, 2002.

    Article  Google Scholar 

  64. Yang, X., L.A. Wenzler, J. Qi, X. Li and N.C. Seeman, Ligation of DNA Triangles Containing Double Crossover Molecules, J. Am. Chem. Soc. 120, 9779–9786 (1998).

    Article  Google Scholar 

  65. Zhao, X.; Votruba, P.G.; Strother, T.C.; Ellison, M.D.; Smith, L.M. and Hamers, R.J. Formation of Organic Films on Si(111) Surfaces via Photochemical Reaction (in preparation), 1999.

    Google Scholar 

  66. Zhou, C., et al., Appl. Phys. Lett. 71, 611 (1997).

    Article  Google Scholar 

  67. Zhou, C., Atomic and Molecular Wires, Ph.D. thesis, Yale University (1999).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Duke University, Box 90129, Durham, NC, 27708-0129

    John H. Reif

Authors
  1. John H. Reif
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Theoretical Computer Science, ETH Zentrum, ETH Zürich, 8092, Zürich, Switzerland

    Peter Widmayer  & Stephan Eidenbenz  & 

  2. Department of Languages and Sciences of the Computation E.T.S. de Ingeniería Informática, University of Málaga, Campus de Teatinos, 29071, Málaga, Spain

    Francisco Triguero , Rafael Morales  & Ricardo Conejo ,  & 

  3. School of Cognitive and Computing Sciences, University of Sussex, Falmer, Brighton, BN1 9QN, UK

    Matthew Hennessy

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Reif, J.H. (2002). Molecular Assembly and Computation: From Theory to Experimental Demonstrations. In: Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R., Hennessy, M. (eds) Automata, Languages and Programming. ICALP 2002. Lecture Notes in Computer Science, vol 2380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45465-9_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-45465-9_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43864-9

  • Online ISBN: 978-3-540-45465-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation