Plasmid Resolving the Satisfiability Problem with DNA Computing Models
Zhi-Xiang Yin,Jian-Zhong Cui,Wenbin Liu,Xiao-Hong Shi,Jin Xu
DOI: https://doi.org/10.1166/jctn.2007.004
2007-01-01
Journal of Computational and Theoretical Nanoscience
Abstract:Resolving the satisfiability problem is the current focus of much research in DNA computing models. This paper proposes a DNA computing model that resolves the satisfiability problem based on plasmids, in order to overcome the difficulty of DNA computing that requires the conversion of time complexity into space complexity. The model firstly constructs a DNA segment, encoding all variables of the given satisfiability problem, then the segment is inserted as foreign DNA into modified plasmid via genetic recombinant technology. During the course of computation, the plasmid is gradually enzymatically digested by means of restriction enzymes, followed by gel electrophoresis and ligation, to generate and separate the solution of the given problem. The initial data pool of the proposed model contains only one type of DNA strand, and the required steps of enzymatic digestion operations is m, where m is the number of clauses of the given satisfiability problem. The proposed computing model demonstrates the massive parallelism of DNA computing.