PMCCPMCCPMCC

Search tips
Search criteria 

Advanced

 
Logo of nihpaAbout Author manuscriptsSubmit a manuscriptHHS Public Access; Author Manuscript; Accepted for publication in peer reviewed journal;
 
Biosystems. Author manuscript; available in PMC 2010 November 1.
Published in final edited form as:
PMCID: PMC2763046
NIHMSID: NIHMS132196

Construction of a DNA Nano-Object Directly Demonstrates Computation

Abstract

We demonstrate a computing method in which a DNA nano-object representing the solution of a problem emerges as a result of self-assembly. We report an experiment in which three-vertex colorability for a 6-vertex graph with 9 edges is solved by constructing a DNA molecule representing the colored graph itself. Our findings show that computation based on “shape processing” is a viable alternative to symbol processing when computing by molecular self-assembly.

Natural processes from which three dimensional molecular structures emerge can be seen as "structural" computation in nature [1]; the folding of protein chains into their tertiary structures is a familiar example. By contrast, classical models of computing and information processing are based not on direct physico-chemcal processes, but rather on operations on sequences of symbols [2]; we are all familiar with the representation of variables by 0s and 1s in electronic computers. In traditional DNA-based computing, DNA sequences have been used to represent binary symbols and linear DNA sequences encoding vertices, edges and paths have been used to represent graphs to solve problems involving graphs; by performing parallel molecular operations with these molecules, answers have been extracted by employing protocols that entail a series of sequential screening operations [37]. Similarly, computational methods involving the self-assembly of DNA tiles into one-dimensional [8] or two-dimensional arrays [9] use the cohesive ends of the tiles to encode binary symbols. By contrast, stable branched DNA molecules [10] offer the opportunity to produce a molecular version of the graph structure, one that acts both as an information processing tool and as a solution to a computation. As abstract mathematical objects in electronic computers graphs are usually represented by their adjacency matrix, which indicates the connectivity of the vertices by the edges.

However, graphs are often drawn as diagrams, by indicating vertices as points in space and edges as arcs or curves connecting the vertices. It is well known that such graph representations can be embedded in 3-space, so that the curves representing the edges do not intersect except at the vertices. Our approach uses precisely such a spatial representation of the graph, thereby avoiding the encryption of its structure into a set of symbols that in turn correspond to DNA sequences. Here, we show that a system containing DNA molecules that can self-assemble into a nano-object, can be used in conjunction with enzymes that catalyze ligation and restriction reactions, to perform a computation. As an example, we have produced a molecular solution to an instance of a non-trivial [11] graph-theoretic problem by assembling a DNA nano-object with the connectivity of the actual graph.

Description of the method

A graph is a construct consisting of vertices connected by edges. The question of whether the vertices of a given graph can be rendered using three colors, such that edge-connected vertices are colored distinctly is called "the three-colorability problem". A general procedure for solution of this and other computational problems through self-assembly of complex molecular structures has been theoretically described in [13]. In this approach, each k-degree vertex in a given graph G is represented as a k-armed branched junction molecule with extended single stranded 5’ ends. We call these molecules vertex building blocks. These extensions are used to identify uniquely each edge that connects two adjacent vertices. The sequence of the single stranded extensions of the arms consists of three parts x, y, and z. The portions x and z uniquely specify the edge, whereas the sequence of the portion y specifies the color of the vertex. Therefore, all arms of a k-armed branched junction have identical middle y portions on the single stranded extensions of its arms indicating the color of the vertex. A vertex of degree 1 can be represented by a DNA hairpin.

For a given graph, if a vertex v is adjacent to a vertex w, the portions x and z of the single stranded extension on one of the arms of the molecule representing v are complementary to the portions x and z of the extension of one of the arms of the molecule representing w. If the middle portion y is also complementary, then this would indicate that the two vertices v and w are colored with the same color. The colors are encoded such that each color sequence contains a cleavage site for a restriction enzyme, such that when two arms of identically colored vertices are hybridized, they form a restriction site that can be cut by the appropriate enzyme. For three-colorability, three enzymes are needed, and therefore only three types of y portion codes are employed.

Each vertex is represented with three types of molecules corresponding to the three colors, each distinguished by the middle y portion of the single stranded extensions on the arms. Given the vertex building blocks for a given graph, the general algorithm for solving the three-colorability problem then consists of the following steps, regardless of the size of the graph: (a) anneal: allow for the sticky ends of the vertex building blocks to join and hybridize. (b) ligate: join the open nicks with a ligase, (c) cleave: destroy the molecular structures where vertices with the same color are joined by applying the three restriction enzymes that cut the hybridized y portions. (d) extract: if any graph structure of the size of the input graph remains, the graph is three colorable, otherwise it is not.

Experimental implementation

Here, we demonstrate the experimental implementation of the method. By employing molecular self-assembly of a nano-object representing the graph itself, we report a solution of the three-colorability problem for a graph of 6 vertices and 9 edges. As noted above, the approach inherently uses a constant number of steps, regardless of the size of the graph. The molecular structure corresponding to the graph encoding the solution of the problem was identified through its resistance to cleavage by restriction endonucleases. A linear molecule that traverses each edge of the graph at least once proved the formation of the structure. The molecule was identified by its length and confirmed through sequencing.

There are three logical steps involved in computing by DNA self-assembly: (i) encoding the problem in molecular components, (ii) creating possible solutions to the problem through assembling these components via cohesive non-bonded interactions, and (iii) extracting the answer from the assembled components; the last step often necessitates the ligation of key strands [3,9] and may entail the amplification of correct answers and/or the removal of incorrect answers[3,5].

Encoding

The graph used in the implementation is illustrated in Figure 1a.

Figure 1
Schematics Describing this Computational System and Experiments

It consists of six vertices 1,2,…,6, and edges {1,2}, {1,5}, {1,6}, {2,3}, {2,4}, {2.6}, {3,4], {3,6} and {4,5}. Vertex 2 is connected to its neighbors by four edges and therefore represented with 4-armed vertex building block molecule, vertex 5 is connected to its neighbors by two edges, represented with a 2-armed molecule, i.e., a duplex, and the other four vertices are connected to their neighbors by three edges, hence all are represented with 3-armed vertex building blocks. Figure 1b shows how we have encoded this graph in DNA; the edges are all double helical strands of DNA, the vertices correspond to the branch points of DNA branched junctions and the resulting structure (after hybridization) is a cyclic single strand traversing the graph twice. Comparison of Figures 1a and 1b shows that our encoding structurally corresponds to the chosen representation of the graph, where the helix axes correspond to its edges. All edges contain 64 nucleotide pairs except those connected to vertex 5, which contain 97 nucleotide pairs. Edges {5,1} and {5,4} were lengthened to avoid steric or electrostatic clashes with edges {2,1} and {2,4}, which would have occurred if they were all the same length. To allow flexibility of the junction molecules, each branch point is flanked by three unpaired thymidines in each strand, except for vertex 5, which has four. The length of the edges and the unpaired thymidines were chosen to minimize the strain of the structure once it is assembled, after a physical model of the molecule was examined. The investigations of a similar object representing the same graph structure showed existence of at least two topoisomers [14], and we expect that the structure presented here may not necessarily have only one topological embedding in space. The encoding of the graph structure is designed such that the final construct is obtained by hybridizing the 2-arm, 3-arm and 4-arm branched junctions through cohesive ends, thereby forming its edges.

The structure of the cohesive ends extending from each arm of the vertex building blocks consists of three portions x, y and z, as shown in Figure 1c. Their design enables assembly of the structure that represents the computation. Every cohesive (sticky) end is 24 nucleotides long. The outer parts of each cohesive end (portion x indicated through nucleotides 1–8 and portion z through nucleotides 17–24) are encrypted with vertex-edge specific sequences. The inner portion y (nucleotides 9–16) encodes the 'color' of the vertex which contains a restriction site. In our experiment a restriction site for HindIII represents the color red, a site for BamH1 represents the color blue and a site for EcoR1 represents the color green. The middle parts, portions y, of the sticky ends in all of the strands that make up a given junction molecule are identical, indicating the color of the vertex represented by the junction. In forming an edge, if sticky ends encoding the same color are hybridized, thereby joining two identically-colored vertices in violation of the colorability rule, the resulting edge becomes susceptible to digestion by the appropriate restriction enzyme. If an edge is formed joining differently colored vertices, the overlapping middle region of the sticky ends contains two different mispaired sites, and the resulting edge is immune to restriction.

Solving the problem

For each vertex, three copies of the corresponding vertex building blocks, one copy for each of the three colors, should be placed in a test tube. However, if the graph is three colorable, it is three colorable by any permutation of the colors. Hence, the generality of the problem is not lost by fixing two distinct colors for two adjacent vertices. In our experiment, the color for vertex 1 was fixed with blue by representing this vertex only with a ‘blue’ vertex building block in the reaction solution, and the color for vertex 2 was fixed to ‘green’. The encoding of the problem ensures that a single annealing step of hybridizing complementary sticky ends results in the desired graph structure. This step is followed by enzymatic restriction by the three chosen enzymes cleaving all edges that join identically-colored vertices. The solution of the problem is obtained as a molecule representing the graph structure with mis-paired portions along each edge. So as to identify the structure representing the solution, cohesive ends were sealed by DNA ligase. Ligation to form covalent species containing the solution is needed so that solutions can be identified. Non-covalent species are not necessarily stable, and can re-assort their components through processes that include strand invasion and branch migration.

Identifying the answer

Ideally, the ligase and the restriction enzymes would be mixed together in a one-pot reaction, from which cyclic single-stranded molecules traversing the whole graph structure twice (gray and magenta portion in Figure 1d) would emerge as the surviving product material [1214]. As a practical matter, the optimal temperatures for ligation and restriction are sufficiently different that the two reactions were performed in separate steps. In addition, enzymatic ligation concurrent with restriction might result in the unwanted rescue of some of the restricted fragments; high-yield non-enzymatic ligation that does not use restricted ends, such as 2’,2’ ligation[15], ultimately would be a more robust method to use in a one-pot reaction. Note that the surviving graph-traversing molecule contains mis-pairs in each edge. Thus, it does not correspond to the free energy minimum amongst the possible hydrogen-bonded self-assemblies of the vertex building blocks. The existence of this molecule provides a positive answer to the question of whether the given graph is 3-colorable.

Another practical limitation inherent to our demonstration is that ligation of synthetic DNA is not sufficiently robust to produce adequate quantities of a completely ligated cyclic molecule, a product that could be assayed either as exonuclease-resistant [13,14], or as a species that migrates off-diagonal on a 2D gel [14]. We have dealt with this issue here by limiting the ligation to a 'reporter' strand that traverses each edge at least once; the strand we have used for this work is shown in magenta in Figure 1d. Although not every DNA graph structure can be constructed as one cyclic molecule [12], every DNA graph structure can contain such a reporter strand that visits every edge at least once [16]. If a graph contains vertices of degree 1, the reporter strand needs to include both strands of the hairpin, as well as the loop.

Experimental results

The results of the ligation and restriction experiments are shown in Figure 2. Four experiments are diagrammed in Figure 2a and the results are visible in Figure 2b. In the positive control experiment, the experiment labeled A, only the junctions corresponding to the correct solution are added to the ligation mixture. There is no apparent difference between the lanes containing restricted material (labeled A+) and unrestricted material (labeled A−) because there are no restriction sites in the assembled molecule in this case. As noted above, no generality is lost if we fix two adjacent vertices to different colors; we have fixed vertex 1 to be blue and vertex 2 to be green. The negative control experiments are labeled C1 and C2. In addition to the fixed vertices, the graph constructed in experiment C1 contains DNA for vertices 3–6 corresponding only to red coloring; the graph constructed in experiment C2 contains only blue and green vertices. The target species of reporter strand (804 nucleotides long) is destroyed by restriction in both experiments (lanes C1+ and C2+).

Figure 2
Denaturing gel electrophoresis

Other than permutation of the colors, the graph in Figure 1a has only one solution for the 3-colorability problem. The actual computation is performed in experiment C3 where branched junctions of all colors for vertices 3–6 were added to the fixed-color vertices 1 and 2. By fixing colors for vertices 1 and 2, there is only one coloring of the graph solving this three-colorability problem, shown in Figure 2a (graph C3). Fixing these vertices eliminates five of the six solutions that are equivalent to the one we have obtained, thereby simplifying the analysis. We note that the generality of the solution is not reduced by fixing colors of two vertices, because solutions that differ by a permutation of the colors can be considered equivalent. Considering that the remaining four vertices can appear in any of the three colors, the solution represents 1/34 (= 1/81, ~1.2%) of the ligated structures that form; this estimate is based on the assumption that all ligations are equally probable. This solution can be identified through the target 804-nucleotide reporter strand. In close agreement with the estimate of 1.2%, we find ~1.0% of the target strand material in lane C3- survives digestion, as seen in lane C3+. All other bands in the lane are the result of incomplete ligation. We point out that theoretically, no other graphs can be formed by the given building blocks except the graph itself and its dimers, trimers, etc. [13].

To prove that the target 804-nucleotide reporter strand traces the edges of the correctly colored graph, we amplified this molecule and sequenced it. The reporter strand contains the predicted sequence for the correct solution (see Supporting Material). Control PCR experiments testing for the presence of any edges flanked by vertices of the same color show that none are present if the DNA is produced by DNA polymerase from nucleoside triphosphates; synthetic DNA sometimes contains sufficient chemical errors to thwart complete digestion by the restriction endonucleases. We found it necessary to use triphosphate-based strands (produced enzymatically by DNA polymerase, rather than by organic synthesis) only on the edge connecting vertices 4 and 5, although it might in general be advisable to use DNA produced this way for all strands. The quantitative results of the control experiments are shown in the Supporting Information. The current experimental approach is not highly efficient, owing to technical issues; a discussion of the limits is included in the Supporting Information.

Concluding remarks

We have demonstrated that solving a graph theoretic problem can be performed by assembly of a DNA nano-object representing the graph structure itself. Thus, we have used self-assembly of a nanostructure, instead of binary or linear encodings for the graph or paths in the graph to solve a graph-theoretic problem. The problem chosen for this experiment falls in the class of well-known NP-complete problems. Although theoretically it can be shown that variety of other computational problems can be solved in this way [13,14], this method for solving hard computational problems would be difficult to scale experimentally. We estimate that under current experimental conditions the method would be limited to graphs with approximately 13 vertices and 28 edges as explained in the Supporting Information. However, the experiment shows clearly that an environment containing molecules prone to self-assemble via specific recognition rules can be seen to perform a computation when the appropriate components (enzymes here) are present to aid in the extracting the answer. Moreover, in principle, a complex shape, including sequences that mispair, results from the computation, and this shape actually represents the answer of the computation; experimental limitations here resulted in the production of the reporter strand. From all molecules that assemble into the graph structure, only the configuration with mis-pairing on each edge provides the answer to the problem and survives the digestion. Our findings confirm the notion that in information processing through molecular self-assembly, computation based on "shape processing" represents a viable alternative to computation based on symbol processing. Furthermore, if we consider that natural self-assembly processes that produce complex molecular shapes, associated with a selection process, perform computation, we are left with the question "What do they compute and does this computation confer a selective advantage?" [18]

Supplementary Material

01

ACKNOWLEDGEMENTS

This research has been supported by grants GM-29554 from NIGMS, grants DMI-0210844, EIA-0086015, CCF-0523290 and CTS-0548774, CTS-0608889 from the NSF, 48681-EL and W911NF-07-1-0439 from ARO, N000140910181 from the office of Naval Research and a grant from the W.M. Keck Foundation, to N.C.S. It has also been supported by NSF grants CCF-0523928 to NJ and CCF-0432009, CCF-0726378 to NS and NJ.

Footnotes

Publisher's Disclaimer: This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final citable form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain.

Supporting Information Available. Sequences of the strands used in the experiments described here; the results of the PCR and sequencing experiments; discussion of limits of the computation method and experimental methods.

REFERENCES

1. Conrad M, Zauner K-P. Molecular computing: From conformational pattern recognition to complex processing networks. Lecture Notes in Computer Science. 1997;1278:1–10.
2. Hopcroft HE, Ulman JD. Languages and Computation. New York: Addison-Wesley; 1979. Introduction to Automata Theory.
3. Adleman LM. Molecular Computation of Solutions to Combinatorial Problems. Science. 1994;226:1021–1024. [PubMed]
4. Lipton RJ. DNA Solution of Hard Computational Problems. Science. 1995;268 542ñ545. [PubMed]
5. Ouyang Q, Kaplan PD, Liu S, Libchaber A. DNA Solution of the Maximal Clique Problem. Science. 1997;278 446ñ449. [PubMed]
6. Faulhammer D, Cukras AR, Lipton RJ, Landweber LF. Molecular Computation: RNA Solutions to Chess Problems. Proc. Natl Acad. Sci. USA. 2000;97 1385ñ1389. [PubMed]
7. Liu Q, Wang L, Frutos AG, Condon AE, Corn RM, Smith LM. DNA Computing on Surfaces. Nature. 2000;403 175ñ179. [PubMed]
8. Mao C, LaBean TH, Reif JH, Seeman NC. Logical Computation Using Algorithmic Self-Assembly of DNA Triple Crossover Molecules. Nature. 2000;407:493–496. [PubMed]
9. Winfree E. On the computational power of DNA annealing and ligation. In: Lipton EJ, Baum EB, editors. DNA Based Computing. Providence, Am. Math. Soc.; 1996. pp. 199–219.
10. Seeman NC. Nucleic Acid Junctions and Lattices. J. Theor. Biol. 1982;99:237–247. [PubMed]
11. Garey MR, Johnson DS. Computers and Intractability: a Guide to the Theory of NP-completeness. New York: Freeman; 1979.
12. Jonoska N, Saito M. Boundary Components of Thickened Graphs. Springer LNCS. 2002;2340:70–81.
13. Jonoska N, Karl SA, Saito M. Three-Dimensional DNA Structures in Computing. Biosystems. 1999;52:143–153. [PubMed]
14. Sa-Ardyen P, Jonoska N, Seeman NC. Self-assembly of Graphs Represented by DNA Helix Axis Topology. J. Am. Chem. Soc. 2004;126(21):6648–6657. [PubMed]
15. Liu Y, Sha R, Wang R, Ding L, Canary JW, Seeman NC. 2',2'-Ligation Demonstrates the Thermal Dependence of DNA-Directed Positional Control. Tetrahedron. 2008;64:9417–8422. [PMC free article] [PubMed]
16. Jonoska N, Seeman NC, Wu G. On Existence of Reporter Strands in DNA-Based Graph Structures. Theoretical computer Science. 410(15):1448–1460. (on-line http://dx.doi.org/10.1016/j.tcs.2008.12.004). [PMC free article] [PubMed]
17. Birac JJ, Sherman WB, Kopatsch J, Constantinou PE, Seeman NC. GIDEON, A Program for Design in Structural DNA Nanotechnology. J. Mol. Graphics & Modeling. 2006;25:470–480. [PMC free article] [PubMed]
18. Adams DA. The Restaurant at the End of the Universe. New York: Pocket Books; 1982. pp. 246–246.