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

作者：刘文君; 殷志祥

来源：计算机与数字工程, 2012, (10): 16.

• 可满足性问题
• DNA表面计算模型

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

• 单位
  安徽理工大学