DNA Self-Assembly for Graph Vertex 3-Coloring Problem

被引:10
作者
Wang, Yanfeng [1 ,2 ]
Hu, Peipei [2 ]
Shi, Xiaolong [1 ]
Cui, Guangzhao [2 ]
机构
[1] Huazhong Univ Sci & Technol, Dept Control Sci & Engn, Wuhan 430074, Peoples R China
[2] Zhengzhou Univ Light Ind, Coll Elect & Elect Engn, Zhengzhou 450002, Peoples R China
基金
美国国家科学基金会;
关键词
DNA Self-Assembly; Graph Vertex 3-Coloring Problem; Nondeterministic Computation; SUBTRACTOR OPERATIONS; COMPUTATION; ADDER; MODEL;
D O I
10.1166/jctn.2012.2620
中图分类号
O6 [化学];
学科分类号
0703 ;
摘要
This paper presents a method of DNA self-assembly for solving the graph vertex 3-coloring problem. We encode all vertices of a graph in DNA tiles as the inputs, and then assign colors to vertices based on the rule that two adjacent vertices can not be assigned the same color in the process of DNA self-assembly. By creating huge numbers of copies of the participating DNA tiles, the algorithm will run in parallel on all possible vertex 3-coloring situations, finally exclude the aborted coloring situations and obtain the successful vertex coloring scheme(s). The potential computations by DNA self-assembly for the vertex 3-coloring problem is promising given the operational time complexity of O(n). This work shows further evidence for the ability of DNA self-assembly to solve other NP-complete problems.
引用
收藏
页码:2086 / 2092
页数:7
相关论文
共 30 条
[1]  
Adleman Leonard, 2001, P 33 ANN ACM S THEOR, P740, DOI DOI 10.1145/380752.380881
[2]   MOLECULAR COMPUTATION OF SOLUTIONS TO COMBINATORIAL PROBLEMS [J].
ADLEMAN, LM .
SCIENCE, 1994, 266 (5187) :1021-1024
[3]  
[Anonymous], PROGR NATURAL SCI
[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]   Solving satisfiability in the tile assembly model with a constant-size tileset [J].
Brun, Yuriy .
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2008, 63 (04) :151-166
[6]   Solving NP-complete problems in the tile assembly model [J].
Brun, Yuriy .
THEORETICAL COMPUTER SCIENCE, 2008, 395 (01) :31-46
[7]   Arithmetic computation in the tile assembly model: Addition and multiplication [J].
Brun, Yuriy .
THEORETICAL COMPUTER SCIENCE, 2007, 378 (01) :17-31
[8]  
Carbone A., 2004, LECT NOTES COMPUT SC, V2950, P121
[9]  
Cook M, 2004, LECT NOTES COMPUT SC, V2943, P91
[10]   Toward minimum size self-assembled counters [J].
Pablo Moisset de Espanés ;
Ashish Goel .
Natural Computing, 2008, 7 (3) :317-334