克里斯蒂安·贝西埃;埃曼纽尔·希伯拉德;赫尼奇，卜拉欣;克孜尔坦、泽内普;托比·沃尔什 范围和根：用于指定和传播计数和发生约束的两种常见模式。 （英语） Zbl 1186.68432号 Artif公司。智力。 173，第11期，1054-1078（2009）. 小结：我们提出了Range和Roots这两种常见模式，它们有助于指定广泛的计数和发生约束。我们为这两种模式设计了专门的传播算法。使用这些模式指定的计数和出现约束直接继承了传播算法。为了说明Range和Roots约束的功能，我们从文献中指定了一些全局约束。初步实验表明，与专门的全局约束相比，使用这两种模式传播计数和发生约束会导致性能上的小损失，并且与使用基本约束的替代分解相比具有竞争力。 引用于1文件 理学硕士： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：约束编程;约束满足;全局约束;开放式全局约束;分解 软件：乔科;CPLEX公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessiere}等人，Artif。智力。173，编号11，1054--1078（2009；Zbl 1186.68432） 全文： 内政部 参考文献： [1] Ahuja，R.K。；Magnanti，T.L。；Orlin，J.B.，《网络流》（1993），普伦蒂斯·霍尔：新泽西州普伦蒂斯霍尔上鞍河·Zbl 1201.90001号 [2] N.Beldiceanu，作为相同类型基本约束的结构化网络上的图形属性的全局约束，技术报告，瑞典计算机科学研究所，2000年。SICS技术报告T2000/01；N.Beldiceanu，作为相同类型基本约束的结构化网络上的图形属性的全局约束，技术报告，瑞典计算机科学研究所，2000年。SICS技术报告T2000/01·Zbl 1044.68737号 [3] Beldiceanu，N.，最小约束族和不同值数量约束族的修剪，（Walsh，T.，CP.CP，计算机科学讲义，第2239卷（2001），Springer），211-224·Zbl 1067.68611号 [4] 北卡罗来纳州贝尔迪塞努。；Contejean，E.，《CHIP，数学中引入全球约束》。计算。建模，20，12，97-123（1994）·Zbl 0816.68048号 [5] N.Beldiceanu，I.Katriel，S.Thiel，《相同的由使用; N.Beldiceanu，I.Katriel，S.Thiel，《相同的由使用·Zbl 1147.68701号 [6] Bessiere，C。；希伯拉德，E。；Hnich，B。；克孜尔坦，Z。；Walsh，T.，《常见和不相交约束》，（Hnich，B.；Carlsson，M.；Fages，F.；Rossi，F.，CSCLP。CSCLP，计算机科学讲义，第3978卷（2005），Springer），29-43·Zbl 1180.68244号 [7] Bessiere，C。；希伯拉德，E。；Hnich，B。；克孜尔坦，Z。；Walsh，T.，NVALUE约束的过滤算法，约束，11，4，271-293（2006）·Zbl 1114.68064号 [8] Bessiere，C。；希伯拉德，E。；Hnich，B。；克孜尔坦，Z。；Walsh，T.，NVALUE约束的过滤算法，（Bartak，R.；Milano，M.，CPAIOR.CPAIOR，计算机科学讲义，第3524卷（2005），Springer），79-93·Zbl 1133.68427号 [9] C.Bessiere、E.Hebrard、B.Hnich、Z.Kiziltan、T.Walsh，《范围和根约束：一些应用》，技术报告COMIC-2006-0032006；C.Bessiere、E.Hebrard、B.Hnich、Z.Kiziltan、T.Walsh，《范围和根约束：一些应用》，技术报告COMIC-2006-0032006·Zbl 1177.68182号 [10] 贝西埃，C。；希伯拉德，E。；Hnich，B。；克孜尔坦，Z。；Walsh，T.，The RANGE and ROOTS constraints:Specifying counting and occurrence problems，（Kaelbling，L.P.；Saffiotti，A.，IJCAI（2005），专业图书中心），60-65 [11] Bessiere，C。；希伯拉德，E。；Hnich，B。；Walsh，T.，《全球约束的复杂性》，（McGuinness，D.L.；Ferguson，G.，AAAI（2004），美国农业协会出版社/麻省理工学院出版社），112-117 [12] Bessiere，C。；希伯拉德，E。；Hnich，B。；Walsh，T.，《具有全局约束的推理的复杂性》，约束，12，2，239-259（2007）·兹比尔1124.68103 [13] Bessiere，C。；希伯拉德，E。；Hnich，B。；Walsh，T.，《全球约束的可处理性》，（Wallace，M.，CP.CP，计算机科学讲义，第3258卷（2004），Springer），716-720·Zbl 1152.68542号 [14] Cheng，B.M.W。；Choi，K.M.F。；Lee，J.H.M。；Wu，J.C.K.，通过冗余建模增加约束传播：经验报告，约束，4，2，167-192（1999）·Zbl 0949.68605号 [15] R.Debruyne，C.Bessiere，约束满足问题的一些实用过滤技术，载于：IJCAI，1997年，第412-417页；R.Debruyne，C.Bessiere，约束满足问题的一些实用过滤技术，载于：IJCAI，1997年，第412-417页 [16] ILOG，参考和用户手册，ILOG Solver 5.3，ILOG.S.A.，2002年；ILOG，参考和用户手册，ILOG Solver 5.3，ILOG.S.A.，2002年 [17] F.Laburthe，Choco:实现CP内核，摘自：TRICS:实现约束编程系统的技术，CP会后研讨会，新加坡，2000年；F.Laburthe，Choco:实现CP内核，摘自：TRICS:实现约束编程系统的技术，CP会后研讨会，新加坡，2000年 [18] M.Maher，《全局连续约束分析》，载于：与CP一起举办的基于规则的约束推理和编程研讨会论文集，伊萨卡，纽约，2002年；M.Maher，《全局邻接约束分析》，载于：与CP一起举办的基于规则的约束推理和编程研讨会论文集，纽约州伊萨卡市，2002年 [19] Pachet，F。；Roy，P.，《音乐程序的自动生成》（Jaffar，J.，CP.CP，《计算机科学讲义》，第1713卷（1999），Springer），第331-345页 [20] Prosser，P.，二元约束满足问题中相变的实证研究，Artif。智力。，81, 1-2, 81-109 (1996) ·Zbl 1523.68093号 [21] 坎佩尔，C.G。；洛佩斯·奥尔蒂斯，A。；van Beek，P。；Golynski，A.，《全局基数约束的改进算法》（Wallace，M.，CP.CP，计算机科学讲义，第3258卷（2004），Springer），542-556·Zbl 1152.68576号 [22] J.C.Régin，CSP中差异约束的过滤算法，载于：AAAI，1994年，第362-367页；J.C.Régin，CSP差异约束的过滤算法，载：AAAI，1994年，第362-367页 [23] J.C.Régin，全局基数约束的广义弧一致性，载于：AAAI/IAAI，第1卷，1996年，第209-215页；J.C.Régin，全局基数约束的广义弧一致性，载于：AAAI/IAAI，第1卷，1996年，第209-215页 [24] Régin，J.C.，对称alldiff约束，（Dean，T.，IJCAI（1999），Morgan Kaufmann），420-425 [25] 罗西，F。；van Beek，P。；Walsh，T.，《约束编程手册》（2006），Elsevier·Zbl 1175.90011号 [26] Schrijver，A.，《组合优化-多面体和效率》（2003），Springer-Verlag:Springer-Verlag Berlin·Zbl 1041.90001号 [27] 舒尔特，C。；Stuckey，P.J.，《加速约束传播》，（Wallace，M.，CP.CP，《计算机科学讲义》，第3258卷（2004），Springer），619-633·Zbl 1152.68583号 [28] P.Van Hentenryck，J.P.Carillon，《一般性与特异性：人工智能和或技术的经验》，载于：AAAI，1988年，第660-664页；P.Van Hentenryck，J.P.Carillon，《一般性与特异性：人工智能和或技术的经验》，载于：AAAI，1988年，第660-664页 [29] P.Van Hentenryck，Y.Deville，基数运算符：约束逻辑编程的一种新的逻辑连接词，收录于：ICLP，1991年，第745-759页；P.Van Hentenryck，Y.Deville，基数运算符：约束逻辑编程的一种新的逻辑连接词，收录于：ICLP，1991年，第745-759页 [30] Van Hentenryck，P。；Y·德维尔。；Teng，C.M.，通用弧一致性算法及其专门化，Artif。智力。，57, 2-3, 291-321 (1992) ·Zbl 0763.68059号 [31] van Hoeve，W.J。；Régin，J.C.，《封闭世界中的开放约束》（Beck，J.C；Smith，B.M.，CPAIOR.CPAIOR，计算机科学讲义，第3990卷（2006），Springer），244-257·Zbl 1177.68198号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。