[논문 리뷰] Polynomial Time Algorithms for Multi-Type Branching Processes and Stochastic Context-Free Grammars

Kousha Etessami, Alistair Stewart외 1명|arXiv (Cornell University)|2012. 01. 11.

Algorithms and Data Compression참고 문헌 22인용 수 16

한 줄 요약

이 논문은 다변수 단조 확률 다항식 방정식계(PPS)의 최소고정점(LFP) 해를 다항시간 알고리즘으로 근사하는 방법을 제시한다. 이는 다중형 브랜치 프로세스와 스토케스틱 컨텍스트프리 문법(SCFG)의 핵심 문제들과 등가이다. 저자들은 뉴턴의 방법을 적용하고, 새로운 수렴 분석을 통해 LFP가 체계의 인코딩 크기와 log(1/ε)에 다항적인 시간 내에 덧셈 오차 ε 이내로 근사 가능하다는 것을 증명한다.

ABSTRACT

We show that one can approximate the least fixed point solution for a multivariate system of monotone probabilistic polynomial equations in time polynomial in both the encoding size of the system of equations and in log(1/ε), where ε> 0 is the desired additive error bound of the solution. (The model of computation is the standard Turing machine model.) We use this result to resolve several open problems regarding the computational complexity of computing key quantities associated with some classic and heavily studied stochastic processes, including multi-type branching processes and stochastic context-free grammars.

연구 동기 및 목표

• 다중형 브랜치 프로세스의 멸종 확률과 스토케스틱 컨텍스트프리 문법(SCFG)의 종료 확률을 다항시간 내에 계산하는 데 오랫동안 미해결된 문제를 해결한다.
• 이러한 확률 모델에서 핵심 확률을 다항시간 내에 근사하는 계산 복잡도를 규명하며, 이는 이전에 다항시간 내로 해결 가능하다는 게 알려지지 않은 상태였다.
• 다변수 단조 확률 다항식 방정식계의 최소고정점(LFP) 해가 임의의 원하는 덧셈 오차 이내로 다항시간 내에 해결 가능하다는 것을 입증한다.
• 확률이 유리수 임계값 r보다 큰지 또는 작은지 여부를 판단하는 결정 문제들이 PosSLP로 다항시간 환원 가능함을 보이며, 이는 이 문제들이 복잡도 클래스 P^{PosSLP}에 속함을 의미한다.

제안 방법

• 멸종 확률과 종료 확률 계산 문제를 단조 확률 다항식 방정식계(PPS): x = P(x)의 최소고정점(LFP)을 찾는 문제로 재구성한다.
• 매번 반복적으로 LFP를 근사하기 위해 뉴턴의 방법을 적용하며, 각 단계에서 행렬 역행렬과 벡터 갱신을 수행한다.
• 크래머의 법칙을 사용해 행렬 역행렬을 행렬의 행렬식 비율로 표현함으로써, 단위비용 램 모델에서 다항시간 산술 회로 계산이 가능하게 한다.
• 이중지수 수렴 속도에 기반한 정지 기준을 도입하여, O(log log(1/ε))회의 반복 후 오차가 ε 이내가 됨을 보장한다.
• 결정 문제(q_k^* > r 및 q_k^* < r)를 다항 크기의 산술 회로로 계산된 유리수 비교 문제로 환원한다. 이는 이미 알려진 복잡도 클래스 PosSLP에 속함을 의미한다.
• 앨리저 등이 제시한 기존 결과를 활용하여, 결정 문제가 PosSLP로 다항시간 다对다 환원 가능하다는 것을 보이며, 이는 문제들의 처리 가능성(tractability)을 입증한다.

실험 결과

연구 질문

• RQ1 다변수 단조 확률 다항식 방정식계의 최소고정점 해는 다항시간 내에 근사 가능할 수 있는가?
• RQ2 다중형 브랜치 프로세스에서 멸종 확률을 다항시간 내에 원하는 정밀도로 계산할 수 있는가?
• RQ3 스토케스틱 컨텍스트프리 문법(SCFG)에서 종료 확률은 효율적으로 근사 가능할 수 있으며, 이러한 확률이 주어진 임계값을 초과하는지 여부를 판단하는 데 필요한 계산 복잡도는 무엇인가?
• RQ4 PPS의 최소고정점이 주어진 유리수 r보다 큰지 또는 작은지 여부를 판단하는 문제의 복잡도는 무엇인가?
• RQ5 브랜치 프로세스와 SCFG에서 핵심 확률을 계산하거나 판단하는 문제들은 PosSLP와 같은 알려진 복잡도 클래스로 환원 가능한가?

주요 결과

• 모든 다변수 단조 확률 다항식 방정식계(PPS)의 최소고정점(LFP)은 체계의 인코딩 크기와 log(1/ε)에 다항적인 시간 내에 덧셈 오차 ε 이내로 근사 가능하다.
• 알고리즘은 뉴턴의 방법을 사용하며, 이는 O(log log(1/ε))회의 반복으로 충분히 ε 정밀도를 확보하는 수렴 속도를 보인다.
• LFP 성분 q_k^*가 유리수 임계값 r보다 큰지 여부를 판단하는 결정 문제는 복잡도 클래스 P^{PosSLP}에 속하며, 마찬가지로 q_k^* < r인 경우에도 동일하다.
• q_k^* > r 및 q_k^* < r를 판단하는 문제들은 PosSLP로 다항시간 다대다 환원 가능하며, 이는 표준 복잡도 가정 하에 처리 가능함을 입증한다.
• 알고리즘은 표준 튜링 기계 모델에서 다항시간 내에 실행되며, 산술 연산은 다항 크기의 산술 회로를 통해 수행된다.
• 본 연구는 다중형 브랜치 프로세스와 SCFG에서 멸종 확률 및 종료 확률의 계산 복잡도에 대한 오랫동안 미해결된 문제를 해결한다.