可满足性(SAT)问题的几种DNA计算模型

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:dota1231
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
DNA 计算是一种新的计算方式,其高度并行性和巨大的信息存储容量为NP-完全问题的解决提供了一种全新的方法.主要介绍了几种可满足性(SAT)问题的DNA计算模型,并在编码问题、实现方式、及算法设计等三个方面对其进行了比较.
其他文献
摘要介绍了河北省夏大豆的高产栽培技术,包括品种选择、种子处理、科学选地、精细整地、适时早播、合理密植、化学除草、适时灌水、科学施肥、病虫害防治、适时收获等内容,以为提高大豆单产和品质、促进大豆生产的快速发展提供参考。  关键词夏大豆;高产栽培;河北省  中图分类号S565.1文献标识码B文章编号 1007-5739(2010)06-0070-01    1品种选择  一是选择蛋白质含量 45%,或
《针灸大成》所记载医案集中体现了杨继洲辨证论治、精穴少针的学术思想,对中医高校学生选择该著作代表性医案进行讨论式课堂授课,进一步加深了学生对辨证论治重要性的认识,
利用汉中市城固县地面观测站和农气站气象资料,对2011年度汉中市水稻全生育期总的气候概况和水稻各生育期的气象条件进行分析,结果表明:2011年度水稻全生育期的气象条件利弊相
介绍了同心圃枣产业的发展现状,总结了产业发展的制约因素,提出了同心圆枣产业发展的对策.以期为同心圆枣产业的发展提供参考。