Abstract:A simple 4-variable-8-clause 3-SAT problem is solved using a DNA computing algorithm and experimental protocols amenable to automation. The proposed DNA computing algorithm can solve an n-variable m-clause SAT problem in m+1 steps including 9m operations, and the amount of time required increases proportional to m. Our algorithm does not first generate a large pool of all possible solutions, but rather starts from an empty test tube and then generates solutions that partially satisfy the SAT formula. These partial solutions are then extended step by step by the addition of new variables and incorrect ones are eliminated as soon as they fail to satisfy the conditions. This algorithm eliminates the need to generate the full-solution DNA library, which drastically reduces the number of DNA molecules that must be present throughout the computing process. Through computer experiment, it is observed that the maximum number of DNA strands required is 2(0.48n) when n = 50, and the exponent ratio decreases logarithmically with the increasing of the number of variables n. When n is set to be 100 and 200, the predicted amount of DNA strands required are respectively within several nanomole and micromole. Hence, compared with the conventional brute-force search, our algorithm is more space efficient and can be scaled-up to solve large SAT problems.

Performing DNA Computation with RecA-mediated Triple-Stranded DNA Structure

A Novel DNA Computing Model Based on RecA-mediated Triple-Stranded DNA Structure

The Working Operation Problem on Triple-stranded DNA Structure Model

The DNA Computing Based on Triple Helix Nucleic Acid

DNA Strand Displacement Computing Model for the SAT Problem

Solving the SAT problem using a DNA computing algorithm based on ligase chain reaction.

DNA Computing Solves the 3-SAT Problem with a Small Solution Space

A New DNA Computing's Algorithm for 3-Dimensional Matching Problem Based on Divide and Conquer Strategy

Solving the 3-SAT Problem Based on DNA Computing

Protein-DNA computation by stochastic assembly cascade

Plasmid Resolving the Satisfiability Problem with DNA Computing Models

Graph Computation Using Algorithmic Self-Assembly of DNA Molecules.

DNA Computing Based on Molecular Beacons

Dna Computing Model Based on Self-Assembled Nanoparticle Probes for Sat Problem

Constraining DNA Sequences with a Triplet-Bases Unpaired

A Computing Model Based on DNA Strand Replacement/Fluorescence Labeling for 0-1 Programming

DNA and DNA Computation Based on to Ehold-Mediated Strand-Displacement Reactions

DNA Origami Based Computing Model for the Satisfiability Problem.

DNA Computing Model Based on Photoelectric Detection System with Magnetic Beads

0-1 integer programming problem based on RecA-mediated triple-stranded DNA structure

DNA computing model of graph isomorphism based on three dimensional DNA graph structures