[논문 리뷰] Maximization of Approximately Submodular Functions

Thibaut Horel, Yaron Singer|arXiv (Cornell University)|2024. 11. 17.

Complexity and Algorithms in Graphs참고 문헌 25인용 수 65

한 줄 요약

본 논문은 카디널리티 제약 하에서 epsilon-근사적으로 서브모듐한 함수들을 최대화하는 문제를 연구하고, 질의 복잡도에 대한 하한을 제시하며 상수-인자 근사를 위한 조건을 식별한다.

ABSTRACT

We study the problem of maximizing a function that is approximately submodular under a cardinality constraint. Approximate submodularity implicitly appears in a wide range of applications as in many cases errors in evaluation of a submodular function break submodularity. Say that $F$ is $\varepsilon$-approximately submodular if there exists a submodular function $f$ such that $(1-\varepsilon)f(S) \leq F(S)\leq (1+\varepsilon)f(S)$ for all subsets $S$. We are interested in characterizing the query-complexity of maximizing $F$ subject to a cardinality constraint $k$ as a function of the error level $\varepsilon>0$. We provide both lower and upper bounds: for $\varepsilon>n^{-1/2}$ we show an exponential query-complexity lower bound. In contrast, when $\varepsilon< {1}/{k}$ or under a stronger bounded curvature assumption, we give constant approximation algorithms.

연구 동기 및 목표

• epsilon-근사적으로 서브모듀얼 함수의 최대화를 카디널리티 제약 하에서 문제를 동기부여하고 형식화한다.
• 일반 및 특수 함수 클래스에 대해 ε의 오차 수준에 따른 질의 복잡도 대치를 특징짓는다.
• 근사 서브모듈성에 대해 상수-인자 근사가 가능하고(그리고 엄밀한 경우) 조건을 식별한다.

제안 방법

• epsilon-근사적으로 서브모듀얼한 함수 F를 (1-ε)f(S) ≤ F(S) ≤ (1+ε)f(S)를 만족하는 서브모듈 대표 f를 통해 정의한다.
• ε ≥ n^{-1/2}일 때 일반 단조 서브모듯 함수에 대해 지수적 질의-복잡도 하한을 도출한다(정리 3) 및 ε ≥ n^{-1/3}일 때 커버리지 함수에 대해서도 하한을 도출한다(정리 4).
• 긍정적 결과를 증명한다: ε ≤ δ/k일 때 탐욕 알고리즘이 (1-1/e - O(δ))를 달성하고(정리 5), 한정된 곡률 c 하에서 알고리즘은 (1-c)((1-ε)/(1+ε))^2를 달성한다.
• 보정: ε = 1/k일 때 탐욕 알고리즘이 상수-근사를 보장하지 못한다는 것이 최적성임을 보인다(진술 6).
• 결과를 매트로이드 제약으로 확장하고 노이즈 모델 및 PMAC 학습에 대한 시사점을 논의한다.

실험 결과

연구 질문

• RQ1 카디널리티 제약 하에서 ε-근사적으로 서브모듀얼 함수를 최대화하는 질의 복잡도는 얼마인가?
• RQ2 ε가 작거나 추가 구조(예: 한정된 곡률)가 주어지면 상수-인자 근사가 존재하는가?
• RQ3 일반 단조 서브모듀럴과 커버리지 함수와 같은 구조화된 클래스 간의 하한 및 상한은 어떻게 다르게 나타나는가?
• RQ4 greedy 유사 알고리즘의 성능에 대해 ε가 k에 대해 어떤 영향을 미치는가?
• RQ5 카디널리티 제약을 넘어 매트로이드 제약에도 결과를 확장할 수 있는가?

주요 결과

• ε ≥ n^{-1/2}인 일반 단조 서브모듀럴 경우 질의 복잡도에 대한 지수적 하한이 성립한다.
• ε ≥ n^{-1/3}인 커버리지 함수에 대해서도 질의 복잡도 하한이 성립한다.
• ε ≤ δ/k일 때(임의의 고정된 δ ∈ (0,1)) 탐욕 알고리즘은 상수-근사를 얻고, δ→0에 따라 비율이 1-1/e에 근접한다.
• 한정된 곡률 c 하에서 어떤 ε에 대해도 상수 근사(1-c)((1-ε)/(1+ε))^2를 달성하는 알고리즘이 존재한다.
• 탐욕 알고리즘의 ε = 1/k 임계값은 상수-근사 보장에 대해 최적성으로, 더 큰 ε에 대해서는 성능이 상수가 되지 않는다.
• 결과는 비슷한 상수를 갖는 매트로이드 제약으로도 확장되며(탐욕 보장은 곱하기로 축소).