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

被引:34
作者
Zhang, Xuncai [1 ,2 ]
Wang, Yanfeng [2 ]
Chen, Zhihua [1 ]
Xu, Jin [1 ]
Cui, Guangzhao [2 ]
机构
[1] Huazhong Univ Sci & Technol, Key Lab Image Proc & Intelligent Control, Dept Control Sci & Engn, Wuhan 430074, Peoples R China
[2] Zhengzhou Univ Light Ind, Sch Elect & Elect Engn, Zhengzhou 450002, Peoples R China
基金
中国国家自然科学基金;
关键词
Self-assembly; Subtractor; Divider; Tile assembly model; DNA tiles; DNA computing; DESIGN;
D O I
10.1016/j.pnsc.2008.07.013
中图分类号
T [工业技术];
学科分类号
120111 [工业工程];
摘要
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. (C) 2008 National Natural Science Foundation of China and Chinese Academy of Sciences. Published by Elsevier Limited and Science in China Press. All rights reserved.
引用
收藏
页码:377 / 388
页数:12
相关论文
共 30 条
[1]
Amorphous computing [J].
Abelson, H ;
Allen, D ;
Coore, D ;
Hanson, C ;
Homsy, G ;
Knight, TF ;
Nagpal, R ;
Rauch, E ;
Sussman, GJ ;
Weiss, R ;
Homsy, G .
COMMUNICATIONS OF THE ACM, 2000, 43 (05) :74-82
[2]
MOLECULAR COMPUTATION OF SOLUTIONS TO COMBINATORIAL PROBLEMS [J].
ADLEMAN, LM .
SCIENCE, 1994, 266 (5187) :1021-1024
[3]
ADLEMAN LM, 2002, ANN ACM S THEOR COMP, P23
[4]
Two computational primitives for algorithmic self-assembly: Copying and counting [J].
Barish, RD ;
Rothemund, PWK ;
Winfree, E .
NANO LETTERS, 2005, 5 (12) :2586-2592
[5]
Barua R, 2003, IEEE C EVOL COMPUTAT, P2529
[6]
Solving NP-complete problems in the tile assembly model [J].
Brun, Yuriy .
THEORETICAL COMPUTER SCIENCE, 2008, 395 (01) :31-46
[7]
Nondeterministic polynomial time factoring in the tile assembly model [J].
Brun, Yuriy .
THEORETICAL COMPUTER SCIENCE, 2008, 395 (01) :3-23
[8]
Arithmetic computation in the tile assembly model: Addition and multiplication [J].
Brun, Yuriy .
THEORETICAL COMPUTER SCIENCE, 2007, 378 (01) :17-31
[9]
Carbone A, 2004, LECT NOTES COMPUT SC, V2950, P61
[10]
Fast parallel molecular algorithms for DNA-based computation: Factoring integers [J].
Chang, WL ;
Guo, MY ;
Ho, MSH .
IEEE TRANSACTIONS ON NANOBIOSCIENCE, 2005, 4 (02) :149-163