A.A.阿尔布雷希特。;P.C.R.巷。;Steinhöfel，K。 对\（k\）-SAT实例的本地搜索环境进行分析。 （英语） Zbl 1205.90237号 数学。计算。科学。 3，第4期，465-488（2010）. 摘要：随机局部搜索在组合优化的不同领域是一种成功的技术，主要应用于难题。在处理硬问题的单个实例时，在预处理阶段收集有关实例特定属性的信息有助于对基于本地搜索的过程进行适当的参数调整。在本文中，我们讨论了由（k）-SAT实例引起的景观背景下的参数估计：首先，我们使用了由J.加尼尔和L.卡莱尔[SIAM J.离散数学.15，第1期，122–141（2001；Zbl 0992.68039号)]用于近似由单个（k）-SAT实例和简单邻域关系生成的景观中的局部最大值数量。目标函数由满足子句的数量给出。该程序提供了局部最大值实际数的良好近似值，偏差通常约为10%。其次，我们提供了一种获得\（k\）-SAT实例中局部最大值平均数的上界的方法。该方法允许我们获得局部最大值平均数的上界\（2^｛n-O（\sqrt｛n/k｝）｝\），如果\（m\）在\（2k\cdot n/k\）的范围内。 MSC公司： 90C27型 组合优化 68卢比99 离散数学与计算机科学 关键词：组合景观;本地搜索;SAT问题;相变;伽马分布 引文：Zbl 0992.68039号 软件：BG-WalkSAT公司;链卫星 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Albrecht}等人，《数学》。计算。科学。3，第4号，465--488（2010；Zbl 1205.90237） 全文： 内政部 参考文献： [1] Achlioptas D.，Peres Y.：。美国数学杂志。Soc.17，947–973（2004）·Zbl 1093.68075号 ·doi:10.1090/S0894-0347-04-00464-3 [2] Alava M.、Ardelius J.、Aurell E.、Kaski P.、Krishnamurthy S.、Orponen P.、Seitz S.：在解决随机约束满足问题时，普遍存在着规避下降。美国国家科学院院刊105，15253–15257（2008）·doi:10.1073/pnas.0712263105 [3] Albrecht A.A.：对数模拟退火的停止准则。计算78，55–79（2006）·Zbl 1130.90021号 ·doi:10.1007/s00607-006-0167-1 [4] Albrecht，A.A.，Lane，P.C.R.，Steinhöfel，K.：K-SAT实例的组合景观分析。摘自：IEEE进化计算大会会议记录，第2498–2504页（2008） [5] Albrecht A.A.、Skaliotis A.、Steinhöfel K.：d维HP-模型中的随机蛋白质折叠模拟。计算。生物化学。32, 248–255 (2008) ·Zbl 1159.92016年9月 ·doi:10.1016/j.compbiochem.2008.03.004 [6] Barvinok，A.：关于矩阵和具有指定行和列总和以及0-1个条目的随机矩阵的数量。arXiv:0806.1480v2（2008）·Zbl 1191.15031号 [7] Brueggemann T.，Kern W.：3-SAT的改进局部搜索算法。Theor。计算。科学。329, 303–313 (2004) ·Zbl 1086.68051号 ·doi:10.1016/j.tcs.2004.08.002 [8] Canfield E.R.，Greenhill C.，McKay B.D.：具有指定线和的稠密0-1矩阵的渐近枚举。J.库姆。理论（系列A）115，32–66（2008）·兹比尔1132.05005 ·doi:10.1016/j.jcta.2007.03.009文件 [9] Dantsin，E.，Wolpert，A.：SAT的改进上限。摘自：《2005年SAT会议录》，LNCS，第3569卷，第400–407页（2005）·Zbl 1128.68460号 [10] Garnier J.，Kallel L.：具有多个局部最优的局部搜索的效率。SIAM J.离散数学。15, 122–141 (2002) ·兹比尔0992.68039 ·doi:10.1137/S0895480199355225 [11] Gerevini A.，Serina I.：作为命题CSP的规划：从WalkSAT到动作图的局部搜索技术。约束8389–413（2003）·Zbl 1074.68612号 ·doi:10.1023/A:1025846120461 [12] Greenberg H.J.、Hart W.E.和Lancia G.：计算生物学中组合优化的机会。信息J.计算。16, 211–231 (2004) ·Zbl 1239.90003号 ·doi:10.1287/ijoc.1040.0073 [13] 哈格鲁普·T、吕布·C：切尔诺夫边界的导游之旅。信息处理。莱特。33, 305–308 (1990) ·Zbl 0702.60021号 ·doi:10.1016/0020-0190（90）90214-I [14] Hoos H.H.，Stützle T.：关于SAT.Artif随机局部搜索算法行为的特征。智力。112, 213–232 (1999) ·Zbl 0996.68069号 ·doi:10.1016/S0004-3702（99）00048-X [15] Kaski，P.：随机局部搜索的能量景观中的障碍和局部极小值。arXiv:cs/0611103v1（2006） [16] Martin O.C.，Monasson R.，Zecchina R.：优化问题中的统计力学方法和相变。西奥。计算。科学。265, 3–67 (2001) ·Zbl 1032.90075号 ·doi:10.1016/S0304-3975（01）00149-9 [17] Mézard M.，Zecchina R.：随机K可满足性问题：从解析解到有效算法。物理。版本E 66056126-1–056126-27（2002） [18] Mitchell，D.，Selman，B.，Levesque，H.：SAT问题的难易分布。摘自：《第十届全国人工智能会议论文集》，第459–465页（1992年） [19] Monasson R.，Zecchina R.：随机K-SAT问题的统计力学。物理。E 56版，1357–1361（1997）·doi:10.1103/PhysRevE.56.1357 [20] Montanari A.，Parisi G.，Ricci-Tersenghi F.：可满足性问题中一步复制-对称中断阶段的不稳定性。《物理学杂志》。A： 数学。将军372073-2091（2004年）·兹比尔1116.82308 ·doi:10.1088/0305-4470/37/6/008 [21] Paturi R.，Pudlák P.，Saks M.E.，Zane F.：k-SAT的改进指数时间算法。美国医学杂志52，337–364（2005）·Zbl 1297.68217号 ·数字对象标识代码：10.1145/1066100.1066101 [22] Reeves C.R.，Eremeev A.V.：当地搜索景观的统计分析。《运营杂志》。Res.Soc.55、687–693（2004年）·邮编1095.90098 ·doi:10.1057/palgrave.jors.2601611 [23] Reidys C.M.，Stadler P.F.：组合景观。SIAM版本44，3–54（2002）·Zbl 0996.92026号 ·doi:10.1137/S0036144501395952 [24] 罗宾斯·H：关于斯特林公式的评论。美国数学。周一。62, 26–29 (1955) ·Zbl 0068.05404号 ·doi:10.2307/2308012 [25] Schöning U.：基于有限局部搜索和重新启动的k-SAT概率算法。Algorithmica算法32，615–623（2002）·Zbl 1050.68049号 ·doi:10.1007/s00453-001-0094-7 [26] Schuler P.：合取范式公式可满足性问题的算法。《算法》54，40–44（2005）·Zbl 1090.68052号 ·doi:10.1016/j.jalgor.2004.04.012 [27] Schuurmans D.，Southey F.：不完整SAT程序的局部搜索特征。Artif公司。智力。132, 121–150 (2001) ·Zbl 0983.68180号 ·doi:10.1016/S0004-3702（01）00151-5 [28] Seitz，S.、Alava，M.、Orponen，P.：WalkSAT和聚焦Metropolis搜索在随机3-可满足性上的阈值行为。摘自：《2005年SAT会议录》，LNCS，第3569卷，第475-481页（2005）·Zbl 1128.68482号 [29] Seitz S.，Orponen P.：一种有效的随机3-可满足性局部搜索方法。电子。注释离散数学。16, 71–79 (2003) ·Zbl 1179.68147号 ·doi:10.1016/S1571-0653（04）00463-9 [30] Selman，B.，Kautz，H.A.，Cohen，B.：改进局部搜索的噪音策略。摘自：AAAI会议记录，第337-343页。麻省理工学院出版社，剑桥（1994） [31] Selman，B.，Levesque，H.，Mitchell，D.：解决难满足性问题的新方法。摘自：AAAI会议记录，第440–446页（1992年） [32] Steinhöfel K.，Skaliotis A.，Albrecht A.A.：将蛋白质折叠模拟的时间复杂性与折叠时间的近似值联系起来。计算。物理。Commun公司。176165–170（2007年） [33] 威尔士：能源景观。剑桥大学出版社，剑桥（2003） [34] 张伟：配置景观分析和骨干网引导的本地搜索。第一部分：可满足性和最大可满足性。Artif公司。智力。158，1-26（2004年）·Zbl 1085.68678号 ·doi:10.1016/j.artint.2004.04.001 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。