魏万霞；李楚敏；张，哈里 SAT本地搜索中强化和多样化的转换标准。 （英语） Zbl 1159.68571号 J.满意。布尔模型。计算。 4，编号2-4，219-237（2008）. 摘要：我们提出了一个新的切换准则，即可变权重分布的均匀性或不均匀性，并使用该准则将SAT局部搜索的强化和多样化相结合VW选择要翻转的变量，分别为启发式自适应G（^2{text{WSAT}}{\textP}）和启发式VW。为了评估该标准的有效性，我们将其应用于启发式自适应G（^2{text{WSAT}}{textP}）和启发式VW，前者比后者强化搜索，后者比前者更好地分散搜索。由此产生的局部搜索算法称为Hybrid，它在每个步骤中根据该准则在启发式自适应G（^2{text{WSAT}}{textP}）和启发式VW之间切换。我们的实验结果表明，在本文提供的大量SAT实例上，Hybrid继承了adaptG（^2{text{WSAT}}{textP}）和VW的优点，并且表现出比adaptG和VW更好的性能。此外，在这些实例上，Hybrid与最先进的本地搜索算法R+adaptNovelty+相比，具有优势。此外，在没有任何手动调整参数的情况下，Hybrid可以在合理的时间内解决每个实例，而adaptG\（^2{\text{WSAT}}_{\text-P}\）、VW和R+adaptNovelty+在其中一些实例上都有困难。 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：可变权重分布 软件：青亭1；UnitWalk公司 PDF格式BibTeX公司 XML格式引用 \textit{W.Wei}等人，J.Satisfe。布尔模型。计算。4，编号2--4，219--237（2008；Zbl 1159.68571）