Parallel molecular computation
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Information and Computation
Error-resilient DNA computation
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
The Fidelity of the Tag-Antitag System
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Algorithmic self-assembly of dna
Algorithmic self-assembly of dna
| Hi-index | 0.00 |
Taking advantage of the power of DNA molecules to spontaneously form hairpin structures, Sakamoto et al. designed a molecular algorithm to solve instances of the satisfiability problem on Boolean expressions in clausal form (the SAT problem), and by developing new experimental techniques for molecular biology, they succeeded in solving a 6-variable, 10-clause instance of the 3-SAT problem (Sakamoto et al., Science 288 (2000) 1223). Sakamoto et al. call this computational architecture the SAT Engine. In this paper, we analyze the complexity of the SAT Engine as a probabilistic algorithm. We first estimate the time dependence of the probability of hairpin formation using standard chemical kinetics and the Jacobson-Stockmayer expression. We then estimate the number of DNA molecules required to solve the satisfiability problem with a given error probability. By taking the number of DNA molecules into account, we finally estimate the minimum total time and number of strands, respectively, required to achieve combined error rates of 1 (the probability of a false positive) and ε2 (the probability of a false negative). If the number of clauses is n, then the time required for solving the problem is proportional to n1.5(ln(1/ε1)+ln(ln(1/ε2)))+n2.5 ln(3+α),and the number of necessary DNA molecules is proportional to (3 + α)n ln(1/ε2) with arbitrarily small α 0.