×
丹尼尔·贝伦德；特威托，尤猜

随机Max（r）-Sat的归一化自相关长度以概率收敛到\（1-1/2^r）/r。 （英语） Zbl 1478.68200号

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 60-76 (2016).
小结：在本文中，我们证明了随机Max（r）-Sat的所谓归一化自相关长度以概率收敛到\（1-1/2^r）/r，其中\（r）是子句中的文字数。我们还证明了由一对随机距离赋值满足的子句数之间的相关性（d=cn），（0\leqc\leq1），以概率收敛到（（1-c）^r-1/2^r）/（1-1/2^r）。前一个数量在景观分析领域很有意义，它是一种更好地理解问题并评估其对局部搜索启发式的难度的方法。在[A.M.萨顿等人，“（k）-可满足景观精确相关结构的多项式时间计算”，载于：第11届遗传和进化计算年会论文集，GECCO’09。纽约州纽约市：计算机协会（ACM）。365–372 (2009;doi:10.145/1569901.1569952)], 结果表明，对于任何情况，它都可以在多项式时间内计算，并讨论了它在所有情况下的平均值。我们的结果是基于对随机指派所满足的分句数的方差和任意距离的随机指派对所满足的分句数的协方差的研究。作为本研究的一部分，提供了后两个量的期望值和方差的封闭式公式。请注意，所有结果都与random \（r \）-Sat有关。
有关整个系列，请参见[Zbl 1337.68009号].

引用于2文件

MSC公司：

68兰特 可满足性的计算方面
60F05型 中心极限和其他弱定理
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

组合优化；最大饱和度；适应值曲面；自相关长度；本地搜索

软件：

CCLS公司；最大HS；UBCSAT公司；徒步旅行
PDF格式BibTeX公司 XML格式引用
\textit{D.Berend}和\textit{Y.Twitto}，Lect。注释计算。科学。9710，60-76（2016；Zbl 1478.68200）
全文： 内政部

参考文献：

[1] Achlioptas，D.，Peres，Y.：随机阈值\[k个\]-SAT是\[2^{k}\]日志\[2-氧（k）\]美国数学杂志。Soc.17（4），947–973（2004）·Zbl 1093.68075号 ·doi:10.1090/S0894-0347-04-00464-3
[2] Angel，E.，Zissimopoulos，V.：图二划分问题的自相关系数。定理。计算。科学。191(1), 229–243 (1998) ·Zbl 0902.90134号 ·doi:10.1016/S0304-3975（97）00176-X
[3] Angel，E.，Zissimopoulos，V.：根据相关系数对NP-完全问题进行分类。离散应用程序。数学。99(1), 261–277 (2000) ·Zbl 0987.90092号 ·doi:10.1016/S0166-218X（99）00138-9
[4] Angel，E.，Zissimopoulos，V.：关于二次分配问题的景观坚固性。西奥。计算。科学。263(1), 159–172 (2001) ·Zbl 0973.68085号 ·doi:10.1016/S0304-3975（00）00239-5
[5] Ansótegui，C.，Bonet，M.L.，Levy，J.：基于SAT的MaxSAT算法。Artif公司。智力。196, 77–105 (2013) ·Zbl 1270.68265号 ·doi:10.1016/j.artint.2013.01.002
[6] Argelich，J.，Li，C.M.，Manyá，F.，Planes，J.：MaxSat评估。http://www.maxsat.udl.cat/
[7] Ausiello，G.、Crescenzi，P.、Gambosi，G.，Kann，V.、Marchetti-Paccamela，A.、Protasi，M.：复杂性和近似：组合优化问题及其近似性，第二版。Springer-Verlag（2003）·Zbl 0937.68002号
[8] Biere，A.，Heule，M.，van Maaren，H.：《可满足性手册》，第185卷。IOS出版社，阿姆斯特丹（2009）·Zbl 1183.68568号
[9] de Boer，P.-T.，Kroese，D.P.，Mannor，S.，Rubinstein，R.Y.：交叉熵方法教程。安·Oper。第134（1）、19-67号决议（2005年）·Zbl 1075.90066号 ·doi:10.1007/s10479-005-5724-z
[10] Chen，R.，Santhanam，R.：稀疏MAX-SAT和MAX-k-CSP的改进算法。摘自：Heule，M.，Weaver，S.（编辑）SAT 2015。LNCS，第9340卷，第33-45页。斯普林格，海德堡（2015）。doi:10.1007/978-3-319-24318-44·Zbl 1476.68248号 ·doi:10.1007/978-3-319-24318-44
[11] Chicano，F.，Luque，G.，Alba，E.：二次分配问题的自相关测度。申请。数学。莱特。25(4), 698–705 (2012) ·Zbl 1244.90126号 ·doi:10.1016/j.aml.2011.09.053
[12] Chicano，F.，Luque，G.，Alba，E.：通过景观理论理解问题。摘自：《第十五届遗传和进化计算年会论文集》，第1055-1062页。ACM（2013）·数字对象标识代码：10.1145/2464576.2482683
[13] 奇瓦塔尔（Chvátal，V.）、里德（Reed，B.）：米克（Mick）得到了一些（可能性在他这边）[可满足性]。摘自：第33届计算机科学基础年度研讨会论文集，第620-627页。IEEE（1992）·Zbl 0977.68538号 ·doi:10.1109/SFCS.1992.267789
[14] Coja-Oghlan，A.：渐近\[k个\]-坐在门槛上。摘自：第46届ACM计算机理论研讨会论文集，第804-813页。ACM（2014）·Zbl 1315.68146号 ·doi:10.1145/2591796.2591822
[15] Davies，J.，Bacchus，F.：通过求解一系列更简单的SAT实例来求解MAXSAT。收录：Lee，J.（编辑）CP 2011。LNCS，第6876卷，第225-239页。斯普林格，海德堡（2011）·Zbl 05949369号 ·doi:10.1007/978-3-642-23786-7_19
[16] Ding，J.，Sly，A.，Sun，N.：大型k arXiv预印本可满足性猜想的证明（2014）。arXiv:1411.0650
[17] Fontana，W.、Stadler，P.F.、Bornberg-Bauer，E.G.、Griesmacher，T.、Hofacker，I.L.、Tacker，M.、Tarazona，P.、Weinberger，E.D.、Schuster，P.：RNA折叠和组合景观。物理。版本E 47（3），2083-2099（1993）·doi:10.1103/PhysRevE.47.2083
[18] Friedgut，E.，Bourgain，J.：图形属性的尖锐阈值，以及\[k个\]-sat问题。美国数学杂志。Soc.12（4），1017–1054（1999）·Zbl 0932.05084号 ·doi:10.1090/S0894-0347-99-00305-7
[19] García-Pelayo，R.，Stadler，P.F.：关联长度，各向同性和亚稳态。物理D非线性现象。107（2），240–254（1997）·doi:10.1016/S0167-2789（97）00091-2
[20] Goldberg，D.E.：《遗传算法和沃尔什函数：温和的介绍》。阿拉巴马大学机械工程系遗传算法信息交换所（1988年）
[21] Heckendorn，R.B.，Rana，S.，Whitley，D.：MAXSAT泛化的多项式时间摘要统计。摘自：《第十一届遗传与进化计算年会论文集》，第281-288页。Morgan Kaufmann（1999）
[22] Heras，F.、Larrosa，J.、Oliveras，A.：MiniMaxSAT：一种高效的加权Max-SAT解算器。J.阿蒂夫。智力。研究（JAIR）31，1–32（2008）·Zbl 1183.68578号
[23] H.Hoos，H.，Smyth，K.，Stützle，T.：MAX-SAT随机局部搜索算法性能的搜索空间特征。In：Yao，X.等人（编辑）PPSN 2004。LNCS，第3242卷，第51-60页。斯普林格，海德堡（2004）·doi:10.1007/978-3-540-30217-96
[24] Luo，C.，Cai，S.，Wu，W.，Jie，Z.，Su，K.-W.：CCLS：加权最大可满足性的有效局部搜索算法。IEEE传输。计算。64(7), 1830–1843 (2014) ·Zbl 1360.68786号 ·doi:10.1109/TC.2014.2346196
[25] Malan，K.M.，Engelbrecht，A.P.：关于描述健身景观特征的技术和一些可能的前进方向的调查。信息科学。241, 148–163 (2013) ·Zbl 06484763号 ·doi:10.1016/j.ins.2013.04.015
[26] Mertens，S.，Mézard，M.，Zecchina，R.：随机阈值\[k个\]-空腔法的SAT。随机结构。算法28（3），340–373（2006）·兹比尔1094.68035 ·doi:10.1002/rsa.2009年
[27] Merz，P.，Freisleben，B.：健身景观和模因算法设计。摘自：Corne，D.，Dorigo，M.，Glover，F.，Dasgupta，D.，Moscato，P.，Poli，R.，Price，K.V.（编辑）《优化的新理念》，第245-260页。McGraw-Hill，纽约（1999）
[28] Narodytska，N.，Bacchus，F.：使用核心制导MaxSAT分辨率的最大可满足性。摘自：《第二十届AAAI人工智能会议论文集》，第2717-2723页。AAAI出版社（2014）
[29] Prügel-Bennett，A.，Tayarani-Najaran，M.-H.：最大可满足性：难组合优化问题的适应度分析。IEEE传输。进化。计算。16(3), 319–338 (2012) ·doi:10.1109/TEVC.2011.2163638
[30] Qasem，M.，Prügel-Bennett，A.：使用种群学习MAX-SAT景观的大规模结构。IEEE传输。进化。计算。14(4), 518–529 (2010) ·Zbl 05889977号 ·doi:10.1109/TEVC.2009.2033579
[31] Selman，B.、Kautz，H.、Cohen，B.：可满足性测试的局部搜索策略。团着色可满足性第二个DIMACS实现。查尔。26221-532（1993年）·Zbl 0864.90093号 ·doi:10.1090/dimacs/026/25
[32] Selman，B.，Levesque，H.，Mitchell，D.：解决难满足性问题的新方法。载：《第十届全国人工智能大会论文集》，第440–446页。AAAI出版社（1992）
[33] Stadler，P.：健身景观。载：Lässig，M.，Valleriani，A.（编辑）《生物进化与统计物理学》，第183-204页。斯普林格，海德堡（2002）·doi:10.1007/3-540-45692-9_10
[34] Sutton，A.M.，Whitley，L.D.，Howe，A.E.：精确相关结构的多项式时间计算\[k个\]-令人满意的景观。摘自：《第十一届遗传与进化计算年会论文集》，第365-372页。ACM（2009）·数字对象标识代码：10.1145/1569901.1569952
[35] Tompkins，D.A.D.，Hoos，H.H.：UBCSAT：SAT和MAX-SAT的SLS算法的实现和实验环境。In：Hoos，HH.，Mitchell，D.G.（编辑）SAT 2004。LNCS，第3542卷，第306–320页。斯普林格，海德堡（2005）·Zbl 1122.68620号 ·doi:10.1007/11527695_24
[36] Williams，C.P.，Hogg，T.：探索约束问题的深层结构。Artif公司。智力。70(1), 73–117 (1994) ·Zbl 0938.68827号 ·doi:10.1016/0004-3702（94）90104-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。