Arithmetic computation using self-assembly of DNA tiles: subtraction and division

Abstract Recently, experiments have demonstrated that simple binary arithmetic and logical operations can be computed by the process of self-assembly of DNA tiles. In this paper, we show how the tile assembly process can be used for subtraction and division. In order to achieve this aim, four systems, including the comparator system, the duplicator system, the subtraction system, and the division system, are proposed to compute the difference and quotient of two input numbers using the tile assembly model. This work indicates that these systems can be carried out in polynomial time with optimal O (1) distinct tile types in parallel and at very low cost. Furthermore, we provide a scheme to factor the product of two prime numbers, and it is a breakthrough in basic biological operations using a molecular computer by self-assembly.

[1]  Chris Hanson,et al.  Amorphous computing , 2000, Commun. ACM.

[2]  Hao Wang.  Proving theorems by pattern recognition — II , 1961 .

[3]  Grzegorz Rozenberg,et al.  DNA computing by blocking , 2003, Theor. Comput. Sci..

[4]  Shantanu Das,et al.  Finite field arithmetic using self-assembly of DNA tilings , 2003, The 2003 Congress on Evolutionary Computation, 2003. CEC '03..

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

[6]  Yuriy Brun.  Arithmetic computation in the tile assembly model: Addition and multiplication , 2007, Theor. Comput. Sci..

[7]  N. Seeman.  DNA nanotechnology: novel DNA constructions. , 1998, Annual review of biophysics and biomolecular structure.

[8]  N. Seeman,et al.  Designed Two-Dimensional DNA Holliday Junction Arrays Visualized by Atomic Force Microscopy , 1999 .

[9]  Alessandra Carbone,et al.  Molecular Tiling and DNA Self-assembly , 2004, Aspects of Molecular Computing.

[10]  John H. Reif,et al.  Successes and challenges , 2021, Strategic Community Partnerships, Philanthropy, and Nongovernmental Organization.

[11]  J. Reif,et al.  Logical computation using algorithmic self-assembly of DNA triple-crossover molecules , 2000, Nature.

[12]  Hao Wang,et al.  Proving theorems by pattern recognition I , 1960, Commun. ACM.

[13]  Grzegorz Rozenberg,et al.  String Tile Models for DNA Computing by Self-Assembly , 2000, DNA Computing.

[14]  Erik Winfree,et al.  Two computational primitives for algorithmic self-assembly: copying and counting. , 2005, Nano letters.

[15]  Masahito Yamamoto,et al.  Sequence Design for Stable DNA Tiles , 2006, DNA.

[16]  Ashish Goel,et al.  Combinatorial optimization problems in self-assembly , 2002, STOC '02.

[17]  Erik Winfree,et al.  The program-size complexity of self-assembled squares (extended abstract) , 2000, STOC '00.

[18]  J. Reif,et al.  Construction, analysis, ligation, and self-assembly of DNA triple crossover complexes , 2000 .

[19]  Jean-Marie Lehn,et al.  Supramolecular chemistry , 1994, Science.

[20]  R. Robinson.  Undecidability and nonperiodicity for tilings of the plane , 1971 .

[21]  John H. Reif,et al.  Challenges and Applications for Self-Assembled DNA Nanostructures , 2000, DNA Computing.

[22]  Hao Yan,et al.  Design, Simulation, and Experimental Demonstration of Self-assembled DNA Nanostructures and Motors , 2004, UPP.

[23]  Y. Mi,et al.  Uniquimer: Software of de novo DNA sequence generation for DNA self-assembly - An introduction and the related applications in DNA self-assembly , 2007 .

[24]  Matthew Cook,et al.  Self-Assembled Circuit Patterns , 2003, DNA.

[25]  N. Seeman,et al.  Design and self-assembly of two-dimensional DNA crystals , 1998, Nature.

[26]  Weng-Long Chang,et al.  Fast parallel molecular algorithms for DNA-based computation: factoring integers , 2005, IEEE Transactions on NanoBioscience.

[27]  Jean-Marie Lehn,et al.  Supramolecular Chemistry / Science , 1999 .

[28]  Yuriy Brun.  Solving NP-complete problems in the tile assembly model , 2008, Theor. Comput. Sci..

[29]  John H Reif.  Computing. Successes and challenges. , 2002, Science.

[30]  Yuriy Brun.  Nondeterministic polynomial time factoring in the tile assembly model , 2008, Theor. Comput. Sci..

[31]  Erik Winfree,et al.  TileSoft: Sequence Optimization Software for Designing DNA Secondary Structures , 2004 .

[32]  M. Sahani,et al.  Algorithmic Self-Assembly of DNA , 2006 .

[33]  E. Winfree,et al.  Algorithmic Self-Assembly of DNA Sierpinski Triangles , 2004, PLoS biology.