57
Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache, Jim Dickson, Andrew Martens, Amber Shoecraft, and Mike Waters Faculty: Drs. Todd Eckdahl, Jeff Poet Students: Jordan Baumgardner, Tom Crowley, Lane H. Heard, Nickolaus Morton, Michelle Ritter, Jessica Treece, Matthew Unzicker, Amanda Valencia

Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Embed Size (px)

Citation preview

Page 1: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Living Hardware to Solve the Hamiltonian Path Problem

Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes

Students: Oyinade Adefuye, Will DeLoache, Jim Dickson, Andrew Martens, Amber Shoecraft, and Mike Waters

Faculty: Drs. Todd Eckdahl, Jeff Poet

Students: Jordan Baumgardner, Tom Crowley, Lane H. Heard, Nickolaus Morton, Michelle Ritter, Jessica Treece, Matthew Unzicker, Amanda Valencia

Page 2: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

The Hamiltonian Path Problem

1

3

5

4

2

Page 3: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

The Hamiltonian Path Problem

1

3

5

4

2

Page 4: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Advantages of Bacterial Computation

Software Hardware Computation

Page 5: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Advantages of Bacterial Computation

Software Hardware Computation

Computation

Page 6: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

http://www.turbosquid.comhttp://www.dnamnd.med.usyd.edu.au/

Advantages of Bacterial Computation

Software Hardware Computation

Computation

Computation

Page 7: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Computational Complexity

• Non-Polynomial (NP)

• No Efficient Algorithms

Page 8: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Computational Complexity

Cell Division

• Non-Polynomial (NP)

• No Efficient Algorithms

Page 9: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Flipping DNA with Hin/hixC

Page 10: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Using Hin/hixC to Solve the HPP

1

3

5

4

2

Using Hin/hixC to Solve the HPP

Page 11: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Using Hin/hixC to Solve the HPP

hixC Sites

1

3

5

4

2

Using Hin/hixC to Solve the HPP

Page 12: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Using Hin/hixC to Solve the HPP

1

3

5

4

2

Using Hin/hixC to Solve the HPP

Page 13: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Using Hin/hixC to Solve the HPP

1

3

5

4

2

Using Hin/hixC to Solve the HPP

Page 14: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Using Hin/hixC to Solve the HPP

Solved Hamiltonian Path

1

3

5

4

2

Page 15: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

How to Split a Gene

RBSRBS

Promoter

ReporterReporterDetectable Phenotype

Page 16: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

How to Split a Gene

RBSRBS

Promoter

ReporterReporter

hixCRBSRBS

Promoter

Repo- Repo- rter

Detectable Phenotype

Detectable Phenotype

?

Page 17: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Gene Splitter Software

Input Output

1. Gene Sequence (cut and paste)

2. Where do you want your hixC site?

3. Pick an extra base to avoid a frameshift.

1. Generates 4 Primers (optimized for Tm).

2. Biobrick ends are added to primers.

3. Frameshift is eliminated.

http://gcat.davidson.edu/iGEM07/genesplitter.html

Page 18: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Gene-Splitter Output

Note: Oligos are optimized for Tm.

Page 19: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Can We Detect A Solution?

Page 20: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Starting ArrangementP

roba

bilit

y of

HP

P S

olut

ion

Number of Flips

4 Nodes & 3 Edges

Page 21: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Elements in the shaded region can be arranged in any order.

True Positives

Number of True Positives = (Edges-(Nodes-1))! * 2(Edges-Nodes+1)

1

3

5

4

2

Page 22: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

k = actual number of occurrences

λ = expected number of occurrences

λ = m plasmids * # solved permutations of edges ÷ # permutations of edges

Cumulative Poisson Distribution:

How Many Plasmids Do We Need?

P(# of solutions ≥ k) =

1−e−λ • λ x

x!x=0

k−1

k = 1 5 10 20

m = 10,000,000 .0697 0 0 0

50,000,000 .3032 .00004 0 0

100,000,000 .5145 .0009 0 0

200,000,000 .7643 .0161 .000003 0

500,000,000 .973 .2961 .0041 0

1,000,000,000 .9992 .8466 .1932 .00007

Probability of at least k solutions on m plasmids for a 14-edge graph

Page 23: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

False Positives

Extra Edge

1

3

5

4

2

Page 24: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

False Positives

PCR Fragment Length

PCR Fragment Length

1

3

5

4

2

Page 25: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

0

0.25

0.5

0.75

1

4/6 6/9 7/12 7/14

1.0E+00

1.0E+01

1.0E+02

1.0E+03

1.0E+04

1.0E+05

1.0E+06

1.0E+07

1.0E+08

4/6 6/9 7/12 7/14

Detection of True Positives

Tot

al #

of P

ositi

ves

# of

Tru

e P

ositi

ves

÷

Tot

al #

of P

ositi

ves

# of Nodes / # of Edges

# of Nodes / # of Edges

Page 26: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Building a Bacterial Computer

Page 27: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Splitting Reporter Genes

Green Fluorescent Protein Red Fluorescent Protein

Page 28: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Splitting Reporter Genes

Green Fluorescent Protein Red Fluorescent Protein

Page 29: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

3-Node Graphs

Graph A Graph B

Page 30: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

HPP Constructs

Graph A Constructs:

Graph B Construct:

HPP0

HPP-A0

HPP-A1

HPP-A2

HPP-B1

Positive Control Construct:

Graph B

Graph A

Page 31: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Green Fluorescence

Double FluorescenceHPP0

T7 RNAP

Page 32: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

HPP-A0

T7 RNAP

Green Fluorescence

Yellow Fluorescence

Double FluorescenceHPP0

T7 RNAP

Page 33: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Fluorometer Measurements

GFP Excitation Spectra for 4 HPP Constructs (at an Emission Wavelength of 515nm)

450 nm chosen as excitation wavelength to measure GFP

Page 34: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Fluorometer Measurements

RFP Excitation Spectra for 4 HPP Constructs(at an Emission Wavelength of 608nm)

560 nm chosen as excitation wavelength to measure RFP

Page 35: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Normalized Fluorometer Measurements

Construct Fluorescent Color on UV Box

Green Red

pLac-RBS-RFP Red 7 263

pLac-RBS-RFP-RBS-GFP Red 144 370

pLac-GFP1-hixC-GFP2 Green 136 0

pLac-RBS-RFP1-hixC-RFP2 None 0 147

pLac-RBS-GFP1-hixC-RFP2 None 11 2

pLac-RBS-RFP1-hixC-GFP2 None 13 2

HPP-B0 Green 72 18

HPP-A0 Yellow 340 255

HPP-A1 Red 1 143

HPP-A2 None 11 3

HPP-B1 Hybrid green 15 3

Page 36: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Flipping Detected by Phenotype

HPP-A0

HPP-A1

HPP-A2

Page 37: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Flipping Detected by Phenotype

Hin-Mediated Flipping

HPP-A0

HPP-A1

HPP-A2

Page 38: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Flipping Detected by PCR

HPP-A0

HPP-A1

HPP-A2

Unflipped Flipped

Page 39: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Pending Experiments

• Test clonal colonies that contain flipped HPP and have the solution sequenced.

• Perform a false-positive screen for HPP-B1

• Split 2 antibiotic resistance genes using a reading frame shift just after the RBS

• Solve larger graphs

• Solve the Traveling Salesperson Problem

Page 40: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Living Hardware to Solve the Hamiltonian Path Problem

Support: Davidson College

Missouri Western State University The Duke Endowment

HHMI NSF Genome Consortium for Active Teaching James G. Martin Genomics Program

Thanks to: Karen Acker, Davidson College ‘07

Page 41: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Extra Slides

Page 42: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Traveling Salesperson Problem

Page 43: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Processivity

•The nature of our construct requires a stable transcription mechanism that can read through multiple genes in vivo

•Initiation Complex vs. Elongation Complex

•Formal manipulation of gene expression (through promoter sequence and availability of accessory proteins) is out of the picture

Problem:

Solution : T7 bacteriophage RNA polymerase

• Highly processive single subunit viral polymerase which maintains processivity in vivo and in vitro

Page 44: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Path at 3 nodes / 3 edges HP- 1 12 23

1 2

3TT

Page 45: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Path at 4 nodes / 6 edges HP-1 12 24 43

2

34

1

TT

Page 46: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Path 5 nodes / 8 edges HP -1 12 25 54 43

2

34

1

TT

5

Page 47: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Path 6 nodes / 10 edgesHP-1 12 25 56 64 43

2

34

1

TT

56

Page 48: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Path 7 nodes / 12 edgesHP-1 12 25 56 67 74 43

2

34

1

TT

56

7

Page 49: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Promoter Tester

• RBS:Kan:RBS:Tet:RBS:RFP• Tested promoter-promoter tester-pSBIA7 on varying concentration plates

Kanamycin Tet Kan-Tet

50 50 50 / 50

75 75 75 / 75

100 100 100 / 100

125 125 125 / 125

•Used Promoter Tester-pSB1A7 and Promoter Tester-pSB1A2 without promoters as control

•Further evidence that pSB1A7 isn’t completely insulated

Page 50: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Promoters Tested

•Selected “strong” promoters that were also repressible from biobrick registry

•ompC porin (BBa_R0082)

•“Lambda phage”(BBa_R0051)

•pLac (BBa_R0010)

•Hybrid pLac (BBa_R0011)

•None of the promoters “glowed red”

•Rus (BBa_J3902) and CMV (BBa_J52034) not the parts that are listed in the registry

Page 51: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Plasmid Insulation

• “Insulated” plasmid was designed to block read-through transcription

•Read-through = transcription without a promoter

•Tested a “promoter-tester” construct

•RBS:Kan:RBS:Tet:RBS:RFP

•Plated on different concentrations of Kan, Tet, and Kan-Tet plates

•Growth in pSB1A7 was stunted

•No plate exhibited cell growth in uninsulated plasmid and cell death in the insulated plasmid

Page 52: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

What Genes Can Be Split?

GFP before hixC insertion GFP displaying hixC insertion point

Page 53: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

•Determined hixC site insertion at AA 125 in each monomer subunit-AA 190 is involved in catalysis

-AA 195 and 208 are involved in Mg2+ binding

-Mutant Enzymes 190, 205, 210 all showed changes in mg+2 binding from the WT -Substitution of AA 210 (conserved) reduced enzyme activity -AA 166 serves to catalyze reactions involving ATP

-AA 44 is involved in ATP binding

-AA 60 is involved in orientation of AA 44 and ATP binding

-We did not consider any Amino Acids near the N or C terminus

-Substitution of AA 190 caused 650-fold decrease in enzyme activity

-We did not consider any residues near ß-sheets or ∂-helices close to the active site because hydrogen bonding plays an active role in substrate stabilization and the polarity of our hix site could disrupt the secondary

structure and therefore the hydrogen bonding ability of KNTase)

•Did not split

Splitting Kanamycin Nucleotidyltransferase

Page 54: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Tetracycline Resistance Protein

•Did not split

•Transmembrane protein

•Structure hasn’t been crystallized

•determined by computer modeling

•Vital residues for resistance are in transmemebrane domains (efflux function)

•HixC inserted a periplasmic domains AA 37/38 and AA 299/300

•Cytoplasmic domains allow for interaction with N and C terminus

Page 55: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Splitting Cre Recombinase

Page 56: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

More Gene-Splitter Output

Page 57: Living Hardware to Solve the Hamiltonian Path Problem Faculty: Drs. Malcolm Campbell, Laurie Heyer, Karmella Haynes Students: Oyinade Adefuye, Will DeLoache,

Gene Splitter Software