Molecular solutions for double and partial digest problems in polynomial time

A fundamental problem in computational biology is the construction of physical maps of chromosomes from the hybridization experiments between unique probes and clones of chromosome fragments. Double and partial digest problems are two intractable problems used to construct physical maps of DNA molecules in bioinformatics. Several approaches, including exponential algorithms and heuristic algorithms, have been proposed to tackle these problems. In this paper we present two polynomial time molecular algorithms for both problems. For this reason, a molecular model similar to Adleman and Lipton model is presented. The presented operations are simple and performed in polynomial time. Our algorithms are computationally simulated.

[1]  Karl-Heinz Zimmermann,et al.  Efficient DNA sticker algorithms for NP-complete graph problems , 2002 .

[2]  In-Hee Lee,et al.  Evolutionary sequence generation for reliable DNA computing , 2002, Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02 (Cat. No.02TH8600).

[3]  Rudolf Freund,et al.  DNA Computing Based on Splicing: The Existence of Universal Computers , 1999, Theory of Computing Systems.

[4]  R J Lipton,et al.  DNA solution of hard computational problems. , 1995, Science.

[5]  Gheorghe Paun,et al.  Simple Splicing Systems , 1998, Discret. Appl. Math..

[6]  Erik Winfree,et al.  On the Reduction of Errors in DNA Computation , 1999, J. Comput. Biol..

[7]  Jack Parker Computing with DNA , 2003, EMBO reports.

[8]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[9]  Gheorghe Paun,et al.  Computing by Splicing , 1996, Theor. Comput. Sci..

[10]  C. N. Yee,et al.  Restriction site mapping is in separation theory , 1988, Comput. Appl. Biosci..

[11]  P.A. Pevzner,et al.  Open combinatorial problems in computational molecular biology , 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

[12]  Katsunori Shimohara,et al.  Signaling-pathway-based molecular computing for efficient 3-SAT problem solving , 2004, Inf. Sci..

[13]  Peter C. Nelson,et al.  On the limitations of automated restriction mapping , 1994, Comput. Appl. Biosci..

[14]  P D Kaplan,et al.  DNA solution of the maximal clique problem. , 1997, Science.

[15]  Minyi Guo,et al.  Molecular solutions for the subset-sum problem on DNA-based supercomputing. , 2004, Bio Systems.

[16]  Martyn Amos,et al.  Error-resistant implementation of DNA computations , 1996, DNA Based Computers.

[17]  Jacek Blazewicz,et al.  Construction of DNA restriction maps based on a simplified experiment , 2001, Bioinform..

[18]  Grzegorz Rozenberg,et al.  Sticker Systems , 1998, Theor. Comput. Sci..

[19]  Erik Winfree DNA Computing by Self-Assembly , 2003 .

[20]  M. Waterman,et al.  Mapping DNA by stochastic relaxation , 1987 .

[21]  Ramesh Hariharan,et al.  The restriction mapping problem revisited , 2002, J. Comput. Syst. Sci..

[22]  Perry L. Miller,et al.  Computer-assisted restriction mapping: an integrated approach to handling experimental uncertainty , 1994, Comput. Appl. Biosci..

[23]  Craig A. Stewart,et al.  Introduction to computational biology , 2005 .

[24]  榊原 康文,et al.  G. Paun, G. Rozenberg and A. Salomaa : "DNA Computing-New Computing Paradigms", Springer-Verlag (1998) , 2000 .

[25]  Gheorghe Paun,et al.  DNA computing, sticker systems, and universality , 1998, Acta Informatica.

[26]  Zheng Zhang An Exponential Example for a Partial Digest Mapping Algorithm , 1994, J. Comput. Biol..

[27]  Masahito Yamamoto,et al.  Developing Support System for Sequence Design in DNA Computing , 2001, DNA.

[28]  Steven Skiena,et al.  A partial digest approach to restriction site mapping , 1993, ISMB.

[29]  Byoung-Tak Zhang,et al.  NACST/Seq: A Sequence Design System with Multiobjective Optimization , 2002, DNA.

[30]  Max H. Garzon,et al.  Reliability and Efficiency of a DNA-Based Computation , 1998 .

[31]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[32]  Gheorghe Paun,et al.  DNA Computing: New Computing Paradigms , 1998 .

[33]  Clifford R. Johnson,et al.  Solution of a 20-Variable 3-SAT Problem on a DNA Computer , 2002, Science.

[34]  B. Bellon,et al.  Construction of restriction maps , 1988, Comput. Appl. Biosci..

[35]  Richard J. Lipton,et al.  On the Computational Power of DNA , 1996, Discret. Appl. Math..

[36]  A. Condon,et al.  Surface-based DNA computing operations: DESTROY and READOUT. , 1999, Bio Systems.