[논문 리뷰] A Polynomial-Time Algorithm for Deciding Markov Equivalence of Directed Cyclic Graphical Models

Thomas Richardson|arXiv (Cornell University)|2013. 02. 13.

Bayesian Modeling and Causal Inference참고 문헌 10인용 수 30

한 줄 요약

이 논문은 d-분리 관계를 기반으로 하여 방향성 순환 그래픽 모델 간의 마르코프 등가성을 판별하기 위한 다항식 시간 알고리즘을 제시한다. 등가성에 대한 필요 및 충분 조건을 설정함으로써, 순환 그래프로의 d-분리 개념을 일반화하고, 효율적인 등가성 검사를 가능하게 하여 이전에는 지수 시간에만 해결 가능했던 문제를 해결한다.

ABSTRACT

Although the concept of d-separation was originally defined for directed acyclic graphs (see Pearl 1988), there is a natural extension of he concept to directed cyclic graphs. When exactly the same set of d-separation relations hold in two directed graphs, no matter whether respectively cyclic or acyclic, we say that they are Markov equivalent. In other words, when two directed cyclic graphs are Markov equivalent, the set of distributions that satisfy a natural extension of the Global Directed Markov condition (Lauritzen et al. 1990) is exactly the same for each graph. There is an obvious exponential (in the number of vertices) time algorithm for deciding Markov equivalence of two directed cyclic graphs; simply chech all of the d-separation relations in each graph. In this paper I state a theorem that gives necessary and sufficient conditions for the Markov equivalence of two directed cyclic graphs, where each of the conditions can be checked in polynomial time. Hence, the theorem can be easily adapted into a polynomial time algorithm for deciding the Markov equivalence of two directed cyclic graphs. Although space prohibits inclusion of correctness proofs, they are fully described in Richardson (1994b).

연구 동기 및 목표

• 비순환 그래프에서의 d-분리 개념을 방향성 순환 그래프로 확장하기 위해.
• 방향성 순환 그래프에서의 마르코프 등가성에 대한 필요 및 충분 조건을 규명하기 위해.
• 다항식 시간 내에 실행되는 마르코프 등가성 결정 절차를 개발하기 위해.
• 모든 d-분리 관계를 전수 조사하는 데에 소요되는 지수 시간 방법에 대한 계산적으로 효율적인 대안을 제공하기 위해.
• 순환 그래픽 모델을 원인 추론 및 확률적 추론에 실용적으로 활용할 수 있도록 하기 위해.

제안 방법

• d-분리의 자연스러운 일반화를 사용하여 방향성 순환 그래프에 대해 글로벌 마르코프 성질을 확장한다.
• 두 방향성 순환 그래프가 동일한 d-분리 관계를 표현할 때 마르코프 등가성으로 정의한다.
• 같은 스켈레톤과 v-구조와 같은 구조적 특성이 등가성에 필수적이고 충분한 조건임을 규명한다.
• 이러한 구조적 조건을 다항식 시간 내에 검사하여 등가성을 판단한다.
• 모든 d-분리 관계를 전수 조사하는 것을 피하기 위해 알고리즘을 적응시킨다.
• 이론적 결과는 리처드슨(1994b)의 연구에 기반하며, 본 논문에는 포함되어 있지 않지만 인용되어 있다.

실험 결과

연구 질문

• RQ1 두 방향성 순환 그래프가 마르코프 등가성이 되기 위해 만족해야 할 조건은 무엇인가?
• RQ2 방향성 순환 그래프 간의 마르코프 등가성은 다항식 시간 내에 결정할 수 있는가?
• RQ3 d-분리 관계는 어떻게 순환 그래프에 일반화될 수 있는가?
• RQ4 방향성 순환 그래프의 어떤 구조적 특징이 그 마르코프 등가성 클래스를 결정하는가?
• RQ5 모든 d-분리 관계를 조사하는 것 외에 계산적으로 효율적인 등가성 검사 방법은 존재하는가?

주요 결과

• 논문은 방향성 순환 그래프에서 마르코프 등가성에 대한 필요 및 충분 조건을 규명하였으며, 이 조건들은 다항식 시간 내에 검사할 수 있다.
• 제안된 알고리즘은 모든 d-분리 관계를 전수 조사하는 데에 소요되는 지수 시간 계산을 피한다.
• 순환 그래프에서의 마르코프 등가성은 동일한 스켈레톤과 v-구조를 갖는 것으로 완전히 특징지어지며, 이는 비순환 경우와 유사하다.
• 이 방법은 등가 모델을 효율적으로 식별할 수 있게 하여, 순환 시스템에서의 구조 학습에 매우 중요하다.
• 결과적으로, 다항식 시간 등가성 테스트를 가능하게 함으로써 그래픽 모델의 적용 범위를 순환 원인 시스템으로 확장한다.
• 알고리즘은 리처드슨(1994b)의 이론적 기초에서 유도되었으며, 정확성 증명의 근거로 인용되어 있다.