[논문 리뷰] An Improved Algorithm for Dynamic Set Cover.

Sayan Bhattacharya, Monika Henzinger외 2명|arXiv (Cornell University)|2020. 02. 25.

Complexity and Algorithms in Graphs인용 수 5

한 줄 요약

이 논문은 최소 집합 커버 문제에 대한 결정적 동적 알고리즘을 제안하며, 근사 비율이 $(1+\epsilon)f$이고 업데이트 시간이 $O\left((f^2/\epsilon^3) + (f/\epsilon^2) \log C\right)$이며, 전체 원소 수 $m$과 집합의 수 $n$에 관계없이 적용 가능한 알고리즘이다. 이는 동적 정점 커버 및 집합 커버 알고리즘 기법을 융합한 정교한 동적 원본-이중 프레임워크를 활용하여 거의 최적의 업데이트 효율성을 달성한다.

ABSTRACT

We consider the minimum set cover problem in a dynamic setting. Here, we are given a universe of elements $\mathcal{U}$ and a collection of sets $\mathcal{S} \subseteq 2^{\mathcal{U}}$ as input, where each set $s \in \mathcal{S}$ has a cost $1/C 1$. The input keeps changing via a sequence of updates. Each update inserts/deletes an element in the universe, and specifies the sets in $§$ containing that element. The goal is to maintain a set cover of (approximately) minimum cost with as small update time as possible. Let $n$ denote the number of sets in $\mathcal{S}$, and let $m$ and $f$ respectively denote the maximum number of elements in the universe and the maximum frequency of an element across all the updates. This problem has received significant attention in recent years in the dynamic algorithms community. Gupta et al. [STOC `17] designed a deterministic $\Theta(\log m)$-approximation algorithm for this problem that has an update time of $O(f \log m)$. On the other hand, the line of work by Bhattacharya et al. [ICALP `15], Bhattacharya et al. [IPCO `17], Gupta et al. [STOC `17], Abboud et al. [STOC `19] and Bhattacharya et al. [FOCS `19] very recently led to a deterministic $(1+\epsilon)f$-approximation algorithm with $O(f \log (Cm)/\epsilon^2)$ update time. In this paper, we obtain the first dynamic algorithm for this problem with near-optimal approximation ratio whose update time is independent of $m, n$. Specifically, our algorithm is deterministic and it achieves an approximation ratio of $(1+\epsilon)f$ and an update time of $O\left((f^2/\epsilon^3)+(f/\epsilon^2) \log C ight)$. Our algorithm is based on the dynamic primal-dual framework, and it carefully combines the ideas from the dynamic vertex cover algorithm of Bhattacharya and Kulkarni [SODA `19] and the dynamic set cover algorithm of Bhattacharya et al. [FOCS `19].

연구 동기 및 목표

• 이론적 최적에 가까운 근사 비율, 특히 $(1+\epsilon)f$를 가지면서도 업데이트 시간을 최소화하는 동적 집합 커버 알고리즘을 설계하는 것.
• 업데이트 시간에서 전체 원소 수 $m$과 집합의 수 $n$에 대한 의존성을 제거하여 거의 최적의 효율성을 달성하는 것.
• 이전의 동적 알고리즘들이 $m$ 또는 $n$에 따라 업데이트 시간이 증가하거나 더 높은 근사 비율을 가졌던 점을 개선하는 것.
• 요소 삽입 및 삭제가 발생하는 동안 효율적인 업데이트를 통해 저비용 집합 커버를 유지하는 결정적 알고리즘을 개발하는 것.

제안 방법

• 알고리즘은 동적 원본-이중 프레임워크를 활용하여 이중 변수를 유지하고 삽입 및 삭제 시 효율적으로 갱신한다.
• Bhattacharya와 Kulkarni의 동적 정점 커버 알고리즘 기법을 통합하여 이중 변수 조정을 안정적이고 효율적으로 관리한다.
• Bhattacharya 등(FOCS '19)의 동적 집합 커버 프레임워크를 변형하여 업데이트 시간에서 $m$과 $n$에 대한 의존도를 감소시킨다.
• 필요한 경우에만 이중 변수를 갱신하는 청구 체계를 사용하여 각 업데이트당 연산 수를 최소화한다.
• 필수 근사 비율을 달성하기 위해 이중 변수의 증가와 원본 해의 유지 보수 사이를 신중하게 균형 잡는다.
• 최적 집합 커버의 이중 해에 대해 $(1+\epsilon)$-근사인 이중 해를 유지함으로써 원본 해의 품질을 보장한다.

실험 결과

연구 질문

• RQ1 결정적 동적 집합 커버 알고리즘이 $m$과 $n$에 관계없이 $(1+\epsilon)f$ 근사 비율을 달성하고 업데이트 시간이 독립적인가?
• RQ2 동적 원본-이중 프레임워크를 어떻게 정교화하여 $m$에 대한 의존성을 제거하면서도 낮은 업데이트 비용을 유지할 수 있는가?
• RQ3 기존의 동적 정점 커버 및 집합 커버 기법에 어떤 수정을 가해야 동적 집합 커버에서 업데이트 효율이 향상되는가?
• RQ4 요소 삽입 및 삭제가 반복되는 동적 환경에서 $O(f^2/\epsilon^3 + f/\epsilon^2 \log C)$ 업데이트 시간으로 거의 최적의 집합 커버를 유지할 수 있는가?

주요 결과

• 알고리즘은 $(1+\epsilon)f$-근사 비율을 달성하며, 동적 집합 커버 문제에서 알려진 최고의 근사 보장과 일치한다.
• 업데이트 시간은 $O\left((f^2/\epsilon^3) + (f/\epsilon^2) \log C\right)$이며, 이는 $m$과 $n$에 관계없이 적용되며, 이는 이전 방법에 비해 상당한 개선이다.
• 알고리즘은 결정적이라 무작위화로 인한 최악의 경우 성능 변동을 피할 수 있다.
• 업데이트 시간이 전체 원소 수 $m$이나 집합의 수 $n$에 비례하지 않아, 대규모 동적 환경에 적합하다.
• 정점 커버와 집합 커버에서 유래한 동적 원본-이중 기법을 성공적으로 융합하여 낮은 근사 비율과 효율적인 업데이트 시간을 동시에 달성했다.