×
伊戈尔·拉兹贡;Amnon Meisels公司

具有责任集和内核的CSP搜索算法。 （英语） Zbl 1124.68022号

约束条件 12，第2期，151-177（2007）.
概要：CSP搜索算法，如FC或MAC，在运行期间探索搜索树。搜索树的每个节点都可以与由未分配变量的优化域创建的CSP相关联。如果算法检测到与节点关联的CSP不可解决，则该节点将变为dead-end。一种“类比”修剪策略指出，如果与搜索树相关的CSP比与某个死端节点相关的CSP“更受约束”，则可以丢弃搜索树的当前节点。本文提出了一种基于上述策略的剪枝方法。与死区节点关联的CSP的信息保存在称为责任集和内核的结构中。我们将使用这些结构修剪RKP的方法称为\（下划线{\text{R}}\text{esponsibility}\）集合、\（下线{\text}}\text{ernel}\）、\（下划线{\text{P}}\ttext{ropagation}\）的缩写。我们将剪枝方法与算法FC和MAC相结合。我们分别将生成的解算器称为FC-RKP和MAC-RKP。实验评估表明，MAC-RKP在随机CSP和随机图着色问题上优于MAC-CBJ。RKP方法也具有理论意义。我们表明，在一定的限制条件下，FC-RKP模拟了FC-CBJ。这是因为智能回溯隐含地使用了“类比剪枝”策略

引用于1文件

MSC公司：

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

关键词：

CSP搜索算法;FC-RKP公司;MAC-RKP公司;内核
PDF格式BibTeX公司 XML格式引用
\textit{I.Razgon}和\textit{A.Meisels}，约束12，第2期，151--177（2007；Zbl 1124.68022）
全文： 内政部

参考文献：

[1] 巴克斯·F（2000）。扩展正向检查。《约束编程的原理和实践》（第35-51页）·Zbl 1044.68735号
[2] Choueiry，B。；Noubir，G.，《关于离散约束满足问题中局部可互换性的计算》，《AAAI学报》，326-333（1998），加利福尼亚州门洛帕克：AAAI，加利福尼亚州门洛帕克
[3] Fahle，T。；Schamberger，S.公司。；Sellmann，M.，对称性破缺，CP2001，93-108（2001），柏林-海德堡-纽约：施普林格，柏林-海德堡-纽约·Zbl 1067.68631号
[4] Focacci，F。；Milano，M.，《消除对称性的全球切割框架》，CP2001，93-108（2001），柏林：施普林格出版社，柏林·Zbl 1067.68633号
[5] Frost，D.和Dechter，R.（1995）。约束满足问题的Look-ahead值排序。《国际人工智能联合会议记录》，1995年国际人工智能学会（第572-578页）。加拿大蒙特利尔。
[6] Gent，I.、MacIntyre，E.、Prosser，P.、Smith，B.和Walsh，T.（1996年）。动态变量排序启发式的实证研究。在CP-96（第179-193页）中。
[7] Ginsberg，M.，《动态回溯》，《人工智能研究杂志》，1，25-46（1993）·兹比尔0900.68179
[8] Haralick，R.M。；Elliott，G.，提高约束满足问题的树搜索效率，人工智能，14263-313（1980）·doi:10.1016/0004-3702（80）90051-X
[9] Jussien，N.、Debruyne，R.和Boizumault，P.（2000）。在动态回溯中保持电弧一致性。《约束编程的原理与实践》（CP 2000）（第249-261页）。新加坡，施普林格·Zbl 1044.68772号
[10] 考茨，H。；Selman，B.，《十大挑战：命题推理和搜索的最新进展》，CP2003，1-18（2003），柏林：施普林格出版社，柏林·Zbl 1273.68350号
[11] Prosser，P.，约束满足问题的混合算法，计算智能，9268-299（1993）·文件编号：10.1111/j.1467-8640.1993.tb00310.x
[12] Prosser，P.（1995）。MAC-CBJ：使用冲突定向跳远保持弧线一致性。技术报告、研究报告/95/177，斯特拉斯克莱德大学计算机科学系。
[13] Prosser，P.，二元约束满足问题中相变的实证研究，人工智能，81，81-109（1996）·Zbl 1523.68093号 ·doi:10.1016/0004-3702（95）00048-8
[14] Puget，J.，《重新审视对称破缺》，《约束》，10，1，23-46（2005）·Zbl 1071.68094号 ·doi:10.1007/s10601-004-5306-8
[15] 坎佩尔，C.-G。；Lopez-Ortiz，A。；vanBeek，P。；Golynski，A.，全局基数约束的改进算法，约束编程的原理和实践-CP2004，加拿大多伦多，542-556（2004），柏林：施普林格，柏林·兹比尔1152.68576
[16] 拉兹贡，I。；Meisels，A.，《保持优势一致性，约束编程的原则和实践》，CP2003，Kinsale，Ireland，945-950（2003），柏林：Springer，Berlin
[17] Razgon，I.和Meisels，A.（2004年）。通过同等约束变量进行修剪。CSCLP 2004年会议记录（第26-40页）·Zbl 1078.68761号
[18] Regin，J.-C.，CSP差异约束的过滤算法，AAAI’94：第十二届全国人工智能会议论文集，第1卷，362-367（1994），加利福尼亚州门洛帕克：美国人工智能协会，加利福尼亚州门洛帕克
[19] Sabin，D.和Freuder，E.C.（1994年）。在约束满足方面与传统智慧相矛盾。在PPCP’94（第10-20页）中。
[20] Wallace，R.（2005）。启发式协同效应分析。在CSCLP 2005（第1-13页）中。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。