朱文杰
- 作品数：2 被引量：4H指数：2
- 供职机构：武汉科技大学理学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 基于扩展失败文字检测的MaxSAT完备算法被引量：2
- 2015年
- 为提高MaxSAT完备算法剪枝率和运算效率,分析失败文字检测寻找冲突集的过程,提出扩展失败文字检测方法。通过延长失败文字搜索冲突的路径,形成搜索1步、2步和任意步的递进失败文字检测方式,实现改进的MaxsatzEF算法。实验测试了MaxSAT国际竞赛4个类别的500多个算例,实验结果表明,递进失败文字检测方法找到了更多独立冲突集,可有效提高算法的下界,大幅缩短复杂算例的运行时间。
- 刘燕丽朱文杰张婷
- 关键词：NP难问题分支限界
- 二元函数可微性的一种证明被引量：2
- 2014年
- 为了使得证明过程更加直观且便于理解,从几何意义出发,对二元函数可微的一个充分性条件结出一种几何证明法.
- 朱文杰冯育强
- 关键词：二元函数可微性
