Natural Computing

, Volume 5, Issue 1, pp 1–13 | Cite as

Automated Design and Programming of a Microfluidic DNA Computer

  • Michael S. Livstone
  • Ron Weiss
  • Laura F. Landweber


Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Based on these findings, we have devised a similar device that can solve a satisfiability problem in any form. The device occupies linear space and operates in quadratic time, while a previously described competing device is built in quadratic space and operates in quadratic time or greater. Reducing the number of reactors in a DNA computer reduces the loss of DNA through binding to the surfaces of the system.


algorithm Boolean expression DNA computing microfluidics NP-complete satisfiability 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Braich, RS, Chelyapov, N, Johnson, C, Rothemund, PW, Adleman, L 2002Solution of a 20-variable 3-SAT problem on a DNA computerScience296499502CrossRefGoogle Scholar
  2. Faulhammer, D, Cukras, AR, Lipton, RJ, Landweber, LF 2000Molecular computation: RNA solutions to chess problemsProceedings of the National Academic of Science (USA)9713851389Google Scholar
  3. Garey, MR, Johnson, DS 1979Computers and Intractability: A Guide to the Theory of NP-CompletenessFreemanNew YorkGoogle Scholar
  4. Kuntzmann, J 1967Fundamental Boolean AlgebraBlackieLondon, GlasgowGoogle Scholar
  5. Lipton, RJ 1995DNA solution of hard computational problemsScience268542545Google Scholar
  6. Livstone, MS, Landweber, LF 2003

    Mathematical considerations in the design of microreactor-based DNA computers

    Chen, JReif, J eds. 9th International Workshop on DNA-Based Computers, DNA9Springer-VerlagMadison, Wisconsin, USA180189
    Google Scholar
  7. Unger, MA, Chou, HP, Thorsen, T, Scherer, A, Quake, SR 2000Monolithic microfabricated valves and pumps by multilayer soft lithographyScience2881131166CrossRefGoogle Scholar
  8. Noort, D, Tang, Z, Landweber, LF 2004Fully Controllable Microfluidics for Molecular ComputersJ. Association Laboratory Automation (JALA)9285290Google Scholar
  9. Zangmeister, RA, Tarlov, MJ 2004DNA displacement assay integrated into microfluidic channelsAnalytical Chemistry7636553659CrossRefGoogle Scholar

Copyright information

© Springer 2006

Authors and Affiliations

  • Michael S. Livstone
    • 1
  • Ron Weiss
    • 2
  • Laura F. Landweber
    • 1
  1. 1.Department of Ecology and Evolutionary BiologyPrinceton UniversityPrincetonUSA
  2. 2.Department of Electrical EngineeringPrinceton UniversityPrincetonUSA

Personalised recommendations