×

艾斯迈尔:用于区间分支和边界解算器的变量选择策略。 (英语) Zbl 1402.90123号

摘要:基于涂抹的变量选择策略是众所周知的,并且通常用于基于分支和修剪间隔的解算器。他们通过使用偏导数和变量域的大小来估计变量对系统每个约束的影响。然后,他们以某种方式汇总这些值,以估计每个变量对整个系统的影响。然后选择影响最大的变量。这些策略的一个问题是,它们通常认为所有约束都同等重要。在这项工作中,我们提出了一种新的变量选择策略,该策略首先使用原问题线性化的最优拉格朗日乘子对约束进行加权。然后,使用典型的基于涂抹的函数计算变量的影响,但要考虑约束的权重。该策略在一组著名的基准实例上进行了测试,其性能显著优于经典变量选择策略。

MSC公司:

90C26型 非凸规划,全局优化
90C57型 多面体组合数学,分枝与定界,分枝与割
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Araya,I.、Reyes,V.、Oreallana,C.:针对NCSP的更多基于涂片的变量选择启发式。参加:人工智能工具国际会议(ICTAI 2013)。IEEE,第1004-1011页(2013)
[2] Csendes,T;Ratz,D,全局优化区间方法中的细分方向选择,SIAM J.Numer。分析。,34, 922-938, (1997) ·Zbl 0873.65063号 ·doi:10.1137/S0036142995281528
[3] Granvilliers,L.:数字CSP的自适应平分。在:约束编程的原理和实践,第290-298页。施普林格,纽约(2012)·Zbl 1191.68628号
[4] Kearfott,苏格兰皇家银行;Novoa,M,算法681:INTBIS,便携式区间牛顿/二分包,ACM-Trans。数学。柔和。(TOMS),16,152-157,(1990)·Zbl 0900.65152号 ·数字对象标识代码:10.1145/78928.78931
[5] 拉古安内尔,J-L;Soubry,G,《全局优化区间分枝定界方法中的最优多段》,J.Glob。最佳。,2004年3月30日至38日·Zbl 1136.90521号 ·doi:10.1023/B:JOGO.0000049095.55259.61
[6] Trombettoni,G.,Araya,I.,Neveu,B.,Chabert,G.:全局优化的内部区域和区间线性化。摘自:AAAI人工智能会议,第99-104页(2011年)
[7] 特隆贝托尼,G;Chabert,G,构造性区间析取,原理实用。施工。程序。,2007, 635-650, (2007) ·Zbl 1145.68530号
[8] Moore,R.:区间分析,第60卷。新泽西州普伦蒂斯·霍尔·恩格伍德悬崖(1966)·Zbl 1108.65065号
[9] Ratz,D.:自动化集成验证是全球优化问题。卡尔斯鲁厄大学博士论文(1992年)·Zbl 0831.65068号
[10] Hansen,E.,Walster,G.W.:《使用区间分析的全局优化:修订和扩展》,第264卷。CRC出版社,博卡拉顿(2003)
[11] Tawarmalani,M;Sahinidis,NV,混合整数非线性程序的全局优化:理论和计算研究,数学。程序。,99, 563-591, (2004) ·Zbl 1062.90041号 ·doi:10.1007/s10107-003-0467-6
[12] Lebbah,Y,Icos:基于分支和边界的严格全局优化求解器,Optim。方法软件。,24, 709-726, (2009) ·Zbl 1179.90265号 ·doi:10.1080/10556780902753452
[13] 尼宁,J;梅辛,F;Hansen,P,用于全局优化的可靠仿射松弛方法,4OR,13,247-277,(2015)·Zbl 1320.90065 ·doi:10.1007/s10288-014-0269-0
[14] Araya,I.,Trombettoni,G.,Neveu,B.,Chabert,G.:不等式约束下全局优化内部区域的上界。J.优化。手套。(2014). doi:10.1007/s10898-014-0145-7·Zbl 1312.90057号
[15] Neveu,B;特隆贝托尼,G;Araya,I,区间分枝定界算法中的节点选择策略,J.Glob。最佳。,64, 289-304, (2016) ·Zbl 1339.90268号 ·doi:10.1007/s10898-015-0375-3
[16] Benhamou,F.,Goulard,F.,Granvilliers,L.,Puget,J.-F.:重新审视船体和箱体的一致性。In:国际逻辑程序设计会议,Citeser(1999)·Zbl 1179.90265号
[17] Araya,I.,Trombettoni,G.,Neveu,B.等人:利用区间约束传播中的单调性。In:AAAI(2010)·Zbl 1062.90041号
[18] O.Lhomme:数字CSP的一致性技术。在:IJCAI。Citeser,第232-238页(1993年)
[19] Neveu,B.、Trombettoni,G.等:自适应构造区间析取。摘自:人工智能工具国际会议(ICTAI),第900-906页(2013)
[20] 利巴,Y;米歇尔,C;Rueher,M,《解决优化问题的高效安全框架》,J.Compute。申请。数学。,199, 372-377, (2007) ·Zbl 1108.65065号 ·doi:10.1016/j.cam.2005.08.037
[21] 巴哈列夫,A;Achterberg,T;Rév,E,用仿射算法计算萃取精馏塔,AIChE J.,55,1695-1704,(2009)·doi:10.1002/aic.11777
[22] Araya,I.,Trombettoni,G.,Neveu,B.:基于凸区间泰勒的承包商。在:组合优化问题约束编程中AI和OR技术的集成,第1-16页。施普林格,纽约(2012)·Zbl 1241.68008号
[23] Goldsztejn,A.,Lebbah,Y.,Michel,C.,Rueher,M.:在安全分支定界算法中重新审视上界过程。摘自:《约束编程原理与实践》(CP),第598-602页。施普林格,纽约(2008)·Zbl 1136.90521号
[24] Wunderling,R.:Soplex:顺序面向对象单纯形类库。http://www.zib.de/Optimization/Software/Soplex/Soplex.php (1997) ·Zbl 0900.65152号
[25] 查伯特,G;Jaulin,L,承包商编程,Artif。智力。,173, 1079-1100, (2009) ·Zbl 1191.68628号 ·doi:10.1016/j.artint.2009.03.002
[26] Tawarmalani,M;内华达州萨希尼迪斯,《全局优化的多面体分枝切割方法》,数学。程序。,103, 225-249, (2005) ·Zbl 1099.90047号 ·doi:10.1007/s10107-005-0581-8
[27] Misener,R.,Floudas,C.A.:ANTIGONE:非线性方程的连续/整数全局优化算法。J.全球。最佳方案。59(2) ,503-526(2014)·Zbl 1301.90063号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。