首页> 外文会议>International Conference on Theory and Applications of Satisfiability Testing >Combining Adaptive Noise and Look-Ahead in Local Search for SAT
【24h】

Combining Adaptive Noise and Look-Ahead in Local Search for SAT

机译:在本地搜索SAT中结合自适应噪声并查看

获取原文

摘要

The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G~2WSAT deterministically exploits promising decreasing variables to reduce randomness and consequently the dependence on noise parameters. In this paper, we first integrate the adaptive noise mechanism in G~2WSAT to obtain an algorithm adaptG~2WSAT, whose performance suggests that the deterministic exploitation of promising decreasing variables cooperates well with this mechanism. Then, we propose an approach that uses look-ahead for promising decreasing variables to further reinforce this cooperation. We implement this approach in adaptG~2WSAT, resulting in a new local search algorithm called adaptG~2WSATP. Without any manual noise or other parameter tuning, adaptG~2WSATP shows generally good performance, compared with G~2WSAT with approximately optimal static noise settings, or is sometimes even better than G~2WSAT. In addition, adaptG~2WSATP is favorably compared with state-of-the-art local search algorithms such as R+adaptNovelty+ and VW.
机译:自适应噪声机制在新颖性+中引入,以在搜索期间自动调整噪声设置。本地搜索算法G〜2WSAT确定性地利用有望的减少变量来减少随机性,从而依赖于噪声参数。在本文中,我们首先将G〜2WSAT中的自适应噪声机制集成到获得算法AdaptG〜2WSAT,其性能表明有前途的降低变量的确定性利用与这种机制很好地协作。然后,我们提出一种方法,以便有望降低变量,以进一步加强这种合作。我们在AdaptG〜2WSAT中实现了这种方法,导致了一种名为AdaptG〜2WSATP的新的本地搜索算法。如果没有任何手动噪声或其他参数调谐,Adaptg〜2WSATP会显示出良好的性能,与G〜2WSAT相比,具有大约最佳的静态噪声设置,或者有时比G〜2WSAT更好。此外,与最先进的本地搜索算法(如R + AdaptNovelty +和VW)相比,AdaptG〜2WSATP是有利的。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号