Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation
. 2002 Apr 19;296(5567):499-502.
doi: 10.1126/science.1069528. Epub 2002 Mar 14.

Solution of a 20-variable 3-SAT problem on a DNA computer

Ravinderjit S Braich  1 , Nickolas Chelyapov, Cliff Johnson, Paul W K Rothemund, Leonard Adleman
Affiliations

Solution of a 20-variable 3-SAT problem on a DNA computer

Ravinderjit S Braich et al. Science. .

Abstract

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 (2(20)) 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.

PubMed Disclaimer

Comment in

Publication types

LinkOut - more resources