×
马丁·库珀。

有值约束满足的高阶一致性。 （英语） Zbl 1112.68118号

约束条件 10，第3期，283-305（2005）.
摘要：约束满足问题（CSP）中的一致性操作通过求解大小子问题并将由此获得的信息投影到低阶约束中，使约束更加明确。我们将（k）-一致性的概念推广到值约束满足问题（VCSP），并证明当惩罚位于离散估值结构时，它可以在多项式时间内建立。
给出了一致性的一般定义，可根据特定应用进行调整。作为一个例子，给出了一个高阶一致性（面一致性）的版本，该版本可以在低阶多项式时间内建立，并且对赋值结构和约束图的形式有一定的限制。

引用于15文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

离散优化;有值约束满足;软约束;一致性强制;最大CSP
PDF格式BibTeX公司 XML格式引用
\textit{M.C.Cooper}，约束10，No.3，283--305（2005；Zbl 1112.68118）
全文： 内政部

参考文献：

[1] Bertele，U.和Brioschi，F.（1972年）。非串行动态编程。学术出版社，纽约，纽约，美国·Zbl 0244.49007号
[2] Bistarelli，S.、Fargier，H.、Montanari，U.、Rossi，F.、Schiex，T.和Verfaillie，G.（1999年）。基于半环的CSP和有价值的CSP：框架、特性和比较。限制4:199-240·兹伯利0946.68143 ·doi:10.1023/A:1026441215081
[3] 库珀，M.C.（1990）。一种最优的k-一致性算法。Artif公司。智力。41: 89–95. ·Zbl 0678.68058号 ·doi:10.1016/0004-3702（89）90080-5
[4] 库珀，M.C.（1993）。解释复杂物体的线条图。图像可视性。计算。11(2): 82–90. ·doi:10.1016/0262-8856（93）90074-Q
[5] 库珀，M.C.（1999）。用于测试曲线对象线条图可实现性的线性时间算法。Artif公司。智力。108: 31–67. ·Zbl 0914.68193号 ·doi:10.1016/S0004-3702（98）00118-0
[6] 库珀，M.C.（2003）。模糊和有值约束满足中的约简操作。模糊集系统。134: 311–342. ·Zbl 1031.90072号 ·doi:10.1016/S0165-0114（02）00134-3
[7] 库珀，M.C.（2004）。循环一致性：二进制值约束的局部约简操作。Artif公司。智力。155(1–2): 69–92. ·Zbl 1085.68671号 ·doi:10.1016/j.artint.2003.06.004
[8] 库珀M.C.（2005）。值约束满足中的高阶一致性。图卢兹第三大学IRIT内部报告·Zbl 1112.68118号
[9] Cooper，M.C.和Schiex，T.（2004年）。软约束的圆弧一致性。Artif公司。智力。154(1–2): 199–227. ·兹比尔1085.68672 ·doi:10.1016/j.artint.2003.09.002
[10] Dechter，R.（1997）。迷你桶：一种在自动推理中生成逼近的通用方案。程序中。日本名古屋IJCAI-97，第1297-1303页。
[11] Dechter，R.（2003）。约束处理。加利福尼亚州圣马特奥：Morgan Kaukmann·Zbl 1057.68114号
[12] Dechter，R.和Pearl，J.（1988年）。约束满足问题的基于网络的启发式算法。Artif公司。智力。34: 1–38. ·Zbl 0643.68156号 ·doi:10.1016/0004-3702（87）90002-6
[13] Fargier，H.和Lang，J.（1993年）。约束满足问题中的不确定性：概率方法。程序中。ECSQARU，Springer-Verlag，LNCS 747，第97-104页。
[14] Fargier，H.、Lang，J.和Schiex，T.（1993年）。选择模糊约束满足问题的首选解。程序中。第一届欧洲模糊与智能技术大会。
[15] Larkin，D.（2003）。半独立分区：一种将解限定到COP的方法。程序中。约束预测原理与实践–CP 2003，Springer-Verlag，LNCS 2833，第894-898页。
[16] Larrosa，J.（2002）。加权CSP中的弧和节点一致性。程序中。AAAI'02年。
[17] Larrosa，J.和Schiex，T.（2003）。在为加权CSP寻求最佳形式的本地一致性的过程中。IJCAI公司。
[18] Rosenfeld，A.、Hummel，R.和Zucker，S.（1976年）。通过放松操作标记场景。IEEE传输。系统。人类网络。6(6): 173–184. ·Zbl 0335.68070号 ·doi:10.1109/TSMC.1976.4309519
[19] Schiex，T.（2000）。软约束的圆弧一致性。程序中。CP’2000，LNCS 1894，第411-424页·Zbl 1044.68797号
[20] Schiex，T.、Fargier，H.和Verfaillie，G.（1995年）。有价值约束满足问题：困难和容易的问题。程序中。加拿大蒙特利尔第14届国际JCAI，第631-637页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。