| MAX-SAT问题的分子信标解决方法 |
| |
| 引用本文： | 陈瑞,许进. MAX-SAT问题的分子信标解决方法[J]. 计算机工程与应用, 2005, 41(20): 51-52 |
| |
| 作者姓名： | 陈瑞 许进 |
| |
| 作者单位： | 华中科技大学控制科学与工程系生物分子计算机研究所,武汉,430074;华中科技大学控制科学与工程系生物分子计算机研究所,武汉,430074 |
| |
| 基金项目： | 国家自然科学基金资助(编号:30370356) |
| |
| 摘 要： | 文章采用分子信标编码方法,在解决SAT问题的同时解决MAX-SAT问题。这种方法可以用在最优化计算领域。
|
| 关 键 词： | 最大可满足性问题 分子信标 DNA计算 |
| 文章编号： | 1002-8331-(2005)20-0051-02 |
Solution of MAX-SAT Problem Using Molecular Beacons |
| |
| Chen Rui,Xu Jin. Solution of MAX-SAT Problem Using Molecular Beacons[J]. Computer Engineering and Applications, 2005, 41(20): 51-52 |
| |
| Authors: | Chen Rui Xu Jin |
| |
| Abstract: | This paper encodes the candidate solution using molecular beacons.In this method,it solves the MAX-SAT problem while solving SAT problem.This method can apply in the optimization field. |
| |
| Keywords: | MAX-SAT molecular beacons DNA computing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
