×

兹马思-数学第一资源

合并变量:伪布尔优化中的一种搜索技术。(英语) Zbl 1429.90100
拜卡多罗夫,伊戈尔(编辑)等,数学优化理论与运筹学。第18届国际会议,2019年7月8日至12日,俄罗斯叶卡捷琳堡,2019年汽车展。查姆:斯普林格。公社。计算机。信息科学。1090年,第86-102页(2019年)。
摘要:本文介绍了一种新的启发式技术,可用于包括黑盒函数在内的伪布尔函数的优化。该方法基于一个简单的过程,即从布尔超立方体上的优化问题过渡到特殊构造的度量空间中的辅助函数优化问题。证明了原布尔超立方体的点与新度量空间中的点之间存在自然联系。对于具有固定维数的布尔超立方体,可以构造许多这样的度量空间。该方法可以看作是变邻域搜索的一个特例,主要研究伪布尔优化问题。初步计算结果表明,该方法对一些相当困难的问题具有很高的效率。文中还表明,该方法与著名的(1+1)进化算法相结合,可以降低该算法对任意伪布尔函数的运行时间上限。
整个系列请参见[Zbl 1428.90004号].

理学硕士:
90度59度 数学规划中的逼近方法和启发式方法
PDF格式 BibTeX公司 引用
全文: 内政部
参考文献:
[1] Boros,E.,Hammer,P.L.:伪布尔优化。离散应用程序。数学。第123卷第1-3页,第155-225页(2002年)·Zbl 1076.90032号
[2] Biere,A.,Heule,M.,van Maaren,H.,Walsh,T(编辑):可满足性手册,第185卷,IOS出版社,阿姆斯特丹(2009)·Zbl 1183.68568
[3] 伯克,E.,肯德尔,G(编辑):搜索方法学,第二版。斯普林格,纽约(2014年)。https://doi.org/10.1007/978-1-4614-6940-7
[4] 麦克威廉姆斯,F.,斯隆,N.:纠错码理论。北荷兰,阿姆斯特丹(1983)
[5] 卢克S.:元启发式基本原理,第二版。乔治梅森大学,费尔法克斯(2015)
[6] 进化算法的收敛性。博士。论文,汉堡(1997)·Zbl 0891.93089
[7] Droste,S.,Jansen,T.,Wegener,I.:关于(1+1)进化算法的分析。理论。计算机。科学。276(1-2),51-81(2002年)·Zbl 1002.68037
[8] 斯坦利:枚举组合学。剑桥大学出版社,剑桥(2011)·Zbl 1247.05003号
[九] Feller,W.:概率论及其应用导论,第三版。威利,霍博肯(1970)·Zbl 0158.34902
[10] Mladenović,N.,Hansen,P.:可变邻域搜索。计算机。操作。第24(11)号决议,1097-1100(1997年)·Zbl 0889.90119
[11] Hansen,P.,Mladenović,N.:可变邻域搜索:原理和应用。欧元。J。操作。第130(3)、449-467(2001)号决议·Zbl 0981.90063
[12] Hansen,P.,Mladenović,N.,Todosijević,R.,Hanafi,S.:可变邻域搜索:基本和变体。欧洲J。计算机。擎天柱。5(3),423-454(2016年)·Zbl 1390.90586
[13] 格洛弗,F.,拉古纳,M.:禁忌搜索。Kluwer学术出版社,多德雷赫特(1997)·Zbl 0930.90083
[14] Eén,n.,Sörensson,n.:将伪布尔约束转换为SAT,JSAT 2(1-4),1-26(2006)·Zbl 1116.68083
[15] Rivest,R.L.:MD4消息摘要算法。在:Menezes,A.J.,Vanstone,S.A.(编辑),《加密1990》,LNCS,第537卷,第303-311页。斯普林格,海德堡(1991年)。https://doi.org/10.1007/3-540-38424-3_22·Zbl 0800.68418
[16] Otpuschennikov,I.,Semenov,A.,Gribanova,I.,Zaikin,O.,Kochemazov,S.:使用TRANSALG系统编码密码函数到SAT。在:第22届欧洲人工智能大会(ECAI 2016)。《人工智能与应用前沿》,第285卷,第1594-1595页。IOS出版社(2016年)
[17] Marques Silva,J.P.,Lync,I.,Malik,S.:冲突驱动的小句学习SAT解决者。In:Biere等人[2],第131-153页
[18] Williams,R.,Gomes,C.P.,Selman,B.:典型案例复杂性的后门。第18届人工智能国际联席会议(IJCAI 2003),第1173-1178页(2003)
[19] Soos,M.,Nohl,K.,Castelluccia,C.:将SAT解算器扩展到密码问题。收件人:O.Kullmann(编辑)2009年SAT。LNCS,第5584卷,第244-257页。斯普林格,海德堡(2009年)。https://doi.org/10.1007/978-3-642-02777-2_24
[20] Biere,A.:参加2017年SAT竞赛的CaDiCaL、Lingeling、Plingeling、Treengeling、YalSAT。In:Balyo,T.,Heule,M.J.H.,Järvisalo,M(编辑)2017年SAT竞赛,B-2017-1卷,第14-15页(2017年)
[21] Ahuja,R.K.,Ergun,O.,Orlin,J.B.,Punnen,A.P.:大规模邻域搜索技术的调查。离散应用程序。数学。123(1-3),75-102(2002年)·Zbl 1014.68052
[22] Avella,P.,D'Auria,B.,Salerno,S.,Vasil'ev,I.:意大利高中课程表局部搜索算法的计算研究。J。启发式13(6),543-556(2007)·Zbl 1144.90451
[23] Doerr,B:通过随机控制分析随机搜索启发式。理论。计算机。科学。773,115-137(2019年)·Zbl 1451.68363
[24] Li,C.,Manya,F.:最大卫星。摘自:Biere等人[2],第613-632页
[25] Ansótegui,C.,Heymann,B.,Pon,J.,Sellmann,M.,Tierney,K.:MaxSAT的超反应禁忌搜索。在:Battiti,R.,Brunato,M.,Kotsireas,I.,Pardalos,P.M.(编辑)LION 12 2018.LNCS,第11353卷,第309-325页,查姆斯普林格(2019年)。https://doi.org/10.1007/978-3-030-05348-2_27
[26] Bouhmala,N.,Øvergård,K.I.:将遗传算法与可变邻域搜索相结合,用于MAX-SAT。见:Zelinka,I.,Vasant,P.,Duy,V.H.,Dao,T.T.(编辑),《创新计算、优化及其应用》。SCI,第741卷,第73-92页。斯普林格,查姆(2018年)。https://doi.org/10.1007/978-3-319-66984-7_5
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。