张峥华
- 作品数：2 被引量：2H指数：1
- 供职机构：华中科技大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- SAT求解局部搜索行为分析与概率控制策略
- SAT问题(Satisfiability problem)，是第一个被证明的NPC(Non-deterministic Polynomial Complete)问题，在计算机科学理论和应用中具有重要的意义。对于理论研究，...
- 张峥华
- 关键词：计算机技术
- 文献传递
- 基于加强概率控制策略的SAT局部搜索算法被引量：2
- 2017年
- 局部搜索算法是目前求解SAT问题比较有效的方法,而Sattime算法是在SAT国际大赛中获得大奖的一种典型局部搜索算法。在Sattime算法的求解过程中,记录变元翻转事件流数据库,通过数据分析与模式挖掘,发现Sattime算法的局部搜索行为中会出现相邻搜索步选择同一个变元的现象,即所谓的回环现象,从而降低了求解效率。为解决此问题,提出两种概率控制策略:加强子句选择策略和加强变元选择策略,并将这两种策略应用到Sattime算法中,形成新的局部搜索算法Sattime-P。实验结果表明,与Sattime算法相比,改进后的Sattime-P算法求解效率有显著的提升。该方法也对其他局部搜索算法的改进具有参考价值。
- 洪剑珂张峥华许贵平
- 关键词：SAT问题局部搜索子句
