尼古拉斯·贝尔迪塞努;卡尔森，Mats;索菲·德马西;蒂埃里·佩蒂特 全球约束目录：过去、现在和未来。 （英语） Zbl 1128.68092号 约束条件 12，第1号，21-62（2007）. 本文讨论了全局约束的问题，重点是基于图的描述。在第一部分中，作者回顾了文献中与基于系统图属性的过滤相关的现有技术。第二部分结合现有技术和新技术，提出了一种通用的过滤方案。提出了几个可能的改进以及可能的研究方向。所使用的方法是基于根据全局约束的图属性将其重新表述为满足问题。通过在边界和图不变量数据库中搜索相关的公式和组件，合成了一种滤波算法。审核人：尼古拉·梅拉（利兹） 引用于13文件 MSC公司： 68分20秒 人工智能背景下的问题解决（启发式、搜索策略等） 68兰特 计算机科学中的图论（包括图形绘制） 关键词：全局约束;图形表示;边界 软件：MONA公司;BL数据集;彗星;CPGraph（CPGraph）;炸薯条;DiSCiPl公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Beldiceanu}等人，《限制条件》12，No.1，21--62（2007；Zbl 1128.68092） 全文： 内政部 参考文献： [1] 阿贡，A。，&Beldiceanu，N.（1993年）。扩展CHIP以解决复杂的调度和布局问题。数学与计算机建模，17（7），57–73·Zbl 00269355号 ·doi:10.1016/0895-7177（93）90068-A [2] 巴普蒂斯特，P。，&Le Pape，C.（2000）。用于高度析取和高度累积项目调度问题的约束传播和分解技术。约束，5（1/2），119–139·Zbl 0941.90030号 ·doi:10.1023/A:1009822502231 [3] 巴普蒂斯特，P。，&Demassey，S.（2004）。资源受限项目调度的严格LP边界。OR-Spektrum，第26页，第251-262页·Zbl 1072.90012号 [4] Beldiceanu，N.（1990年）。在CHIP中引入全局约束的一个例子：在块理论问题中的应用。技术报告TR-LP-49，ECRC，慕尼黑。 [5] Beldiceanu，N.（2000年）。全局约束作为具有相同类型基本约束的结构化网络上的图形属性。R.Dechter（编辑），《约束编程的原理与实践》（CP’2000），LNCS第1894卷（第52-66页）。柏林-海德堡纽约：施普林格。预印本见SICS技术报告T2000-01·兹比尔1044.68737 [6] 北卡罗来纳州贝尔迪塞努。，&Contejean，E.（1994）。在CHIP中引入全局约束。数学与计算机建模，20（12），97–123·Zbl 0816.68048号 ·doi:10.1016/0895-7177（94）90127-9 [7] 北卡罗来纳州贝尔迪塞努。，&Petit，T.（2004）。软全局约束的成本评估。在J.-C.Régin&M.Rueher（编辑），组合优化问题约束编程中AI和OR技术的集成，LNCS第3011卷（第80-95页）。柏林-海德堡纽约：施普林格·Zbl 1094.68638号 [8] 北卡罗来纳州贝尔迪卡努、M.卡尔森、。，&Petit，T.（2004）。从约束检查器派生过滤算法。M.Wallace（编辑），《约束编程的原理与实践》（CP’2004），LNCS第3258卷（第107–122页）。柏林-海德堡纽约：施普林格。预印本见SICS技术报告T2004-08·兹比尔1152.68539 [9] 北卡罗来纳州贝尔迪塞努，北卡罗来那州凯特里尔。，&Thiel，S.（2004）。相同约束的过滤算法。在J.-C.Régin&M.Rueher（编辑），组合优化问题约束编程中AI和OR技术的集成（CP-AI-OR 2004），LNCS第3011卷（第65-79页）。柏林-海德堡纽约：施普林格·Zbl 1094.68637号 [10] 北贝尔迪卡努、M.卡尔森、R.德布鲁恩。，&Petit，T.（2005）。基于约束检查器重新设置全局约束。约束条件，10（3），339–362·Zbl 1103.68804号 ·数字对象标识代码：10.1007/s10601-005-2809-x [11] 北卡罗来纳州贝尔迪卡努、M.卡尔森、。，&Rampon，J.-X.（2005）。全局约束目录。技术报告T2005-06，瑞典计算机科学研究所，基斯塔。 [12] 北卡罗来纳州贝尔迪卡努、M.卡尔森、J.-X.兰彭。，&Truchet，C.（2005）。图不变量是全局约束的必要条件。在P.van Beek（编辑），约束编程的原理和实践（CP’2005），LNCS第3709卷（第92-106页）。柏林-海德堡纽约：施普林格。预印本见SICS技术报告T2005-07·Zbl 1153.68446号 [13] 北卡罗来纳州贝尔迪卡努、北卡罗来那州弗莱纳。，&Lorca，X.（2005年5月）树约束。在R.Barták&M.Milano（编辑），《组合优化问题约束规划中人工智能和操作规则技术集成国际会议》（CP-AI-OR’05），LNCS第3524卷（第64-78页）。捷克共和国布拉格。柏林-海德堡纽约：施普林格·Zbl 1133.90403号 [14] 北卡罗来纳州贝尔迪塞努，北卡罗来那州凯特里尔。，&Thiel，S.（2005）。对同一约束的类GCC限制。在B.Faltings、A.Petcu、F.Fages、，&F.Rossi（编辑），Springer LNAI卷，基于2004年版的ERCIM/约束求解和约束逻辑编程（CSCLP04）研讨会，LNAI第3419卷（第1-11页）。柏林-海德堡纽约：施普林格·Zbl 1078.68744号 [15] 贝尔迪卡努，N.，佩蒂特，T。，&Rochart，G.（2005）。图形特征的边界。在P.van Beek（编辑），约束编程的原理和实践（CP’2005），LNCS第3709卷（第742-746页）。柏林-海德堡纽约：施普林格·Zbl 1153.68447号 [16] 北卡罗来纳州贝尔迪卡努、北卡罗来那州佩蒂特。，&Rochart，G.（2005）。图形特征的边界。技术报告05/2/INFO。巴黎矿业大学·兹比尔1153.68447 [17] 北卡罗来纳州贝尔迪卡努、M.卡尔森、S.德马西。，&Petit，T.（2006）。基于图形属性的过滤。技术报告T2006-10，瑞典计算机科学研究所，瑞典基斯塔。 [18] 北卡罗来纳州贝尔迪塞努，北卡罗来那州凯特里尔。，&Lorca，X.（2006）。无方向的林约束。在CP-AI-OR’06中，LNCS第3990卷。柏林-海德堡纽约：施普林格·Zbl 1177.90392号 [19] Berge，C.（1970年）。葡萄。Dunod（法语）·Zbl 0213.25702号 [20] Bessière，C。，&Van Hentenryck，P.（2003）。成为或不成为…一个全局约束。F.Rossi（编辑），《约束编程的原理与实践》（CP’2003），LNCS第2833卷（第789–794页）。柏林-海德堡纽约：施普林格·Zbl 1273.68334号 [21] Bessière，C.，Coletta，R。，&Petit，T.（2005）。获取隐含全局约束的参数。在P.van Beek（编辑），《约束编程的原理与实践》（CP’2005），LNCS第3709卷（第747–751页）。柏林-海德堡纽约：施普林格·Zbl 1153.68449号 [22] Bessière，C.，Hebrard，E.，Hnich，B.，Kízíltan，z。，&Walsh，T.（2005）。其中，常见约束和不相交约束。CSCLP 2005，第223-235页。瑞典乌普萨拉。柏林-海德堡纽约：施普林格。 [23] Bessière，C.，Hebrard，E.，Hnich，B.，Kízíltan，z。，&Walsh，T.（2005年5月）。nvalue约束的过滤算法。在R.Barták&M.Milano（编辑），《组合优化问题约束规划中人工智能和操作规则技术集成国际会议》（CP-AI-OR’05），LNCS第3524卷，（第79-93页）。捷克共和国布拉格。柏林-海德堡纽约：施普林格·Zbl 1133.68427号 [24] Bleuzen Guernalec，北卡罗来纳州。，&Colmerauer，A.（1997年）。在二次时间内缩小排序块。G.Smolka（编辑），《约束编程的原理与实践》（CP’97），LNCS第1330卷（第2-16页）。柏林-海德堡纽约：施普林格·Zbl 0947.68045号 [25] Card，S.K.，Mackinlay，J.D。，&Shneiderman，B.（1999）。使用视觉思考的信息可视化阅读。摩根·考夫曼。 [26] M.卡尔森。，&Beldiceanu，N.（2002年）。字典排序约束链的弧一致性。技术报告T2002-18，瑞典计算机科学研究所，瑞典基斯塔。 [27] 卡索，Y。，&Laburthe，F.（1996）。具有任务间隔的累积计划。在逻辑编程联合国际会议和研讨会（JICSLP’96）上。麻省理工学院出版社。 [28] 科尔顿，S。，&Miguel，I.（2001）。通过自动理论生成约束。T.Walsh（编辑），《约束编程的原理与实践》（CP’2001），LNCS第2239卷（第575-579页）。柏林-海德堡纽约：施普林格·Zbl 1067.68622号 [29] Costa，M.-C.（1994年）。最大基数二部匹配的持久性。《运营研究快报》，第15、143–149页·兹比尔0810.90126 ·doi:10.1016/0167-6377（94）90049-3 [30] Deransart，P.，Hermenegildo，M.V。，&Maluszynski，J.（编辑）（2000年）。约束编程的分析和可视化工具，约束调试（DiSCiPl项目），LNCS第1870卷。柏林-海德堡纽约：施普林格。 [31] Dincbas，M.、Van Hentenryck，P.、Simonis，H.、Graf，T.、Aggoun，A.、。，&Berthier，F.（1988）。约束逻辑编程语言CHIP。第五代计算机系统国际会议（FGCS’88）（第693–702页）。日本东京：ICOT。 [32] Dooms，G.、Deville，Y。，&Dupont，P.（2005）。CP（Graph）：在约束中引入图形计算域。P.van Beek（编辑），《约束编程的原理与实践》（CP’2005），LNCS第3709卷（第211–225页）。柏林-海德堡纽约：施普林格·Zbl 1153.68457号 [33] 杜德尼，H.E.（1919）。坎特伯雷难题。纳尔逊。 [34] Elbassioni，K.M.，Katriel，I.，Kutz，M。，&Mahajan，M.（2005）。同时匹配。《算法与计算》，第16届国际研讨会（ISAAC 2005），LNCS第3827卷（第106-115页）。柏林-海德堡纽约：施普林格·Zbl 1144.68336号 [35] J.Erschler。，&Lopez，P.（1990年6月）。时间和资源约束下基于能量的任务调度方法。第二届项目管理和进度国际研讨会（第115-121页）。法国：Compiégne。 [36] Euler，L.（1759）。问题的解决方法取决于分析结果。嗯，阿卡德。科学。柏林，15，310–337。 [37] Flener，P.，Frisch，A.M.，Hnich，B.，Kíz-ltan，z.，Miguel，I。，&Walsh，T.（2002）。矩阵建模：利用约束编程中的常见模式。在A.M.Frisch（编辑）的《改革CSP国际研讨会论文集》中，在CP'02举行。 [38] 弗洛伊德·E.C.（1997）。为了追求圣杯。约束，2（1），57–61·Zbl 05469273号 ·doi:10.1023/A:1009749006768 [39] 弗里希·A.M.、杰斐逊·C、马丁内斯·赫南德斯·B、。，&Miguel，I.（2005）。约束建模规则。第19届国际人工智能联合会议（IJCAI-05）（第109-116页）。 [40] M.R.加里。，&Johnson，D.S.（1979年）。计算机和难题。NP-完备性理论指南。弗里曼·Zbl 0411.68039号 [41] Guéret，C.、Jussien，N.、Boizumault，P.、。，&Prins，C.（1995年8月）。使用约束逻辑编程构建大学时间表。1995年ICPTAT:First International Conference on the Practice and Theory of Automated Time Tabling（第393-408页）。英国爱丁堡。 [42] Hansen，P.（2005）。图论中的猜想在多大程度上是一个自动化的过程？在S.Fajtlowicz、P.W.Fowler、P.Hansen、M.F.Janowitz、，&F.S.Roberts（编辑），图与发现，DIMACS第69卷：离散数学与理论计算机科学系列（第189–230页）。美国数学学会·Zbl 1097.68588号 [43] 亨利克森，J.G.，詹森，J.L.，约根森，M.E.，克拉伦德，N.，佩奇，R.，劳赫，T。，&Sandholm，A.（1995年5月）。蒙纳：实践中的一元二阶逻辑。在E.Brinksma、R.Cleaveland、K.G.Larsen、T.Margaria，&B.Steffen（编辑），《系统构建和分析的工具和算法》，第一届国际研讨会，TACAS’95，丹麦奥胡斯，第1019卷，LNCS（第89-110页）。柏林-海德堡纽约：施普林格。 [44] Hnich，B.（2003年1月）。约束编程的函数变量。乌普萨拉大学信息科学系博士论文·Zbl 1159.68390号 [45] 胡克，J.（2005年10月）。CP.小组的过去和未来，“约束编程的过去和将来”，第十一届约束编程原理与实践国际会议。可在http://www.iiia.csic.es/cp2005/CP05-panel-hooker.pdf . [46] 胡克，J.N。，&Yan，H.（2002）。累积约束的松弛。P.Van Hentenryck（编辑），《约束编程的原理与实践》（CP’2002），LNCS第2470卷（第686–690页）。柏林-海德堡纽约：施普林格。 [47] 凯特里尔，我。，&Thiel，S.（2003）。全局基数约束的快速绑定一致性。F.Rossi（编辑），《约束编程的原理与实践》（CP’2003），LNCS第2833卷（第437-451页）。柏林-海德堡纽约：施普林格·Zbl 1273.68400号 [48] Katriel，我。，&Thiel，S.（2005）。全局基数约束的完全绑定一致性。约束，10（3），191-217·Zbl 1084.68138号 ·doi:10.1007/s10601-005-2237-y [49] 柯克曼，T.P.（1847）。关于组合学中的一个问题。剑桥和都柏林数学。J.，第2期，191-204页。 [50] Lahrichi，A.（1982年2月）。调度：驼峰、强制性部件的概念及其在累积问题中的应用。C.R.学院。科学。，巴黎294:209-211·Zbl 0496.68023号 [51] Laurière，J.-L.（1996）。约束传播还是自动编程？拉福里亚技术报告，编号19，布莱斯·帕斯卡研究所（法语）。 [52] Leconte，M.（1996）。一种基于边界的差分约束约简方案。在CP’96中，第二届基于约束推理国际研讨会（第19-28页）。佛罗里达州基韦斯特。 [53] Lopez-Ortiz，A.、Quimper，C.-G.、Tromp，J.、。，&van Beek，P.（2003）。求所有不同约束的边界一致性的快速简单算法。《第18届国际人工智能联合会议论文集》（IJCAI’2003）（第245-250页）。 [54] 卢卡斯（1882）。《数学评论》，第1-2卷。高蒂尔别墅。 [55] Mehlhorn，K.（2000）。约束编程和图形算法。在U.Montanari，J.D.P.Rolim，&E.Welzl（编辑），第27届国际自动化、语言和编程学术讨论会（ICALP’2000），LNCS第1853卷（第571-575页）。柏林-海德堡纽约：施普林格·Zbl 0973.68252号 [56] Mehlhorn，K。，&Thiel，S.（2000）。排序和所有不同约束的有界一致性的更快算法。《约束编程原理与实践》（CP’2000），LNCS第1894卷（第306–319页）。柏林-海德堡-纽约：施普林格·Zbl 1044.68783号 [57] Milano，M.、Ottoson，G.、Refalo，P.、。，&Thorsteinsson，E.（2002）。整数编程技术在约束编程的全局约束中的作用。信息计算杂志，14（4），387-402·Zbl 1238.90101号 ·doi:10.1287/ijoc.14.4.387.2830 [58] Pachet，F.、。，&Roy，P.（1999）。自动生成音乐程序。《约束编程原理与实践》（CP’99），LNCS第1713卷（第331-345页）。柏林-海德堡纽约：施普林格。 [59] Pesant，G.（2004）。有限变量序列的正则语言成员约束。M.Wallace（编辑），《约束编程的原理与实践》（CP’2004），LNCS第3258卷（第482-495页）。柏林-海德堡-纽约：施普林格·Zbl 1152.68573号 [60] Petit，T.，Régin，J.-C。，&Bessière，C.（2001）。过约束问题的特定过滤算法。在T.Walsh（编辑），约束编程的原理和实践（CP’2001），LNCS第2239卷（第451-463页）。柏林-海德堡纽约：施普林格·Zbl 1067.68663号 [61] Pitrat，J.（2001年9月）。马丽斯，诺特尔大学。在贝尔德的《梅塔康奈桑斯口语》（第4-19页）中。用法语。 [62] Puget，J.-F.（1994年11月）。CLP的C++实现。第二届新加坡智能系统国际会议（SPICIS），第256-261页。新加坡。 [63] Puget，J.-F.（1998年）。alldiff约束的界一致性的快速算法。第十五届全国人工智能会议（AAAI-98）（第359-366页）。AAAI出版社。 [64] Puget，J.-F.（2004）。约束编程的下一个挑战：使用的简单性。M.Wallace（编辑），《约束编程的原理与实践》（CP’2004），LNCS第3258卷（第5-8页）。柏林-海德堡纽约：施普林格。 [65] Puget，J.-F.（2005年）。变量和值对称性的自动检测。在P.van Beek（编辑），《约束编程的原理与实践》（CP'2005），LNCS第3709卷（第475–489页）。柏林-海德堡纽约：施普林格·Zbl 1153.68477号 [66] 坎佩尔，C.-G.，范·比克，P.，洛佩兹·奥尔蒂斯，A.，戈林斯基，A。，&Sadjad，S.B.（2003年）。一种有效的全局基数约束边界一致性算法。F.Rossi（编辑），《约束编程的原理与实践》（CP’2003），LNCS第2833卷（第600-614页）。柏林-海德堡纽约：施普林格·Zbl 1273.68361号 [67] 坎佩尔，C.-G.，洛佩兹·奥尔蒂斯，A.，范·比克，P。，&Golynski，A.（2004）。全局基数约束的改进算法。M.Wallace（编辑），《约束编程的原理与实践》（CP’2004），LNCS第3258卷（第542-556页）。柏林-海德堡纽约：施普林格·Zbl 1152.68576号 [68] Régin，J.-C.（1994）。CSP中差异约束的过滤算法。第12届全国人工智能大会（AAAI-94），第362-367页。 [69] Régin，J.-C.（1996）。全局基数约束的广义弧一致性。第14届全国人工智能会议（AAAI-96），第209-215页。 [70] Régin，J.-C.（1999）。对称alldiff约束。第16届国际人工智能联合会议（IJCAI-99），第420-425页。 [71] 雷金，J.-C。，&Gomes，C.（2004）。基数矩阵约束。M.Wallace（编辑），《约束编程的原理与实践》（CP’2004），LNCS第3258卷（第572-587页）。柏林-海德堡纽约：施普林格·Zbl 1152.68578号 [72] 雷金，J.-C。，&Rueher，M.（1999）。将和约束和二进制不等式结合在一起的全局约束。在IJCAI-99非二进制约束研讨会上。 [73] 罗查特，G。，&Jussien，N.（2003）。全局约束的解释：检测拉伸约束。技术报告03-01-INFO，Es cole des Mines de Nantes。 [74] Simonis，H.、Aggoun，A.、Beldiceanu，N.、。，&Bourreau，E.（2000年）。复杂约束抽象：全局约束可视化。在P.Deransart，M.V.Hermenegildo，&J.Małuszyñski（编辑），《约束编程的分析和可视化工具》，LNCS第1870卷（第299-317页）。柏林-海德堡纽约：施普林格。 [75] Turán，P.（1941年）。关于图论中的一个极值问题。Matematikai es’Fizikai Lapok，48、436–452岁。匈牙利语。 [76] Van Hentenryck，P.（1997年）。组合搜索问题的约束编程。约束，2（1），99–101·Zbl 1315.68070号 ·doi:10.1023/A:1009713426332 [77] Van Hentenryck，P.（1999）。OPL优化编程语言。麻省理工学院出版社。 [78] Van Hentenryck，P。，&Michel，L.（2005）。基于约束的本地搜索。麻省理工学院出版社·Zbl 1153.90582号 [79] van Hoeve，W.-J.（2004）。软alldifferent约束的超圆弧一致性算法。M.Wallace（编辑），《约束编程的原理与实践》（CP’2004），LNCS第3258卷（第679-689页）。柏林-海德堡纽约：施普林格·Zbl 1152.68595号 [80] van Hoeve，W.-J.，Pesant，G。，&卢梭，L.-M.（2004年9月）。关于全球变暖（软化全球约束）。在软约束研讨会上。加拿大多伦多。 [81] Voigt，K.（1988年）。纳入全球约束。技术报告LCSR-TR-114，新泽西州新不伦瑞克罗格斯大学布希校区希尔数学中心计算机科学研究实验室。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。