| 可满足性(SAT)问题的几种DNA计算模型 |
| |
| 引用本文： | 刘文斌,王淑栋,许进.可满足性(SAT)问题的几种DNA计算模型[J].小型微型计算机系统,2004,25(7):1321-1325. |
| |
| 作者姓名： | 刘文斌 王淑栋 许进 |
| |
| 作者单位： | 1. 华中科技大学,控制科学与工程系,湖北,武汉,430074;温州师范大学,计算机科学与工程学院,浙江,温州,325027
2. 华中科技大学,控制科学与工程系,湖北,武汉,430074 |
| |
| 基金项目： | 国家自然科学基金项目 (60 10 3 0 2 1、60 14 40 47)资助 |
| |
| 摘 要： | DNA计算是一种新的计算方式，其高度并行性和巨大的信息存储容量为NP-完全问题的解决提供了一种全新的方法。主要介绍了几种可满足性(SAT)问题的DNA计算模型，并在编码问题、实现方式、及算法设计等三个方面对其进行了比较。
|
| 关 键 词： | DNA／RNA计算 表面方式 试管方式 SAT问题 |
| 文章编号： | 1000-1220(2004)07-1321-05 |
Models of Sat Problem Based on DNA Computing |
| |
| LIU Wen bin ,WANG Shu dong ,XINu Jin.Models of Sat Problem Based on DNA Computing[J].Mini-micro Systems,2004,25(7):1321-1325. |
| |
| Authors: | LIU Wen bin WANG Shu dong XINu Jin |
| |
| Affiliation: | LIU Wen bin 1,2,WANG Shu dong 1,2,XINu Jin 1 1 |
| |
| Abstract: | |
| |
| Keywords: | DNA /RNA computation surface-based test tube SAT problem |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
