
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.
A DNA Computing Model for the Graph Vertex Coloring Problem Based on a Probe Graph
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)).
DNA computing / Graph vertex coloring problem / Polymerase chain reaction
[1] |
|
[2] |
|
[3] |
|
[4] |
|
[5] |
|
[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] |
|
[8] |
|
[9] |
|
[10] |
|
[11] |
|
[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] |
|
[16] |
|
[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] |
|
[19] |
|
[20] |
|
[21] |
|
[22] |
|
[23] |
|
[24] |
|
[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] |
|
[27] |
|
[28] |
|
/
〈 |
|
〉 |