越南阮;贾米拉·萨姆·哈罗德;博伊·法尔廷斯 动态分布式跳回。 （英语） Zbl 1078.68757号 Faltings，Boi（编辑）等人，约束的最新进展。关于约束解决和约束逻辑编程的ERCIM/CoLogNET联合国际研讨会，CSCLP 2004，瑞士洛桑，2004年6月23日至25日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 3-540-25176-6/pbk）。计算机科学课堂讲稿3419。人工智能课堂讲稿，71-85（2005）。 摘要：当变量和约束的控制在一组代理之间分布时，我们考虑分布式约束满足问题（DisCSP）。本文提出了集中式BackJumping算法的分布式版本，称为动态分布式BackJump（DDBJ）算法。其优点是双重的：DDBJ继承了同步算法的优点，使其能够轻松地与强大的变量和值的动态排序相结合，并且仍然为代理保持一定程度的自治性。实验结果表明，在随机生成的DisCSP的硬实例上，DDBJ的性能优于DiDB和AFC算法一到两个数量级。关于整个系列，请参见[Zbl 1069.68005号]. 引用于4文件 理学硕士： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：搜索;约束满足;分布式系统;多代理系统 PDF格式BibTeX公司 XML格式引用 \textit{V.Nguyen}等人，Lect。注释计算。科学。3419、71--85（2005年；Zbl 1078.68757） 全文： 内政部