×

MAX-SAT问题的一种具有突变和重新启动策略的迭代路径突破方法。 (英语) Zbl 1458.68205号

摘要:尽管路径重链接是解决许多组合优化问题的一种有效的局部搜索方法,但它在求解MAX-SAT时的应用并不简单,MAX-SAT是可满足性问题(SAT)的一种优化变体,具有许多实际应用,在学术界和工业界得到了越来越多的关注。事实上,据我们所知,在最近的任何竞争性MAX-SAT算法中都没有使用它。本文针对MAX-SAT提出了一种新的局部搜索算法IPBMR,它通过使用三个组件的仔细组合来弥补路径重链接方法的缺点:一种新的策略称为路径断开,以避免在精英解与其逆解之间生成轨迹时搜索空间中没有希望的区域;弱突变和强突变策略,再加上重启,使搜索多样化;以及随机路径生成步骤,以避免过早的局部最优解。然后,我们给出了实验结果,表明IPBMR优于两个最先进的MAX-SAT局部搜索解算器,并进行了实证调查,以确定和解释IPBMR中三个组件的效果。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68兰特 可满足性的计算方面
90C27型 组合优化
90 C59 数学规划中的近似方法和启发式
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Abramé,A。;Habet,D.,max-sat分支定界解算器中的局部最大分辨率,人工智能工具(ICTAI),2014年IEEE第26届国际会议,336-343(2014),IEEE
[2] Abramé,A。;哈贝特,D。;Toumi,D.,《改进可满足随机k-sat实例的配置检查》,Ann.Math。Artif公司。智力。,79, 1-3, 5-24 (2017) ·Zbl 1404.68136号
[3] Ansótegui,C。;Gabas,J.,Wpm3:加权部分最大卫星的(in)完全算法,Artif。智力。,250, 37-57 (2017) ·Zbl 1419.68090号
[4] Ansótegui,C。;Gabás,J。;Levy,J.,在基于卫星的maxsat算法中利用子问题优化,J.启发式,22,1,1-53(2016)·Zbl 1360.90313号
[5] Ansótegui,C。;吉拉尔德斯·克鲁,J。;Levy,J.,《sat公式的社区结构》,《可满足性测试理论与应用国际会议》,410-423(2012),斯普林格出版社·Zbl 1273.68331号
[6] Argelich,J.、Li,C.M.、Manya,F.、Planes,J.,2018年。2016年Max-sat第十一次Max-sat评估。http://maxsat.ia.udl.cat/简介/; Argelich,J.、Li,C.M.、Manya,F.、Planes,J.,2018年。2016年Max-sat第十一次Max-sat评估。http://maxsat.ia.udl.cat/introduction/ ·Zbl 1159.68561号
[7] Audemard,G。;Simon,L.,《预测现代卫星解算器中的习得子句质量》,IJCAI,9,399-404(2009)
[8] Borchers,B。;Furman,J.,最大sat和加权最大sat问题的两阶段精确算法,J.Comb。最佳。,2, 4, 299-306 (1998) ·Zbl 0954.90026号
[9] Cai,S.,Luo,C.,2018年。Swcca-ms公司。http://maxsat.ia.udl.cat/solvers/7/Swcca_ms
[10] 蔡,S。;Su,K.,本地搜索卫星时的抽吸配置检查,AAAI(2012)
[11] 蔡,S。;Su,K.,使用配置检查和子核心进行布尔可满足性的局部搜索,Artif。智力。,204, 75-98 (2013) ·Zbl 1334.68200号
[12] 蔡,S。;苏凯。;Sattar,A.,《带边缘权重的局部搜索和最小顶点覆盖的配置检查启发式》,Artif。智力。,175, 9-10, 1672-1696 (2011) ·Zbl 1225.68242号
[13] Cha,B。;岩间,K。;Y.Kambayashi。;Miyazaki,S.,部分最大卫星的局部搜索算法,AAAI/IAAI,263268(1997)
[14] Djenouri,Y。;哈巴斯,Z。;Djenouri,D.,用于解决maxsat问题的基于数据挖掘的分解:走向新方法,IEEE Intell。系统。,32, 4, 48-58 (2017)
[15] 费斯塔,P。;帕尔达洛斯,P.M。;Pitsoulis,L.S。;Resende,M.G.,《加权maxsat问题的路径链接抓取》,J.Exp.Algorithmics(JEA),11,2-4(2007)
[16] 手套,F。;拉古纳,M。;Marti,R.,《分散搜索和路径链接基础》,《控制网络》。,29, 3, 653-684. (2000) ·Zbl 0983.90077号
[17] Gu,J.,局部可满足性搜索(sat)问题,IEEE Trans。系统。人类网络。,23, 4, 1108-1129 (1993)
[18] 顾,J。;Purdom,P.W。;Franco,J。;Wah,B.W.,可满足性(Sat)问题的算法,组合优化手册,379-572(1999),Springer·兹比尔1253.90196
[19] Holland,J.H.,《遗传算法和试验的优化分配》,SIAM J.Compute。,2, 2, 88-105 (1973) ·Zbl 0259.90031号
[20] 霍兰德,J.H.,遗传算法,科学。美国,267,1,66-73(1992)
[21] Li,C.M。;Anbulagan,A.,基于可满足性问题的单位传播的启发式,第15届人工智能国际联合会议论文集第1卷,366-371(1997),Morgan Kaufmann出版社。
[22] Li,C.M。;黄伟强,局部可满足性搜索中的多样性和决定论,《SAT-2005学报》,158-172(2005),施普林格LNCS 3569·Zbl 1128.68472号
[23] Li,C.M。;Manya,F。;Planes,J.,《最大状态的新推理规则》,J.Artif。智力。研究(JAIR),30,1,321-359(2007)·Zbl 1182.68254号
[24] Li,C.M。;Quan,Z.,基于maxsat的最大团问题的有效分枝定界算法。,AAAI,10128-133(2010年)
[25] Liang,J.H。;加内什,V。;Poupart,P。;Czarnecki,K.,用于sat求解器的指数近因加权平均分支启发式。,AAAI,3434-3440(2016)
[26] 罗,C.,蔡,S.,苏,K.,吴,W.,杰,Z.,2018年。Ccls公司。http://maxsat.ia.udl.cat/solvers/5/CCLS-201604080726; 罗,C.,蔡,S.,苏,K.,吴,W.,杰,Z.,2018年。Ccls公司。http://maxsat.ia.udl.cat/solvers/5/CCLS-201604080726
[27] 罗,C。;蔡,S。;Wu,W。;杰,Z。;Su,K.,Ccls:加权最大可满足性的有效局部搜索算法,IEEE Trans。计算。,64, 7, 1830-1843 (2015) ·Zbl 1360.68786号
[28] 罗,M。;李,C.-M。;肖,F。;Manyá,F。;吕,Z。,《cdcl-sat解算器的有效学习子句最小化方法》,《第26届国际人工智能联合会议论文集》,703-711(2017),AAAI出版社
[29] 马,F。;Wang,Y。;Hao,J.-K.,顶点分隔问题的路径重新链接,专家系统。申请。,82, 332-343 (2017)
[30] 穆里蒂巴;费尔南德斯,A.E。;罗德里格斯,哥伦比亚特区。;da Costa,F.A.,多模式资源约束项目调度问题的路径重链接算法,计算。操作。决议(2018)·兹比尔1391.90258
[31] Sakai,M。;Nabeshima,H.,带形式pb-约束体ROBDD的构建和pb-解析器的相关技术,IEICE Trans。信息系统。,98, 6, 1121-1127 (2015)
[32] 塞尔曼,B。;Kautz,H.A。;Cohen,B.,改进本地搜索的噪声策略,第12届全国人工智能会议论文集,AAAI’94,美国西雅图/华盛顿州,337-343(1994),AAAI出版社
[33] 汤普金斯博士。;Hoos,H.H.,Ubcsat:卫星和最大卫星sls算法的实现和实验环境,可满足性测试理论和应用国际会议,306-320(2004),Springer·Zbl 1122.68620号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。