08.01.2013 Views

LNCS 2950 - Aspects of Molecular Computing (Frontmatter Pages)

LNCS 2950 - Aspects of Molecular Computing (Frontmatter Pages)

LNCS 2950 - Aspects of Molecular Computing (Frontmatter Pages)

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Molecular</strong> Tiling and DNA Self-assembly 73<br />

Fig. 10. Given a set <strong>of</strong> six distinct tiles whose binding sites are specific to each<br />

pair <strong>of</strong> tile interaction described by edges in the graph GA (left), notice that G<br />

(right) is not a covering graph for GA since it satisfies conditions (1) − (3) but it<br />

does not satisfy (5) (see text). To see this, consider the mapping p between nodes<br />

<strong>of</strong> G and GA which is suggested by the labels <strong>of</strong> the nodes. We want to think <strong>of</strong><br />

f in GA as representing a tile Tf with two distinct binding sites, one interacting<br />

with Tc and the other with Td. Nodef1 is linked to two copies <strong>of</strong> c and node f2<br />

is linked to two copies <strong>of</strong> d; this means that Tf1 (Tf2), having the same binding<br />

sites as Tf, should bind to Tc1,Tc2 (Td1,Td2). But this is impossible because the<br />

binding would require the existence <strong>of</strong> two identical sites in Tf1 (Tf2).<br />

Given a set <strong>of</strong> tiles one would like to characterize the family <strong>of</strong> closed assemblies,<br />

or equivalently, <strong>of</strong> covering graphs, if any. An important application is in<br />

the solution <strong>of</strong> combinatorial problems.<br />

Example 1. [22]. A graph G =(V,E) issaidtobe3-colorable if there is a surjective<br />

function f : V →{a, b, c} such that if v → w ∈ E, thenf(v) �= f(w).<br />

Imagine constructing the graph G with two kinds <strong>of</strong> molecules, one coding for<br />

the nodes and one for the edges. Node-molecules are branched molecules, where<br />

the number <strong>of</strong> branches is the degree <strong>of</strong> the node, and edge-molecules are twobranched<br />

molecules. Each branch <strong>of</strong> a node-molecule has a sticky end whose<br />

code contains information on the node <strong>of</strong> the graph that connects to it and on<br />

a color for the node. The n branches <strong>of</strong> a same node-molecule are assumed to<br />

have the same code. Edge-molecules have two sticky ends and their code contains<br />

information on the origin and target nodes as well as on the colors <strong>of</strong> such<br />

nodes. The two colors are supposed to be different.<br />

To consider three colors in the physical realization <strong>of</strong> the graph G, one constructs<br />

a node-molecule for each one <strong>of</strong> the three colors, together with all possible<br />

combinations <strong>of</strong> pairs <strong>of</strong> different colors for edge-molecules.<br />

By combining several identical copies <strong>of</strong> these molecules and ligating them,<br />

open and possibly closed assemblies will form. Open assemblies are discharged<br />

(this can be done with the help <strong>of</strong> exonuclease enzymes that digest molecules with<br />

free ends) and closed assemblies, if any, ensure that the graph is 3-colorable. The<br />

only closed assemblies that can be formed in the test tube are covering graphs.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!