[논문 리뷰] Sliding k-Transmitters: Hardness and Approximation

Thérèse Biedl, Saeed Mehrabi외 1명|arXiv (Cornell University)|2016. 07. 25.

VLSI and FPGA Design Techniques인용 수 3

한 줄 요약

이 논문은 임의의 고정된 k > 0에 대해 수직선에 수직인, y-단조인 다각형을 최소 수의 슬라이딩 k-송신기로 감시하는 문제의 계산 복잡도가 NP-난이도임을 증명한다. 이는 수평 송신기만을 허용하는 가장 단순한 경우에도 성립한다. 또한 이 문제에 대해 O(1)-근사 알고리즘을 제시하며, 이는 이전의 슬라이딩 카메라 연구를 k-송신기 모델으로 확장한 것이다.

ABSTRACT

A sliding k-transmitter in an orthogonal polygon P is a mobile guard that travels back and forth along an orthogonal line segment s inside P. It can see a point p in P if the perpendicular from p onto s intersects the boundary of P at most k times. We show that guarding an orthogonal polygon P with the minimum number of k-transmitters is NP-hard, for any fixed k>0, even if P is simple and monotone. Moreover, we give an O(1)-approximation algorithm for this problem.

연구 동기 및 목표

• 수직선에 수직인 다각형 내에서 슬라이딩 k-송신기 예술 갤러리 문제의 계산 복잡도를 규명하는 것.
• y-단조성 및 수직선에 수직성과 같은 제약이 있는 기하 조건 하에서도 문제가 여전히 어려운지 조사하는 것.
• 최소 슬라이딩 k-송신기 집합 문제에 대한 효율적인 근사 알고리즘을 개발하는 것.
• 슬라이딩 카메라에 대한 근사 프레임워크가 슬라이딩 k-송신기로 어떻게 적용될 수 있는지 규명하는 것.

제안 방법

• 슬라이딩 k-송신기를 갖춘 y-단조인 수직선에 수직인 다각형을 구성하기 위해 평면 2-연결 그래프에서 최소 정점 커버 문제로의 축소.
• 정점과 간선을 모델링하기 위해 쌓인 상자와 수직 채널을 사용한 정점 기구 설계.
• 간선을 표현하기 위해 얇은 수직 스트립을 사용한 간선 기구 설계로, 가시성 제약 조건이 그래프 간선과 일치하도록 보장.
• 가시성 문제의 이산화를 위해 가드 세그먼트와 픽셀 십자가를 사용한 교차-맞추기 문제로의 변환.
• 다각형 변을 따라 최대 가드 세그먼트로 슬라이딩 k-송신기를 매핑하여 가시성 문제의 단순화.
• 교차-맞추기 공식화를 통해 슬라이딩 카메라에서의 O(1)-근사 알고리즘을 슬라이딩 k-송신기로 확장.

실험 결과

연구 질문

• RQ1 슬라이딩 k-송신기 문제의 NP-난이도는 수직선에 수직이고 y-단조인 다각형으로 제한된 경우에도 유지되는가?
• RQ2 슬라이딩 카메라에 대한 O(1)-근사 알고리즘이 슬라이딩 k-송신기로 확장될 수 있는가?
• RQ3 수평 슬라이딩 k-송신기만 허용할 경우 문제의 복잡도가 여전히 높은 편에 머무는가?
• RQ4 수직선에 수직으로 볼록한 다각형 이외의 비트리비얼한 다각형 하위집합에서는 문제가 다항시간 내에 해결 가능한가?

주요 결과

• 임의의 고정된 k > 0에 대해 수직선에 수직이고 y-단조인 다각형을 슬라이딩 k-송신기로 감시하는 문제는 NP-난이도이다.
• 이 NP-난이도는 수평 슬라이딩 k-송신기만 허용할 경우에도 유지되며, 다각형은 단순하고 단조적이다.
• 모든 수직선에 수직인 다각형, 포함된 구멍이 있는 경우도 포함하여 슬라이딩 k-송신기 문제에 대해 O(1)-근사 알고리즘이 존재한다.
• 근사 알고리즘은 슬라이딩 카메라의 경우와 유사하게 가드 세그먼트 위의 교차-맞추기 문제로 문제를 축소시켜 유도된다.
• 수평 슬라이딩 k-송신기만 허용하는 경우 알고리즘이 여전히 효과적이며 단순화된다.
• O(1)-근사의 상수 인자 값은 명시되지 않았지만, 이는 이전 연구에서의 ε-넷 구성에 의존하므로 상당히 클 가능성이 높다.