位置：成果数据库 > 期刊 > 期刊详情页
可满足性问题的三维DNA图结构算法
  • 期刊名称：计算机工程与应用
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：华中科技大学
  • 页码：2003,6,3-4
  • 语言：中文
  • 分类：O22[理学—运筹学与控制论;理学—数学] TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：华中科技大学控制科学与工程系系统科学研究所，武汉430074
  • 相关基金：国家自然科学基金项目(编号:60103021)
  • 相关项目：DNA计算在图论与组合优化中的应用
作者： 刘光武|许进|刘文斌|
关键词： 可满足性问题, 三维DNA图结构算法, DNA计算, 三维图结构, NP完全问题, SAT问题
中文摘要：

论文提出用三维图结构解决DNA分子计算问题，给出了解决3－SAT问题的方法。在所提出的方法中，算法所要求的步骤与公式中变量的数目相等。

同期刊论文项目
DNA计算在图论与组合优化中的应用
期刊论文 13 会议论文 1
同项目期刊论文
DNA计算在组合优化中的应用及其复杂性
DNA计算在图论中的应用
基于DNA计算的RNA数字编码
高维空间中基于DNA计算的RNA数字编码的运算法则
DNA计算中的编码方法研究
DNA计算原理及系统分析
DNA Solution on surface of the Minimal Covering Problem
组合优化中的DNA计算
DAD计算中的遍历理论模型及算法
BP神经网络在水泥窑控制建模中的应用
几乎正则多部竞赛图的点泛圈性
基于质粒的DNA计算模型研究