×
克里斯蒂安·贝西尔；圣埃芬·卡顿；罗穆拉德·德布鲁恩；克利斯朵夫·勒库特

单点弧一致性的高效算法。 （英语） Zbl 1216.68236号

约束条件 16，第1号，25-53（2011）.
总结：在本文中，我们提出了两种新颖有效的方法来增强单点弧的一致性。在第一个问题中，用于强制弧一致性的数据结构在所有子问题之间共享，其中域被简化为单个。这种新算法不是最优的，但它需要的空间要少得多，而且在实践中通常比最优算法SAC-Opt更有效。在第二种方法中，我们执行几次贪婪搜索（在每一步中，保持弧的一致性），可能在一次搜索中检测多个值的单点弧一致性。这是通过搜索应用推理（即建立单点弧一致性）的原始示例。使用贪婪搜索可以从弧一致性的增量中获益，从冲突中学习相关信息，并可能在推理过程中找到解决方案。我们提供了大量实验，证明了这两种方法的优点。

引用于6文件

MSC公司：

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

关键词：

单粒子弧一致性；过滤；约束传播；局部一致性
PDF格式BibTeX公司 XML格式引用
\textit{C.Bessiere}等人，《约束16》，第1期，第25-53页（2011年；Zbl 1216.68236）
全文： 内政部 链接

参考文献：

[1] Apt，K.R.（2003）。约束编程原理。剑桥：剑桥大学出版社·Zbl 1187.68132号
[2] Bartak，R.和Erben，R.（2004）。一种新的单点弧一致性算法。《FLAIRS'04会议录》（第257-262页）。
[3] Bessiere，C.（1994）。电弧一致性和电弧一致性。人工智能，65179-190·doi:10.1016/0004-3702（94）90041-8
[4] Bessiere，C.和Debruyne，R.（2004）。单粒子电弧一致性的理论分析。《ECAI'04关于建模和解决约束问题研讨会论文集》（第20-29页）·Zbl 1182.68217号
[5] Bessiere，C.和Debruyne，R.（2005）。最优和次优单点弧一致性算法。《2005年国际商会会刊》（第54–59页）。
[6] Bessiere，C.和Debruyne，R.（2008）。单粒子弧一致性的理论分析及其推广。人工智能，172（1），29-41·Zbl 1182.68217号 ·doi:10.1016/j.artint.2007.09.001
[7] Bessiere，C.和Régin，J.（2001年）。细化基本的约束传播算法。《IJCAI'01会议录》（第309-315页）。
[8] Bessiere，C.、Régin，J.C.、Yap，R.和Zhang，Y.（2005）。一种优化的粗粒度圆弧一致性算法。人工智能，165（2），165-185·Zbl 1132.68691号 ·doi:10.1016/j.artint.2005.02.004
[9] Boussemart，F.、Hemery，F.，Lecoutre，C.和Sais，L.（2004）。通过加权约束促进系统搜索。《ECAI'04会议录》（第146-150页）。
[10] Chmeiss，A.和Sais，L.（2000）。关于在解决CSP时使用局部一致性。《ICTAI’00会议录》（第104–107页）。
[11] Debruyne，R.和Bessiere，C.（1997年a）。从受限路径一致性到最大限制路径一致性。《CP’97会议记录》（第312-326页）。
[12] Debruyne，R.和Bessiere，C.（1997年b）。约束满足问题的一些实用过滤技术。《1997年国际商会会刊》（第412-417页）。
[13] Debruyne，R.和Bessiere，C.（2001）。域筛选一致性。《人工智能研究杂志》，第14期，205–230页·Zbl 0970.68125号
[14] Dechter，R.（2003）。约束处理。旧金山：摩根考夫曼·Zbl 1057.68114号
[15] Frost，D.、Dechter，R.、Bessiere，C.和Régin，J.C.（1996）。随机均匀CSP发生器。网址：http://www.lirmm.fr/\（\sim\）bessiere/generator.html。
[16] Lecoutre，C.（2008）。优化表约束的简单表约简。《CP’08会议记录》（第128–143页）。
[17] Lecoutre，C.（2009）。约束网络：技术和算法。纽约：ISTE/Wiley。
[18] Lecoutre，C.和Cardon，S.（2005年）。建立单点弧一致性的贪婪方法。《2005年国际商会会刊》（第199-204页）。
[19] Lecoutre，C.和Hemery，F.（2007年）。电弧一致性中残余支撑的研究。在IJCAI’07会议记录中（第125-130页）。
[20] Lecourse，C.和Prosser，P.（2006年）。保持单例弧的一致性。《2006年CPAI研讨会会议记录》（第47-61页）。
[21] Mackworth，A.K.（1977a）。关系网络的一致性。人工智能，8（1），99-118·Zbl 0341.68061号 ·doi:10.1016/0004-3702（77）90007-8
[22] Mackworth，A.K.（1977b）。阅读草图。《77年国际商会会刊》（第598-606页）。
[23] Mohr，R.和Henderson，T.C.（1986年）。重新检查弧和路径的一致性。人工智能，28225-233·doi:10.1016/0004-3702（86）90083-4
[24] Mohr，R.和Masini，G.（1988年）。良好的旧离散松弛。ECAI'88年会议记录（第651-656页）。
[25] Prosser，P.（1996）。二元约束满足问题中相变的实证研究。人工智能，81，81–109·doi:10.1016/0004-3702（95）00048-8
[26] Prosser，P.、Stergiou，K.、Walsh，T.（2000）。单一一致性。《CP'00会议记录》（第353–368页）·Zbl 1044.68790号
[27] Sabin，D.和Freuder，E.C.（1994年）。在约束满足方面与传统智慧相矛盾。《CP’94会议录》（第10-20页）。
[28] Sabin，D.和Freuder，E.C.（1997年）。理解和改进MAC算法。《CP’97会议录》（第167-181页）。
[29] Ullmann，J.R.（2007）。非二进制约束满足的分区搜索。信息科学，177，3639–3678·Zbl 1119.68446号 ·doi:10.1016/j.ins.2007.03.030
[30] Zhang，Y.，&Yap，R.（2001）。使AC3成为优化算法。《IJCAI'01会议录》（第316-321页）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。