[논문 리뷰] Improved approximation algorithms for k-submodular function maximization

Satoru Iwata, Shin‐ichi Tanigawa외 1명|arXiv (Cornell University)|2016. 01. 10.

Complexity and Algorithms in Graphs참고 문헌 18인용 수 23

한 줄 요약

이 논문은 비음수 k-서브모듈라 함수의 최대화를 위한 다항시간 1/2-근사 알고리즘을 제시하며, 이는 이전까지의 최선의 근사 비율 max{1/3, 1/(1 + a)}을 향상시킨다. 단조성 k-서브모듈라 함수에 대해서는 k/(2k−1)-근사 알고리즘을 제안하고, ((k+1)/2k + ε)-근사 비율을 초월하는 것은 지수적으로 많은 쿼리가 필요하다는 것을 증명하여, 알고리즘이 점점 더 날카로운 상한임을 보여준다.

ABSTRACT

This paper presents a polynomial-time 1/2-approximation algorithm for maximizing nonnegative k-submodular functions. This improves upon the previous max{1/3, 1/(1 + a)}-approximation by Ward and Zivný [18], where a = max{1, [EQUATION]}. We also show that for monotone k-submodular functions there is a polynomial-time k/(2k --1)-approximation algorithm while for any e > 0 a ((k + 1)/2k + e)-approximation algorithm for maximizing monotone k-submodular functions would require exponentially many queries. In particular, our hardness result implies that our algorithms are asymptotically tight.We also extend the approach to provide constant factor approximation algorithms for maximizing skewbisubmodular functions, which were recently introduced as generalizations of bisubmodular functions.

연구 동기 및 목표

• 비음수 k-서브모듈라 함수 최대화를 위한 다항시간 근사 알고리즘을 개발하여 이전 방법보다 더 높은 근사 비율을 확보하는 것.
• 쿼리 복잡도 하한을 증명하여 단조성 k-서브모듈라 함수 최대화의 최적 근사 경계를 확립하는 것.
• 최근에 도입된 이중서브모듈라 함수의 일반화인 왜곡-이중서브모듈라 함수로 알고리즘 프레임워크를 확장하는 것.
• 모든 (k+1)/(2k) + ε 근사 비율을 달성하는 데에는 지수적인 쿼리 접근이 필요하다는 점을 보여 주어 제안된 알고리즘이 점점 더 날카로운 최적성임을 입증하는 것.

제안 방법

• 경계 증가의 철저한 분석을 통한 탐욕적 선택 전략을 사용하여 비음수 k-서브모듈라 함수에 대해 다항시간 1/2-근사 비율을 달성하는 새로운 알고리즘을 설계한다.
• 단조성의 구조적 특성을 활용하여 단조성 k-서브모듈라 함수에 대해 k/(2k−1)-근사 비율을 달성하는 전용 알고리즘을 제안한다.
• 모든 알고리즘이 단조성 k-서브모듈라 함수에 대해 ((k+1)/2k + ε)-근사 비율을 달성하려면 최악의 경우에 지수적으로 많은 쿼리가 필요하다는 점을 증명하기 위해 쿼리 복잡도 분석을 활용한다.
• 일반화된 서브모듈라 구조를 반영하여 왜곡-이중서브모듈라 함수에 대해 프레임워크를 확장한다.
• 확률론적 및 조합적 분석을 통해 근사 비율을 한계화하고 기존의 난이도 결과로의 감소를 통해 최적성의 엄밀함을 확립한다.
• 비단조성 및 단조성 설정에 모두 적용하여 함수의 성질에 따라 알고리즘 설계를 구분한다.

실험 결과

연구 질문

• RQ1 비음수 k-서브모듈라 함수 최대화에 대해, 이전의 최선의 비율 max{1/3, 1/(1 + a)}을 초월하는 다항시간 알고리즘이 존재하는가?
• RQ2 단조성 k-서브모듈라 함수 최대화에 대해 다항시간 내에서 달성 가능한 최고의 근사 비율은 무엇인가?
• RQ3 단조성 k-서브모듈라 최대화에 대해 ((k+1)/(2k) + ε)-근사 비율을 초월하는 것은 본질적인 쿼리 복잡도 장벽이 존재하는가?
• RQ4 k-서브모듈라 함수에 대한 근사 프레임워크를 왜곡-이중서브모듈라 함수로 확장할 수 있는가?
• RQ5 제안된 알고리즘은 근사 비율과 쿼리 복잡도 측면에서 점점 더 날카로운 최적성인가?

주요 결과

• 논문은 비음수 k-서브모듈라 함수 최대화에 대해 1/2-근사 비율을 달성하여 이전까지의 최선 비율 max{1/3, 1/(1 + a)}을 향상시켰다.
• 단조성 k-서브모듈라 함수에 대해 제안된 알고리즘이 k/(2k−1)-근사 비율을 달성하며, 이는 다항시간 내에서 달성 가능한 최고의 비율이다.
• 논문은 단조성 k-서브모듈라 함수에 대해 ((k+1)/2k + ε)-근사 비율을 달성하는 모든 알고리즘이 지수적으로 많은 쿼리가 필요하다는 것을 증명하여, k/(2k−1) 비율의 최적성임을 입증한다.
• 근사 프레임워크는 왜곡-이중서브모듈라 함수로 성공적으로 확장되어 일정 요소 근사 알고리즘을 도출한다.
• 하드네스 결과는 제안된 알고리즘이 점점 더 날카로운 최적성임을 시사하며, 지수적인 쿼리 접근 없이는 향상이 불가능하다는 것을 의미한다.
• 결과는 비단조성과 단조성 k-서브모듈라 함수의 근사 가능성 사이에 명확한 분리를 확립하며, 동일한 쿼리 제약 조건 하에서 후자의 경우 더 높은 근사 비율이 가능하다는 것을 보여준다.