阿尔达·卡瓦略;努诺·克拉托;卡拉·戈麦斯 生成幂律搜索树模型。 （英语） Zbl 1179.90173号 计算。操作。物件。 36，第8期，2376-2386（2009）. 摘要：搜索算法可以表现出重尾行为，这是一个公认的事实。然而，这一事实背后的原因尚不清楚。我们提供了一个生成搜索树模型，该模型对搜索期间访问的节点数的分布进行了形式化的重排。我们的模型允许我们生成任何程度的重尾搜索树。我们还展示了在随机CSP模型的不同约束区域中，回溯搜索方法的运行时分布所观察到的不同状态是如何被所谓的稳定分布的混合捕获的。 引用于1文件 MSC公司： 90B40码 搜索理论 68T99型 人工智能 关键词：随机算法;沉重的尾巴;计算统计学 软件：伯克明州;糠 PDF格式BibTeX公司 XML格式引用 \textit{A.Carvalho}等人，计算。操作。第36号决议，第8号，2376--2386（2009年；兹bl 1179.90173） 全文： 内政部 链接 参考文献： [1] Gomes CP，Selman B，Crato N.组合搜索中的重尾分布。摘自：第三届约束编程国际会议（CP-97）会议记录，奥地利林茨。柏林：施普林格；1997.; Gomes CP，Selman B，Crato N.组合搜索中的重尾分布。摘自：第三届约束编程国际会议（CP-97）会议记录，奥地利林茨。柏林：施普林格；1997 [2] 戈麦斯，C。；塞尔曼，B。；Kautz，H.，通过随机化推进组合搜索，（第十五届全国人工智能会议论文集（AAAI-98）（1998年），AAAI出版社：新普罗维登斯，RI），431-438 [3] 戈麦斯，C.P。；塞尔曼，B。；北卡罗来纳州克雷托。；Kautz，H.，可满足性和约束满足问题中的重尾现象，自动推理杂志，24，1-2，67-100（2000）·Zbl 0967.68145号 [4] Lync I，Marques-Silva J.满足性的完整无限制回溯算法。摘自：《第五届满意度测试理论与应用国际研讨会论文集》（SAT02），2002年。；Lync I，Marques-Silva J.满足性的完整无限制回溯算法。2002年，第五届满意度测试理论与应用国际研讨会论文集（SAT02）·兹比尔1121.68109 [5] Beame，P。；Kautz，H.A。；Sabharwal，A.，《理解和利用小句学习的潜力》，《人工智能研究杂志》，22，319-351（2004）·Zbl 1080.68651号 [6] Refalo P.约束编程的基于影响的搜索策略。摘自：2004年CP'04会议记录。；Refalo P.约束编程的基于影响的搜索策略。摘自：2004年CP’04会议记录·兹比尔1152.68577 [7] 黄J.重新启动对小句学习效率的影响。附：第20届国际人工智能联合会议论文集（IJCAI-07），2007年。；黄J.重新启动对小句学习效率的影响。摘自：第20届国际人工智能联合会议记录（IJCAI-07），2007年。 [8] Shaw P.个人通信，2006年。；Shaw P.个人通信，2006年。 [9] Li CM，Anbulagan A.基于单位传播的可满足性问题启发式。附：国际人工智能联合会议记录，日本名古屋，1997年。；Li CM，Anbulagan A.基于单位传播的可满足性问题启发式。摘自：《国际人工智能联合会议记录》，日本名古屋，1997年。 [10] Marques-Silva，J。；Sakallah，K.，Grasp-命题可满足性的搜索算法，IEEE计算机事务，48，5，506-521（1999）·Zbl 1392.68388号 [11] 伊洛格。Ilog solver，2006年。；伊洛格。Ilog解算器，2006年。 [12] Moskewicz M、Madigan C、Zhao Y、Zhang L、Malik S.Chaff：工程和高效SAT解决方案。摘自：第39届设计自动化会议论文集，拉斯维加斯，2001年。；Moskewicz M、Madigan C、Zhao Y、Zhang L、Malik S.Chaff：工程和高效SAT解决方案。摘自：第39届设计自动化会议论文集，拉斯维加斯，2001年。 [13] Goldberg E，Novikov Y.Berkmin：一种快速而强大的卫星解算器。In:《欧洲设计自动化和测试学报》（DATE-02），2002年。；Goldberg E，Novikov Y.Berkmin：一种快速而强大的卫星解算器。摘自：《欧洲设计自动化和测试学报》（DATE-02），2002年·Zbl 1121.68106号 [14] Een N，Sorensson N.Minisat——一个冲突条款最小化的sat求解器。参加：2005年星期六比赛，2005年。；Een N，Sorensson N.Minisat——一个冲突条款最小化的sat求解器。参加：2005年周六比赛，2005年·Zbl 1204.68191号 [15] Hogg，T。；Williams，C.，《最困难的约束问题：双相变》，《人工智能》，69，359-377（1994）·兹伯利0938.68826 [16] Gent，I。；Walsh，T.，《简单的问题有时很难》，《人工智能》，70，335-345（1993）·Zbl 0824.68107号 [17] B.史密斯。；Grant，S.，《稀疏约束图和异常困难的问题》（《国际人工智能联合会议论文集》（1995），AAAI出版社），646-651 [18] 沃尔什·T·在一个小世界里寻找。摘自：《国际人工智能联合会议记录》，瑞典斯德哥尔摩，1999年。；沃尔什·T·在一个小世界里寻找。摘自：《国际人工智能联合会议记录》，瑞典斯德哥尔摩，1999年。 [19] 葫芦北T。；O'Sullivan，B.，《搜索启发式对重尾行为的影响》，《限制》，11，2（2006）·Zbl 1103.68812号 [20] Hulubei T，O'Sullivan B.重尾运行时分布：启发式、模型和最优反驳。摘自：2006年CP’06会议记录。；Hulubei T，O'Sullivan B.重尾运行时分布：启发式、模型和最优反驳。摘自：2006年CP’06会议记录。 [21] Davis，M.博士。；Putnam，H.，量化理论的计算程序，ACM杂志，7，3，201-215（1960）·Zbl 0212.34203号 [22] Davis，M.博士。；洛格曼，G。；Loveland，D.，理论证明的机器程序，ACM通信，5394-397（1962）·Zbl 0217.54002号 [23] 戈麦斯，C。；费尔南德斯，C。；塞尔曼，B。；Bessiére，C.，《跨约束区域的统计制度》，约束，10，4，317-337（2005）·Zbl 1102.68651号 [24] Mitzenmacher，M.，幂律和对数正态分布生成模型简史，互联网数学，1,226-251（2004）·Zbl 1063.68526号 [25] 陈，H。；戈麦斯，C。；Selman，B.，组合搜索中重尾行为的形式模型，（第七届约束规划原理与实践国际会议论文集（CP-2001））。计算机科学讲稿，第2239卷（2001），施普林格：施普林格柏林），408-422·Zbl 1067.68620号 [26] Williams R、Gomes C、Selman B。典型案例复杂性的后门。附：第18届国际人工智能联合会议记录（IJCAI-03），2003年。；Williams R、Gomes C、Selman B。典型案例复杂性的后门。载于：第18届国际人工智能联合会议记录（IJCAI-03），2003年。 [27] Kilby P、Slaney J、Thiebaux S、Walsh T.满足性中的主干和后门。附：第20届全国人工智能大会论文集；2005.; Kilby P、Slaney J、Thiebaux S、Walsh T.满足性中的主干和后门。附：第20届全国人工智能大会论文集；2005 [28] Hogg，T。；胡伯曼，B。；Williams，C.，《相位转换和复杂性》，人工智能，81（1996）·兹比尔1508.68334 [29] Hoos H.卫星SLS算法行为的混合模型。In:AAAI-022002年会议记录。；Hoos H.卫星SLS算法行为的混合模型。收录：AAAI-022002年会议记录。 [30] Samorodnitsky，G。；Taqqu，M.，《稳定非高斯过程：无限方差随机模型》（1994），查普曼和霍尔：查普曼与霍尔伦敦·Zbl 0925.60027号 [31] Visual Numerics Inc.国际数学和统计图书馆，（2007年）http://www.vni.com/products/imsl/\（\rangle；\）；Visual Numerics Inc.国际数学和统计图书馆，（2007年）网址：http://www.vni.com/products/imsl/\（\rangle；\） [32] 刘易斯，P。；Orav，E.J.，《统计学家、运营分析师和工程师的模拟方法》（1988），查普曼和霍尔，CRC:查普曼&霍尔，CRC伦敦·Zbl 0666.65008号 [33] Scalas E，Kim K。用levy稳定分布拟合金融时间序列的艺术，（2006年）http://arxiv.org.abs/physics/0608224v\（1\rangle；\）；Scalas E，Kim K。用levy稳定分布拟合金融时间序列的艺术，（2006年）http://arxiv.org.abs/physics/0608224v\（1\rangle；\） [34] 林德格伦，B.W.，《统计理论》（1993），查普曼和霍尔：查普曼与霍尔伦敦·Zbl 0188.49301号 [35] Adler，R.、Feldman，R.和Taqqu，M.S.重尾实用指南：分析重尾分布的统计技术。波士顿Birkhäuser；1998.; Adler，R.，Feldman，R.，Taqqu，M.S.重尾实用指南：分析重尾分布的统计技术。波士顿Birkhäuser；1998. ·Zbl 0901.00010号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。