[논문 리뷰] Submodular approximation: sampling-based algorithms and lower bounds

Zoya Svitkina, Lisa Fleischer|arXiv (Cornell University)|2008. 05. 07.

Complexity and Algorithms in Graphs참고 문헌 37인용 수 71

한 줄 요약

이 논문은 하중 균형, 희소 컷, 균형 잡힌 컷과 같은 하위모듈러 최적화 문제를 위한 샘플링 기반 알고리즘을 제안하며, $ olimits\sqrt{n/\ln n}$ 정도의 근사 보장을 달성하고, 이에 대응하는 하한을 증명하여 다항 쿼리 근사의 본질적 한계로 설정한다. 또한 하위모듈러 함수를 전역적으로 근사하는 데 있어 향상된 하한을 제공하고, 더 엄격한 근사가 가능한 구조적 조건을 규명한다.

ABSTRACT

We introduce several generalizations of classical computer science problems obtained by replacing simpler objective functions with general submodular functions. The new problems include submodular load balancing, which generalizes load balancing or minimum-makespan scheduling, submodular sparsest cut and submodular balanced cut, which generalize their respective graph cut problems, as well as submodular function minimization with a cardinality lower bound. We establish upper and lower bounds for the approximability of these problems with a polynomial number of queries to a function-value oracle. The approximation guarantees for most of our algorithms are of the order of sqrt(n/ln n). We show that this is the inherent difficulty of the problems by proving matching lower bounds. We also give an improved lower bound for the problem of approximately learning a monotone submodular function. In addition, we present an algorithm for approximately learning submodular functions with special structure, whose guarantee is close to the lower bound. Although quite restrictive, the class of functions with this structure includes the ones that are used for lower bounds both by us and in previous work. This demonstrates that if there are significantly stronger lower bounds for this problem, they rely on more general submodular functions.

연구 동기 및 목표

• 간단한 목표 함수를 일반 하위모듈러 함수로 대체함으로써 고전적인 컴퓨터 과학 문제들—예: 하중 균형, 그래프 컷, 분할 배낭 문제—을 일반화하기.
• 함수 값 오라클에 대한 다항 수의 쿼리만을 사용하여 이러한 일반화된 문제들의 근사 가능성 연구하기.
• 다항 시간 내에 달성 가능한 근사 비율에 대한 엄밀한 상한과 하한 설정하기.
• 특히 단조성과 이분 구조 조건 하에서, 하위모듈러 함수를 전역적으로 근사하는 데 있어 극한을 탐색하기.
• 일반적인 $\sqrt{n/\ln n}$ 장벽을 초월해 더 나은 근사 보장을 가능하게 하는 구조적 조건 규명하기.

제안 방법

• 하위모듈러 함수 오라클을 쿼리하여 $ olimits\sqrt{n/\ln n}$ 정도의 보장을 갖는 근사 해를 구성하는 샘플링 기반 알고리즘 설계하기.
• 격자에서 $K$-편향 및 $L$-편향 보행을 사용하여 하위모듈러 함수의 경로를 따라 행동을 분석하고, 하위모듈러성과 볼록성의 특성을 활용하기.
• 연속적인 $K$-단계와 $L$-단계를 적용하여 개별 함수 증분의 기여도를 제한하고, $K$-단계가 총 증가량의 일정한 비율을 차지함을 증명하기.
• 더 엄격한 하한을 도출하기 위해 두 부분구조(2P) 함수 구조로의 감소를 적용하여, 더 강력한 하한을 위해서는 더 일반적인 하위모듈러 함수가 필요함을 보여주기.
• 비율 $K/L$ 기반의 귀납법과 부등식을 사용하여, 보행 시퀀스에서 균형 잡힌 쌍이 하위모듈러 조건을 유지함을 증명하기.
• $(0,0)$에서 $(k,l)$로의 경로를 따라 함수 값을 분석하고, 볼록성과 하위모듈러성을 활용하여 $F(n)$ 기반으로 $f(k,0)$와 $f(0,l)$의 하한을 도출하기.

실험 결과

연구 질문

• RQ1 함수 값 오라클에 대한 다항 수의 쿼리만을 사용할 때, 하위모듈러 하중 균형, 하위모듈러 희소 컷, 하위모듈러 균형 잡힌 컷 문제에서 달성 가능한 최고의 근사 비율은 무엇인가?
• RQ2 카디널리티 제약 조건이 있는 하위모듈러 최소화 문제에서 $\sqrt{n/\ln n}$ 근사 비율을 향상시킬 수 있는가?
• RQ3 일반적인 $\sqrt{n/\ln n}$ 장벽을 초월해 더 나은 근사가 가능한 하위모듈러 함수의 구조적 클래스가 존재하는가?
• RQ4 오라클 쿼리만을 사용하여 하위모듈러 함수를 전역적으로 근사하는 데 있어 본질적인 제약은 무엇인가?
• RQ5 특히 단조성 또는 이분 구조 조건 하에서 하위모듈러 함수 근사에 대해 더 엄격한 하한을 설정할 수 있는가?

주요 결과

• 논문은 하위모듈러 하중 균형, 하위모듈러 희소 컷, 하위모듈러 균형 잡힌 컷 문제에서 $\sqrt{n/\ln n}$가 엄밀한 근사 비율임을 규명하며, 상한과 하한이 모두 이를 충족함을 증명한다.
• 이 $\sqrt{n/\ln n}$ 한계는 일반 하위모듈러 함수에 대해 본질적이며, 이에 비해 더 나은 성능을 내는 다항 쿼리 알고리즘이 존재하지 않음을 증명한다.
• 하위모듈러 함수를 전역적으로 근사하는 문제에 대해, 논문은 새로운 하한을 제시하며, 심지어 단조 함수라도 최악의 경우 $\Omega(\sqrt{n/\ln n})$ 이내로만 근사 가능하다는 것을 보여준다.
• 두 부분구조(2P) 함수의 경우, $f(S)$가 $|S \cap R|$과 $|S \cap \bar{R}|$에만 의존하는 경우, $\sqrt{n/\ln n}$ 하한에 가까운 근사 보장을 달성할 수 있음을 보여준다.
• 결과적으로, 하위모듈러 함수 근사에 대해 더 강력한 하한을 확보하기 위해서는 2P 클래스를 초월한 더 일반적인 하위모듈러 함수에 의존해야 한다는 것을 암시한다.
• 분석은 $\sqrt{n/\ln n}$ 장벽이 하위모듈러성, 볼록성, 오라클 쿼리 시퀀스의 구조 간 상호작용에서 기인함을 입증한다.