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

Jin Xu, Xiaoli Qiang, Kai Zhang, Cheng Zhang, Jing Yang

Engineering ›› 2018, Vol. 4 ›› Issue (1) : 61-77.

PDF(3109 KB)
PDF(3109 KB)
Engineering ›› 2018, Vol. 4 ›› Issue (1) : 61-77. DOI: 10.1016/j.eng.2018.02.011
Research
Research

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

Author information +
History +

Abstract

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: ① The exponential explosion problem is solved by dividing subgraphs, reducing the vertex colors without losing the solutions, and ordering the vertices in subgraphs; and ② 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(359). By means of an exhaustive search, it would take more than 896 000 years for an electronic computer (5 × 1014 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(220)).

Graphical abstract

Keywords

DNA computing / Graph vertex coloring problem / Polymerase chain reaction

Cite this article

Download citation ▾
Jin Xu, Xiaoli Qiang, Kai Zhang, Cheng Zhang, Jing Yang. A DNA Computing Model for the Graph Vertex Coloring Problem Based on a Probe Graph. Engineering, 2018, 4(1): 61‒77 https://doi.org/10.1016/j.eng.2018.02.011

References

[1]
R.P. Feynman. Minaturization. Reinhold, New York (1961)
[2]
L.M. Adleman. Molecular computation of solutions to combinatorial problems. Science,266 (5187) (1994), pp. 1021-1024. DOI: 10.1126/science.7973651
[3]
R.J. Lipton. DNA solution of hard computational problems. Science,268 (5210) (1995), pp. 542-545. DOI: 10.1126/science.7725098
[4]
Q. Ouyang, P.D. Kaplan, S. Liu, A. Libchaber. DNA solution of the maximal clique problem. Science,278 (5337) (1997), pp. 446-449
[5]
K. Sakamoto, H. Gouzu, K. Komiya, D. Kiga, S. Yokoyama, T. Yokomori, et al. Molecular computation by DNA hairpin formation. Science,288 (5469) (2000), pp. 1223-1226
[6]
P.W.K. Rothemund. A DNA and restriction enzyme implementation of turing machines. R.J. Lipton, E.B. Baum (Eds.), DNA based computers, American Mathematical Society, Providence (1995), pp. 75-119
[7]
Y. Benenson, T. Paz-Elizur, R. Adar, E. Keinan, Z. Livneh, E. Shapiro. Programmable and autonomous computing machine made of biomolecules. Nature,414 (6862) (2001), pp. 430-434
[8]
Y. Benenson, B. Gil, U. Ben-Dor, R. Adar, E. Shapiro. An autonomous molecular computer for logical control of gene expression. Nature,429 (6990) (2004), pp. 423-429
[9]
E. Winfree. Algorithmic self-assembly of DNA. [dissertation]. California Institute of Technology, Pasadena (1998)
[10]
R.S. Braich, N. Chelyapov, C. Johnson, P.W. Rothemund, L. Adleman. Solution of a 20-variable 3-SAT problem on a DNA computer. Science,296 (5567) (2002), pp. 499-502
[11]
C. Berge, E. Minieka. Graphs and hypergraphs. Elsevier Science Publishing Co, Inc., New York (1973)
[12]
Briggs P, Cooper KD, Dennedy K, Torczon L. Coloring heuristics for register allocation. In: Proceedings of the ACM SIGPLAN 1989 conference on programming language design and implementation. 1989 Jun 19-23; Portland, OR, USA; 1989. p. 275-84.
[13]
Chaitin GJ. Register allocation & spilling via graph coloring. In: Proceedings of the ACM SIGPLAN 1982 conference on compiler construction; 1982 Jun 23-25; Boston, MA, USA; 1982. p. 98-105.
[14]
Johnson DS. Worst case behavior of graph coloring algorithm. In: Proceedings of the 5th southeastern conference on combinatorics, graph theory and computing; 1974 Feb 25-Mar 1; Boca Raton, FL, USA; 1974. p. 513-27.
[15]
A. Blum. New approximation algorithms for graph coloring. J Assoc Comput Mach,41 (3) (1994), pp. 470-516
[16]
D. Karger, R. Motwani, M. Sudan. Approximate graph coloring by semi-definite programming. J Assoc Comput Mach,45 (2) (1998), pp. 246-265
[17]
Schiermeyer I. Deciding 3-colorability in less than O(1.415n) steps. In: Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science; 1993 Jun 16-18; Utrecht, The Netherlands. London: Springer; 1993. p. 177-88.
[18]
Beigel R, Eppstein D. 3-coloring in time O(1.3289n). J Algorithms 2005;54(2):168-204.
[19]
N. Jonoska, S.A. Karl, M. Saito. Three dimensional DNA structures in computing. Biosystems,52 (1-3) (1999), pp. 143-153
[20]
N. Jonoska, P. Sa-Ardyen, N.C. Seeman. Computation by self-assembly of DNA graphs. Genet Program Evolvable Mach,4 (2) (2003), pp. 123-137
[21]
P. Sa-Ardyen, N. Jonoska, N.C. Seeman. Self-assembling DNA graphs. Nat Comput,2 (4) (2003), pp. 427-438
[22]
W. Liu, F. Zhang, J. Xu. A DNA algorithm for the graph coloring problem. J Chem Inf Comput Sci,42 (5) (2002), pp. 1176-1178
[23]
L. Gao, J. Xu. A DNA algorithm for graph vertex coloring problem. Acta Electronic Sinica,31 (2003), pp. 494-496
[24]
J. Xu, X. Qiang, G. Fang, K. Zhou. A DNA computer model for solving vertex coloring problem. Chin Sci Bull,51 (20) (2006), pp. 2541-2549. DOI: 10.1007/s11434-006-2145-6
[25]
M.R. Garey, D.S. Johnson. Computers and intractability: A guide to the theory of NP-completeness. W. H. Freeman & Co., New York (1979)
[26]
J.A. Bondy, U.S.R. Murty. Graph theory with applications. American Elsevier Publishing Company, Inc., New York (1976)
[27]
K. Zhang, L. Pan, J. Xu. A global heuristically search algorithm for DNA encoding. Prog Nat Sci,17 (6) (2007), pp. 745-749
[28]
N. Biggs. Algebraic graph theory. (2nd ed.), Cambridge University Press, Cambridge (1993)
AI Summary AI Mindmap
PDF(3109 KB)

Accesses

Citations

Detail

Sections
Recommended

/