李楚敏;黄文琦 在局部搜索可满足性中的多样性和确定性。 （英文） Zbl 1128.68472号 Bacchus，Fahiem（编辑）等，可满足性测试的理论和应用。2005年6月19日至23日在英国圣安德鲁斯举行的2005年SAT第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26276-8/pbk）。计算机科学课堂讲稿3569158-172（2005）。 小结：Walksat系列程序中要翻转的变量的选择总是随机的，因为它是从随机选择的未满足子句\（c）中选择的。在Novelty或R-Novelty启发式中的这种选择也包含一些决定论，因为要翻转的变量始终限于\（c）中的两个最佳变量。在本文中，我们首先为Novelty（或R-Novelty）启发式提出了一个多样化参数，以打破Novelty中的决定论，并与Novelty+中的随机游走参数进行了比较。然后，我们使用基于梯度的方法，在局部搜索中以确定性的方式利用有希望的递减路径。换句话说，当存在有希望的递减路径时，要翻转的变量不再从随机选择的未满足子句中选择，而是以确定性的方式来确保减少未满足子句的数量。实验结果表明，提出的多样化和确定性可以显著提高新颖性（和Walksat）。关于整个系列，请参见[Zbl 1077.68002号]. 引用于11文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 软件：UnitWalk公司;徒步旅行 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Li}和\textit{W.Q.Huang}，Lect。注释计算。科学。3569158--172（2005年；Zbl 1128.68472） 全文： 内政部