樊硕
- 作品数：4 被引量：5H指数：2
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国防科技大学预研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- SAT问题可多项式归结到MSP问题被引量：4
- 2012年
- 针对文献[1]中提出的MSP问题(定义见正文),从SAT问题出发,给出SAT问题到MSP问题的多项式归结,进而给出MSP问题NP完全性质的另一种证明。
- 樊硕姜新文
- 关键词：SAT问题NP完全性
- MSP问题解法的并行化研究
- 2016年
- 为提高MSP问题的多项式时间算法ZH算法的计算速度,使其能够进行更大规模多级图的测试,本文对ZH算法进行了性能分析与并行的可行性评估,针对ZH算法中循环体较多的特点,分别在巨型机和普通PC机上进行MSP问题求解算法的首次并行化实践,随之对并行化算法提出优化方法,在实验中取得了较高的加速比。
- 周泰杨樊硕彭立宏
- 关键词：MSP并行化巨型机
- MSP问题的一个求解算法被引量：3
- 2016年
- MSP问题是文献[1,2]提出的一个问题。研究表明[3]该问题对NP类问题有很强的表达能力。本文给出一个关于该问题的求解算法、复杂性分析,以及正确性证明。本文对于NP完全问题研究有重要意义。
- 姜新文吴添君李鹏坤樊硕周泰杨魏登萍
- SAT问题可多项式归结到MSP问题
- 文献[1]中提出的MSP问题(定义见正文),从SAT问题出发,给出SAT问题到MSP问题的多项式归结,进而给出MSP问题NP完全性质的另一种证明.
- 樊硕姜新文
