Building a Bacterial Computer Building a Bacterial Computer AbstractAbstract The Hamiltonian Path...

1
Building a Bacterial Computer Building a Bacterial Computer Abstract Abstract The Hamiltonian Path Problem The Hamiltonian Path Problem Acknowledgements Acknowledgements Bacteria Successfully Solve the Problem! Bacteria Successfully Solve the Problem! Silicon computers are powerful tools for solving mathematical problems but are inefficient parallel processors. For iGEM2007, Davidson College and Missouri Western State University have jointly developed a bacterial system capable of solving a Hamiltonian Path Problem in vivo. Our system takes advantage of E. coli’s exponential growth to address the complexity of this problem in a way that traditional computers cannot. We successfully detected solutions to a Hamiltonian Path Problem through phenotypic screening. Living Hardware to Solve the Hamiltonian Path Problem Davidson College: Oyinade Adefuye, Will DeLoache, Jim Dickson, Andrew Martens, Amber Shoecraft, Mike Waters, Dr. A. Malcolm Campbell, Dr. Karmella Haynes, Dr. Laurie Heyer Missouri Western State University: Jordan Baumgardner, Tom Crowley, Lane Heard, Nick Morton, Michelle Ritter, Jessica Treece, Matthew Unzicker, Amanda Valencia, Dr. Todd Eckdahl, Dr. Jeff Poet We thank The Duke Endowment, HHMI, NSF, Genome Consortium for Active Teaching, James G. Martin Genomics Program, MWSU Student Government Association, MWSU Student Excellence Fund, MWSU Foundation, and the MWSU Summer Research Institute. Team members Oyinade Adifuye and Amber Shoecraft are from North Carolina Central University and Johnson C. Smith University, respectively. Special thanks to the iGEM organizers and community. We had a great time! Modeling a Bacterial Computer Modeling a Bacterial Computer The HPP constructs were transformed into E. coli expressing T7 RNA polymerase, and their phenotypes were observed. After about two days, they had visible color. “Unflipped” colonies exhibited uniform fluorescent phenotypes, while colonies exposed to Hin protein varied in their fluorescence. Fluorescent phenotypes were observed by eye and confirmed by fluorometer. Flipping was also detected by PCR, using multiplex primers that bound to three distinct regions of the HPP-A constructs. Different edge orientations produce 8 unique PCR product lengths. Both methods show strong evidence for flipping of DNA, and PCR shows that some of the bacteria may have solved the problem. Hin Hin Hin MW ABC ACB BAC ABC ACB BAC Design Principles Design Principles The Hamiltonian Problem (HPP) asks: given a directed graph with designated starting and ending nodes, is it possible to travel through the graph visiting every node exactly once? Linear increases in graph complexity yield exponential increases in the number of possible paths through a graph. Due to the absence of an efficient algorithm, parallel processing is required when attempting to solve complex graphs in a limited amount of time. The exponential growth of E. coli computers provides the required processing power. 1 3 5 4 2 As a part of iGEM2006, we reconstituted a hin/hix DNA recombination mechanism as standard biobricks for use in E. coli. This system allows for rearrangement of DNA segments that are flanked by hixC sites and was implemented in our HPP computer in the following way: • Represent each node as a reporter gene • Represent each edge as a flippable unit of DNA flanked by hixC sites • Flipping generates a random walk through the graph • A solution is screened for by phenotype hixC sites Hin-mediated Recombination Edge To determine the feasibility of our system, we implemented mathematical models to answer to following questions: Probability of HPP Solution Number of Flips 4 Nodes & 3 Edges Does starting orientation matter? No, after a large number of flips, all orientations converge to the same probability. Can we detect a solution? Yes, for a 14-edge graph with 7 nodes, growing 1 billion bacterial computers gives a 99.9% chance of detecting a solution. We determined this using a cumulative Poisson distribution. 1 mL of culture contains 1 billion bacteria. 1 e x x ! x 0 k 1 Are there too many false positives? No, using MATLAB, we computed the ratio of true positive to total positives and found that even for a 14-edge graph, the ratio was above 0.05. Combined with PCR screening, this ratio is well within detectable limits. Extra Edge PCR Fragment Length PCR Fragment Length False Positive True Positive Cumulative Poisson Distribution For our system to work, reporter genes must maintain functionality despite the addition of 13 amino acids. We were able to perform successful hixC insertions in both GFP and RFP. We therefore designed the following HPP constructs to test our system on 2 simple graphs: Cell Division # of Processors # of Edges in Graph Possible Paths through the graph

Transcript of Building a Bacterial Computer Building a Bacterial Computer AbstractAbstract The Hamiltonian Path...

Page 1: Building a Bacterial Computer Building a Bacterial Computer AbstractAbstract The Hamiltonian Path Problem Acknowledgements Acknowledgements Bacteria Successfully.

Building a Bacterial ComputerBuilding a Bacterial Computer Building a Bacterial ComputerBuilding a Bacterial Computer

AbstractAbstractAbstractAbstract

The Hamiltonian Path ProblemThe Hamiltonian Path ProblemThe Hamiltonian Path ProblemThe Hamiltonian Path Problem

AcknowledgementsAcknowledgements AcknowledgementsAcknowledgements

Bacteria Successfully Solve the Problem!Bacteria Successfully Solve the Problem! Bacteria Successfully Solve the Problem!Bacteria Successfully Solve the Problem!

Silicon computers are powerful tools for solving mathematical problems but are inefficient parallel processors. For iGEM2007, Davidson College and Missouri Western State University have jointly developed a bacterial system capable of solving a Hamiltonian Path Problem in vivo. Our system takes advantage of E. coli’s exponential growth to address the complexity of this problem in a way that traditional computers cannot. We successfully detected solutions to a Hamiltonian Path Problem through phenotypic screening.

Living Hardware to Solve the Hamiltonian Path ProblemDavidson College: Oyinade Adefuye, Will DeLoache, Jim Dickson, Andrew Martens, Amber Shoecraft, Mike Waters,

Dr. A. Malcolm Campbell, Dr. Karmella Haynes, Dr. Laurie HeyerMissouri Western State University: Jordan Baumgardner, Tom Crowley, Lane Heard, Nick Morton, Michelle Ritter, Jessica Treece,

Matthew Unzicker, Amanda Valencia, Dr. Todd Eckdahl, Dr. Jeff Poet

We thank The Duke Endowment, HHMI, NSF, Genome Consortium for Active Teaching, James G. Martin Genomics Program, MWSU Student Government Association, MWSU Student Excellence Fund, MWSU Foundation, and the MWSU Summer Research Institute. Team members Oyinade Adifuye and Amber Shoecraft are from North Carolina Central University and Johnson C. Smith University, respectively. Special thanks to the iGEM organizers and community. We had a great time!

Modeling a Bacterial ComputerModeling a Bacterial Computer Modeling a Bacterial ComputerModeling a Bacterial Computer

The HPP constructs were transformed into E. coli expressing T7 RNA polymerase, and their phenotypes were observed. After about two days, they had visible color. “Unflipped” colonies exhibited uniform fluorescent phenotypes, while colonies exposed to Hin protein varied in their fluorescence. Fluorescent phenotypes were observed by eye and confirmed by fluorometer.

Flipping was also detected by PCR, using multiplex primers that bound to three distinct regions of the HPP-A constructs. Different edge orientations produce 8 unique PCR product lengths.

Both methods show strong evidence for flipping of DNA, and PCR shows that some of the bacteria may have solved the problem.

Hin Hin Hin MW ABC ACB BAC ABC ACB BAC

Design PrinciplesDesign PrinciplesDesign PrinciplesDesign Principles

The Hamiltonian Problem (HPP) asks: given a directed graph with designated starting and ending nodes, is it possible to travel through the graph visiting every node exactly once?

Linear increases in graph complexity yield exponential increases in the number of possible paths through a graph. Due to the absence of an efficient algorithm, parallel processing is required when attempting to solve complex graphs in a limited amount of time. The exponential growth of E. coli computers provides the required processing power.

1

3

5

4

2

As a part of iGEM2006, we reconstituted a hin/hix DNA recombination mechanism as standard biobricks for use in E. coli. This system allows for rearrangement of DNA segments that are flanked by hixC sites and was implemented in our HPP computer in the following way:

• Represent each node as a reporter gene

• Represent each edge as a flippable unit of DNA flanked by hixC sites

• Flipping generates a random walk through the graph

• A solution is screened for by phenotype hixC sites

Hin-mediated Recombination

Edge

To determine the feasibility of our system, we implemented mathematical models to answer to following questions:

Pro

babi

lity

of H

PP

Sol

utio

n

Number of Flips

4 Nodes & 3 Edges

Does starting orientation matter?

No, after a large number of flips, all orientations converge to the same probability.

Can we detect a solution?

Yes, for a 14-edge graph with 7 nodes, growing 1 billion bacterial computers gives a 99.9% chance of detecting a solution. We determined this using a cumulative Poisson distribution. 1 mL of culture contains 1 billion bacteria.

1e x

x!x0

k 1

Are there too many false positives?

No, using MATLAB, we computed the ratio of true positive to total positives and found that even for a 14-edge graph, the ratio was above 0.05. Combined with PCR screening, this ratio is well within detectable limits.

Extra Edge

PCR Fragment Length

PCR Fragment Length

False Positive

True Positive

Cumulative Poisson Distribution

For our system to work, reporter genes must maintain functionality despite the addition of 13 amino acids. We were able to perform successfulhixC insertions in both GFP and RFP. We therefore designed the following HPP constructs to test our system on 2 simple graphs:

Cell Division

# of

Pro

cess

ors

# of Edges in Graph

Pos

sibl

e P

aths

thr

ough

th

e gr

aph