[논문 리뷰] Set Cover in Sub-linear Time

Piotr Indyk, Sepideh Mahabadi외 3명|arXiv (Cornell University)|2019. 02. 10.

Complexity and Algorithms in Graphs인용 수 3

한 줄 요약

이 논문은 집합 커버 문제에 대한 서브라인 타임 알고리즘을 연구하며, 거의 최적의 근사 보장을 달성하는 새로운 쿼리 기반 접근 방식을 제안한다. $\tilde{O}(m(n/k)^{1/(\alpha-1)} + nk)$ 쿼리가 $\alpha$-근사 커버를 위해 충분하다는 것을 보이며, 최적 커버 크기를 추정하기 위한 거의 매칭되는 하한선인 $\tilde{\Omega}(m(n/k)^{1/(2\alpha)})$ 도 제시한다. 이는 서브라인 영역에서도 성립한다.

ABSTRACT

We study the classic set cover problem from the perspective of sub-linear algorithms. Given access to a collection of $m$ sets over $n$ elements in the query model, we show that sub-linear algorithms derived from existing techniques have almost tight query complexities. On one hand, first we show an adaptation of the streaming algorithm presented in Har-Peled et al. [2016] to the sub-linear query model, that returns an $α$-approximate cover using $ ilde{O}(m(n/k)^{1/(α-1)} + nk)$ queries to the input, where $k$ denotes the value of a minimum set cover. We then complement this upper bound by proving that for lower values of $k$, the required number of queries is $ ildeΩ(m(n/k)^{1/(2α)})$, even for estimating the optimal cover size. Moreover, we prove that even checking whether a given collection of sets covers all the elements would require $Ω(nk)$ queries. These two lower bounds provide strong evidence that the upper bound is almost tight for certain values of the parameter $k$. On the other hand, we show that this bound is not optimal for larger values of the parameter $k$, as there exists a $(1+\varepsilon)$-approximation algorithm with $ ilde{O}(mn/k\varepsilon^2)$ queries. We show that this bound is essentially tight for sufficiently small constant $\varepsilon$, by establishing a lower bound of $ ildeΩ(mn/k)$ query complexity.

연구 동기 및 목표

• 입력에 대한 쿼리 액세스를 통해 서브라인 시간 내에 집합 커버 문제를 해결할 수 있는지의 가능성과 복잡도를 조사한다.
• 최소 집합 커버를 근사하기 위해 필요한 쿼리 수에 대한 거의 타이트한 상한과 하한을 확립한다.
• 특히 최적 커버 크기 $k$가 작거나 클 경우, 커버를 근사하는 것과 커버리지 확인을 분석하는 데 필요한 쿼리 복잡도를 분석한다.
• 작은 수의 정확히 선택된 교환을 통해 최소 집합 커버 크기를 $\alpha k$ 에서 $k$ 로 극적으로 줄일 수 있는 집합 시스템의 확률적 구성 기법을 개발하여, 서브라인 알고리즘에 대해 강력한 하한선을 도출한다.

제안 방법

• [17]에서 제안한 스트리밍 알고리즘을 서브라인 쿼리 모델에 적응시켜, 원소 소속성과 집합 소속성에 접근하기 위한 오라클 기반 액세스 모델(즉, EltOf 및 SetOf 오라클)을 사용한다.
• 작은 수의 정확히 선택된 교환을 통해 최소 집합 커버 크기를 $\alpha k$ 에서 $k$ 로 극적으로 줄일 수 있는 집합 시스템의 확률적 구성 기법을 설계한다. 이러한 변화는 많은 쿼리가 없이선 감지하기 어려운 흔들림을 야기한다.
• 요아의 원리를 적용하여, 두 개의 인스턴스 분포(예: Yes 및 No)를 구성함으로써 하한선을 증명한다. 이는 소수의 쿼리로는 통계적으로 구분하기 어려운 인스턴스들이다.
• 우산 모델 기반의 계층적 분석을 통해, 각 슬랩이 집합 시스템에 대한 잠재적 수정을 나타내는 바탕으로, 교환을 탐지할 확률을 근사한다.
• 적당한 상수 $\varepsilon$ 에 대해 $(1+\varepsilon)$-근사화에 대해 $\tilde{\Omega}(mn/k)$ 의 하한선을 확립하며, 이는 거의 타이트함을 보여준다.
• 주어진 집합 컬렉션이 모든 원소를 커버하는지 확인하는 것은 $\Omega(nk)$ 쿼리가 필요하다는 것을 증명한다. 이는 서브라인 시간 내에 기본적인 커버리지 확인 작업이 얼마나 어려운지 보여준다.

실험 결과

연구 질문

• RQ1 서브라인 시간 내에서 $\alpha$-근사 집합 커버를 계산하기 위해 필요한 최소 쿼리 수는 얼마인가?
• RQ2 최적 커버 크기 $k$ 가 큰 경우에 더 나은 쿼리 복잡도를 달성할 수 있는가?
• RQ3 커버를 구성하지 않더라도 최소 집합 커버 크기를 추정하기 위한 쿼리 복잡도는 얼마인가?
• RQ4 주어진 집합 컬렉션이 전체 유니버스를 커버하는지 서브라인 쿼리를 사용해 확인할 수 있는가?
• RQ5 서브라인 알고리즘에 대해 강력한 하한선을 증명하기 위해 어떤 확률적 구성 기법을 사용할 수 있는가?

주요 결과

• $\alpha$-근사 집합 커버는 $\widetilde{O}(m(n/k)^{1/(\alpha-1)} + nk)$ 쿼리를 사용하여 계산할 수 있으며, 이는 서브라인 모델에서 이 문제에 대해 알려진 최고의 상한선과 일치한다.
• 최적 커버 크기를 추정하기 위한 거의 매칭되는 하한선인 $\widetilde{\Omega}(m(n/k)^{1/(2\alpha)})$ 쿼리가 증명되었으며, 이는 크기만 필요할 때조차 성립한다.
• 커버 확인 문제—주어진 집합 컬렉션이 모든 원소를 커버하는지 확인하는 것—에는 $\Omega(nk)$ 쿼리가 필요하다. 이는 서브라인 시간 내에 기본적인 커버리지 확인 작업조차 어렵다는 것을 보여준다.
• 작은 상수 $\varepsilon$ 에 대해 $(1+\varepsilon)$-근사화에 대해 알고리즘은 $\widetilde{O}(mn/k\varepsilon^2)$ 쿼리가 필요하며, 이는 $\widetilde{\Omega}(mn/k)$ 의 하한선으로 인해 거의 타이트함을 보여준다.
• 최소 커버 크기를 $\alpha k$ 에서 $k$ 로 줄일 수 있는 작은 수의 교환을 포함한 하드 인스턴스의 확률적 구성 기법은, 많은 쿼리 없이선 변화를 감지할 수 없기 때문에 강력한 하한선을 도출하는 데 기여한다.
• 구조화된 집합 시스템에서 '거의 균일하게 분포된' 수정을 사용하는 기법은 다른 조합 최적화 문제에 대한 하한선 분석에 일반적으로 적용 가능한 프레임워크를 제공한다.