[논문 리뷰] The Complexity of Approximately Solving Influence Diagrams

Denis Deratani Mauá, Cassio P. de Campos외 1명|arXiv (Cornell University)|2012. 10. 16.

Bayesian Modeling and Causal Inference참고 문헌 20인용 수 14

한 줄 요약

이 논문은 무결성 또는 규칙성 가정을 하지 않고 영향 다이어그램을 근사적으로 해결하는 데 필요한 복잡도를 조사하며, 트리 폭과 변수 기수 모두가 유계일 경우 전연도 시간 근사화 계획(FPTAS)이 존재함을 보여준다. 주요 기여는 이러한 조건 하에서 광범위한 영향 다이어그램 문제의 다항시간 가용성 확립으로, 실무적으로 효율적인 근사적 해를 도출할 수 있게 한다.

ABSTRACT

Influence diagrams allow for intuitive and yet precise description of complex situations involving decision making under uncertainty. Unfortunately, most of the problems described by influence diagrams are hard to solve. In this paper we discuss the complexity of approximately solving influence diagrams. We do not assume no-forgetting or regularity, which makes the class of problems we address very broad. Remarkably, we show that when both the tree-width and the cardinality of the variables are bounded the problem admits a fully polynomial-time approximation scheme.

연구 동기 및 목표

• 일반 조건 하에서 영향 다이어그램을 근사적으로 해결하는 데 필요한 계산 복잡도를 분석하는 것.
• 높은 복잡도와 구조적 가정의 부재로 인해 영향 다이어그램 문제의 다항시간 가용성이 부족한 문제를 다루는 것.
• 광범위한 영향 다이어그램 클래스에 대해 효율적인 근사화 계획이 존재하는지 판단하는 것.
• 완전 다항시간 근사화 계획(FPTAS)이 달성 가능한 조건을 설정하는 것.
• 제한된 영향 다이어그램 클래스를 넘어서 다항시간 해법의 적용 범위를 확장하는 것.

제안 방법

• 저자는 무결성 또는 규칙성 가정을 하지 않고 영향 다이어그램을 분석하여 더 넓은 문제 범주를 허용한다.
• 트리 폭과 변수 기수를 핵심 매개변수로 하는 공식적인 복잡도 분석을 도입한다.
• 유계 트리 폭을 활용해 효율적인 계산을 위한 동적 프로그래밍 방법을 사용한다.
• 유계 기수와 트리 폭을 활용해 근사 오차를 제어함으로써 FPTAS를 구성한다.
• 근사 오차를 입력 크기와 오차의 역수에 대해 다항시간 내에 임의로 작게 만들 수 있음을 보장한다.
• 파라미터 기반 복잡도 기법을 사용해 이론적 경계를 유도함으로써 FPTAS 존재성을 입증한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 영향 다이어그램이 다항시간 내에 근사적으로 해결될 수 있는가?
• RQ2 무결성 또는 규칙성 가정이 없더라도 효율적인 근사가 가능한가?
• RQ3 트리 폭과 변수 기수가 모두 유계일 경우 완전 다항시간 근사화 계획(FPTAS)을 달성할 수 있는가?
• RQ4 트리 폭과 변수 기수가 영향 다이어그램 문제의 다항시간 가용성에 어떻게 함께 영향을 미치는가?
• RQ5 일반적인 영향 다이어그램에서 최적 정책을 근사하는 데 필요한 계산 복잡도는 무엇인가?

주요 결과

• 트리 폭과 변수 기수가 모두 유계일 경우, 영향 다이어그램을 근사적으로 해결하는 데 완전 다항시간 근사화 계획(FPTAS)이 존재한다.
• FPTAS는 입력 크기와 오차의 역수에 대해 다항시간 내에 근사 오차를 임의로 작게 만들 수 있음을 보장한다.
• 무결성 또는 규칙성 가정 없이도 결과가 성립하여 다항시간으로 해결 가능한 영향 다이어그램의 범주가 크게 넓어진다.
• 복잡도 분석은 유계 트리 폭과 유계 기수가 효율적인 근사화를 위한 충분조건임을 입증한다.
• 이 방법은 불확실성 하에서 대규모 의사결정 문제에 대해 근사 최적 정책을 실용적으로 계산할 수 있게 한다.
• 이론적 프레임워크는 의사결정 이론적 추론을 위한 확장 가능한 알고리즘의 기초를 제공한다.