[논문 리뷰] Geometric Set Cover and Hitting Sets for Polytopes in $R^3$

Sören Laue|ArXiv.org|2008. 02. 20.

Computational Geometry and Mesh Generation참고 문헌 18인용 수 15

한 줄 요약

이 논문은 $$\mathbb{R}^3$$에서 다면체의 이동에 대한 기하 집합 커버 및 히팅 세트 문제에 대해 최초로 상수 요인 근사 알고리즘을 제시한다. 이 접근법은 다면체의 이동에 대해 크기 $$O(1/\epsilon)$$인 에psilon-넷을 구성하는 데 기반하며, 이는 가중치가 부여된 에psilon-넷 계산과 집합 커버 문제와 히팅 세트 문제 간의 이중성 덕분에 효율적인 근사화를 가능하게 한다.

ABSTRACT

Suppose we are given a finite set of points $P$ in $\R^3$ and a collection of polytopes $\mathcal{T}$ that are all translates of the same polytope $T$. We consider two problems in this paper. The first is the set cover problem where we want to select a minimal number of polytopes from the collection $\mathcal{T}$ such that their union covers all input points $P$. The second problem that we consider is finding a hitting set for the set of polytopes $\mathcal{T}$, that is, we want to select a minimal number of points from the input points $P$ such that every given polytope is hit by at least one point. We give the first constant-factor approximation algorithms for both problems. We achieve this by providing an epsilon-net for translates of a polytope in $R^3$ of size $\bigO(\frac{1{ε)$.

연구 동기 및 목표

• 고정된 다면체의 이동을 포함하는 3차원 기하 설정에서 집합 커버 및 히팅 세트 문제에 대한 효율적인 근사 알고리즘을 개발하는 것.
• 일반적으로 NP-난이도이며 임의의 설정에서는 근사가 어려운 이러한 문제들에 대해 상수 요인 근사를 달성하는 데 오랫동안 놓쳐온 과제를 해결하는 것.
• 3D에서 다면체의 이동에 대해 작은 에psilon-넷의 존재를 확립하여, 양 문제에 대해 상수 요인 근사를 가능하게 하는 것.
• 반드시 볼록적이거나 지방이 아닌 다면체를 포함한 3차원에서의 더 일반적인 경우인 비볼록, 비지방 다면체에 대해 이전에 알려진 반경, 반평면, 의사디스크 등의 단순 기하 객체에 대한 에psilon-넷 결과를 확장하는 것.

제안 방법

• 3D에서 다면체의 이동에 의해 유도된 집합 체계에 대해 크기 $$O(1/\epsilon)$$인 에psilon-넷을 구성하기 위해 문제를 $$\mathbb{R}^2$$에서의 비교상 객체 가족으로 환원하는 방식.
• 에psilon-넷 구성 기법을 활용하여 가중치가 부여된 에psilon-넷 계산을 통해 히팅 세트 문제에 대해 상수 요인 근사를 도출하는 것.
• 기본 집합 체계 $$(P, \mathcal{T})$$ 와 그 이중 $$(\mathcal{T}, P^*)$$ 간의 이중성을 이용하여 집합 커버 문제를 이중 체계에서의 히팅 세트 문제로 환원하는 것.
• 근사 보장을 $$O(1)$$로 보장하는 가중치 및 에psilon 값의 선형계획법 공식을 적용하여 히팅 세트를 계산하는 것.
• 마투셰크 등이 제안한 의사디스크에 대한 에psilon-넷 알고리즘의 일반화를 통해 다면체 이동으로 유도된 비교상 객체 설정으로 확장하는 것.
• 반복적인 가중치 두배 기법(브로니마르-고드워드 알고리즘) 또는 LP 기반 가중치 할당을 통해 상수 근사 비율을 갖는 히팅 세트를 찾는 것.

실험 결과

연구 질문

• RQ1 3D에서 다면체의 이동에 대해 집합 커버 문제에 대해 상수 요인 근사 알고리즘을 설계할 수 있는가?
• RQ2 비볼록적이거나 비지방적인 다면체의 이동에 대해 히팅 세트 문제도 상수 요인 근사를 갖는가?
• RQ3 3D에서 다면체의 이동에 의해 유도된 범위 공간에 대해 크기 $$O(1/\epsilon)$$의 에psilon-넷을 구성할 수 있는가?
• RQ4 기본 집합 체계가 다면체의 이동에 의해 유도될 때, 집합 커버와 히팅 세트 간의 이중성이 유지되는가?
• RQ5 3D에서 다면체의 이동에 대해 이중 집합 체계의 VC-차원은 얼마이며, 이는 여전히 유계인가?

주요 결과

• 3D에서 다면체의 이동에 의해 유도된 집합 체계에 대해 크기 $$O(1/\epsilon)$$인 에psilon-넷이 존재하며, 이는 상수 요인 범위 내에서 최적이다.
• 3D에서 다면체의 이동에 대해 히팅 세트 문제에 대해 다항시간 상수 요인 근사 알고리즘이 존재한다.
• 집합 커버 문제에 대해도 히팅 세트 문제와의 이중성 덕분에 3D에서 다면체의 이동에 대해 다항시간 상수 요인 근사 알고리즘이 존재한다.
• 3D에서 다면체의 이동에 의해 유도된 집합 체계의 이중 집합 체계 역시 다면체의 이동에 의해 유도되며, 기하적 구조가 유지된다.
• 에psilon-넷의 구성은 3D 문제를 2D의 비교상 객체로 환원하고 의사디스크에 대한 에psilon-넷 알고리즘의 일반화에 기반한다.
• 반평면 및 의사디스크에 대한 이전의 에psilon-넷 연구 결과를 비볼록적이거나 비지방적인 다면체를 포함한 3차원에서의 더 일반적인 경우로 확장한다.