陈，胡比;卡拉·戈麦斯;巴特·塞尔曼 组合搜索中重尾行为的形式化模型。 （英语） Zbl 1067.68620号 Walsh，Toby（编辑），约束编程的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。注释计算。科学。2239, 408-421 (2001). 摘要：近年来，人们发现组合域中随机回溯搜索的代价分布往往是重尾的。这种重尾分布解释了使用回溯式程序时观察到的高度可变性。对这一现象的深入理解可以带来更好的搜索技术。例如，重启策略提供了一种很好的机制，可以消除重尾行为并提高整体搜索性能。一些最先进的SAT解算器现在包含了这种重启机制。到目前为止，对组合搜索中重尾现象的研究主要基于经验数据。我们介绍了几种抽象树搜索模型，并正式展示了在回溯搜索中如何出现重尾成本分布。我们还讨论了这些见解如何促进更好的组合搜索方法的发展。关于整个系列，请参见[兹比尔0984.00059]. 引用于9文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 软件：糠 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}等人，Lect。注释计算。科学。2239408--421（2001年；Zbl 1067.68620） 全文： 链接