A DNA Computing Model for the Graph Vertex Coloring Problem Based on a Probe Graph

被引:35
作者
Xu, Jin [1 ]
Qiang, Xiaoli [2 ]
Zhang, Kai [3 ]
Zhang, Cheng [1 ]
Yang, Jing [4 ]
机构
[1] Peking Univ, Sch Elect Engn & Comp Sci, Inst Software, Key Lab High Confidence Software Technol,Minist E, Beijing 100871, Peoples R China
[2] Guangzhou Univ, Inst Novel Comp Sci & Intelligent Software, Guangzhou 510006, Guangdong, Peoples R China
[3] Wuhan Univ Sci & Technol, Sch Comp Sci, Wuhan 430081, Hubei, Peoples R China
[4] North China Elect Power Univ, Sch Control & Comp Engn, Beijing 102206, Peoples R China
基金
中国国家自然科学基金;
关键词
DNA computing; Graph vertex coloring problem; Polymerase chain reaction; MOLECULAR COMPUTATION; ALGORITHM;
D O I
10.1016/j.eng.2018.02.011
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
The biggest bottleneck in DNA computing is exponential explosion, in which the DNA molecules used as data in information processing grow exponentially with an increase of problem size. To overcome this bottleneck and improve the processing speed, we propose a DNA computing model to solve the graph vertex coloring problem. The main points of the model are as follows: (1) The exponential explosion problem is solved by dividing subgraphs, reducing the vertex colors without losing the solutions, and ordering the vertices in subgraphs; and (2) the bio-operation times are reduced considerably by a designed parallel polymerase chain reaction (PCR) technology that dramatically improves the processing speed. In this article, a 3-colorable graph with 61 vertices is used to illustrate the capability of the DNA computing model. The experiment showed that not only are all the solutions of the graph found, but also more than 99% of false solutions are deleted when the initial solution space is constructed. The powerful computational capability of the model was based on specific reactions among the large number of nanoscale oligonucleotide strands. All these tiny strands are operated by DNA self-assembly and parallel PCR. After thousands of accurate PCR operations, the solutions were found by recognizing, splicing, and assembling. We also prove that the searching capability of this model is up to O(3(59)). By means of an exhaustive search, it would take more than 896 000 years for an electronic computer (5 x 10(14) s(-1) ) to achieve this enormous task. This searching capability is the largest among both the electronic and non-electronic computers that have been developed since the DNA computing model was proposed by Adleman's research group in 2002 (with a searching capability of O(2(20))). (C) 2018 THE AUTHORS. Published by Elsevier LTD on behalf of Chinese Academy of Engineering and Higher Education Press Limited Company.
引用
收藏
页码:61 / 77
页数:17
相关论文
共 28 条
[1]   MOLECULAR COMPUTATION OF SOLUTIONS TO COMBINATORIAL PROBLEMS [J].
ADLEMAN, LM .
SCIENCE, 1994, 266 (5187) :1021-1024
[2]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[3]  
[Anonymous], 1995, DNA BASED COMPUTERS
[4]  
[Anonymous], 1985, Graphs and Hypergraphs
[5]  
[Anonymous], 1982, SIGPLAN Not, DOI DOI 10.1145/872726.806984
[6]   3-coloring in time O(1.3289n) [J].
Beigel, R ;
Eppstein, D .
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2005, 54 (02) :168-204
[7]   Programmable and autonomous computing machine made of biomolecules [J].
Benenson, Y ;
Paz-Elizur, T ;
Adar, R ;
Keinan, E ;
Livneh, Z ;
Shapiro, E .
NATURE, 2001, 414 (6862) :430-434
[8]   An autonomous molecular computer for logical control of gene expression [J].
Benenson, Y ;
Gil, B ;
Ben-Dor, U ;
Adar, R ;
Shapiro, E .
NATURE, 2004, 429 (6990) :423-429
[9]  
Biggs N.L., 1993, Algebraic graph theory
[10]   NEW APPROXIMATION ALGORITHMS FOR GRAPH-COLORING [J].
BLUM, A .
JOURNAL OF THE ACM, 1994, 41 (03) :470-516