![Page 1: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/1.jpg)
DNA Computing on Surfaces
Anne Condon, Computer Science, UBCRobert Corn, Chemistry, U. WisconsinMax Lagally, Materials Science, U. WisconsinLloyd Smith, Chemistry, U. Wisconsin
![Page 2: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/2.jpg)
Goals
• Encode information in DNA strands
• Compute on many strands in parallel: chemical manipulations = logical operations
(Adleman, Science 266:1994)
![Page 3: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/3.jpg)
“…the number of of operations per second … would exceed that of current supercomputers by a thousandfold…remarkable energy efficiency… information density a dramatic improvement over existing storage media
Len Adleman, Science 266:1994
![Page 4: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/4.jpg)
“for certain intrinsically complex problems…where existing electronic computers are very inefficient and where massively parallel searches can be organized to take advantage of the operations that molecular biology currently provides, molecular computation might compete with electronic computation in the near term”
![Page 5: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/5.jpg)
OutlineBackground
DNA Computing on Surfaces
Conclusions•Models•Experiments
• What is computation? What is DNA?• DNA computation
•Research on DNA computation
• in the biotech industry• in the solution of combinatorial problems
![Page 6: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/6.jpg)
What is Computation?(very simple view)
• Input: string over finite alphabet
• Process: determine if input satisfies
some property
• Output: yes or no
![Page 7: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/7.jpg)
Satisfy a Property: Binary Inputs
• set the output of a circuit to 1 or
and
notand
0 11 0
Output:
Input:
0 1
1
1
![Page 8: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/8.jpg)
Satisfy a Property: Non-binary Inputs
• Set the output of a generalized circuit to a given value
C GA G
Output:
T G
G
C
![Page 9: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/9.jpg)
Simple Parallel Computation
• Input: set of strings
• Process: independently for each input,
determine if it satisfies a
common circuit
• Output: indicate whether there exists an
input satisfying the circuit
![Page 10: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/10.jpg)
What is DNA?
![Page 11: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/11.jpg)
“DNA Computation:” Affymetrix Arrays
• Input: strings over {A,C,G,T}, (represented as the corresponding single-stranded DNA)
Photolithography used to synthesize and array DNA strands on a planar surface
![Page 12: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/12.jpg)
“DNA Computation:” Affymetrix Arrays
• Process: e.g. for each input, test if it approximately matches a given string
(i.e. hybridizes to Watson-Crick complement of given string)
![Page 13: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/13.jpg)
“DNA Computation:” Affymetrix Arrays
• Output: fluorescence detection
![Page 14: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/14.jpg)
Adleman’s Hamiltonian Path Experiment
• Input: generate random paths
• Process:
• Output: “yes” iff path remains
S
2 1
3
4
5
T
• select paths from S to T• select paths with 7 nodes• select paths entering all nodes at least once
![Page 15: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/15.jpg)
Generate Random Paths
• Associate DNA strands with nodes and edges
• Join edge strands in test tube to form double-stranded “paths” (hybridization, ligation)
• Wash to form single-stranded paths
542 3
![Page 16: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/16.jpg)
Adleman’s Experiment: Select Paths That Enter Node 2
• Attach strand associated with node 2 to beads and introduce to test tube
• The paths that enter node 2 hybridize to strands on the beads
• Remove beads; wash and detach desired paths
![Page 17: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/17.jpg)
Biomolecular Computation Research
• “Classical” DNA/RNA computation
(e.g. search-and-prune)• O(1)-biostep computation
(e.g. self-assembly of 3-D DNA molecules)
![Page 18: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/18.jpg)
Biomolecular Computation Research
• Splicing-based computation• Non-computational applications
(e.g. exquisite detection, DNA2DNA computation, DNA nanotechnology, DNA tags)
![Page 19: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/19.jpg)
DNA Computing on Surfaces
![Page 20: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/20.jpg)
• Advantages over “solution phase” chemistry:
• Disadvantages:
DNA Computing on Surfaces
•Facile purification steps•Reduced interference between strands•Easily automated
•Loss of information density (2D)•Lower surface hybridization efficiency•Slower surface enzyme kinetics
![Page 21: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/21.jpg)
DNA Surface Model: Input
DNA strands representing the set {0,1}^n are synthesized and subsequently immobilized on a surface in a non-addressed fashion
![Page 22: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/22.jpg)
Encoding of Binary Information in DNA Strands
A strand is comprised of words. Each word is a short DNA strand (16mer) representing one or more bits.
ACCT...
Word Bit
1
2
3
4
12341234...
![Page 23: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/23.jpg)
DNA Word Design Problem
• Requirements of a “DNA code”:– Success in specific hybridization between a DNA
code word and its Watson-crick complement– Few false positive signals
• Virtually all designs enforce combinatorial constraints on the code words
• Applications: – Information storage, retrieval for DNA computing – Molecular bar codes for chemical libraries
![Page 24: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/24.jpg)
What combinatorial constraints are placed on DNA Codes?
• Hamming: distance between two code words should be large
• Reverse complement: distance between a word and the reverse complement of another word should be large
• Also: frame shift, distinct sub-words, forbidden sub-words, …
![Page 25: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/25.jpg)
Work on DNA code design• Seeman (1990): de novo design of
sequences for nucleic acid structural engineering
• Brenner (1997): sorting polynucleotides using DNA tags
• Shoemaker et al. (1996): analysis of yeast deletion mutants using a parallel molecular bar-coding strategy
• Many other examples in DNA computing
![Page 26: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/26.jpg)
Word Design Example
![Page 27: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/27.jpg)
DNA Surface Model: Process
•MARK strands in which bit j = 0 (or 1): hybridize with Watson-Crick complements of word containing bit j, followed by polymerization•DESTROY•UNMARK
![Page 28: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/28.jpg)
DNA Surface Model: Process
•MARK strands in which bit j = 0 (or 1)•DESTROY unmarked strands: exonuclease degradation•UNMARK
![Page 29: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/29.jpg)
DNA Surface Model: Process
MARK strands in which bit j = 0 (or 1): hybridize with Watson-Crick complements of word containing bit j, followed by polymerization
![Page 30: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/30.jpg)
DNA Surface Model: Process
•MARK strands in which bit j = 0 (or 1)•DESTROY unmarked strands•UNMARK strands: wash in distilled water
![Page 31: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/31.jpg)
DNA Surface Model: Output
• Detect remaining strands (if any)
by detaching strands from surface and
amplifying using PCR (polymerase chain
reaction).
![Page 32: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/32.jpg)
Computational Power ofDNA Surface Model
Theorem: Any CNFSAT formula of size m can be computed using O(m) mark, unmark and destroy operations.
Theorem: Any circuit of size m can be computed using O(m) mark, unmark, destroy, and append operations.
![Page 33: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/33.jpg)
Surface DNA Computation: the Satisfiability Problem
•Input: 16 strands•Process:
•Output: exactly those strands that satisfy the circuit remain on the surface.
or
not
or
z
and
w y x
MARK if bit z = 1 MARK if bit w = 1 MARK if bit y = 0 DESTROY UNMARK
MARK if bit w = 0 MARK if bit y = 0 DESTROY UNMARK
…
or or
not not
![Page 34: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/34.jpg)
DNA Computing on Surfaces: Experiments
Students: Tony Frutos, Susan Gillmor, Zhen Guo, Qinghua Liu, Andy Thiel, Liman Wang
![Page 35: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/35.jpg)
MARK Operation: 4-Base Mismatch Word Design
![Page 36: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/36.jpg)
Repeated MARK, DESTROY, UNMARK Operations
![Page 37: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/37.jpg)
Append (DNA Ligase)
A. Hybridize with CbB. Hybridize with Cab, WbC. Ligate; Wash; Hybridize with Cb.
![Page 38: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/38.jpg)
Two-Word Mark and Destroy
A. Mark C1a, C1b, C2bB. Ligate; Melt single wordsC. Destroy; Unmark; Mark C1a, C1b, C2b.
![Page 39: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/39.jpg)
Surface Attachment Chemistry
![Page 40: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/40.jpg)
![Page 41: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/41.jpg)
Word Readout Strategy
•PCR amplify words remaining on surface
•Detect PCR products on single word readout arrays
![Page 42: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/42.jpg)
4-Variable SAT Demo
•Synthesize; Attach•Mark•Destroy•Umark•Readout
Cycle
![Page 43: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/43.jpg)
![Page 44: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/44.jpg)
Conclusions• DNA computing has expanded the notion of what
is computation• Solid-phase chemistry is a promising approach to
DNA computing• DNA computing will require greatly improved
DNA surface attachment chemistries and control of chemical and enzymatic processes
• New research problems in combinatorics, complexity theory and algorithms
![Page 45: DNA Computing on Surfaces Anne Condon, Computer Science, UBC Robert Corn, Chemistry, U. Wisconsin Max Lagally, Materials Science, U. Wisconsin Lloyd Smith,](https://reader035.vdocuments.us/reader035/viewer/2022062322/56649e2c5503460f94b1b095/html5/thumbnails/45.jpg)
Open Problem: DNA Strand Engineering
Given a DNA strand, there are polynomial-time algorithms that predict the secondary structure of the strand.
Inverse Problem: find an efficient algorithm that, given a desired secondary structure, generates a strand with that structure.