樊硕

作品数：3被引量：5H指数：2
导出分析报告
供职机构：国防科学技术大学计算机学院更多>>
发文主题：SAT问题多项式NP完全性并行化MSP更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算技术与自动化》《计算机科学》更多>>
所获基金：国家自然科学基金国防科技大学预研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
MSP问题解法的并行化研究
《计算技术与自动化》2016年第2期28-33,共6页周泰杨 樊硕 彭立宏 
国家自然科学基金项目(61272010)
为提高MSP问题的多项式时间算法ZH算法的计算速度,使其能够进行更大规模多级图的测试,本文对ZH算法进行了性能分析与并行的可行性评估,针对ZH算法中循环体较多的特点,分别在巨型机和普通PC机上进行MSP问题求解算法的首次并行化实践,随...
关键词：MSP 并行化 巨型机 
MSP问题的一个求解算法被引量：3
《计算技术与自动化》2016年第1期60-70,共11页姜新文 吴添君 李鹏坤 樊硕 周泰杨 魏登萍 
国家自然科学基金项目(61272010)
MSP问题是文献[1,2]提出的一个问题。研究表明[3]该问题对NP类问题有很强的表达能力。本文给出一个关于该问题的求解算法、复杂性分析,以及正确性证明。本文对于NP完全问题研究有重要意义。
关键词：算法 MSP问题 算法设计 复杂性 
SAT问题可多项式归结到MSP问题被引量：4
《计算机科学》2012年第11期179-182,共4页樊硕 姜新文 
国防科技大学校预研基金资助
针对文献[1]中提出的MSP问题(定义见正文),从SAT问题出发,给出SAT问题到MSP问题的多项式归结,进而给出MSP问题NP完全性质的另一种证明。
关键词：MSP问题 SAT问题 多项式归结 NP完全性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部