极小不可满足公式

作品数：18被引量：33H指数：3
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：许道云徐小萍陈庆燕张庆顺王健更多>>
相关机构：贵州大学南京大学襄樊学院滨州学院更多>>
相关期刊：《软件学报》《计算机科学与探索》《井冈山大学学报（自然科学版）》《洛阳理工学院学报（自然科学版）》更多>>
相关基金：国家自然科学基金贵州省省长基金贵州省高层次人才科研条件特助经费项目国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学与探索x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
MAX-k-SAT的PTAS归约等价性
《计算机科学与探索》2009年第6期641-648,共8页许道云 秦永彬 
国家自然科学基金~~
通过构造适当的极小不可满足公式,利用子句拼接技术,引入了一个一般化的从k-CNF公式(k≥3)到3-CNF公式之间的归约转换。基于该转换,给出了一个真值指派的转换算法,并证明了MAX-k-SAT与MAX-3-SAT是PTAS归约等价的。因此,对于k,t≥3,MAX-k...
关键词：极小不可满足公式 归约 MAX—k—SAT问题 PTAS等价 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部