×
伊里特·卡特里尔;斯文·泰尔

全局基数约束的完全绑定一致性。 （英语） Zbl 1084.68138号

约束条件 10，第3期，191-217（2005）.
摘要：我们展示了一种全局基数约束的绑定一致性算法，该算法以时间\（O（n+n'）\加上按范围端点对赋值变量排序所需的时间为单位运行，其中\（n\）是赋值变量的数量，\（n\）是其域联合中的值的数量。它是第一个实现所有变量（而不仅仅是赋值变量）的界一致性的高效算法。

引用于7文件

MSC公司：

68周05 非数值算法
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

电弧一致性;约束一致性;约束传播;滤波算法;流;全局基数约束;全局约束;图形算法;匹配
PDF格式BibTeX公司 XML格式引用
\textit{I.Katriel}和\textit{S.Thiel}，约束10，第3期，191--217（2005；Zbl 1084.68138）
全文： 内政部

参考文献：

[1] Aho，A.、Hopcroft，J.和Ullman，J.（1974年）。计算机算法的设计与分析。艾迪森·韦斯利·Zbl 0326.68005号
[2] Bessiere，C.、Hebrard，E.、Hnich，B.和Walsh，T.（2004）。全局约束的复杂性。在McGuinness，Deborah L.&Ferguson，George编辑的《第十九届全国人工智能会议记录》，第十六届人工智能创新应用会议，第112–117页。AAAI出版社/麻省理工学院出版社·Zbl 1152.68542号
[3] Bessiere，C.、Hebrard，E.、Hnich，B.和Walsh，T.（2004）。全局约束的可处理性。Wallace，M.主编，《约束编程的原理与实践》（CP 2004），LNCS第3258卷，Springer-Verlag，第716-720页·Zbl 1152.68542号
[4] Caseau，Y.、Guillo，P.-Y.和Levenez，E.（1993）。复杂调度问题的演绎和面向对象方法。在演绎数据库和面向对象数据库中，第67–80页。
[5] Gabow，H.N.和Tarjan，R.E.（1985年）。不相交集合并的特殊情况下的线性时间算法。J.计算。系统。科学。30(2): 209–221. ·Zbl 0572.68058号 ·doi:10.1016/0022-0000（85）90014-5
[6] Ford，L.R.Jr.和Fulkerson，D.R.（1962年）。网络中的流量。普林斯顿大学出版社·Zbl 0106.34802号
[7] Katriel，I.和Thiel，S.（2003年）。全局基数约束的快速绑定一致性。《第九届约束编程原理与实践国际会议论文集》（CP 2003），LNCS第2833卷，第437-451页·Zbl 1273.68400号
[8] Leconte，M.（1996）。一种基于边界的差分约束约简方案。《基于约束推理的约束-96国际研讨会论文集》，第19-28页。
[9] Lopez-Ortiz，A.、Quimper，C.-G.、Tromp，J.和van Beek，P.（2003）。Alldifferent约束边界一致性的快速简单算法。第18届国际人工智能联合会议记录。
[10] Mehlhorn，K.和Thiel，S.（2000年）。排序和所有不同约束的边界一致性的更快算法。《第六届约束编程原理与实践国际会议论文集》（CP 2000），LNCS第1894卷，第306–319页·Zbl 1044.68783号
[11] Puget，J.-F.（1998年）。alldiff约束的界一致性的快速算法。《第十五届全国/第十届人工智能/人工智能创新应用会议记录》，第359-366页（7月）。
[12] Quimper，C.-G.、López-Ortiz，A.、van Beek，P.和Golynski，A.（2004）。全局基数约束的改进算法。Wallace，M.编辑，《约束编程的原理与实践》（CP 2004），LNCS第3258卷，Springer Verlag，第542-556页·Zbl 1152.68576号
[13] Quimper，C.-G.、van Beek，P.、Lopez-Ortiz，A.、Golynski，A.和Sadjad，S.B.（2003年）。一种有效的全局基数约束边界一致性算法。《第九届约束编程原理与实践国际会议论文集》（CP 2003），第600–614页·Zbl 1273.68361号
[14] Régin，J.-C.（1994）。CSP中差异约束的过滤算法。《第十二届全国人工智能会议论文集》（AAAI-94），第362-367页。
[15] Régin，J.-C.（1996）。全局基数约束的广义弧一致性。《第13届全国人工智能会议论文集》（AAAI-96），第209-215页。
[16] Sellman，M.（2003）。背包约束的近似一致性。《第九届约束编程原理与实践国际会议论文集》（CP 2003），第679-693页·兹比尔1273.90179
[17] Sellman，M.（2003）。针对较短路径约束的基于成本的过滤。《第九届约束编程原理与实践国际会议论文集》（CP 2003），第694-708页·Zbl 1273.90231号
[18] van Hoeve，W.J.（2001）。完全不同的约束：调查。在提交的手稿中。可从以下位置获得http://www.cwi.nl/wjvh/papers/alldiff.pdf。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。