可满足性问题的一种DNA表面计算模型

A Surface-based DNA Algorithm for the Satisfiability Problem

可满足性问题的一种DNA表面计算模型是一种特殊的DNA计算方法,该模型是采用荧光标记的策略和荧光猝灭技术,通过观察荧光灭光情况排除非解,从而有效的解决可满足性问题(SAT)。该模型方法具有错误率低、编码简单、读取方便等很好的性能,能够大大减少实验过程中的错差。

A surface-based DNA algorithm is a kind of special DNA computing technology.The DNA algorithm can effectively solve the satisfiability（SAT） problem by using the method of fluorescence labeling and fluorescence quenching technology and observing the fluorescence light off situation from solution.The DNA algorithm has better performance such as low error rate,simple coding,convenient reading,which can greatly reduce the error of experimental process.