[논문 리뷰] Submodularity on a tree: Unifying $L^ atural$-convex and bisubmodular functions

Vladimir Kolmogorov|arXiv (Cornell University)|2010. 07. 07.

Complexity and Algorithms in Graphs참고 문헌 31인용 수 4

한 줄 요약

이 논문은 루트가 있는 이진 트리의 노드를 도메인으로 가지는 변수들에 대해 트리 구조에서 유도된 특정 연산 $\nabla$ 와 $\nabla$ 를 사용해 정의된 새로운 함수 클래스인 강한 트리-하위모odu라 함수를 소개한다. 저자들은 무로타의 $L^{\natural}$-볼록 함수를 위한 기울기 강하 알고리즘과 이분하위모듈라 최소화 기법을 융합한 다항시간 알고리즘을 제시하며, 이 클래스에 대해 최소화가 다항시간 내에 가능하다는 것을 증명한다. 이는 $L^{\natural}$-볼록 함수와 이분하위모듈라 함수를 통합하고 일반화하는 것이다.

ABSTRACT

We introduce a new class of functions that can be minimized in polynomial time in the value oracle model. These are functions $f$ satisfying $f(x)+f(y)\ge f(x \sqcap y)+f(x \sqcup y)$ where the domain of each variable $x_i$ corresponds to nodes of a rooted binary tree, and operations $\sqcap,\sqcup$ are defined with respect to this tree. Special cases include previously studied $L^ atural$-convex and bisubmodular functions, which can be obtained with particular choices of trees. We present a polynomial-time algorithm for minimizing functions in the new class. It combines Murota's steepest descent algorithm for $L^ atural$-convex functions with bisubmodular minimization algorithms.

연구 동기 및 목표

• 루트가 있는 이진 트리의 도메인과 트리에서 유도된 연산을 사용해 $L^{\natural}$-볼록 함수와 이분하위모듈라 함수를 통합하는 공통 프레임워크를 제공하는 것.
• 루트가 있는 이진 트리의 레이블을 가진 변수들에 대해 트리 연산 $\nabla$ 와 $\nabla$ 를 기반으로 하는 새로운 함수 클래스인 강한 트리-하위모듈라 함수를 정의하는 것.
• 값 오рак루 모델에서 이러한 함수를 최소화하기 위한 다항시간 알고리즘을 제시하는 것.
• 기존의 다항시간으로 최소화 가능한 이산 함수 클래스의 범위를 래티스와 체인을 초월한 연산으로 확장하는 것.

제안 방법

• 각 변수의 도메인에 대해 루트가 있는 이진 트리를 정의하고, 노드를 레이블로 사용하며 조상 기반 부분 순서를 정의한다.
• 두 노드 사이의 경로를 이용해 성분별 연산 $\nabla$ 와 $\nabla$ 를 도입한다: $\nabla$ 와 $\nabla$ 는 $a$ 와 $b$ 사이의 경로 상의 두 중간 노드(또는 그들의 바닥/최소값)이며, $\nabla$ 는 조상이 되도록 한다.
• 강한 트리-하위모듈라 조건을 제시한다: 모든 $\mathbf{x}, \mathbf{y}$ 에 대해 $f(\mathbf{x}) + f(\mathbf{y}) \geq f(\mathbf{x} \nabla \mathbf{y}) + f(\mathbf{x} \nabla \mathbf{y})$.
• 무로타의 $L^\natural$-볼록 함수를 위한 기울기 강하 알고리즘을 변형하고 이분하위모듈라 최소화 기법과 융합한다.
• 해당 알고리즘이 강한 트리-하위모듈라 함수를 $n$ 과 $\max_i |D_i|$ 에 대해 다항시간 내에 최소화함을 증명한다.
• 만남($\wedge$)과 합($\vee$) 연산을 사용해 약한 트리-하위모듈라 함수로 프레임워크를 확장하고, 그림 1(d)와 같은 특정 트리 구조에서의 다항시간 최소화 가능성을 보여준다.

실험 결과

연구 질문

• RQ1 루트가 있는 이진 트리의 도메인과 트리에서 유도된 연산을 사용해 $L^\natural$-볼록 함수와 이분하위모듈라 함수를 통합할 수 있는가?
• RQ2 루트가 있는 이진 트리에서 강한 트리-하위모듈라 조건을 만족하는 함수의 최소화를 위한 다항시간 알고리즘이 존재하는가?
• RQ3 기저 트리가 비이진(즉, 세 개 이상의 자식을 가진 노드 포함)일 경우, 강한 트리-하위모듈라 함수의 최소화 복잡도는 어떻게 되는가?
• RQ4 사슬과 다이아몬드 모양 트리(그림 1(c)) 이외의 추가적인 트리 구조에서 약한 트리-하위모듈라 함수를 효율적으로 최소화할 수 있는가?
• RQ5 래티스, 트리, 그리고 그 조합에서 유도된 연산에 대해 최소화의 다항시간 가능성을 특성화할 수 있는가?

주요 결과

• 강한 트리-하위모듈라 함수 클래스는 $L^\natural$-볼록 함수와 이분하위모듈라 함수를 일반화하며, 첫 번째 경우는 체인 형태의 트리에서 유도되고, 두 번째 경우는 특정한 세 노드 트리에서 유도된다.
• 강한 트리-하위모듈라 함수의 최소화를 위한 다항시간 알고리즘을 제시하며, 무로타의 기울기 강하 알고리즘과 이분하위모듈라 최소화 기법을 융합한다.
• 알고리즘은 $n$ 과 $\max_i |D_i|$ 에 대해 다항시간 내에 실행되며, 새로운 클래스의 다항시간 최소화 가능성을 입증한다.
• 논문은 강한 트리-하위모듈라 조건이 약한 트리-하위모듈라 조건를 함의함을 증명하며, 용어 사용의 타당성을 뒷받침한다.
• 약한 트리-하위모듈라 함수의 경우, 각 노드가 루트와 두 개의 리프 노드를 깊이 $K$ 에 가진 새로운 트리 구조(그림 1(d))에서 다항시간 최소화 가능성을 보이며, 부호화된 링 가족으로의 러핑 기법을 사용한다.
• 프레임워크는 트리 및 래티스 기반 연산으로의 다항시간 최소화가 확장될 수 있음을 시사하지만, 전체 특성화는 아직 열려 있다.