摘要
首先研究可满足性问题,报告了DNA计算关于可满足性问题的研究现状;然后介绍了微流路芯片高压凝胶电泳,给出了解决可满足性问题的解法;最后通过实例验证了算法的可行性。给出的算法操作简单、出错率低。算法只需要芯片电泳,不需要构造探针,也不需要荧光标记。对解决其他NP问题具有很好的借鉴意义。
At first, this paper studied the SAT problem. Then it reported the DNA computing research status about SAT prob- lem and introduced the mocrofludic gel electrophoresis. At last , an example verified the feasibility of the algorithm. This paper gave the algorithm of simple operation and low error rate. The algorithm only needs chip electrophoresis. This algorithm needs neither the probe nor fluorescent mark. This method has the very good reference significance to deal with the other NP prob- lems.
出处
《计算机应用研究》
CSCD
北大核心
2017年第8期2310-2311,2367,共3页
Application Research of Computers
基金
安徽省自然科学基金资助项目(1608085QF149)
国家自然科学基金资助项目(61170172)
