×

多集合排序约束的过滤算法。 (英语) Zbl 1191.68633号

摘要:约束编程(CP)已被成功地用于处理各种各样的约束满足问题,这些问题通常在计算上很难解决。全局约束是CP成功的重要因素之一。本文研究了一种新的全局约束,即多集排序约束,该约束在CP对称破缺和搜索词法最优解方面非常有用。我们提出了有效的过滤算法来传播这个全局约束。我们证明了算法保持了广义弧一致性,并讨论了可能的扩展。我们还考虑了基于CP工具包中现有约束的替代传播方法。我们在一些基准问题上的实验结果表明,通过专用算法传播多集排序约束是非常有益的。

MSC公司:

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

参考文献:

[1] Apt,K.R.,《约束编程原理》(2003),剑桥大学出版社·Zbl 1187.68132号
[2] 北卡罗来纳州Bleuzen-Guernalec。;Colmerauer,A.,在二次时间内缩小排序块,(Smolka,G.,《第三届约束编程原理与实践国际会议论文集》(CP-97)。《第三届约束编程原理与实践国际会议论文集》(CP-97),《计算机科学讲义》,第1330卷(1997年),施普林格出版社,2-16·Zbl 0947.68045号
[3] 北卡罗来纳州Bleuzen-Guernalec。;Colmerauer,A.,最佳时间内排序块的最佳缩小,约束,5,1-2,85-118(2000)·Zbl 0947.68045号
[4] 北卡罗来纳州贝尔迪塞努。;卡尔森,M。;Rampon,J.-X.,全球约束目录,技术报告T2005/08,瑞典计算机科学研究所(SICS),2005年,在线阅读
[5] Bouveret,S。;Lemaêtre,M.,《在约束网络中计算词汇最优解》,人工智能,173,2,343-364(2009),本期·Zbl 1178.90301号
[6] J.Crawford,G.Luks,M.Ginsberg,A.Roy,搜索问题的对称破缺谓词,收录于:《第五届知识表示与推理国际会议论文集》(KR’96),1996年,第148-159页;J.Crawford,G.Luks,M.Ginsberg,A.Roy,搜索问题的对称破缺谓词,收录于:第五届知识表示与推理国际会议(KR’96),1996年,第148-159页
[7] Debruyne,R。;Bessière,C.,约束满足问题的一些实用过滤技术,(Pollack,M.E.,《第十五届国际人工智能联合会议论文集》(IJCAI-97)(1997),Morgan Kaufmann),412-417
[8] 布里塞特,P。;El Sakkout,H。;Frühwirth,T。;Gervet,C。;哈维,W。;Meier,M。;Novello,S。;Le Provost,T。;辛普夫,J。;沈,K。;Wallace,M.G.,ECLiPSe约束库手册5.6版,2003年,网址:
[9] 巴尼尔,N。;Brisset,P.,FaCiLe:A Functional Constraint Library Release 1.0,2001,网址:
[10] H.Fargier,Problèmes de satisfaction de constraines flexibles:application a l’ordonnancement de production,保罗·萨巴蒂尔大学博士论文,托卢斯,1994年;H.Fargier,Problèmes de satisfaction de constraines flexibles:application a l’ordonancement de production,保罗·萨巴蒂尔大学博士论文,托卢斯,1994年
[11] 弗莱纳,P。;弗里希,A。;赫尼奇,B。;克孜尔坦,Z。;米格尔,I。;皮尔逊,J。;Walsh,T.,打破矩阵模型中的行和列对称,(van Hentenryck,P.,《第八届约束编程原理与实践国际会议论文集》(CP-02)。《第八届约束编程原理与实践国际会议论文集》(CP-02),《计算机科学讲义》,第2470卷(2002年),施普林格出版社,462-476
[12] P.Flener,A.M.Frisch,B.Hnich,Z.Kiziltan,I.Miguel,T.Walsh,《矩阵建模:利用约束编程中的常见模式》,载于:A.M.Fresch(编辑),《重构约束满足问题国际研讨会论文集》,2002年,第27-41页;P.Flener,A.M.Frisch,B.Hnich,Z.Kiziltan,I.Miguel,T.Walsh,《矩阵建模:利用约束编程中的常见模式》,载于:A.M.Fresch(Ed.),《重构约束满足问题国际研讨会论文集》,2002年,第27-41页
[13] 弗里希,A.M。;Hnich,B。;克孜尔坦,Z。;米格尔,I。;Walsh,T.,多集排序约束,(Gottlob,G.;Walsh,T,《第18届国际人工智能联合会议论文集》(IJCAI-03)(2003),摩根·考夫曼),221-226
[14] 弗里希,A.M。;杰斐逊,C。;Miguel,I.,《打破更多行和列对称的约束》,(Rossi,F.,《第九届约束编程原理与实践国际会议论文集》(CP-03)。《第九届约束编程原理与实践国际会议论文集》(CP-03),《计算机科学讲义》,第2833卷(2003年),施普林格出版社,318-332·Zbl 1273.68075号
[15] P.Flener,J.Pearson(编辑),第二届约束满足问题对称性国际研讨会笔记(SymCon-02),CP-02会后研讨会,2002年。可在http://www.it.uu.se/research/group/astra/SymCon02/P.Flener,J.Pearson(编辑),第二届约束满足问题对称性国际研讨会笔记(SymCon-02),CP-02会后研讨会,2002年。可在http://www.it.uu.se/research/group/astra/SymCon02/
[16] Haralick,R.M。;Elliot,G.L.,提高约束满足问题的树搜索效率,人工智能,14263-313(1980)
[17] ILOG S.A.,ILOG Solver 5.3参考和用户手册,2002年;ILOG S.A.,ILOG Solver 5.3参考和用户手册,2002年
[18] Z.Kiziltan,B.M.Smith,矩阵模型的对称性破坏约束,见:[15];Z.Kiziltan,B.M.Smith,矩阵模型的对称破缺约束,in:[15]
[19] 凯特里尔,I。;Thiel,S.,全局基数约束的完全界一致性,约束,10,3,191-217(2005)·Zbl 1084.68138号
[20] Z.克孜尔坦,T.沃尔什,多集约束编程,in:[15];Z.Kiziltan,T.Walsh,多集约束编程,in:[15]
[21] Mackworth,A.K.,关系网络的一致性,人工智能,8,1,99-118(1977)·Zbl 0341.68061号
[22] Mackworth,A.K.,《关于阅读示意图》,(第五届国际人工智能联合会议(IJCAI-77)(1977年),威廉·考夫曼),598-606
[23] 英国万豪酒店。;Stuckey,P.J.,《带约束的编程》(1998),麻省理工出版社·Zbl 0935.68098号
[24] 梅尔霍恩,K。;Thiel,S.,《排序和所有不同约束有界一致性的快速算法》,(Dechter,R.,《第六届约束编程原理与实践国际会议论文集》(CP-00)。第六届约束编程原理与实践国际会议论文集(CP-00),《计算机科学讲义》,第1894卷(2000年),施普林格出版社,306-319·兹比尔1044.68783
[25] Puget,J.F.,《关于对称约束满足问题的可满足性》,(Komorowski,H.J.;Ras,Z.W.,《第七届智能系统方法学国际研讨会论文集》(ISMIS-93)。第七届智能系统方法学国际研讨会论文集(ISMIS-93),计算机科学讲义,第689卷(1993),施普林格出版社,350-361
[26] 坎佩尔,C.-G。;van Beek,P。;Lopez-Ortiz,A。;Golynski,A。;Sadjad,S.B.,《全局基数约束的有效边界一致性算法》,(Rossi,F.,《第九届约束编程原理与实践国际会议论文集》(CP-03)。《第九届约束编程原理与实践国际会议论文集》(CP-03),《计算机科学讲义》,第2833卷(2003年),施普林格出版社,600-614·Zbl 1273.68361号
[27] Régin,J.C.,CSP差异约束的过滤算法,(第十二届全国人工智能会议论文集(AAAI-94)(1994),AAAI出版社),362-367
[28] Régin,J.C.,全球基数约束的广义弧一致性,(第十三届全国人工智能会议论文集和第八届人工智能创新应用会议(AAAI/IAAI-96)(1996),AAAI出版社/麻省理工学院出版社),209-215
[29] Rossi,F.,《约束(逻辑)编程:研究和应用调查》,(Apt,K.R.;Kakas,a.C.;Monfroy,E.;Rossi,F,《约束的新趋势》,《计算机科学讲义》,第1865卷(2000),Springer),第40-74页
[30] (Rossi,F.;van Beek,P.;Walsh,T.,《约束编程手册》(2006),Elsevier)
[31] B.M.史密斯。;南卡罗来纳州布雷斯福德。;Hubbard,P.M。;Williams,H.P.,进步方问题:整数线性规划与约束规划的比较,约束,1119-138(1996)
[32] Schiex,T。;Fargier,H。;Verfaile,G.,《有值约束满足问题:困难和容易的问题》,(Mellish,C.S.,《第十四届国际人工智能联合会议论文集》(IJCAI-95)(1995),Morgan Kaufmann),631-637
[33] 瑞典计算机科学研究所,SICStus Prolog用户手册,3.12.0版,2004年11月。可在http://www.sics.se/sicstus/docs/latest/pdf/sicstustus.pdf瑞典计算机科学研究所,SICStus Prolog用户手册,3.12.0版,2004年11月。可在http://www.sics.se/sicstus/docs/latest/pdf/sicstustus.pdf
[34] 曾永平,《约束满足的基础》(1993),学术出版社
[35] 范亨滕里克,P。;米歇尔,L。;佩伦,L。;Régin,J.C.,《OPL中的约束编程》,(Nadathur,G.,《声明性编程原则与实践国际会议论文集》(PPDP-99)。《声明性编程原则和实践国际会议记录》(PPDP-99),《计算机科学讲义》,第1702卷(1999年),斯普林格出版社,98-116
[36] van Hentenryck,P。;萨拉斯瓦特,V.A。;Deville,Y.,约束语言cc(FD)的设计、实现和评估,《逻辑编程杂志》,37,1-3,139-164(1998)·Zbl 0920.68026号
[37] Wallace,M.G.,约束编程的实际应用,约束,1,1-2,139-168(1996)
[38] Walser,J.P.,《局部搜索的整数优化——一种独立于域的方法》,《人工智能讲义》,第1637卷(1999),施普林格出版社·Zbl 0934.90053号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。