可观察图
摘要：可观察的有向图在边上着色。当代理沿着边移动时，他能够通过边的颜色在图中确定自己的位置，称为“可观察”。当代理只能偶尔确定自己的位置时，图被称为“部分可观察”。在网络上移动的自主代理需要用有限信息定位它们（或代理需要定位自己）时，图的可观察性是理想的。在本文中，我们完全刻画了可观察和部分可观察图，并展示了这些概念与可观察离散事件系统和局部自动机的关系。基于这些刻画，我们提供了多项式时间算法来确定可观察性、确定部分可观察性以及计算找到代理位置所需的最小观察次数。特别地，我们证明在最坏情况下，这个最小观察次数与图中节点数的平方成正比增长。由此可知，代理可能需要多次通过相同的节点才能最终确定自己在图中的位置。然后，我们考虑将颜色分配给图的更难的问题，以使其可观察，并证明该问题的两个不同版本是NP完全的。
作者：Raphael M. Jungers and Vincent D. Blondel
论文ID：cs/0702091
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2007-05-23