DCSP和DCOP求解研究进展.pdf

34№．11 计算机科学2007VoL DCSP和DCOP求解研究进展’) 贺利坚1张伟3石纯一2 (烟台大学计算机学院智能信患处理实验室烟台264005)(清华大学计算机科学与技术系北京100084)。 摘要分布式约束满足问题(ECSP)和夯市式约束最优问题(DCOP)的研究是分布式人工智能领域的基础性工作。 本文首先介绍了D【：sP和DCOP的形式化描述厦对实际应用问题的建模方法。在D【：sP和Ⅸ的P的求解中．通常对 同题要进行限制和要求．同时要满足分布性、异步性、局部性、完备性的原剐。异步回溯(ABT)、异步弱承诺搜索 一般化到DCOP的算法，仅适用于解央部分特定的问题，DCOP的最优、异步算法有异步分布式约束最优算法(A— dopt)和最优异步部分交更算法(OPtAPO)。本文讨论了上述算渣的性能。相关的研究工作在多局部变量的处理、超 约束DCSP、算法性能度量、通信的保密等方面进行了扩克，在对问题本身的研完、建模方法学、算法、与其他方法的结 舍以厦拓展应用领域等方面仍有许多问题需要进一步研究。 关键词分布式约束满足问题，分布式约束最优问题，多Agent乐统 AResearchon DCSPandDCoP Solving HELi-JianlZHANGWeilSHIChuIrYF Iniormation inSchoolof (Intelligent ProcessingLaboratory Compute．Yantai 264005) University，Yantai S’cienceand (DepartmentofCompater Teehllology．Tsinghau 100871) University，Beijing AhstraetTheresearchofDistributedConstraintSarisfaCtion DistributedConstraint ProblemI：IX：SP)and Optknization becaI-D．eoneofthemost basicresearch Pmblefn(DCOP)have inlportant indistributedartificial already topic intelligence of domain．Fomlal DCSPandDCOP。aswellasthemodelingmethodto ayeintroduesdat description praeticalproblem the ordertOsolveDCSPandDCOP，thereatesomelimitationandrestrictionjn itself．and beginning．In problem prob- l嘶solvingneedstO the and process satislyprincipleo{d4stfibuting·asyachromsm．10calhy chronous Weak-Commitmentsea