×
Amnon Meisels公司;罗伊·齐万

DisCSP的异步转发检查。 （英语） Zbl 1118.68158号

限制条件 12，第1期，131-150（2007）.
摘要：提出了一种求解分布式约束满足问题的新搜索算法。代理按顺序分配变量，但异步执行正向检查。异步前向检查算法（AFC）是一种分布式搜索算法，它始终保持一个一致的部分分配。通过将部分分配的副本同时发送给所有未分配的代理来执行正向检查。详细描述了该算法，并证明了其正确性。AFC的顺序分配方法自然会导致搜索过程中代理的动态排序。给出了几种排序启发式算法。对这三种最佳启发式算法进行了评估，结果表明，这三种算法可以大幅度提高静态顺序AFC的性能。还对随机生成的DisCSP进行了AFC和异步回溯（ABT）的实验比较。在随机DisCSP的较难实例上，带有排序启发式的AFC比ABT有很大的优势。这些结果适用于两种性能度量：非电流约束检查的数量和发送的消息数量。

引用于7文件

MSC公司：

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

关键词：

分布式CSP;异步搜索;前向检查
PDF格式BibTeX公司 XML格式引用
\textit{A.Meisels}和\textit{R.Zivan}，约束12，第1期，131-150（2007；Zbl 1118.68158）
全文： 内政部

参考文献：

[1] Bessiere，C.、Maestre，A.和Messeguer，P.（2001）。分布式动态回溯。程序中。IJCAI01分布式约束研讨会。
[2] Bessiere，C.、Maestre，A.、Brito，I.和Meseguer，P.（2005年1月）。不添加链接的异步回溯：abt家族中的新成员。人工智能，161（1–2），7–24·兹比尔1132.68690 ·doi:10.1016/j.artint.2004.10.002
[3] Brito，I.和Meseguer，P.（2003年9月）。分布式转发检查。程序中。CP-2003，（第801-806页）。爱尔兰。
[4] Brito，I.和Meseguer，P.（2004年9月）。用于磁盘的同步、异步和混合算法。在多伦多举行的分布式约束推理研讨会（DCR-04）CP-2004。
[5] Dechter，R.（2003）。约束处理。摩根·考夫曼。
[6] Ginsberg，M.L.（1993）。动态回溯。《人工智能研究杂志》，1，25-46·Zbl 0900.68179号
[7] Kondrak，G.和van Beek，P.（1997年）。选定回溯算法的理论评估。人工智能，21365-387·Zbl 1042.68671号 ·doi:10.1016/S0004-3702（96）00027-6
[8] Lamport，L.（1978年4月）。分布式系统中的时间、时钟和事件顺序。ACM通信，2，95–114·Zbl 0378.68027号
[9] 林奇，N.A.（1997）。分布式算法。摩根·考夫曼。
[10] Meisels，A.和Razgon，I.（2002年）。具有基于冲突的回跳和动态排序的分布式前向检查。CoSolv车间，CP02。伊萨卡：纽约。
[11] Meisels，A.、Razgon，I.、Kaplansky，E.和Zivan，R.（2002年7月）。比较分布式约束处理算法的性能。程序中。AAMAS-2002分布式约束推理DCR研讨会（第86–93页）。博洛尼亚。
[12] Meseguer，P.和Jimenez，M.A.（2000年9月）。分布式正向检查。程序中。CP-2000分布式约束满足研讨会，新加坡。
[13] Nguyen，T.、Sam-Hroud，D.和Faltings，B.（2004年9月）。动态分布式回跳。程序中。关于分布式约束推理DCR-04的第五次研讨会，多伦多·Zbl 1078.68757号
[14] Nissim，K.和Zivan，R.（2005）。安全磁盘协议–从集中式解决方案到分布式解决方案。程序中。第六次分布式约束推理研讨会，DCR-05，爱丁堡。
[15] Prosser，P.（1996）。二元约束满足问题中相变的实证研究。人工智能，81，81–109·doi:10.1016/0004-3702（95）00048-8
[16] Silaghi，M.C.（2002年）。异步解决隐私要求问题。瑞士联邦理工学院（EPFL）博士论文。
[17] Silaghi，M.C.和Faltings，B.（2005年1月）。分布式约束满足中的异步聚合和一致性。人工智能，191（1-2），25-54·Zbl 1132.68712号 ·doi:10.1016/j.artint.2004.10.003
[18] Smith，B.M.（1996）。在二进制约束满足问题中定位相变。人工智能，81，155–181·doi:10.1016/0004-3702（95）00052-6
[19] Solotorevsky，G.、Gudes，E.和Meisels，A.（1996年）。分布式约束满足问题（dcsps）的建模和求解。《约束处理-96》（第561-562页）。新罕布什尔州。
[20] Yokoo，M.（2000）。分布式约束满足问题的算法：综述。自治代理和多代理系统。，3, 198–212.
[21] Yokoo，M.（2000）。分布式约束满足问题。施普林格-柏林-海德堡-纽约·Zbl 1044.68764号
[22] Yokoo，M.、Suzuki，K.和Hirayama，K.（2005年1月）。安全的分布式约束满足：在不泄露私人信息的情况下达成协议。人工智能，161（1-2），229–246·Zbl 1132.68717号 ·doi:10.1016/j.artint.2004.10.007
[23] Zivan，R.和Meisels，A.（2003年12月）discsps上的同步与异步搜索。程序中。第一届多智能体系统欧洲研讨会，EUMAS，牛津·Zbl 1153.68498号
[24] Zivan，R.和Meisels，A.（2004年）。分布式csp的并发动态回溯。在CP-2004中，（第782-787页）。多伦多·Zbl 1152.68593号
[25] Zivan，R.和Meisels，A.（2005年）。非对称磁盘的异步回溯。程序中。第六次分布式约束推理研讨会，DCR-05，爱丁堡·Zbl 1153.68498号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。