그래프 컷을 최대 곱 알고리즘으로 해석하기

초록

**
이 논문은 이진 서브모듈러 에너지 함수에 대해 그래프 컷과 최대‑곱 신념 전파(MP)가 특정 메시지 스케줄링과 댐핑 방식을 적용하면 동일한 알고리즘이 됨을 증명한다. 기존의 반례는 비최적 스케줄링에 의한 것이며, 올바른 선택을 하면 MP는 항상 최적 해에 수렴한다.

**

상세 분석

**
본 연구는 이진 변수와 서브모듈러(즉, 판별 가능한) 에너지 함수를 갖는 그래프 모델에서 MAP 추론을 수행하는 두 대표적 방법, 즉 그래프 컷(Graph Cuts)과 최대‑곱 신념 전파(Max‑Product Belief Propagation, 이하 MP)의 관계를 심층적으로 탐구한다. 서브모듈러 조건 Θ_ij(0,0)+Θ_ij(1,1) ≤ Θ_ij(0,1)+Θ_ij(1,0) 을 만족하면 에너지 함수를 표준 형태