[논문 리뷰] Fully Dynamic Set Cover - Improved and Simple.

Raghavendra Addanki, Barna Saha|arXiv (Cornell University)|2018. 04. 09.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 f(1+ε)-근사 보장을 갖는 첫 번째 완전 동적 무게 없는 집합 커버 알고리즘을 제안하며, O(f log n / ε)의 평균 갱신 시간을 달성한다. 이는 무작위성을 입력에서 알고리즘으로 옮기는 새로운 방식을 통해 단순한 오프라인 알고리즘을 재해석함으로써 이루어지며, 동적 갱신 하에서 효율적이고 거의 최적의 집합 커버 유지가 가능하다.

ABSTRACT

In this paper, we revisit the unweighted set cover problem in the fully dynamic setting. In contrast to the offline setting where a static set of $n$ elements need to be covered using minimum number of sets from a family $\mathcal{F}$, here elements to be covered change over time and can be inserted and deleted. The goal is to maintain a close to optimal set cover solution at every time step while minimizing the update time. In the offline setting, several textbook algorithms exist from early eighties that give a factor $f$ approximation algorithm for set cover where $f$ is the maximum frequency of an element. Whereas, in the dynamic setting, even today, there does not exist a factor $O(f)$-approximation algorithm for set cover, except for when $f=2$ (the special case of unweighted vertex cover). The best approximation bound known for dynamic set cover is $O(f^2)$ [Bhattacharya et al. ICALP 2015] with an amortized update time of $O(f\log{n})$. Subsequent works get an $O(f^2)$ amortized update time but with a worse approximation factor of $O(f^3)$ [Gupta et al., STOC 2017; Bhattacharya et al., IPCO 2017]. In this paper, we give the first $f(1+\epsilon)$-approximation algorithm for the fully dynamic unweighted set cover problem for any $\epsilon >0$. An important contribution of this work lies in its conceptual simplicity. First, we take one of the simplest possible deterministic algorithms for the offline set cover and show that it achieves a factor $f(1+\epsilon)$-approximation in $O(\frac{f}{\epsilon})$ expected amortized time when deletions are randomly ordered. Next to handle any sequence of updates, we transfer the randomness to the algorithm instead. This recipe of switching the role of randomness turns out to be extremely useful. We get the first $f(1+\epsilon)$-approximation in $O(\frac{f\log{n}}{\epsilon})$ amortized update time on expectation and with high probability.

연구 동기 및 목표

• 완전 동적 무게 없는 집합 커버에 대해 f(1+ε)의 거의 최적의 근사 요소를 달성함으로써 오랫동안 지속된 동적 집합 커버 알고리즘의 격차를 메운다.
• 이전 연구들이 O(f²) 또는 O(f³) 근사 보장과 더 나쁜 갱신 시간을 기록한 데서 비롯된 제약을 극복한다.
• 알고리즘 설계에서 무작위성을 재해석함으로써 단순하고 결정적인 알고리즘을 설계하며, 강력한 이론적 보장을 확보한다.
• 기대값과 높은 확률 모두에서 효율적인 갱신 시간을 달성하여, 동적 환경에서 실용적인 솔루션이 되도록 한다.

제안 방법

• 가장자리가 가장 많은 미커버드 요소를 커버하는 집합을 탐욕적으로 선택하는 단순한 결정적 오프라인 집합 커버 알고리즘을 기반으로 한다.
• 삭제 순서가 무작위로 정렬될 경우 이 알고리즘이 f(1+ε)-근사 보장을 달성함을 확률적 분석을 통해 증명한다.
• 무작위성을 입력(삭제 순서)에서 알고리즘으로 이동시키기 위해 선택 과정을 무작위화하는 기법을 도입한다.
• 무작위 반올림과 샘플링을 사용하여 무작위 삭제 순서의 영향을 시뮬레이션함으로써, 임의의 갱신 시퀀스에서도 안정성을 확보한다.
• 미커버드 요소와 집합 빈도를 추적하는 동적 데이터 구조를 유지함으로써 효율적인 갱신을 가능하게 한다.
• 집중도 한계와 마틴게일 추론을 적용하여 기대값과 높은 확률에서의 갱신 시간을 O(f log n / ε)로 제한한다.

실험 결과

연구 질문

• RQ1 간단한 결정적 오프라인 집합 커버 알고리즘을 완전 동적 환경에 적응시켜 f(1+ε)-근사 보장을 달성할 수 있는가?
• RQ2 무작위화된 삭제 순서가 탐욕적 집합 커버 알고리즘의 근사 품질에 어떤 영향을 미치는가?
• RQ3 무작위성을 입력에서 알고리즘으로 효과적으로 이동시켜, 임의의 갱신 시퀀스에서도 성능 보장을 유지할 수 있는가?
• RQ4 완전 동적 집합 커버에서 거의 최적의 근사 요소와 효율적인 갱신 시간을 동시에 달성할 수 있는가?
• RQ5 완전 동적 갱신 하에서 f(1+ε)-근사 해를 유지하기 위해 필요한 최소 갱신 시간은 얼마인가?

주요 결과

• 제안된 알고리즘은 완전 동적 무게 없는 집합 커버에 대해 f(1+ε)-근사 보장을 달성하며, 이는 이전 최고 성능인 O(f²)보다 향상된 것이다.
• 알고리즘은 기대값과 높은 확률 모두에서 O(f log n / ε)의 평균 갱신 시간을 가지며, 이는 이전의 O(f²) 갱신 시간보다 크게 향상된 것이다.
• 핵심 통찰은 무작위성을 입력(삭제 순서)에서 알고리즘으로 이동시킴으로써, 임의의 갱신 시퀀스에서도 안정적인 성능을 유지할 수 있다는 것이다.
• 분석 결과, 선택 과정을 무작위화한 단순한 탐욕 알고리즘은 악의적인 갱신 순서 하에서도 거의 최적성을 유지함을 보여준다.
• 복잡한 데이터 구조나 히ュ리스틱 기법에 의존하지 않고도 강력한 근사 보장과 효율적인 갱신 시간을 동시에 달성한다.
• 이 결과는 오랫동안 지속된 동적 집합 커버의 격차를 메우며, f에 대해 제곱 이하의 갱신 시간을 갖는 첫 번째 f(1+ε)-근사 보장 솔루션을 제공한다.