×
彼得·杰文斯；大卫·科恩；马丁·库珀。

约束、一致性和封闭性。 （英语） Zbl 0909.68076号

Artif公司。智力。 101，编号1-2，251-265（1998）.
摘要：虽然约束满足问题通常是NP-完全的，但已经确定了一些约束类，其中一些固定级别的局部一致性足以确保全局一致性。本文描述了一个简单的代数性质，它描述了所有可能的约束类型，对于这些约束类型，强一致性足以确保每个约束类型的全局一致性。我们给出了一些例子来说明这个结果的应用。

引用于1审查
引用于63文件

MSC公司：

2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

关键词：

约束类；全球一致性；局部一致性；可操纵性；代数闭包
PDF格式BibTeX公司 XML格式引用
\textit{P.Jeavons}等人，Artif。智力。101，编号1--2，251--265（1998；Zbl 0909.68076）
全文： 内政部

参考文献：

[1] 贝克，K.A。；Pixley，A.F.，多项式插值和中国剩余定理，数学。Z.，143，165-174（1975）·Zbl 0292.08004号
[2] Codd，E.F.，大型共享数据库的数据关系模型，美国通信协会，13，6，377-387（1970）·Zbl 0207.18003号
[3] 科恩，D.A。；Gyssens，M。；Jeavons，P.G.，《约束和数据库关系的推导》（Proceedings 2nd International Conference on Constraint Programming-CP'96）。1996年第二届约束编程国际会议论文集，波士顿（1996年8月）。1996年第二届约束编程国际会议论文集。1996年波士顿第二届约束编程国际会议论文集（1996年8月），计算机课堂讲稿。科学。，第1118卷（1996），《施普林格：柏林施普林格》，134-148·Zbl 0895.68032号
[4] 库珀，M.C.，《最佳（k）一致性算法》，《人工智能》，第41期，第89-95页（1989年）·Zbl 0678.68058号
[5] 库珀，M.C。；科恩，D.A。；Jeavons，P.G.，《描述可控制约束的特征》，人工智能，65，347-361（1994）·Zbl 0803.68053号
[6] Dechter，R.，《从局部到全球的一致性》，《人工智能》，55，1，87-107（1992）·Zbl 0762.68053号
[7] Dechter，R。；梅里，I。；Pearl，J.，《时间约束网络》，人工智能，49，61-95（1991）·Zbl 0737.68070号
[8] Dechter，R。；Pearl，J.，约束满足问题的网络启发式，人工智能，34，1，1-38（1988）·Zbl 0643.68156号
[9] Deville，Y。；Barette，O。；van Hentenryck，P.，连通行凸约束上的约束满足，（《国际商会学报》，97年）。1997年日本名古屋IJCAI会议记录（1997），405-411·Zbl 0916.68061号
[10] 费德，T。；Vardi，M.Y.，单音单元SNP和约束满足，（第25届美国计算机学会计算理论研讨会论文集（STOC）（1993）），612-622·Zbl 1310.68086号
[11] 弗洛伊德，E.C.，《无回溯搜索的充分条件》，J.ACM，29，1，24-32（1982）·兹伯利0477.68063
[12] 弗洛伊德，E.C.，《回溯搜索的一个充分条件》，J.ACM，32755-761（1985）·Zbl 0633.68096号
[13] Garey，M。；Johnson，D.S.，（《计算机与不可处理性：NP-完备性理论指南》（1979），弗里曼：弗里曼旧金山，加利福尼亚州）·Zbl 0411.68039号
[14] Gyssens，M。；杰文斯，P.G。；Cohen，D.A.，使用数据库技术分解约束满足问题，人工智能，66，1，57-89（1994）·Zbl 0803.68090号
[15] Jeavons，P.G。；Cohen，D.A.，《可处理约束的代数表征》（计算与组合数学），第一届国际会议COCOON’95。计算与组合数学。1995年第一届可可国际会议，中国西安（1995）。计算与组合数学。1995年第一届国际会议。计算与组合数学。1995年第一届COCOON国际会议，中国西安（1995），计算机课堂讲稿。科学。，第959卷（1995年），《施普林格：柏林施普林格》
[16] Jeavons，P.G。；科恩，D.A。；Gyssens，M.，《可处理约束的统一框架》（1995年第一届约束编程国际会议论文集）。1995年第一届约束编程国际会议论文集，法国卡西斯（1995年9月）。1995年第一届约束编程国际会议论文集。1995年第一届约束编程国际会议论文集，法国卡西斯（1995年9月），计算机课堂讲稿。科学。，第976卷（1995年），《施普林格：柏林施普林格》
[17] Jeavons，P.G。；科恩，D.A。；Gyssens，M.，《可牵引性试验》，（第二届约束编程国际会议论文集——1996年）。1996年第二届约束编程国际会议论文集，波士顿（1996年8月）。1996年第二届约束编程国际会议论文集。1996年波士顿第二届约束编程国际会议论文集（1996年8月），计算机课堂讲稿。科学。，第1118卷（1996），《施普林格：柏林施普林格》，267-281
[18] Jeavons，P.G。；科恩，D.A。；Gyssens，M.，约束的闭包性质，J.ACM，44，527-548（1997）·Zbl 0890.68064号
[19] Jeavons，P.G。；Cooper，M.C.，有序域上的可追踪约束，人工智能，79，2，327-339（1995）·Zbl 1013.68503号
[20] Kirousis，L.，《快速并行约束满足》，人工智能，64，147-160（1993）·Zbl 0787.68091号
[21] Ladkin，P.B.公司。；Maddux，R.D.，《关于二进制约束问题》，J.ACM，41，435-469（1994）·Zbl 0813.03045号
[22] Mackworth，A.K.，关系网络的一致性，人工智能，899-118（1977）·Zbl 0341.68061号
[23] Montanari，U.，《约束网络：图像处理的基本属性和应用》，Inform。科学。，7, 95-132 (1974) ·Zbl 0284.68074号
[24] 蒙塔纳里，美国。；Rossi，F.，约束松弛可能是完美的，人工智能，48143-170（1991）·Zbl 1117.68495号
[25] Schaefer，T.J.，可满足性问题的复杂性，（第10届ACM计算机理论研讨会（STOC）论文集（1978）），216-226·Zbl 1282.68143号
[26] Szendrei，A.，《通用代数中的克隆人》，（高等数学研讨会，第99卷（1986年），蒙特利尔大学：魁北克蒙特利尔大学）·Zbl 0603.08004号
[27] van Beek，P.，《关于行凸约束网络的极小性和可分解性》（Proceedings AAAI-92）。AAAI-92会议记录，加利福尼亚州圣何塞（1992），447-452
[28] 范贝克，P。；Dechter，R.，关于行凸约束网络的极小性和可分解性，J.ACM，42，543-561（1995）·Zbl 0885.68087号
[29] 范贝克，P。；Dechter，R.，《约束紧密性和松散性与局部和全局一致性》，J.ACM，44，549-566（1997）·Zbl 0890.68075号
[30] van Hentenryck，P。；Deville，Y。；Teng，C.-M.，通用弧一致性算法及其专门化，人工智能，57291-321（1992）·Zbl 0763.68059号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。