您的位置： 专家智库 > >

吉林省自然科学基金(201215006)

作品数：1 被引量：2H指数：1
相关作者：殷明浩姜蕴晖周俊萍更多>>
相关机构：东北师范大学更多>>
发文基金：中央高校基本科研业务费专项资金国家教育部博士点基金吉林省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇上界
  • 1篇X

机构

  • 1篇东北师范大学

作者

  • 1篇周俊萍
  • 1篇姜蕴晖
  • 1篇殷明浩

传媒

  • 1篇计算机研究与...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
最坏情况下X_2SAT问题的上界被引量：2
2014年
最坏情况下XSAT问题上界的研究已成为一个热门的研究领域.针对XSAT的泛化问题X2SAT提出了算法X2SAT-N,该算法首先利用简化算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.证明了该算法可以将X2SAT问题的时间复杂度由目前最好的O(1.451 1n)提高到O(1.420 3n),其中n为X2SAT公式中变量的数目.X2SAT问题实例的大小不仅依赖于变量的数目还依赖于公式的长度,时间复杂性是根据问题实例的大小所组成的函数计算所得.因此又提出了算法X2SAT-L,并从公式长度的角度证明了X2SAT问题在O(1.364 3l)时间上界内可解.
周俊萍姜蕴晖殷明浩
关键词：上界
全选 清除 导出
共1页<1>
聚类工具0