【摘要】 可满足性问题(SAT)是一类著名的NP完全问题，DNA链置换技术以其独特的高特异性和效率，为解决此类问题提供了一种途径.提出了一种基于DNA链置换的开关电路模型，旨在求解可满足性问题.DNA双链作为输入信号进入三个模块，即输入模块，反应模块和输出模块.输入信号与三个模块中DNA链进行反应产生输出信号，观察输出信号来寻找可满足性问题的可行解.此外，为了更直观地展示DNA链置换反应和其浓度的变化，利用Visual DSD软件进行了仿真实验，这些仿真结果进一步证实了DNA链置换技术在处理NP问题时的巨大应用潜力，不仅为可满足性问题的求解提供了一种新颖的方法，也为生物计算领域的发展开辟了新的视野.更多还原

【Abstract】 The satisfiability problem(SAT) was a well-known type of NP-complete problem. DNA strand displacement technology had unique high specificity and efficiency. It provided an approach to solve such problems. This paper proposed a switch circuit model. The model was based on DNA strand displacement. DNA double strands served as input signals. They entered three modules. These modules were the input module, the reaction module and the output module. The input signals reacted with DNA strands in the three modules. This reaction generated output signals. The output signals were observed. The observation aimed to find feasible solutions to the satisfiability problem. In addition, simulation experiments were needed. They were used to show the DNA strand displacement reaction more intuitively. They also showed changes in its concentration. This paper conducted these simulations with Visual DSD software. These simulation results further confirmed a key point. DNA strand displacement technology had great application potential in handling NP problems. This paper provided a novel method opened up new horizons which developed for the biocomputing field.更多还原