[논문 리뷰] Point Set Isolation Using Unit Disks is NP-complete

Rainer Penninger, Ivo Vigan|arXiv (Cornell University)|2013. 03. 12.

Computational Geometry and Mesh Generation참고 문헌 3인용 수 5

한 줄 요약

이 논문은 평면 분할 문제에서의 감소를 통해 단위 원판을 사용한 점 집합 고립 문제의 NP-완전성을 증명한다. 또한 기하학적 기구 구축을 통해 단위 원판을 사용하여 그래프 구조를 시뮬레이션하면서 NP-난이도를 유지하는 방식으로, 단위 원판 그래프에서의 모든 셀 연결 문제와 다단계 컷 문제의 NP-완전성을 추가로 확립한다.

ABSTRACT

We consider the situation where one is given a set S of points in the plane and a collection D of unit disks embedded in the plane. We show that finding a minimum cardinality subset of D such that any path between any two points in S is intersected by at least one disk is NP-complete. This settles an open problem raised by Matt Gibson et al[1]. Using a similar reduction, we show that finding a minimum cardinality subset D' of D such that R^2 - (D - D') consists of a single connected region is also NP-complete. Lastly, we show that the Multiterminal Cut Problem remains NP-complete when restricted to unit disk graphs.

연구 동기 및 목표

• 단위 원판을 사용한 점 집합 고립 문제의 계산 복잡도에 대한 열린 문제를 해결하기 위해.
• 집합 S에 포함된 모든 점 쌍을 고립시키기 위한 최소 단위 원판 부분집합을 찾는 것이 NP-완전임을 보여주기 위해.
• 이러한 NP-완전성 결과를 단위 원판 그래프에서의 모든 셀 연결 문제와 다단계 컷 문제로 확장하기 위해.
• 이러한 문제들이 센서 네트워크 응용에서 일반적인 기하학적 제약 조건 하에서도 여전히 NP-완전함을 입증하기 위해.

제안 방법

• 정수 격자 위에 기하학적 임bedding을 사용하여 NP-완전한 평면 분할 문제를 점 집합 고립 문제로 감소시킨다.
• 서로 다른 간선들 간에 서로 겹치지 않는 단위 원판 배열로 구성된 간선 기구를 설계하여 그래프 간선을 시뮬레이션한다.
• 격자 점 주위에 원형으로 배열된 단위 원판을 정점 기구로 설계하여 그래프 정점을 시뮬레이션하고, 인접한 간선 기구와 연결한다.
• 반지름과 위치 제약 조건을 사용하여 정점 기구와 교차하는 것은 오직 인접한 간선 기구뿐임을 보장함으로써 구조의 정확성을 유지한다.
• 유사한 기구 기반 감소를 적용하여, 단위 원판 그래프에서의 모든 셀 연결 문제와 다단계 컷 문제의 NP-완전성을 증명한다.
• 다중 평행한 디스크 경로를 가진 가중치가 부여된 간선 기구를 사용하여 간선 가중치를 시뮬레이션하고, 종점 간 연결을 끊기 위해서는 간선 가중치에 해당하는 수의 디스크를 제거해야 함을 보장한다.

실험 결과

연구 질문

• RQ1 단위 원판을 사용한 점 집합 고립 문제의 NP-완전성은 증명 가능한가?
• RQ2 기하학적 감소를 통해 모든 셀 연결 문제의 NP-완전성을 증명할 수 있는가?
• RQ3 다단계 컷 문제가 단위 원판 그래프로 제한될 경우 여전히 NP-완전한가?
• RQ4 단위 원판으로 구성된 기하학적 기구를 사용하여 이러한 문제의 NP-완전성을 입증할 수 있는가?
• RQ5 단위 원판 반지름과 평면 임베딩 등의 기하학적 제약 조건 하에서도 난이도가 유지되는가?

주요 결과

• 점 집합 고립 문제의 NP-완전성이 평면 분할 문제에서의 감소를 통해 증명되었다.
• 유사한 기하학적 기구 구축을 통해 모든 셀 연결 문제의 NP-완전성이 입증되었다.
• 다단계 컷 문제가 단위 원판 그래프로 제한되더라도 여전히 NP-완전하며, 간선 가중치와 최대 차수에 제한이 있더라도 마찬가지다.
• 감소 과정에서 해의 크기가 유지된다: 원래 그래프에서 크기 k의 해는 단위 원판 그래프에서 크기 k의 해에 대응한다.
• 구성은 오직 인접한 간선 기구만 정점 기구와 교차하고, 비인접 기구는 서로 겹치지 않도록 보장하여 감소의 정확성을 유지한다.
• 결과적으로 이러한 기하학적 네트워크 문제들이 현실적인 센서 네트워크 제약 조건 하에서도 계산적으로 어려운 문제임을 확인한다.