[論文レビュー] Observable Graphs

Raphaël M. Jungers, Vincent D. Blondel|arXiv (Cornell University)|Feb 16, 2007

Petri Nets in System Modeling被引用数 1

ひとこと要約

本稿では、エッジの色を観測することでエージェントが自らの位置を特定できる、観測可能で部分的に観測可能なエッジ彩色有向グラフを導入し、その特徴を明らかにする。観測可能性を決定する多項式時間アルゴリズム、ノード数に比例して最大二次関数的に成長する最小観測要件の計算、および観測性を実現するためのグラフ彩色の2つの変種がNP完全であることを証明する。

ABSTRACT

An edge-colored directed graph is \emph{observable} if an agent that moves along its edges is able to determine his position in the graph after a sufficiently long observation of the edge colors. When the agent is able to determine his position only from time to time, the graph is said to be \emph{partly observable}. Observability in graphs is desirable in situations where autonomous agents are moving on a network and one wants to localize them (or the agent wants to localize himself) with limited information. In this paper, we completely characterize observable and partly observable graphs and show how these concepts relate to observable discrete event systems and to local automata. Based on these characterizations, we provide polynomial time algorithms to decide observability, to decide partial observability, and to compute the minimal number of observations necessary for finding the position of an agent. In particular we prove that in the worst case this minimal number of observations increases quadratically with the number of nodes in the graph. From this it follows that it may be necessary for an agent to pass through the same node several times before he is finally able to determine his position in the graph. We then consider the more difficult question of assigning colors to a graph so as to make it observable and we prove that two different versions of this problem are NP-complete.

研究の動機と目的

• エージェントがエッジの色の列から位置を特定できる、観測可能で部分的に観測可能なエッジ彩色有向グラフの形式的定義と特徴づけを行う。
• 観測可能グラフと離散イベントシステムおよび局所オートマトンとの間の関係を確立する。
• グラフにおける観測可能性および部分的観測可能性を決定するための効率的なアルゴリズムを開発する。
• エージェントが自らの位置を特定するために必要な最小観測数を特定し、その最大成長度を分析する。
• 与えられたグラフを観測可能にするためにエッジに色を割り当てる問題の計算量的複雑性を調査し、NP完全性の結果を提示する。

提案手法

• エージェントがエッジの色の列から位置を特定できるかどうかに基づき、エッジ彩色有向グラフにおける観測可能性および部分的観測可能性の形式的定義を提案する。
• オートマトン理論的およびグラフ理論的技法を用いて、観測可能グラフを特徴づけ、局所オートマトンおよび観測可能な離散イベントシステムと関連付ける。
• 与えられたグラフが観測可能または部分的に観測可能かどうかを決定する多項式時間アルゴリズムを開発する。
• エージェントの位置特定に必要な最小観測数を計算する手法を導入し、ノード数に対して最大二次関数的成長であることを示す。
• 既知のNP完全問題への帰着を用いて、観測性を実現するためのグラフ彩色問題の2つの変種がNP完全であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 エッジ彩色有向グラフが観測可能であるための条件は何か？ すなわち、エージェントがエッジの色の列から常に自らの位置を特定できるようにするには？
• RQ2 グラフが観測可能または部分的に観測可能かどうかをアルゴリズム的にどのように決定できるか？
• RQ3 エージェントが自らの位置を特定するために必要な最小観測数は何か？ また、グラフのサイズに伴いどのようにスケーリングされるか？
• RQ4 与えられたグラフを観測可能にするためにエッジに色を割り当てる問題は、計算的に実行可能か？ その問題の複雑性は何か？
• RQ5 観測可能グラフは、観測可能な離散イベントシステムおよび局所オートマトンとどのように関係しているか？

主な発見

• オートマトン理論的およびグラフ理論的条件を用いて観測可能グラフを特徴づけ、アルゴリズム的手続きの実現を可能にする。
• 与えられたエッジ彩色有向グラフが完全観測可能または部分的観測可能かどうかを決定する多項式時間アルゴリズムが存在する。
• エージェントが自らの位置を特定するために必要な最小観測数は、グラフ内のノード数に対して最大二次関数的に成長する。
• 最悪の場合、エージェントは同じノードを複数回通過する必要がある場合があり、これは観測要件に起因する。
• グラフを観測可能にするために色を割り当てる問題の2つの変種がNP完全であることが証明され、計算上の本質的困難性が示された。