Trends in Biotechnology
Volume 17, Issue 4, 1 April 1999, Pages 151-154
Journal home page for Trends in Biotechnology

Focus
The complexities of DNA computation

https://doi.org/10.1016/S0167-7799(99)01312-8Get rights and content

Abstract

Over the past few years, a handful of insightful researchers have bridged the gap between biological computing theory and actual DNA-based computation. By using ingenious encoding techniques and clever molecular-biological manipulations, simple versions of computationally complex problems have been experimentally approached or resolved. However, the technical problems revealed during the execution of these scientific set pieces make it unlikely that DNA will ever rival silicon for the solution of any real-world problem.

Section snippets

DNA computers

All DNA computations so far attempted rely on what might be called ‘hybridization logic’: the ability to encode and solve computational problems by forming correct base pairings and avoiding incorrect base pairings. Hybridization logic is not the only possiblity for DNA computation – for example, an alternative approach that we will examine below is the use of nucleic-acid enzymes as parts of nucleic-acid logic circuits; in this case, it would be catalytic transformation, rather than

Problems with DNA computations

Although the methods described above are novel and clever, their scope and power is extremely limited. Any problem that would give pause to a supercomputer can only be resolved as a DNA computation using a large number of specifically-encoded oligonucleotides. The HPP was encoded with 20 oligonucleotide strings, a maximal clique problem was encoded in 28 strings11, a binary addition was carried out with seven strings3 and a method for encoding DNA words was tested with 108 strings14.

Prospects for DNA computation

Although DNA may not be a useful medium for computational problems, this does not mean that computations or logical evaluations should not be carried out with DNA. Instead, the problems that are approached using DNA should be redefined to be relevant to DNA itself. Such approaches frequently move away from the ‘hybridization logic’ inherent in DNA encoding schemes. For example, Conrad and Zauner26 describe a method whereby binary integers might be encoded as B- and Z-DNA fragments, and the

References (29)

  • D.E. Rozen et al.

    Curr. Biol.

    (1996)
  • K.D. James et al.

    Chem. Biol.

    (1997)
  • M. Conrad et al.

    Biosystems

    (1998)
  • I.M. Kulic

    Biosystems

    (1998)
  • J. Tang et al.

    Chem. Biol.

    (1997)
  • L.M. Adleman

    Science

    (1994)
  • D.K. Gifford

    Science

    (1994)
  • F. Guarnieri et al.

    Science

    (1996)
  • D. Beaver

    DNA Based Computers

  • E. Winfree

    DNA Based Computers

  • P.W.K. Rothemund

    DNA Based Computers

  • C.H. Bennett

    Int. J. Theor. Phys.

    (1982)
  • H.T. Siegelmann

    Science

    (1995)
  • L.M. Adleman

    Science

    (1995)
  • Cited by (38)

    • ARDesigner: A web-based system for allosteric RNA design

      2010, Journal of Biotechnology
      Citation Excerpt :

      For example, tectoRNA has been developed as a primary material to generate various nanoobjects (Jaeger and Chworos, 2006; Liu et al., 2004; Nasalean et al., 2006; Chworos et al., 2004), and programmable RNA nanoobjects have been designed in which the AR conformations are regulated with RNA-binding proteins (Li et al., 2006). Allosteric RNAs can also be used in nanotech devices or for solving computational problems (Cox et al., 1999). Allosteric ribozymes include transistors and logic gates, similar to conventional circuitry (Robertson and Ellington, 1999).

    • Block structure and stability of the genetic code

      2003, Journal of Theoretical Biology
      Citation Excerpt :

      The virtual codons may become real after ±1 shifts in the reading frame. The alternative version of graph theory is widely used in DNA computing (Adleman, 1994; Ouyang et al., 1997; Cox et al., 1999; Kari and Landweber, 2000 and references therein). In this version the tiling triplets (or generally l-mers) are related to the vertices rather than edges of directed graphs (unlike Eulerean graph shown in Fig. 1 such graphs are called Hamiltonian ones).

    View all citing articles on Scopus
    View full text