×

自适应构造区间析取:算法与实验。 (英语) Zbl 1329.90152号

摘要:一个叫做CID的运算符和一个有效的变体3BCID是在[G、 特罗姆贝托尼G、 夏伯特,选择。笔记计算。科学。4741635-650(2007年;Zbl 1145.68530)]. 对于用区间方法处理的数值CSP,这些算子计算离散CSP的部分一致性等价于分区-1-AC。除了用于反驳给定子问题的约束传播过程外,CID的两个主要参数是主CID过程被调用的次数和该过程处理的子区间的最大数目。3BCID算子在数值CSP中是最先进的,但在约束全局优化中却不是如此,因为它的成本通常太高。本文提出了一种自适应的3BCID变体ACID。在搜索过程中,所处理的变量数是自适应的,其他参数是固定的,并且对修改具有鲁棒性。在一个具有代表性的实例示例中,ACID在HC4约束传播算法和最先进的Mohc算法下都能有效地工作。实验还强调,它只适用于一些处理变量,而不是一组特定的选定变量。最后,ACID似乎是用于求解和优化的最佳区间约束规划算子,因此被添加到Ibex区间解算器的默认策略中。

理学硕士:

90立方厘米 涉及图形或网络的程序设计
90-04年 有关运筹学和数学规划问题的软件、源代码等

引文:

Zbl 1145.68530
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

参考文献:

[1] Araya,I.,Trombettoni,G.,Neveu,B.(2010年)。利用区间约束传播中的单调性。AAAI程序(第9-14页)·Zbl 1274.65184
[2] Araya,I.,Trombettoni,G.,Neveu,B.(2010年)。利用单调性构造自适应区间约束传播算法。约束规划,约束规划,LNCS 6308(第61-68页)。斯普林格·Zbl 0978.70004号
[3] Araya,I.,Trombettoni,G.,Neveu,B.(2012年)。一种基于凸区间Taylor的承包商。CPAIOR公司2012年,LNCS第7298号(第1-16页)·Zbl 1191.68628
[4] Balafrej,A.,Bessiere,C.,Bouyakhf,E.,Trombettoni,G.(2014年)。基于单例的自适应一致性。AAAI公司(第2601-2607页)。AAI出版社。
[5] 贝纳莫,F.,古阿拉德,F.,格兰维利尔,L.,普吉,J.F.(1999年)。修改船体和箱体的一致性。ICLP会议记录(第230-244页)·Zbl 1047.37012号
[6] Bennaceur,H.和Affane,M.S.(2001年)。分区k-AC:一种结合区域划分和弧一致性的有效滤波技术。CP会议记录(第560-564页)·Zbl 1067.68614号
[7] Bessiere,C.和Debruyne,R.(2005年)。最优和次优单子弧一致性算法。IJCAI会议记录(第54-59页)。
[8] 查伯特,G;Jaulin,L,承包商编程,人工智能,1731079-1100,(2009)·Zbl 1191.68628
[9] Chabert,G.和Jaulin,L.(2009年)。单调条件下的船体一致性。CP会议记录,LNCS 5732(第188-195页)·Zbl 1047.37012号
[10] Debruyne,R.和Bessiere,C.(1997年)。约束满足问题的一些实用滤波技术。IJCAI会议记录(第412-417页)。
[11] Hansen,E.(1992年)。基于区间分析的全局优化Marcel Dekker公司·Zbl 0762.90069
[12] 基弗,M;焦林,L;沃尔特,E;Meizel,D.基于区间分析的鲁棒自主机器人定位,可靠计算,337-361,(2000)·Zbl 0978.70004号
[13] 利巴,Y;米歇尔,C;鲁厄,M;丹尼,D;Merlet,J.处理数值约束系统的有效和安全全局约束,暹罗数值分析杂志,422076-2097,(2005)·Zbl 1082.65051
[14] L霍姆,O.(1993年)。数值csp的一致性技术。伊卡(第232-238页)·Zbl 1099.90047
[15] Mackworth,A,《关系网络的一致性》,人工智能,第899-118页(1977年)·Zbl 0341.68061
[16] Merlet,2007年)。区间分析和机器人学。机器人研究研讨会.
[17] 梅辛,F.(1997年)。全球基础设施优化方法分析与控制问题解决方案。博士论文,图卢兹利马-伊里特-恩塞伊特-输入站。
[18] 梅辛,F,仿射算法的扩展:在全局优化中的应用,通用计算机科学杂志,8992-1015,(2002)·Zbl 1274.65184
[19] 梅辛,F;张国荣,多元可微函数的封闭方法及其在全局优化中的应用,通用计算机科学杂志,4589-603,(1998)·Zbl 1063.90574号
[20] 李敏(1997)。Anbulagan:可满足性问题基于单位传播的启发式算法。IJCAI会议记录(第366-371页)。
[21] 塔瓦马拉尼,M;萨希尼迪斯,内华达州,一个多面体分支和切割方法的全局优化,数学规划,103225-249,(2005)·Zbl 1099.90047
[22] Trombettoni,G.,Araya,I.,Neveu,B.,Chabert,G.(2011年)。全局优化的内部区域和区间线性化。AAAI公司(第99-104页)·Zbl 1274.65184
[23] Trombettoni,G.和Chabert,G.(2007年)。构造性区间析取。CP会议记录,LNCS 4741(第635-650页)·Zbl 1145.68530
[24] 《严格的ODE解算器与smale的第14个问题》,计算数学基础,253-117,(2002)·Zbl 1047.37012号
[25] Van Hentenryck,P.,Michel,L.,Deville,Y.(1997年)。Numerica:一种全局优化建模语言:麻省理工学院出版社。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。