[논문 리뷰] Complexity of Inference in Graphical Models

Venkat Chandrasekaran, Nathan Srebro외 1명|arXiv (Cornell University)|2012. 06. 13.

Bayesian Modeling and Causal Inference참고 문헌 32인용 수 82

한 줄 요약

이 논문은 그래픽 모델에서 추론의 다항식 시간 가용성을 가능하게 하는 유일한 구조적 성질이 트리폭(treewidth)인지 조사한다. Robertson 등(1994)의 조합적 가정 하에, 저자들은 트리폭이 유계가 아닌 그래픽 모델의 어떤 클래스도 다항식 시간 추론을 허용하지 않음을 증명하며, worst case 상황에서 트리폭이 유일하게 가용성 보장을 보장하는 구조적 기준임을 입증한다.

ABSTRACT

It is well-known that inference in graphical models is hard in the worst case, but tractable for models with bounded treewidth. We ask whether treewidth is the only structural criterion of the underlying graph that enables tractable inference. In other words, is there some class of structures with unbounded treewidth in which inference is tractable? Subject to a combinatorial hypothesis due to Robertson et al. (1994), we show that low treewidth is indeed the only structural restriction that can ensure tractability. Thus, even for the "best case" graph structure, there is no inference algorithm with complexity polynomial in the treewidth.

연구 동기 및 목표

• 트리폭이 그래픽 모델에서 다항식 시간 추론을 보장하는 유일한 구조적 성질인지 확인하는 것.
• 트리폭이 유계가 아닌 클래스의 그래픽 모델이 여전히 다항식 시간 추론을 허용할 수 있는지 조사하는 것.
• 광범위하게 수용된 조합적 추측 하에 낮은 트리폭이 다항식 시간 추론을 위해 필수적인 이유를 규명하는 것.
• 표준 트리폭 기반의 가용성 프레임워크를 초월한 추론의 구조적 복잡성 문제를 해결하는 것.

제안 방법

• 저자들은 구조적 그래프 이론을 사용하여 그래픽 모델의 추론 복잡도를 분석한다.
• 특정 그래프 미니처의 존재에 관한 Robertson 등(1994)의 추측을 핵심 가정으로 삼는다.
• 증명 기법은 추론 문제를 그래프의 구조적 성질, 특히 트리폭과 그 한계에 중점을 두어 감소시키는 것이다.
• Robertson-Seymour 그래프 미니처 추측을 가정함으로써, 추론 복잡도에 하한을 도출한다.
• 트리폭에 대해 다항식 복잡도를 갖는 모든 추론 알고리즘이 유계가 아닌 트리폭 클래스에 대해 존재할 수 없다는 것을 입증한다.
• 조합적 그래프 이론과 계산 복잡도 이론을 융합하여 트리폭의 필수성을 규명한다.

실험 결과

연구 질문

• RQ1 트리폭이 그래픽 모델에서 다항식 시간 추론을 가능하게 하는 유일한 구조적 성질인가?
• RQ2 트리폭이 유계가 아닌 그래픽 모델의 클래스가 여전히 다항식 시간 추론을 허용할 수 있는가?
• RQ3 추론이 가용하기 위해 필요한 그래프의 구조적 제약은 무엇인가?
• RQ4 표준 복잡도 이론적 추측을 가정할 때, 유계 트리폭이 없으면 반드시 추론이 비가용성이 되는가?
• RQ5 Robertson-Seymour 그래프 미니처 추측이 그래픽 모델의 추론 복잡도에 얼마나 깊이 제약을 가하는가?

주요 결과

• Robertson 등(1994)의 조합적 가정 하에, 트리폭이 유계가 아닌 그래프에 대해 트리폭에 대해 다항식 복잡도를 갖는 추론 알고리즘이 존재하지 않는다.
• 논문은 트리폭이 그래픽 모델에서 다항식 시간 추론을 보장할 수 있는 유일한 구조적 기준임을 입증한다.
• 최상의 그래프 구조 조건에서도 트리폭이 유계가 아니면 추론은 여전히 비가용성이 된다.
• 이 결과는 트리폭이 유용성에 충분할 뿐 아니라, 주어진 가정 하에 반드시 필요함을 시사한다.
• 이 작업는 확률적 그래픽 모델에서 추론 복잡도의 중심에 트리폭이 위치하는 이유에 대한 이론적 기반을 제공한다.