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
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||