Solution of a 20-Variable 3-SAT Problem on a DNA Computer

A 20-variable instance of the NP-complete three-satisfiability (3-SAT) problem was solved on a simple DNA computer. The unique answer was found after an exhaustive search of more than 1 million (220) possibilities. This computational problem may be the largest yet solved by nonelectronic means. Problems of this size appear to be beyond the normal range of unaided human computation.

[1]  T. Head.  Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. , 1987, Bulletin of mathematical biology.

[2]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[3]  R J Lipton,et al.  DNA solution of hard computational problems. , 1995, Science.

[4]  W. Stemmer,et al.  Single-step assembly of a gene and entire plasmid from large numbers of oligodeoxyribonucleotides. , 1995, Gene.

[5]  E B Baum,et al.  Building an associative memory vastly larger than the brain. , 1995, Science.

[6]  F Guarnieri,et al.  Maya Blue Paint: An Ancient Nanostructured Material , 1996, Science.

[7]  David S. Johnson,et al.  Dimacs series in discrete mathematics and theoretical computer science , 1996 .

[8]  P D Kaplan,et al.  DNA solution of the maximal clique problem. , 1997, Science.

[9]  Erik Winfree,et al.  A Sticker-Based Model for DNA Computation , 1998, J. Comput. Biol..

[10]  N. Seeman,et al.  Design and self-assembly of two-dimensional DNA crystals , 1998, Nature.

[11]  T. Boles,et al.  Mutation typing using electrophoresis and gel-immobilized Acrydite probes. , 1998, BioTechniques.

[12]  L F Landweber,et al.  The evolution of cellular computing: nature's solution to a computational problem. , 1999, Bio Systems.

[13]  Erik Winfree,et al.  DNA Based Computers V , 2000 .

[14]  K Sakamoto,et al.  Molecular computation by DNA hairpin formation. , 2000, Science.

[15]  J. Reif,et al.  Logical computation using algorithmic self-assembly of DNA triple-crossover molecules , 2000, Nature.

[16]  Lloyd M. Smith,et al.  DNA computing on surfaces , 2000, Nature.

[17]  A. Turberfield,et al.  A DNA-fuelled molecular machine made of DNA , 2022 .

[18]  L F Landweber,et al.  Molecular computation: RNA solutions to chess problems , 2000, Proc. Natl. Acad. Sci. USA.