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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Adleman, L., Molecular Computation of Solution to Combinatorial Problems, Science, 266, 1021, (1994).
Adleman, L., Toward a mathematical theory of self-assembly, USC Tech Report, January 2000.
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
Adleman, L., Qi Cheng, Ashish Goel, Ming-Deh Huang and Hal Wasserman: Linear Self-Assemblies: equilibria, entropy, and convergence rates. Abstract Draft April 2000.
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.
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.
Aviram and M. Ratner (Eds), Molecular Electronics: Science and Technology, Annals of the New York Academy of Sciences, New York, Vol. 852 (1998).
Berger, R. The Undecidability of the Domino Problem, Memoirs of the American Mathematical Society, 66 (1966).
Bo, Guo Master Thesis Computing by DNA Self-Assembly. Oct, 2001.
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.
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.
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).
Du, S.M., S. Zhang and N.C. Seeman, DNA Junctions, Antijunctions and Meso-junctions, Biochem., 31, 10955–10963, (1992).
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).
Fu, T.-J., and N.C. Seeman, DNA Double Crossover Structures, Biochemistry, 32, 3211–3220, (1993).
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
Grunbaum, S., Branko, and G.C. Shepard, Tilings and Patterns, H Freeman and Company, Chapter 11, (1987).
Guangwei, Y. “Simulation of DNA Self-assembly”, MS Thesis, Duke University, 2000.
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.
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.
Jonoska, N., S. Karl, M. Saito: Three dimensional DNA structures in computing (to appear in BioSystems, 2001).
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.
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.
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
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.
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
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
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).
Lewis, H.R., and C.H. Papadimitriou, Elements of the Theory of Computation, Prentice-Hall, pages 296–300 and 345–348 (1981).
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).
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).
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).
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).
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).
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
Petty, M. C., M. R. Bryce and D. Bloor (Eds.), An Introduction to Molecular Electronics, Oxford University Press, New York (1995).
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.
Reed, M. A. and J. M. Tour Computing with Molecules, Scientific American, June 2000. http://www.scientificamerican.com/2000/0600issue/0600reed.html
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
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
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
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.
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
Robinson, R.M. Undecidablility and Nonperiodicity for Tilings of the Plane, In-ventiones Mathematicae, 12, 177–209, (1971).
Rothemund, P.W.K., Using lateral capillary forces to compute by self-assembly, Proc. Nat. Acad. Sci. (USA) 97, 984–989 (2000).
Rothemund, P.W.K., and E. Winfree, The Program-Size Complexity of Self-Assembled Squares, Symposium on Theory of Computing Portland, OR, (May, 2000).
Seeman, N.C. Nucleic Acid Junctions and Lattices, J. Theor. Biol., 99, 237–247, (1982).
Seeman, N.C., DNA Engineering and its Application to Nanotechnology, Trends in Biotech. 17, 437–443 (1999).
Seeman, N.C., Nucleic Acid Nanostructures and Topology. Angewandte Chemie. 110, 3408–3428 (1998); Angewandte Chemie International Edition 37, 3220-3238 (1998).
Seeman, N. C., J.-H. Chen, N.R. Kallenbach, Gel electrophoretic analysis of DNA branched junctions, Electrophoresis, 10, 345–354, (1989).
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.
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).
Seeman, N. C., Y. Zhang, and J. Chen, DNA nanoconstructions, J. Vac. Sci. Tech-nol., 12:4, 1895–1905, (1994).
Wang, H., In Proc. Symp. Math. Theory of Automata, 23–26 (Polytechnic Press, New York, 1963).
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.
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.
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.
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.
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.
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.
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).
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.
Yan, H., X. Zhang, Z. Shen and N.C. Seeman, A robust DNA mechanical device controlled by hybridization topology, Nature, 415, 62–65, 2002.
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).
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.
Zhou, C., et al., Appl. Phys. Lett. 71, 611 (1997).
Zhou, C., Atomic and Molecular Wires, Ph.D. thesis, Yale University (1999).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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