当前位置: 首页 » 资料 » 健康论文 » 可满足性问题的闭环DNA算法

可满足性问题的闭环DNA算法

放大字体  缩小字体 更新日期:2018-11-26  浏览次数:17
摘 要:给出并证明了可满足性问题有解的一个充分必要条件,即合取范式的成假赋值仅由与简单析取式个数相等的有限个向量决定.在此条件基础上设计出用这些向量对初始赋值进行筛除的可满足性问题过滤算法,该算法的时间复杂性
  • 【题 名】可满足性问题的闭环DNA算法
  • 【作 者】周康 魏传佳 刘朔 王防修
  • 【机 构】武汉工业学院数理科学系 湖北武汉430023
  • 【刊 名】《华中科技大学学报:自然科学版》2009年 第7期 75-78页 共4页
  • 【关键词】可满足性问题 闭环DNA计算模型 过滤算法 删除实验 接入实验
  • 【文 摘】给出并证明了可满足性问题有解的一个充分必要条件,即合取范式的成假赋值仅由与简单析取式个数相等的有限个向量决定.在此条件基础上设计出用这些向量对初始赋值进行筛除的可满足性问题过滤算法,该算法的时间复杂性仅与向量个数和维数有关.为了在DNA计算模型上实现可满足性问题过滤算法,采用2n维向量的数据结构进行DNA编码代表可满足性问题的赋值;而闭环DNA计算模型的删除实验恰好能够完成对初始赋值的筛选,得到可满足性问题的可行解.最后用闭环DNA计算模型实现了可满足性问题过滤算法,并用实例说明了算法的有效性和可行性.
 
本文导航:
  • (1) 可满足性问题,闭环DNA计算模型,过滤算法,删除实验,接入实验
  • 下一篇:鳖甲
  • 上一篇:暂无
 
[ 资料搜索 ]  [ 加入收藏 ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]

 

 
推荐图文
推荐资料
热门关注