Download:
by Dan Boneh, Christopher Dunworth, Jill Sgallt, Richard J. Lipton
Discrete Applied Mathematics
http://www.cise.ufl.edu/~mpf/biocircuit.pdf
Add To MetaCart
Abstract:
We show how DNA based computers can be used to solve the satisfiability problem for boolean circuits. Furthermore, we show how DNA computers can solve optimization problems directly without first solving several decision problems. Our methods also enable random sampling of satisfying assignments. 1
Citations
|
415
|
Molecular computation of solutions of combinatorial problems
– Adleman
|
|
204
|
Random generation of combinatorial structures from a uniform distribution," Theoretical Computer Science 43
– Jerrum, Valiant, et al.
- 1986
|
|
72
|
Algorithms for maximum independent sets
– Robson
|
|
66
|
On constructing a molecular computer
– Adleman
- 1995
|
|
58
|
A DNA and Restriction Enzyme Implementation of Turing Machines
– Rothemund
- 1996
|
|
50
|
Finding a maximum independent set
– Tarjan, Trojanowski
|
|
49
|
A universal molecular computer
– Beaver
- 1995
|
|
47
|
Breaking DES using a molecular computer
– Boneh, Dunworth, et al.
- 1995
|
|
47
|
Markov chains and polynomial time algorithms
– Kannan
- 1994
|
|
43
|
Using DNA to solve NP-complete problems
– Lipton
|
|
39
|
Making DNA computers error resistant
– Boneh, Lipton
- 1996
|
|
39
|
On Approximation Algorithms for #P
– Stockmeyer
- 1985
|
|
38
|
DNA models and algorithms for NP-complete problems
– Bach, Condon, et al.
- 1996
|
|
25
|
Parallel molecular computation
– Reif
- 1995
|
|
24
|
DNA computers in vitro and vivo
– Smith, Schweitzer
- 1995
|
|
17
|
Error-resilient DNA computation
– Karp, Kenyon, et al.
- 1996
|
|
13
|
On the power of bio-computers
– Roos, Wagner
- 1995
|
|
4
|
Private communications
– Papadimitriou
- 1992
|
|
2
|
Error-resistant Implementation of DNA Computations. Unpublished manuscript
– Amos, Gibbons, et al.
|
|
2
|
Error resistant and uniform DNA computers
– Boneh, Lipton, et al.
|
|
2
|
On the Computational Power of DNA Annealing and Ligation. Available at http://dope.caltech.edu/winfree/DNA.html
– Winfree
- 1994
|
|
2
|
private communication
– Rothemund
|