loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
11th Annual IEEE Conference on Computational Complexity (CCC'96)
DNA models and algorithms for NP-complete problems
Philadelphia, PA
May 24-May 27
ISBN: 0-8186-7386-9
E. Bach, Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
E. Glaser, Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
A. Condon, Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
C. Tanguay, Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
A goal of research on DNA computing is to solve problems that are beyond the capabilities of the fastest silicon-based supercomputers. Adleman and Lipton present exhaustive search algorithms for 3Sat and 3-Coloring, which can only be run on small instances and hence are not practical. In this paper, we show how improved algorithms can be developed for the 3-Coloring and Independent Set problems. Our algorithms use only the DNA operations proposed by Adleman and Lipton, but combine them in more powerful ways, and use polynomial preprocessing on a standard computer to tailor them to the specific instance to be solved. The main contribution of this paper is a more general model of DNA algorithms than that proposed by Lipton. We show that DNA computation for NP-complete problems can do more than just exhaustive search. Further research in this direction will help determine whether or not DNA computing is viable for NP-hard problems. A second contribution is the first analysis of errors that arise in generating the solution space for DNA computation.
Index Terms:
genetic algorithms; computational complexity; search problems; NP-complete problems; DNA computing; 3Sat; 3-Coloring; search algorithms; Independent Set problem; DNA algorithms; DNA computation; NP-hard problems
Citation:
E. Bach, E. Glaser, A. Condon, C. Tanguay, "DNA models and algorithms for NP-complete problems," ccc, pp.290, 11th Annual IEEE Conference on Computational Complexity (CCC'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.