[논문 리뷰] Observable Graphs

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

Petri Nets in System Modeling인용 수 1

한 줄 요약

이 논문은 에이전트가 관측한 간선 색상으로 자신의 위치를 파악할 수 있는 관측 가능하고 부분적으로 관측 가능한 간선 색상이 칠해진 방향성 있는 그래프를 소개하고 특성화한다. 관측 가능성 여부를 결정하는 다항식 시간 알고리즘, 최소 관측 요구량을 계산하는 알고리즘(노드 수에 대해 최대 제곱수 성장), 그리고 관측 가능성에 대한 두 가지 그래프 색칠 문제 변형이 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-완전 문제를 감소시켜, 관측 가능성 달성에 대한 두 가지 그래프 색칠 문제 변형이 NP-완전임을 증명한다.

실험 결과

연구 질문

• RQ1 에이전트가 간선 색상 시퀀스로부터 항상 자신의 위치를 파악할 수 있도록 하기 위해, 간선 색상이 칠해진 방향성 있는 그래프가 만족해야 할 조건은 무엇인가?
• RQ2 알고리즘적으로 그래프가 관측 가능하거나 부분 관측 가능성임을 어떻게 판단할 수 있는가?
• RQ3 에이전트가 자신의 위치를 결정하기 위해 필요한 최소 관측 수는 얼마이며, 이 수는 그래프 크기와 어떻게 비례하는가?
• RQ4 주어진 그래프가 관측 가능해지도록 간선에 색상을 할당하는 것은 계산적으로 가능할 수 있으며, 이 문제의 복잡도는 무엇인가?
• RQ5 관측 가능한 그래프는 관측 가능한 이산 사건 시스템과 국소 오토마타와 어떻게 관련이 있는가?

주요 결과

• 자동화 이론적 및 그래프 이론적 조건을 사용하여 관측 가능한 그래프를 특성화할 수 있으며, 이는 알고리즘적 결정 절차를 가능하게 한다.
• 주어진 간선 색상이 칠해진 방향성 있는 그래프의 완전 관측 가능성과 부분 관측 가능성 여부를 결정하는 다항식 시간 알고리즘이 존재한다.
• 에이전트가 자신의 위치를 특정하기 위해 필요한 최소 관측 수는 그래프의 노드 수에 대해 최대 제곱수 성장한다.
• 최악의 경우, 관측 요구 조건으로 인해 에이전트는 자신의 위치를 특정하기 전에 동일한 노드를 여러 번 횡단할 수 있다.
• 그래프를 관측 가능하게 만들기 위해 색상을 할당하는 문제의 두 가지 변형이 NP-완전임을 증명하였으며, 이는 본질적인 계산 난이도를 시사한다.