title: Solving a Hamiltonian Path Problem with a bacterial computer.
abstract: BACKGROUND
  The Hamiltonian Path Problem asks whether there is a route in a directed graph from a beginning node to an ending node, visiting each node exactly once. The Hamiltonian Path Problem is NP complete, achieving surprising computational complexity with modest increases in size. This challenge has inspired researchers to broaden the definition of a computer. DNA computers have been developed that solve NP complete problems. Bacterial computers can be programmed by constructing genetic circuits to execute an algorithm that is responsive to the environment and whose result can be observed. Each bacterium can examine a solution to a mathematical problem and billions of them can explore billions of possible solutions. Bacterial computers can be automated, made responsive to selection, and reproduce themselves so that more processing capacity is applied to problems over time.
  
  
  RESULTS
  We programmed bacteria with a genetic circuit that enables them to evaluate all possible paths in a directed graph in order to find a Hamiltonian path. We encoded a three node directed graph as DNA segments that were autonomously shuffled randomly inside bacteria by a Hin/hixC recombination system we previously adapted from Salmonella typhimurium for use in Escherichia coli. We represented nodes in the graph as linked halves of two different genes encoding red or green fluorescent proteins. Bacterial populations displayed phenotypes that reflected random ordering of edges in the graph. Individual bacterial clones that found a Hamiltonian path reported their success by fluorescing both red and green, resulting in yellow colonies. We used DNA sequencing to verify that the yellow phenotype resulted from genotypes that represented Hamiltonian path solutions, demonstrating that our bacterial computer functioned as expected.
  
  
  CONCLUSIONS
  We successfully designed, constructed, and tested a bacterial computer capable of finding a Hamiltonian path in a three node directed graph. This proof-of-concept experiment demonstrates that bacterial computing is a new way to address NP-complete problems using the inherent advantages of genetic systems. The results of our experiments also validate synthetic biology as a valuable approach to biological engineering. We designed and constructed basic parts, devices, and systems using synthetic biology principles of standardization and abstraction.
authors.affiliation: Department of Biology, Missouri Western State University, St Joseph, MO 64507, USA. jbaumgardner@missouriwestern.edu
authors.forename: Jordan
authors.initials: J
authors.lastname: Baumgardner
authors.forename: Karen
authors.initials: K
authors.lastname: Acker
authors.forename: Oyinade
authors.initials: O
authors.lastname: Adefuye
authors.forename: Samuel Thomas
authors.initials: ST
authors.lastname: Crowley
authors.forename: Will
authors.initials: W
authors.lastname: Deloache
authors.forename: James O
authors.initials: JO
authors.lastname: Dickson
authors.forename: Lane
authors.initials: L
authors.lastname: Heard
authors.forename: Andrew T
authors.initials: AT
authors.lastname: Martens
authors.forename: Nickolaus
authors.initials: N
authors.lastname: Morton
authors.forename: Michelle
authors.initials: M
authors.lastname: Ritter
authors.forename: Amber
authors.initials: A
authors.lastname: Shoecraft
authors.forename: Jessica
authors.initials: J
authors.lastname: Treece
authors.forename: Matthew
authors.initials: M
authors.lastname: Unzicker
authors.forename: Amanda
authors.initials: A
authors.lastname: Valencia
authors.forename: Mike
authors.initials: M
authors.lastname: Waters
authors.forename: A Malcolm
authors.initials: AM
authors.lastname: Campbell
authors.forename: Laurie J
authors.initials: LJ
authors.lastname: Heyer
authors.forename: Jeffrey L
authors.initials: JL
authors.lastname: Poet
authors.forename: Todd T
authors.initials: TT
authors.lastname: Eckdahl