可满足性问题的巨磁电阻型DNA计算模型

作者：肖建华; 许进

来源：计算机学报, 2013, (04): 829-835.

• 可满足性问题
• DNA计算模型
• 巨磁电阻效应
• DNA计算机 satisfiability(SAT) problem
• DNA computation model
• giant magnetoresistance(GMR) effect
• DNA computer

DNA计算是一种新的计算模式,因其海量的信息存储能力、高度的并行性及低能耗等优点而被广泛地应用于求解各类NP完全问题.文中利用免疫磁标记和巨磁电阻(GMR)效应,对生物特异性反应进行检测,构建了可满足性问题的巨磁电阻型DNA计算模型,并用实例说明了模型的有效性和可行性.与传统的荧光标记法DNA计算模型相比,巨磁电阻型DNA计算模型的输出结果是电信号形式,因而具有检测信号易处理、检测时间短、解可靠性高、无需标记和读解简单等优点.

• 单位
  南开大学; 北京大学