论文部分内容阅读
如何验证多ａｇｅｎｔ规划是一个非常重要的研究课题，因为该研究关系到规划的求解能否在分布式环境下有效地进行。在本文中，我们讨论了规划的验证方法，给出了压缩集合的生成算法，并给出了该算法的正确性证明，与Ｋａｔｚ等人所提出的算法不同，我们用正向邻接表和逆向邻接表来表示规划链关系Ｄ，用辅助数组来控制所用到的子图（即不是真正的生成子图，但由辅助数组即能看出当前所要处理的子图），提出了避免无用子图产生的方法。