×
穆罕默德·瓦赫比;雷杜安·埃扎希尔;克里斯蒂安·贝西尔;El Houssine Bouyakhf

基于Nogood的异步前向检查算法。 （英语） Zbl 1327.90113号

约束条件 18，第3号，404-433（2013）.
摘要：我们提出了两种求解分布式约束满足问题（DisCSPs）的新算法。第一种算法AFC-ng是基于nogood的异步转发检查（AFC）版本。除了使用nogoods作为价值消除的理由之外，AFC-ng还允许从不同的代理同时返回到不同的目的地。第二种算法是异步前向检查树（AFC-Tree），它基于AFC-ng算法，在约束图的伪树排序上执行。AFC-tree在不相交的问题子树中运行同步搜索过程，并利用问题中固有的并行性。我们证明了AFC-ng和AFC-tree只需要多项式空间。我们将这些算法与其他DisCSP算法在随机DisCSP和实际基准测试实例（传感器网络和分布式会议调度）上的性能进行了比较。我们的实验表明，AFC-ng改进了AFC，并且AFC-tree的性能优于所有比较算法，特别是在稀疏问题上。

引用于1文件

MSC公司：

90C09型 布尔编程

关键词：

分布式约束推理;搜索算法

软件：

传感器DCSP;DisChoco公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Wahbi}等人，《约束18》，第3期，404--433（2013；Zbl 1327.90113）
全文： 内政部 哈尔

参考文献：

[1] 阿布·阿马拉，H.H.（1988年）。完备网络中选举的容错分布式算法。IEEE计算机汇刊，37449-453·Zbl 0709.94511号 ·doi:10.1109/12.2189
[2] Béjar，R.、Domshlak，C.、Fernández，C.、Gomes，C.、Krishnamachari，B.、Selman，B.、Valls，M.（2005）。传感器网络和分布式csp：通信、计算和复杂性。人工智能，161117-147·Zbl 1132.68688号 ·doi:10.1016/j.artint.2004.09.002
[3] Bessiere，C.、Maestre，A.、Brito，I.、Meseguer，P.（2005年）。不添加链接的异步回溯：ABT家族中的新成员。人工智能，161，7-24·Zbl 1132.68690号 ·doi:10.1016/j.artint.2004.10.002
[4] Bessiere，C.和Régin，J.C.（1996）。MAC和联合启发式：在困难问题上放弃FC（和CBJ？）的两个原因。《CP'96会议录》（第61-75页）·Zbl 0513.68066号
[5] Brito，I.和Meseguer，P.（2008）。通过添加同步点提高ABT性能。《约束的最新进展》，计算机科学讲义（第5129卷，第47-61页）·Zbl 1162.68650号
[6] Chandy，K.M.和Lamport，L.（1985）。分布式快照：确定分布式系统的全局状态。美国计算机学会计算机系统学报，3（1），63-75·doi:10.1145/214451.214456
[7] Chechetka，A.和Sycara，K.（2005年）。分布式约束优化的分散变量排序方法。卡内基梅隆大学机器人研究所技术代表CMU-RI-TR-05-18。
[8] Chechetka，A.和Sycara，K.（2006年）。分布式约束优化的无承诺分支定界搜索。《AAMAS’06会议录》（第1427-1429页）·Zbl 1118.68158号
[9] Cheung，T.Y.（1983年）。分布式计算中的图遍历技术和最大流问题。IEEE软件工程学报，9（4），504-512·Zbl 0513.68066号 ·doi:10.1109/TSE.1983.234958
[10] Chong，Y.L.和Hamadi，Y.（2006）。分布式基于日志的对账。ECAI'06会议记录（第108-112页）·兹比尔1132.68712
[11] Collin，Z.、Dechter，R.、Katz，S.（1991年）。分布式约束满足的可行性。《1991年国际商会会刊》（第318-324页）·Zbl 0747.68065号
[12] Dechter，R.（1990）。约束处理的增强方案：回跳、学习和割集分解。人工智能，41（3），273-312·Zbl 0947.65026号 ·doi:10.1016/0004-3702（90）90046-3
[13] Dechter，R.（1992年）。约束网络（调查）。摘自Shapiro，S.C.（编辑）《人工智能百科全书》（第1卷，第276-285页）。
[14] 弗洛伊德·E.C.和奎因·M.J.（1985）。在约束满足问题中利用稳定的变量集。《85年国际商会会刊》（第1076-1078页）。
[15] Gaschnig，J.（1978年）。回溯与Waltz类型与满足分配问题的新算法的实验案例研究。《第二届加拿大人工智能会议论文集》（第268-277页）。
[16] 金斯伯格医学博士（1993年）。动态回溯。《人工智能研究杂志》，1，25-46·Zbl 0900.68179号
[17] Haralick，R.M.和Elliott，G.L.（1980）。提高约束满足问题的树搜索效率。人工智能，14（3），263-313·doi:10.1016/0004-3702（80）90051-X
[18] Hirayama，K.和Yokoo，M.（2000）。nogood学习在分布式约束满足中的作用。ICDCS’00会议记录（第169-177页）·Zbl 0513.68066号
[19] Jung，H.、Tambe，M.、Kulkarni，S.（2001）。作为分布式约束满足的论证：应用和结果。《代理人会议记录》（第324-331页）。
[20] Léauté，T.和Faltings，B.（2011年）。协调后勤运作与隐私保障。《IJCAI’11会议录》（第2482-2487页）·Zbl 0709.94511号
[21] Lynch，N.A.（1997年）。分布式算法。摩根-考夫曼系列·Zbl 1132.68688号
[22] Maheswaran，R.T.、Tambe，M.、Bowring，E.、Pearce，J.P.、Varakantham，P.（2004）。将DCOP带到现实世界：分布式多出口调度的高效完整解决方案。摘自：2004年AAMAS会议记录。
[23] Meisels，A.和Lavee，O.（2004年）。在DisCSP搜索中使用其他信息。2004年DCR会议记录。
[24] Meisels，A.和Zivan，R.（2003年）。分布式CSP的异步转发检查。在人工智能和应用的前沿·Zbl 1118.68158号
[25] Meisels，A.和Zivan，R.（2007年）。DisCSP的异步转发检查。约束，12（1），131-150·Zbl 1118.68158号 ·doi:10.1007/s10601-006-9013-5
[26] 莫迪，P.J.，沈，W.M.，谭贝，M.，横须，M.（2003）。分布式约束优化的异步完成方法。在AAMAS’03会议记录中（第161-168页）。
[27] Nguyen，V.、Sam-Haroud，D.、Faltings，B.（2005）。动态分布式回跳。约束的最新进展（第3419卷，第71-85页）·Zbl 1078.68757号
[28] Petcu，A.和Faltings，B.（2004年）。分布式资源分配的值排序启发式算法。ERCIM/CoLogNet关于CSCLP’04的联合年度研讨会论文集（第86-97页）·Zbl 1078.68759号
[29] Petcu，A.和Faltings，B.（2005年）。DPOP：一种可扩展的多智能体约束优化方法。《2005年国际商会会刊》（第266-271页）。
[30] Petcu，A.和Faltings，B.（2006年）。ODPOP：一种开放/分布式约束优化算法。AAAI'06年会议记录（第703-708页）。
[31] Prosser，P.（1993）。约束满足问题的混合算法。计算智能，9268-299·文件编号：10.1111/j.1467-8640.1993.tb00310.x
[32] Silaghi，M.C.（2006年）。DisCSP异步回溯的广义动态排序。在DCR’06会议记录中。
[33] Silaghi，M.C.和Faltings，B.（2005年）。分布式约束满足中的异步聚合和一致性。人工智能，161，25-53·Zbl 1132.68712号 ·doi:10.1016/j.artint.2004.10.003
[34] Wahbi，M.、Ezzahir，R.、Bessiere，C.、Bouyakhf，E.H.（2011年）。DisChoco 2：分布式约束推理平台。《DCR’11会议录》（第112-121页）。网址：http://www.lirmm.fr/co椰子/dishoco/。
[35] Wallace，R.J.和Freuder，E.C.（2002年）。基于约束的多agent会议调度：agent异质性对性能和隐私损失的影响。《DCR’02会议录》（第176-182页）。
[36] Yeoh，W.、Felner，A.、Koeing，S.（2007年）。BnB-ADOPT：异步分支绑定DCOP算法。《分布式约束推理研讨会论文集》（DCR’07）·Zbl 1191.68733号
[37] Yokoo，M.（2000）。分布式约束满足问题的算法：综述。AAMAS杂志，3（2），185-207。
[38] Yokoo，M.、Durfee，E.H.、Ishida，T.、Kuwabara，K.（1992）。用于形式化分布式问题解决的分布式约束满足。第12届IEEE国际会议论文集，分布式计算系统（第614-621页）。
[39] Yokoo，M.、Durfee，E.H.、Ishida，T.、Kuwabara，K.（1998）。分布式约束满足问题：形式化和算法。IEEE知识与数据工程汇刊，10673-685·数字对象标识代码：10.1109/69.729707
[40] Zivan，R.和Meisels，A.（2003年）。DisCSP上的同步与异步搜索。在EUMAS’03会议记录中·Zbl 1103.68117号
[41] Zivan，R.和Meisels，A.（2006年）。DisCSP异步回溯的动态排序。约束，11（2-3），179-197·Zbl 1103.68117号 ·doi:10.1007/s10601-006-8062-0
[42] Zivan，R.和Meisels，A.（2006年）。消息延迟和DisCSP搜索算法。数学与人工智能年鉴，46（4），415-439·Zbl 1107.68106号 ·doi:10.1007/s10472-006-9033-2
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。