可满足性问题的一种DNA表面计算模型
刘文君
殷志祥
1.安徽理工大学理学院 淮南 2320012.安徽理工大学理学院 淮南 232001
摘要：可满足性问题的一种DNA表面计算模型是一种特殊的DNA计算方法,该模型是采用荧光标记的策略和荧光猝灭技术,通过观察荧光灭光情况排除非解,从而有效的解决可满足性问题(SAT).该模型方法具有错误率低、编码简单、读取方便等很好的性能,能够大大减少实验过程中的错差.
关键词：可满足性问题DNA表面计算模型
分类号：TP311(计算技术、计算机技术)
资助基金：国家自然科学基金(61170172)国家自然科学基金(60873144)国家自然科学基金(61073102)国家自然科学基金(60973050)
论文发表日期：2012-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 16-17,30 )
英文信息