×

STR3:表约束的路径优化过滤算法。 (英语) Zbl 1328.68199号

摘要:约束传播是约束编程(CP)成功的关键。其原理是,与约束相关的过滤算法按顺序执行,直到达到静止状态。多年来,人们提出了许多这样的算法,以对许多类型的约束(包括扩展定义的表约束)实施称为广义弧一致性(GAC)的属性。用于扩展约束的GAC算法的最新进展依赖于在搜索过程中直接操纵表。这是一种称为简单表格缩减(STR)的简单方法的情况,该方法系统地维护与其相关元组列表的约束表。尤其是STR2,一种改进的STR变体,是针对正表约束的最有效的GAC算法之一。在本文中,我们通过提出一种新的GAC算法STR3来重新审视这种方法,该算法专门设计用于在回溯搜索过程中实施GAC。通过索引表和从删除的值进行推理,我们表明STR3可以避免系统地迭代当前元组的整个集合,这与STR2相反。STR3的一个重要特性是,它可以完全避免不必要的表遍历,使其沿搜索树的任何路径都是最优的。我们还研究了基于最佳循环遍历表的STR3变体,并讨论了STR3与文献中介绍的其他两种最佳GAC算法(即GAC4和AC5TC-Tr)的关系。最后,我们通过实验证明STR3如何与最新技术竞争,我们的大量实验表明,当表的平均大小在搜索过程中没有大幅减小时,STR3通常比STR2快,从而使STR3成为STR2的补充。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Lecoutre,C。;Likitvitanavong,C.(利基特活塔纳冯,C.)。;Yap,R.H.C.,表约束的路径优化GAC算法(ECAI-12会议录)。ECAI-12会议记录,法国蒙彼利埃(2012),510-515·Zbl 1327.68220号
[2] Mackworth,A.K.,《关系网络的一致性》,Artif。智力。,8, 1, 99-118 (1977) ·Zbl 0341.68061号
[3] 莫尔,R。;Henderson,T.C.,Arc和path一致性回顾,Artif。智力。,28, 2, 225-233 (1986)
[4] 莫尔,R。;Masini,G.,Good old discrete relation,(ECAI-88会议记录。ECAI-88会议记录,德国慕尼黑(1988),651-656
[5] Sabin,D。;弗洛伊德,E.C.,《在约束满足中反驳传统智慧》(《94年CP会议录》)。《94年CP会议记录,美国奥卡斯岛》(1994),10-20
[6] Bessière,C。;Régin,J.-C.,《一般约束网络的弧一致性:初步结果》(IJCAI-97会议录)。IJCAI-97会议记录,日本名古屋(1997),398-404
[7] O.Lhomme。;Régin,J.-C.,一种用于元约束的快速弧一致性算法,(AAAI-05论文集)。宾夕法尼亚州匹兹堡AAAI-05会议记录(2005年),405-410
[8] Lecoutre,C。;Szymanek,R.,正表约束的广义弧一致性,(CP-06论文集。CP-06会议记录,法国南特(2006),284-298·Zbl 1335.90096号
[9] Bessière,C。;雷金,J.-C。;Yap,R.H.C。;Zhang,Y.,一种最优粗粒度圆弧一致性算法,Artif。智力。,165, 2, 165-185 (2005) ·兹比尔1132.68691
[10] Ullmann,J.R.,非二进制约束满足的分区搜索,信息科学。,177, 18, 3639-3678 (2007) ·Zbl 1119.68446号
[11] Lecoutre,C.,STR2:表约束的优化简单表格简化,约束,16,4,341-371(2011)·Zbl 1244.90232号
[12] Cheng,K.C.K。;Yap,R.H.C.,基于MDD的正负表约束和一些全局约束的广义弧一致性算法,约束,15,2,265-304(2010)·Zbl 1204.68188号
[13] Gent,I.P.,观看文字和更通用技术的最佳实现,J.Artif。智力。研究,48,231-252(2013)·Zbl 1277.68247号
[14] Mairy,J.-B。;Hentenryck,P.V。;Deville,Y.,表约束的最优滤波算法,(CP-12论文集。加拿大魁北克市CP-12会议记录(2012年),496-511
[15] Sabin,D。;弗洛伊德,E.C.,《在约束满足中反驳传统智慧》(ECAI-94会议录)。ECAI-94会议记录,荷兰阿姆斯特丹(1994),125-129
[16] Stonebraker,M。;持有,G。;Wong,E。;Kreps,P.,INGRES的设计和实施,ACM Trans。数据库系统。,1, 3, 189-222 (1976)
[17] Astrahan,M.M。;布拉森,M.W。;Chamberlin博士。;Eswaran,K.P。;格雷,J.N。;格里菲斯,P.P。;金·W·F。;Lorie,R.A。;P.R.麦克琼斯。;梅尔,J.W。;Putzolu,G.R。;特拉格,I.L。;韦德,B.W。;Watson,V.,System R:数据库管理的关系方法,ACM Trans。数据库系统。,1, 2, 97-137 (1976)
[18] 布里格斯,P。;Torczon,L.,稀疏集的有效表示,ACM-Lett。程序。语言系统。,2, 1-4, 59-69 (1993)
[19] 圣马可教堂,V。;Schauss,P。;Solnon,C。;Lecoutre,C.,域实现的稀疏集,(CP-13约束编程系统实现技术研讨会论文集。CP-13限制编程系统实现方法研讨会论文集,TRICS-13,瑞典乌普萨拉(2013))
[20] 恒河,G。;Stuckey,P.J。;Lagoon,V.,使用BDD-SAT混合的快速设置边界传播,J.Artif。智力。研究,38,307-338(2010)·Zbl 1210.68100号
[21] Gent,I.P。;杰斐逊,C。;米格尔,I。;Nightingale,P.,《扩展约束广义弧一致性的数据结构》(AAAI-07会议录)。AAAI-07会议记录,加拿大温哥华(2007),191-197
[22] Cheng,K.C.K。;Yap,R.H.C.,在特殊布尔约束上保持广义弧一致性,(ECAI-06论文集)。ECAI-06会议记录,意大利特伦托(2006),78-82
[23] Likitvivatanavong,C。;Zhang,Y。;Shannon,S。;Bowen,J。;弗洛伊德·E.C.,《搜索过程中的电弧一致性》(IJCAI-07会议录)。IJCAI-07会议记录,印度海得拉巴(2007),137-142
[24] Likitvivatanavong,C。;Zhang,Y。;鲍恩,J。;弗洛伊德·E.C.,《MAC中的弧一致性:一个新的视角》,(CP-04约束传播与实现研讨会论文集。CP-04限制传播与实现会议论文集,CPAI-04,加拿大多伦多(2004)),93-108
[25] Moskewisz,M.W。;马迪根,C.F。;Zhao,Y。;张,L。;Malik,S.,Chaff:设计一个高效的SAT求解器(DAC-2001年会议记录)。DAC-2001会议记录,内华达州拉斯维加斯(2001),530-535
[26] 科尔曼,T.H。;雷瑟森,C.E。;Rivest,R.L。;Stein,C.,《算法导论》(2009),麻省理工学院出版社·Zbl 1187.68679号
[27] Hentenryck,P.V。;Deville,Y。;Teng,C.,通用弧一致性算法及其专门化,Artif。智力。,57, 2-3, 291-321 (1992) ·兹比尔0763.68059
[28] Bessière,C。;Cordier,M.-O.,电弧一致性和电弧一致性(AAAI-93会议录)。AAAI-93会议记录,华盛顿特区(1993),108-113
[29] Bessière,C。;弗洛伊德,E.C。;Régin,J.-C.,使用约束元知识减少弧一致性计算,Artif。智力。,107, 1, 125-148 (1999) ·Zbl 0911.68192号
[30] 贝克尔,C。;Fargier,H.,《在基于约束的配置中维护替代值》(IJCAI-13会议录)。IJCAI-13会议记录,中国北京(2013),454-460
[31] Mairy,J.-B。;Hentenryck,P.V。;Deville,Y.,表约束的最优高效过滤算法,约束,19,1,77-120(2014)·Zbl 1328.68201号
[32] Lecoutre,C。;Likitvivatanavong,C。;Shannon,S.G。;Yap,R.H.C。;Zhang,Y.,用多个残数保持弧的一致性,约束程序。莱特。,1973年2月2日(2008年)
[33] Boussemart,F。;Hemery,F。;Lecoutre,C。;Sais,L.,通过加权约束推进系统搜索(ECAI'04会议录)。ECAI'04会议记录,西班牙巴伦西亚(2004),146-150
[34] Amilhastre,J。;Fargier,H。;Marquis,P.,《动态CSP中的一致性恢复和解释——应用于配置》,Artif。智力。,135,12199-234(2002年)·Zbl 0983.68182号
[35] Pesant,G。;坎佩尔,C.-G。;Zanarini,A.,《基于计数的搜索:约束满足问题的分支启发式》,J.Artif。智力。研究,43,173-210(2012)·Zbl 1237.68193号
[36] 夏,W。;Yap,R.H.C.,用元组压缩优化STR算法(CP-13论文集)。CP-13会议记录,瑞典乌普萨拉(2013),724-732
[37] Xu,K。;Boussemart,F。;Hemery,F。;Lecoutre,C.,《随机约束满足:硬(可满足)实例的轻松生成》,Artif。智力。,171, 8-9, 514-534 (2007) ·Zbl 1168.68554号
[38] Katsirelos,G。;Walsh,T.,《大型arity扩展约束的压缩算法》(CP-07论文集)。CP-07程序,罗德岛州普罗维登斯(2007),379-393
[39] Cheng,K.C.K。;Yap,R.H.C.,在特殊约束条件下保持广义弧一致性,(CP-08论文集)。CP-08会议记录,澳大利亚悉尼(2008),509-523
[40] Dechter,R。;Pearl,J.,约束网络的树聚类,Artif。智力。,38, 3, 353-366 (1989) ·Zbl 0665.68084号
[41] 罗西,F。;Petrie,C。;Dhar,V.,《关于约束满足问题的等价性》(ECAI'90年会议记录)。ECAI'90会议记录,瑞典斯德哥尔摩(1990),550-556
[42] 斯特吉奥(Stergiou,K.)。;Walsh,T.,非二进制约束满足问题的编码,(AAAI'99会议录)。《1999年AAAI会议记录》,佛罗里达州奥兰多(1999),163-168
[43] Lecoutre,C。;Vion,J.,《使用逐位操作强制圆弧一致性》,约束程序。莱特。,2008年2月21日至35日
[44] Lecoutre,C。;Hemery,F.,《电弧一致性中残余支撑的研究》(IJCAI-07会议记录)。IJCAI-07会议记录,印度海得拉巴(2007),125-130
[45] Lecoutre,C。;Paparrizou,A。;Stergiou,K.,《将STR扩展到高阶一致性》(AAAI-13论文集)。AAAI-13会议记录,美国华盛顿(2013),576-582
[46] 杰斐逊,C。;Nightingale,P.,用短支撑扩展简单表格缩减,(IJCAI-13会议记录。IJCAI-13会议记录,中国北京(2013),573-579
[47] Bessière,C。;Fargier,H。;Lecoutre,C.,交互式约束满足的全局逆一致性(CP-13论文集)。CP-13会议记录,瑞典乌普萨拉(2013),159-174
[48] 加尔比,N。;Hemery,F。;Lecoutre,C。;Roussel,O.,切片表约束:压缩和表格缩减相结合,(CPAIOR-14论文集。CPAIOR-14会议记录,爱尔兰科克(2014),120-135·Zbl 1407.68450号
[49] Lecoutre,C。;Likitvivatanavong,C。;Yap,R.H.C.,《改善简单表格缩减的下限》,《限制》(2015年)·Zbl 1316.90026号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。