阿卜杜勒卡德尔·乌阿里;阿洛奇,大卫;西蒙·德·吉夫里;萨米尔·卢德尼;雅希亚·利巴;拉赫达尔·卢基尔;帕特里斯·博伊祖马尔 图形模型能量最小化的可变邻域搜索。 (英语) Zbl 1478.68329号 Artif公司。智力。 278,文章ID 103194,22 p.(2020). 摘要:图形模型将全局概率分布/能量函数分解为局部函数的乘积/和。一个主要的推理任务,在马尔可夫随机场中称为MAP,在贝叶斯网络中称为MPE,是以最大后验概率/最小能量找到所有变量的全局赋值。MAP求解方法的一个常见区别是完全/不完全,即证明最优性与否的能力。大多数完整的方法依赖于树搜索,而不完整的方法则依赖于局部搜索。其中,我们研究了可变邻域搜索(越南国家标准)用于图形模型。在本文中,我们提出了上述迭代方法越南国家标准在局部邻域探索中使用(部分)树搜索。该方法通过控制差异限制和邻域大小这两个参数,执行了一些增加搜索复杂度的邻域探索。因此,当邻域大小最大且使用无界树搜索时,可以证明所获得解的最优性。我们进一步提出了一种并行版本的方法,改进了该方法在来自大型图形模型基准测试的困难实例上的任何时间行为。最后,我们对计算蛋白质设计中发现的具有挑战性的最小能量问题进行了实验,表明了并行版本的实际好处。解算器位于https://github.com/toulbar2/toulbar2. 引用于1文件 MSC公司: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 62H22个 概率图形模型 92D20型 蛋白质序列,DNA序列 关键词:可变邻域搜索;计算蛋白质设计;平行度;完全搜索方法;anytime算法;离散图形模型;组合优化;马尔可夫随机场;最可能的解释;成本函数网络 软件:图尔巴尔2;利伯达;计算TW;产量;github;mplp2(英里/平方英寸) PDF格式BibTeX公司 XML格式引用 \textit{A.Ouali}等人,Artif。智力。278,文章ID 103194,22 p.(2020;Zbl 1478.68329) 全文: 内政部 参考文献: [1] 科勒,D。;弗里德曼,N.,《概率图形模型:原理和技术》(2009),麻省理工学院出版社·Zbl 1183.68483号 [2] Shimony,S.,《寻找信仰网络的MAP》,NP-hard,AI Commun。,68, 399-410 (1994) ·Zbl 0818.68097号 [3] Marinescu,R。;Dechter,R.,《图形模型中的内存密集型和/或组合优化搜索》,AI Commun。,第173页,第16-17页,第1492-1524页(2009年)·Zbl 1185.68649号 [4] Otten,L。;Dechter,R.,Anytime AND/OR depth-first search for combinatial optimization,人工智能通信。,25, 3, 211-227 (2012) ·Zbl 1250.90075号 [5] Allouche,D。;de Givry,S。;Katsirelos,G。;Schiex,T。;Zytnicki,M.,带树分解的加权CSP的Anytime混合最佳首次搜索,(CP Proc.(2015)),12-28 [6] Kolmogorov,V.,能量最小化的收敛树重加权消息传递,IEEE Trans。模式分析。机器。智力。,28, 10, 1568-1583 (2006) [7] 温赖特,M。;Jordan,M.,《图形模型、指数族和变分推理》,Found。趋势马赫数。学习。,1, 1-2, 1-305 (2008) ·Zbl 1193.62107号 [8] 桑塔格,D。;Meltzer,T。;Globerson,A。;Jaakkola,T。;Weiss,Y.,使用消息传递为MAP拧紧LP松弛,(UAI Proc.(2008)),503-510 [9] 桑塔格,D。;Choe,D。;Li,Y.,在MAP推理中高效搜索受挫循环,(UAI Proc.(2012)),795-804 [10] Wang,H。;Koller,D.,《无子问题校准:最大产品消息传递的统一方法》(ICML Proc.(2013)),190-198 [11] Park,J.,使用加权MAX-SAT引擎求解MPE,(AAAI程序(2002)),682-687 [12] Hutter,F。;胡斯,H。;Stützle,T.,MPE求解的有效随机局部搜索,(IJCAI(2005)Proc.),169-174 [13] 蒙苏尔,O。;威尔金斯,D。;Roth,D.,《随机局部搜索中的初始化和重启:在贝叶斯网络中计算最可能的解释》,IEEE Trans。知识。数据工程,23,2,235-247(2011) [14] Marinescu,R。;Kask,K。;Dechter,R.,解决MPE任务的系统与非系统算法,(UAI Proc.(2003)),394-402 [15] Shaw,P.,使用约束规划和局部搜索方法解决车辆路径问题,(CP Proc.(1998)),417-431 [16] 佩伦,L。;肖,P。;Furnon,V.,《传播引导的大邻域搜索》(Proc.of CP(2004)),468-481·Zbl 1152.68572号 [17] 伦巴第,M。;Schaus,P.,《成本影响导向的lns》,(人工智能和操作规则技术在约束编程中的集成程序(2014)),293-300 [18] Dekker,J.J。;de la Banda,M.G。;A.舒特。;Stuckey,P.J。;Tack,G.,独立于解算器的大邻域搜索(CP Proc.of CP(2018)),81-98 [19] Demirovic,E。;Chu,G.等人。;Stuckey,P.J.,《CP的基于解决方案的阶段节省:在完全解算器中模拟局部搜索行为的值选择启发式》(CP Proc.of CP(2018)),99-108 [20] Mladenović,N。;Hansen,P.,可变邻域搜索,计算。操作。第24、11、1097-1100号决议(1997年)·Zbl 0889.90119号 [21] Loudni,S。;Boizumault,P.,《在任何情况下解决约束优化问题》(IJCAI Proc.(2003)),251-256 [22] 哈维,W。;Ginsberg,M.,《有限差异搜索》(IJCAI Proc.(1995)),第607-615页 [23] Fontaine,M。;劳德尼,S。;Boizumault,P.,《利用树分解指导VNS的邻里探索》,RAIRO Oper。研究,47,2,91-123(2013)·Zbl 1267.68211号 [24] Davidovic,T。;Crainic,T.,MPI可变邻域搜索的并行化,Electron。注释离散数学。,39, 241-248 (2012) ·Zbl 1268.68150号 [25] 瓦利,A。;Loudni,S。;Loukil,L。;Boizumault,P。;Lebbah,Y.,《分解导向VNS的复制并行策略》,Electron。注释离散数学。,47, 93-100 (2015) [26] Simoncini,D。;Allouche,D。;de Givry,S。;Delmas,C。;Barbe,S。;Schiex,T.,大型蛋白质设计问题的保证离散能量优化,J.Chem。理论计算。,2015年11月12日,5980-5989 [27] 梅塞盖尔,P。;罗西,F。;Schiex,T.,软约束处理,(约束编程手册(2006),Elsevier),279-326,第9章 [28] B.赫尔利。;奥沙利文,B。;Allouche,D。;Katsirelos,G。;Schiex,T。;Zytnicki,M。;de Givry,S.,图形模型离散优化中精确解算器的多语言评估,约束,21,3,413-434(2016)·Zbl 1368.90107号 [29] Dechter,R。;Rish,I.,《迷你包:有界推理的一般方案》,J.ACM,50,2,107-153(2003)·兹比尔1326.68335 [30] 拉罗萨,J。;de Givry,S。;赫拉斯,F。;Zytnicki,M.,《存在弧一致性:在加权CSP中更接近全弧一致性》(IJCAI Proc.(2005)),84-89 [31] 库珀,M。;de Givry,S。;桑切斯,M。;Schiex,T。;Zytnicki,M。;沃纳,T.,《重新审视软弧一致性》,AI Commun。,174, 449-478 (2010) ·Zbl 1213.68580号 [32] 卡鲁伊,W。;Huguet,M.-J。;洛佩兹,P。;Naanaa,W.,Yields:一种改进的有限差异搜索csp,(组合优化问题约束编程中人工智能和操作规则技术的集成程序(2007)),99-111·Zbl 1214.68358号 [33] Prosser,P。;Unsworth,C.,《重新审视有限差异搜索》,ACM J.Exp.Algorithmics,16,1.6:1.1-1.6:1.8(2011)·Zbl 1284.68722号 [34] Bodlaender,H。;Koster,A.,树宽计算I.上限,Inf.Comput。,208, 3, 259-275 (2010) ·Zbl 1186.68328号 [35] Bodlaender,H。;Koster,A。;Van den Eijkhof,F.,概率网络三角剖分的预处理规则,计算。智力。,21, 3, 286-305 (2005) [36] Arnborg,S.,在k树中寻找嵌入的复杂性,SIAM J.代数离散方法,8277-284(1987)·Zbl 0611.05022号 [37] Kjrulff,U.,《图的三角剖分-给出较小总状态空间的算法》(1990),奥尔堡大学,技术代表。 [38] Tarjan,R.E.,测试图的chordality、测试超图的非循环性和选择性地减少非循环超图的简单线性时间算法,SIAM J.Compute。,13, 3, 566-579 (1984) ·Zbl 0545.68062号 [39] 鲁比,M。;辛克莱,A。;Zuckerman,D.,《拉斯维加斯算法的最佳加速》(TCS Proc.of TCS(1993)),128-133·兹伯利0797.68139 [40] Boussemart,F。;Hemery,F。;Lecoutre,C。;Sais,L.,通过加权约束推进系统搜索,(ECAI Proc.(2004)),146-150 [41] Kappes,J。;安德烈斯,B。;F.汉普雷希特。;Schnörr,C。;Nowozin,S。;巴特拉,D。;Kim,S。;考斯勒,B。;Kröger,T。;Lellmann,J。;Komodakis,N。;萨夫钦斯基,B。;Rother,C.,《结构化离散能量最小化问题现代推理技术的比较研究》,国际计算杂志。视觉。,115, 2, 155-184 (2015) [42] Favier,A。;Givry,S。;Legarra,A。;Schiex,T.,组合优化的成对分解。在图形模型中,(IJCAI Proc.(2011)),2126-2132 [43] de Givry,S。;普雷斯特维奇,S。;O'Sullivan,B.,加权CSP的死因消除,(CP Proc.of CP(2013)),263-272 [44] 艾勒,A。;弗莱罗娃,N。;Dechter,R。;Otten,L.,基于联合粒度的成本转移计划(UAI Proc.(2012)),397-406 [45] Otten,L。;艾勒,A。;Kask,K。;Dechter,R.,《通过增强AND/OR分支约束赢得PASCAL 2011 MAP挑战》(NIPS Workshop DISCML的Proc.(2012)) [46] Neveu,B。;Trombettoni,G。;Glover,F.,《ID walk:一种使用简单多样化手段的候选名单策略》,(CP Proc.of CP(2004)),423-437·Zbl 1152.68568号 [47] Mooij,J.M.,libDAI:图形模型中离散近似推理的免费开源C++库,J.Mach。学习。第11号决议,2169-2173(2010年)·Zbl 1242.62004号 [48] Otten,L。;Dechter,R.,和/或计算网格上的分支与边界,J.Artif。智力。决议,59,351-435(2017)·Zbl 1418.68189号 [49] Allouche,D。;戴维斯,J。;de Givry,S。;Katsirelos,G。;Schiex,T。;特拉奥雷,S。;安德烈,I。;Barbe,S。;普雷斯特维奇,S。;O'Sullivan,B.,作为优化问题的计算蛋白质设计,AI Commun。,212, 59-79 (2014) ·Zbl 1407.92099号 [50] 黄,P.-S。;博伊肯,S.E。;Baker,D.,《从头开始蛋白质设计时代的到来》,《自然》,537320-327(2016) [51] 李波,S.M。;Tidor,B.,《计算蛋白质设计进展》,蛋白质技术/系统生物学。蛋白质技术/系统生物学,当前。操作。生物回收,18,4,305-311(2007) [52] 特鲁多·D·L。;陶菲克博士(Tawfik,D.S.),蛋白质工程师转变为进化论者,寻求最佳起点,即药物生物技术。药物生物技术,当前。操作。生物技术。,60, 46-52 (2019) [53] Abseher,M。;Musliu,N。;Woltran,S.,通过机器学习提高树分解动态编程的效率,J.Artif。智力。决议,58,829-858(2017)·Zbl 1407.68386号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。