您的位置： 专家智库 > >

傅琳璐

作品数：4 被引量：1H指数：1
供职机构：东北师范大学更多>>
发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

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

主题

  • 3篇上界
  • 3篇SAT
  • 2篇最小上界
  • 2篇海明距离
  • 2篇NA
  • 2篇SAT问题
  • 2篇DPLL
  • 2篇E-3
  • 1篇可满足性

机构

  • 4篇东北师范大学
  • 1篇长春建筑学院

作者

  • 4篇傅琳璐
  • 3篇周俊萍
  • 2篇殷明浩
  • 1篇姜蕴晖
  • 1篇谷文祥

传媒

  • 1篇智能系统学报
  • 1篇计算机科学与...
  • 1篇第四届中国A...

年份

  • 1篇2013
  • 3篇2012
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于分支回溯的NAE-3SAT问题求解算法
2012年
NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效率.最后证明了算法在最坏情况下的时间复杂度上界为O(1.618n),其中n为公式中的变量数目.
谷文祥傅琳璐周俊萍姜蕴晖
基于分支回溯的NAE-3SAT及#NAE-3SAT问题求解算法
可满足性问题(The Satisfiability Problem，简称SAT问题)和模型计数问题(The Model Counting Problem，简称#SAT问题)是自动推理领域中的两个重要问题。他们在智能规划、...
傅琳璐
文献传递
最坏情况下X3SAT最大海明距离问题最小上界
X3SAT最大海明距离问题是指对于一个X3SAT问题实例，寻找该问题的任意两组可满足赋值之间最大的海明距离d.提出了一个新的基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题.根据公式中的某个变量在两组真值赋值...
傅琳璐周俊萍殷明浩
关键词：海明距离DPLL上界
文献传递
最坏情况下X3SAT最大海明距离问题最小上界
2012年
X3SAT最大海明距离问题是指对于一个X3SAT问题实例,寻找该问题的任意两组可满足赋值之间的最大海明距离。提出了一个基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题,根据公式中某个变量在两组真值赋值中的不同取值进行分支。给出了多种化简规则,这些规则很好地提高了算法的时间效率。证明了该算法可以将X3SAT最大海明距离问题的最小上界由目前最好的O(1.7107n)缩小到O(1.6760n),其中n为公式中变量的数目。
傅琳璐周俊萍殷明浩
关键词：海明距离DPLL上界
全选 清除 导出
共1页<1>
聚类工具0