首页> 外文会议>Australasian joint conference on artificial intelligence >Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution
【24h】

Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution

机译:具有新概率分布的SAT本地搜索中的多元化强化阶段

获取原文

摘要

A key challenge in developing efficient local search solvers is to intelligently balance diversification and intensification. This study proposes a heuristic that integrates a new dynamic scoring function and two different diversification criteria: variable weights and stagnation weights. Our new dynamic scoring function is formulated to enhance the diversification capability in intensification phases using a user-defined diversification parameter. The formulation of the new scoring function is based on a probability distribution to adjust the selecting priorities of the selection between greediness on scores and diversification on variable properties. The probability distribution of variables on greediness is constructed to guarantee the synchronization between the probability distribution functions and score values. Additionally, the new dynamic scoring function is integrated with the two diversification criteria. The experiments show that the new heuristic is efficient on verification benchmark, crafted and random instances.
机译:开发高效的本地搜索解决方案的关键挑战是智能地平衡多样化和集约化。这项研究提出了一种启发式方法,该方法整合了新的动态评分功能和两个不同的多元化标准:可变权重和停滞权重。我们新的动态评分功能是通过使用用户定义的多样化参数来增强强化阶段的多样化能力而制定的。新的评分功能的制定是基于概率分布,以在分数的贪婪度和变量属性的多样化之间调整选择的优先级。构建贪婪变量的概率分布,以确保概率分布函数和得分值之间的同步。此外,新的动态评分功能已与两个多样化标准集成在一起。实验表明,新的启发式算法在验证基准,精制实例和随机实例方面都是有效的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号