×

使用基于合并变量的局部搜索来解决MaxSAT问题的特殊变量。 (英语) Zbl 1460.90155号

Kochetov,Yury(编辑)等人,《数学优化理论和运筹学》。第19届国际会议,2020年7月6日至10日,俄罗斯新西伯利亚,MOTOR 2020。修订了选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1275, 363-378 (2020).
摘要:本文研究与一些难组合问题相关的离散函数反演。这种函数的反演是以众所周知的MaxSAT问题的特殊变体的形式考虑的。为了解决后者,我们应用了之前基于合并变量原则(MVP)开发的局部搜索方法。主要的新颖之处在于,我们将MVP与进化策略相结合,以留下由合并变量爬山算法生成的局部极值。计算实验结果表明,该技术在应用于几个密码哈希函数的反演和一个组合优化问题(即设施位置问题的变体)时是有效的。
关于整个系列,请参见[Zbl 1454.90004号].

MSC公司:

90C27型 组合优化
90C09型 布尔编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ahuja,R.K.,Ergun,O.,Orlin,J.B.,Punnen,A.P.:对大规模邻域搜索技术的调查。离散应用程序。数学。123(1-3), 75-102 (2002) ·Zbl 1014.68052号 ·doi:10.1016/S0166-218X(01)00338-9
[2] Ansotegui,C.,Bonet,M.L.,Levy,J.:基于卫星的MaxSAT算法。Artif公司。智力。196, 77-105 (2013) ·Zbl 1270.68265号 ·doi:10.1016/j.artint.2013.01.002
[3] Avella,P.,D'Auria,B.,Salerno,S.,Vasil'ev,I.:意大利高中课表局部搜索算法的计算研究。《启发式杂志》13(6),543-556(2007)·Zbl 1144.90451号 ·doi:10.1007/s10732-007-9025-3
[4] Berg,J.、Demirović,E.、Stuckey,P.J.:不完整MaxSAT的Core-boosted线性搜索。收录于:卢梭,L.-M.,斯特乔,K.(编辑)《2019年国际会计准则》。LNCS,第11494卷,第39-56页。查姆施普林格(2019)。https://doi.org/10.1007/978-3-030-19212-9_3 ·Zbl 1525.68140号 ·doi:10.1007/978-3-030-19212-93
[5] Bessiere,C.,Katsirelos,G.,Narodytska,N.,Walsh,T.:电路复杂性和全局约束的分解。2009年7月11日至17日,第21届国际人工智能联合会议记录,美国加利福尼亚州帕萨迪纳,第412-418页(2009)
[6] Biere,A.:CaDiCaL、lingeling、plingeling、treengeling和YalSAT参加2017年SAT竞赛。收录于:Balyo,T.,Heule,M.J.H.,Järvisalo,M.(编辑)2017年SAT竞赛,第B-2017-1卷,第14-15页(2017)
[7] Biere,A.,Heule,M.,van Maaren,H.,Walsh,T.(编辑)《可满足性手册》,第185卷。IOS出版社(2009)·Zbl 1183.68568号
[8] Boros,E.,Hammer,P.L.:伪布尔优化。离散应用程序。数学。123(1-3), 155-225 (2002) ·Zbl 1076.90032号 ·doi:10.1016/S0166-218X(01)00341-9
[9] Burke,E.,Kendall,G.:《搜索方法学》,第二版。Springer,纽约(2014)。https://doi.org/10.1007/978-1-4614-6940-7 ·doi:10.1007/978-1-4614-6940-7
[10] Chang,C.L.,Lee,R.C.T.:符号逻辑和机械定理证明,第1版。奥兰多学术出版社(1997)·Zbl 0263.68046号
[11] 库克,S.A.:理论证明程序的复杂性。摘自:1971年5月3日至5日在美国俄亥俄州Shaker Heights举行的第三届年度ACM计算理论研讨会论文集,第151-158页(1971)·Zbl 0253.68020号
[12] Davies,J.,Bacchus,F.:通过求解一系列更简单的SAT实例来求解MAXSAT。收录:Lee,J.(编辑)CP 2011。LNCS,第6876卷,第225-239页。施普林格,海德堡(2011)。https://doi.org/10.1007/978-3-642-23786-7_19 ·doi:10.1007/978-3-642-23786-7_19
[13] Doerr,B.,Le,H.P.,Makhmara,R.,Nguyen,T.D.:快速遗传算法。摘自:遗传和进化计算会议论文集。GECCO 2017,第777-784页。计算机协会(2017)
[14] Dowling,W.F.,Gallier,J.H.:测试命题角公式可满足性的线性时间算法。J.日志。程序。1(3), 267-284 (1984) ·兹比尔0593.68062 ·doi:10.1016/0743-1066(84)90014-1
[15] Droste,S.、Jansen,T.、Wegener,I.:关于(1+1)进化算法的分析。西奥。计算。科学。276(1-2), 51-81 (2002) ·Zbl 1002.68037号 ·doi:10.1016/S0304-3975(01)00182-7
[16] Bacchus,F.:CSPs:将结构添加到SAT中。摘自:Biere,A.,Gomes,C.P.(编辑)SAT 2006。LNCS,第4121卷,第10-10页。斯普林格,海德堡(2006)。https://doi.org/10.1007/11814948_2 ·数字对象标识代码:10.1007/11814948_2
[17] Garey,M.R.,Johnson,D.S.:《计算机与难治性:NP-完备性理论指南》。W.H.Freeman&Co.,纽约(1979)·Zbl 0411.68039号
[18] Goldreich,O.:《计算复杂性:概念视角》,第1版。剑桥大学出版社,纽约(2008)·Zbl 1154.68056号 ·doi:10.1017/CBO9780511804106
[19] Gu,J.、Purdom,P.W.、Franco,J.,Wah,B.W.:可满足性(sat)问题的算法:一项调查。摘自:《离散数学和理论计算机科学DIMACS系列》,第19-152页。美国数学学会(1996)·Zbl 0945.03040号
[20] Ignatiev,A.、Morgado,A.,Manquinho,V.、Lync,I.、Marques-Silva,J.:最大可满足性的进展。摘自:第二十届欧洲人工智能会议记录。ECAI 2014,第453-458页。IOS出版社(2014)·Zbl 1366.68266号
[21] Ignatiev,A.、Morgado,A.和Marques-Silva,J.:RC2:高效MaxSAT解算器。J.满意。布尔模型。计算。11(1), 53-64 (2019) ·Zbl 1484.68216号
[22] Ignatiev,A.、Morgado,A.和Marques-Silva,J.:PySAT:使用SAT神谕进行原型制作的python工具包。收件人:Beyersdorff,O.,Wintersteiger,C.M.(编辑)SAT 2018。LNCS,第10929卷,第428-437页。查姆施普林格(2018)。https://doi.org/10.1007/978-3-319-94144-8_26 ·Zbl 1484.68215号 ·doi:10.1007/978-3-319-94144-8_26
[23] Laporte,G.,Nickel,S.,Saldanha da Gama,F.(编辑):《位置科学》。施普林格,瑞士(2015)。https://doi.org/10.1007/978-3-319-13111-5 ·Zbl 1329.90003号
[24] Le Frioux,L.、Baarir,S.、Sopena,J.、Kordon,F.:PaInleSS:并行SAT求解框架。收录:Gaspers,S.,Walsh,T.(编辑)SAT 2017。LNCS,第10491卷,第233-250页。施普林格,查姆(2017)。https://doi.org/10.1007/978-3-319-66263-3_15 ·Zbl 06807229号 ·doi:10.1007/978-3-319-66263-3_15
[25] Li,C.M.,Manyá,F.:MaxSAT,硬约束和软约束。摘自:Biere,A.,Heule,M.,van Maaren,H.,Walsh,T.(编辑)《可满足性手册》,《人工智能和应用的前沿》,第185卷,第613-631页。IOS出版社(2009)·Zbl 1183.68568号
[26] Luke,S.:《元启发式要领》,第二版。乔治梅森大学(2015)
[27] MacWilliams,F.,Sloane,N.:纠错码理论。北荷兰(1983)·Zbl 0369.94008号
[28] Marques-Silva,J.P.,Lync,I.,Malik,S.:冲突驱动的子句学习SAT解题器。摘自:Biere,A.,Heule,M.,van Maaren,H.,Walsh,T.(编辑)《可满足性手册》,《人工智能和应用的前沿》,第185卷,第131-153页。IOS出版社(2009)·Zbl 1183.68568号
[29] 门德尔森:《数理逻辑导论》,第4版。查普曼和霍尔(1997)·Zbl 0915.03002号
[30] Menezes,A.J.、Vanstone,S.A.、Oorschot,P.C.V.:《应用密码学手册》,第1版。CRC出版社,博卡拉顿(1996)·Zbl 0868.94001号
[31] Mladenović,N.,Hansen,P.:可变邻域搜索。计算。操作。第24(11)号决议,1097-1100(1997)·Zbl 0889.90119号 ·doi:10.1016/S0305-0548(97)00031-2
[32] Morgado,A.,Heras,F.,Liffiton,M.H.,Planes,J.,Marques-Silva,J.:迭代和核心制导MaxSAT解算:调查和评估。《约束国际期刊》18(4),478-534(2013)·Zbl 1317.90199号 ·doi:10.1007/s10601-013-9146-2
[33] Mühlenbein,H.:遗传算法的真正工作原理:变异和山丘边缘化。摘自:《自然2的并行问题解决》,PPSN-II,1992年9月28日至30日,比利时布鲁塞尔,第15-26页(1992)
[34] Nakamoto,S.:比特币:点对点电子现金系统(2019)
[35] Narodytska,N.,Bacchus,F.:使用核心制导MaxSAT分辨率的最大可满足性。收录:第二十八届AAAI人工智能会议论文集。AAAI 2014,第2717-2723页。AAAI出版社(2014)
[36] Pavlenko,A.,Semenov,A.,Ulyantsev,V.:代数密码分析中构建基于SAT的攻击的进化计算技术。收录人:Kaufmann,P.,Castillo,P.A.(编辑)EvoApplications 2019。LNCS,第11454卷,第237-253页。查姆施普林格(2019)。https://doi.org/10.1007/978-3-030-16692-2_16 ·文件编号:10.1007/978-3-030-16692-2_16
[37] Russell,S.J.,Norvig,P.:《人工智能——现代方法》,第三版,国际版。培生教育(2010)·Zbl 0835.68093号
[38] Semenov,A.A.:离散函数反演问题中逻辑方程的分解表示。J.计算。系统。科学。国际48718-731(2009)·Zbl 1294.90057号 ·doi:10.1134/S1064230709050062
[39] Semenov,A.、Otpuschennikov,I.、Gribanova,I.,Zaikin,O.、Kochemazov,S.:将离散函数的算法描述翻译为SAT,并应用于密码分析问题。逻辑方法计算。科学。16(1), 1-42 (2020) ·Zbl 1528.94079号
[40] Semenov,A.A.:合并变量:伪布尔优化中的一种搜索技术。内容:数学优化理论与运筹学。《计算机与信息科学通信》,第1090卷,第86-102页(2019年)·Zbl 1429.90100号
[41] 谢廷,G.S.:关于命题演算中推导的复杂性。摘自:《建构数学和数学逻辑研究》,第二部分,数学研讨会,第115-125页(1970年)·Zbl 0205.00402号
[42] 韦格纳,I.:进化算法的理论方面。收录人:Orejas,F.、Spirakis,P.G.、van Leeuwen,J.(编辑)ICALP 2001。LNCS,第2076卷,第64-78页。斯普林格,海德堡(2001)。https://doi.org/10.1007/3-540-48224-5_6 ·Zbl 0986.68137号 ·doi:10.1007/3-540-48224-56
[43] Williams,R.、Gomes,C.P.、Selman,B.:典型案例复杂性的后门。摘自:第十八届国际人工智能联合会议(IJCAI 2003),第1173-1178页(2003)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。