DNA Self-assembly Model for General Satisfiability Problem

DNA self-assembly technology has played an important role in the field of DNA computing and nanotechnology.Many NP complete problems can be solved by self-assembly model.In this paper,we take the general satisfiability problem as a model,construction the special form of supplement chain with variable in normal form,hybridization with the them,So it can form hairpin structure,since the DNA chain with hairpin and the DNA chains with no-hairpin structure can have different length,we can extracted these chains with hairpin by gel electrophoresis;then add up these special chain′s fully complementary DNA chains,at a certain temperature,according to Watson-Crick principle,hairpin structure would be re-opened.The model makes full use of DNA molecules self-assembly capability,we only need to use gel electrophoresis operation in the calculation,it can greatly reduces of experimental error caused by the excessive operation.