[논문 리뷰] Being Fat and Friendly is Not Enough

Sariel Har-Peled|ArXiv.org|2009. 08. 17.

Computational Geometry and Mesh Generation참고 문헌 11인용 수 25

한 줄 요약

이 논문은 평면상의 점들을 최소 수의 둥근 모양, 유사 크기의 삼각형(최소 각도 약 45°)으로 덮는 문제에 대해, P=NP 가 아닌 한 $(1+\varepsilon)$-근사 알고리즘이 존재하지 않음을 증명한다. 이 결과는 이 기하적 집합 커버 문제에 대해 APX-난이도를 확립하며, 3차원 공간에서 삼각형의 독립 집합 문제로도 확장되어, 표준 복잡도 가정 하에 양안적 다항시간 근사 스킴(PTAS)이 존재하지 않음을 보여준다.

ABSTRACT

We show that there is no $(1+\eps)$-approximation algorithm for the problem of covering points in the plane by minimum number of fat triangles of similar size (with the minimum angle of the triangles being close to 45 degrees). Here, the available triangles are prespecified in advance. Since a constant factor approximation algorithm is known for this problem \cite{cv-iaags-07}, this settles the approximability of this problem. We also investigate some related problems, including cover by friendly fat shapes, and independent set of triangles in three dimensions.

연구 동기 및 목표

• 평면상에서 둥근 모양, 볼록, 유사 크기의 삼각형을 사용한 기하 집합 커버 문제의 근사 가능성 문제를 해결하기 위해.
• 조금의 둥근 모양, 볼록성, 유한한 유니온 복잡도 조건이 존재하더라도, 이 문제에 대해 다항시간 근사 스킴(PTAS)이 존재하지 않음을 보여주기 위해.
• 3차원 공간에서 삼각형의 독립 집합 문제로의 경계 확장을 위해.
• 형편 좋은 기하 집합 커버 인스턴스—즉, 둥근 모양, 볼록성, 낮은 유니온 복잡도를 갖는 형태—조차도 어떤 상수 요인 내에서 근사 가능하지 않음을 보여주기 위해, P=NP 가 아닌 한.

제안 방법

• 최소 3집합 커버 문제의 MaxSNP-난이도를 갖는 문제에서 출발하여, 둥근 모양, 볼록, 유사 크기의 영역을 갖는 기하 집합 커버 인스턴스로의 감소.
• 중심 원과 세 점(집합 원소를 나타냄)의 볼록 hull을 이용한 영역 구축으로, 쌍별 교차 수가 ≤6개로 유한하게 제한되도록 보장.
• 2차원 원을 3차원에서 평면으로 변환하는 데 사용된 릿지 맵 $f(x,y) = (x,y,x^2+y^2)$를 활용하여, 집합 커버의 등가성을 유지.
• 모멘트 곡선을 사용해 3정규 그래프를 3차원 공간에 매립하고, 베르로이 다이어그램을 활용해 그래프의 간선과 일치하는 삼각형의 교차를 생성.
• 모멘트 곡선 상의 베르로이 다이어그램이 갖는 이웃성 성질을 활용하여, 삼각형의 교차가 정확히 그래프의 간선과 대응되도록 보장.
• 그래프 내의 독립 집합이 3차원 공간에서 교차하지 않는 삼각형 집합과 일대일 대응됨을 증명함으로써, APX-난이도를 전이.

실험 결과

연구 질문

• RQ1 평면상의 점들을 최소 수의 둥근 모양, 볼록, 유사 크기의 삼각형으로 덮는 문제에 대해 $(1+\varepsilon)$-근사 알고리즘이 존재할 수 있는가?
• RQ2 둥근 모양, 우호적인 기하 형태(볼록성, 유한한 유니온 복잡도, 낮은 교차 수)를 갖는 기하 집합 커버 문제에 대해 다항시간 내에 상수 요인 이내의 근사가 가능한가?
• RQ3 3차원 공간에서 삼각형의 독립 집합 문제에 대해 표준 복잡도 가정 하에 PTAS가 존재하는가?
• RQ4 모든 그래프가 $\mathbb{R}^3$ 상의 볼록체의 교차 그래프로 표현될 수 있는가? 이는 기하 독립 집합 문제의 난이도와 어떻게 관련되는가?

주요 결과

• P=NP 가 아닌 한, 평면상의 점들을 최소 수의 둥근 모양, 볼록, 유사 크기의 삼각형(최소 각도가 45°에 수렴하는)으로 덮는 문제에 대해 PTAS가 존재하지 않는다.
• 둥근 모양, 볼록성, 유한한 유니온 복잡도, 유한한 점 커버 수 조건이 존재하더라도, 기하 집합 커버 문제의 APX-난이도는 유지된다.
• 3차원 공간에서 삼각형의 독립 집합 문제 역시 APX-난이도를 갖는다. 이는 P=NP 가 아닌 한 PTAS가 존재하지 않음을 의미한다.
• 삼각형이 단일 직각 이sovceles 삼각형의 '노이즈'가 있는 회전 및 이동 복제체일 경우에도 난이도는 그대로 유지된다.
• 놀랍게도, 다소의 분리가 존재한다: 3차원 공간에서 채워진 원판이나 반공간으로 이루어진 집합 커버 문제에는 PTAS가 존재하지만, '껍질' 형태(예: 원 또는 삼각형)로 된 문제에는 존재하지 않는다.
• 구성 방법을 통해 최대 차수 3인 임의의 그래프가 $\mathbb{R}^3$ 상의 볼록체의 교차 그래프로 표현될 수 있음을 보여주며, 이는 난이도 결과의 일반성과 일치한다.