可满足性问题生物芯片DNA算法

摘要

首先研究可满足性问题,报告了DNA计算关于可满足性问题的研究现状;然后介绍了微流路芯片高压凝胶电泳,给出了解决可满足性问题的解法;最后通过实例验证了算法的可行性.给出的算法操作简单、出错率低.算法只需要芯片电泳,不需要构造探针,也不需要荧光标记.对解决其他NP问题具有很好的借鉴意义.%At first, this paper studied the SAT problem.Then it reported the DNA computing research status about SAT problem 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 problems.