[논문 리뷰] Modem Illumination of Monotone Polygons

Oswin Aichholzer, Ruy Fabila Monroy외 4명|RECERCAT (Consorci de Serveis Universitaris de Catalunya)|2015. 03. 17.

Manufacturing Process and Optimization인용 수 19

한 줄 요약

이 논문은 다각형 환경에서 최대 k개의 벽을 관통할 수 있는 무선 신호를 모델링하는 k-모뎀 조명 문제를 제안한다. 단조형 다각형과 단조형 직각 다각형에 대해 최소 k-모뎀 수의 날카운 상한 및 하한을 확립하여, 단조형 다각형의 경우 ⌈(n−2)/(2k+3)⌉개의 k-모뎀으로 충분하고 필수적임을 보이며, 직각 다각형의 경우 k의 홀짝성에 따라 보완된 하한을 제시한다.

ABSTRACT

We study a generalization of the classical problem of the illumination of polygons. Instead of modeling a light source we model a wireless device whose radio signal can penetrate a given number $k$ of walls. We call these objects $k$-modems and study the minimum number of $k$-modems sufficient and sometimes necessary to illuminate monotone and monotone orthogonal polygons. We show that every monotone polygon with $n$ vertices can be illuminated with $\big\lceil \frac{n-2}{2k+3} \big ceil$ $k$-modems. In addition, we exhibit examples of monotone polygons requiring at least $\lceil \frac {n-2} {2k+3} ceil$ $k$-modems to be illuminated. For monotone orthogonal polygons with $n$ vertices we show that for $k=1$ and for even $k$, every such polygon can be illuminated with $\big\lceil \frac{n-2}{2k+4} \big ceil$ $k$-modems, while for odd $k\geq3$, $\big\lceil \frac{n-2}{2k+6} \big ceil$ $k$-modems are always sufficient. Further, by presenting according examples of monotone orthogonal polygons, we show that both bounds are tight.

연구 동기 및 목표

• 건물 내 무선 신호 전파를 최대 k개의 벽을 관통할 수 있는 k-모뎀을 사용하여 모델링하기 위해.
• n개의 꼭짓점을 가진 임의의 단조형 다각형을 조명하기 위해 필요한 최소 k-모뎀 수를 결정하기 위해.
• 기하학적 제약 조건과 k의 홀짝성을 고려하여 단조형 직각 다각형으로 분석을 확장하기 위해.
• 단조형 및 단조형 직각 다각형의 두 클래스에 대해 날카운 상한 및 하한을 증명하기 위해.
• 다각형 환경에서 무선 장치의 최적 배치를 위한 알고리즘적 기초를 확립하기 위해.

제안 방법

• 점이 모뎀으로부터 선분이 최대 k개의 벽을 관통할 경우에만 조명된다고 정의하는 k-모뎀 모델을 도입한다.
• 단조형 다각형을 더 작은 x-단조형 부분다각형으로 나누기 위해 분할 레마를 적용하여 재귀적 분해를 가능하게 한다.
• 단조형 및 직각 다각형의 구조적 성질을 활용하여 분할 후 부분다각형의 꼭짓점 수를 제한한다.
• 수평선분과 분할선 등의 모서리 구성 요소에 기반한 케이스 분석을 수행하여 부분다각형이 여전히 x-단조형이고 직각임을 보장한다.
• 계단 끝 다각형과 부분다각형 조명에 관한 보조정리를 활용하여 각 부분다각형에 대해 단일 k-모뎀으로 충분함을 증명한다.
• 재귀적 분해와 부분다각형 조명을 조합하여 천장 함수를 사용하여 전역 경계를 유도한다.

실험 결과

연구 질문

• RQ1 n개의 꼭짓점을 가진 임의의 단조형 다각형을 조명하기 위해 필요한 최소 k-모뎀 수는 얼마인가?
• RQ2 특히 k의 홀짝성에 따라 단조형 직각 다각형의 경우 필요한 k-모뎀 수는 어떻게 변화하는가?
• RQ3 단조형 및 단조형 직각 다각형에 대해 k-모뎀 배치에 대해 날카운 상한 및 하한을 확립할 수 있는가?
• RQ4 단조형 다각형에 대해 제안된 ⌈(n−2)/(2k+3)⌉개의 k-모뎀이 최악의 경우 충분하고 필수적인가?
• RQ5 직각성과 k의 홀짝성은 일반 단조형 다각형에 비해 조명 복잡도에 어떤 영향을 미치는가?

주요 결과

• 모든 n개의 꼭짓점을 가진 단조형 다각형에 대해, ⌈(n−2)/(2k+3)⌉개의 k-모뎀이 최악의 경우 충분하고 필수적이다.
• 최소 ⌈(n−2)/(2k+3)⌉개의 k-모뎀이 필요한 단조형 다각형이 존재함을 보여, 이 경계가 날카롭다는 것을 입증한다.
• 단조형 직각 다각형의 경우, k=1 또는 k가 짝수일 때 ⌈(n−2)/(2k+4)⌉개의 k-모뎀이 충분하고 필수적이다.
• k가 3 이상의 홀수일 경우, ⌈(n−2)/(2k+6)⌉개의 k-모뎀이 임의의 단조형 직각 n각형을 조명하기 위해 충분하고 필수적이다.
• 기하학적 제약 조건과 작은 상수 값으로 인해 k=1인 경우와 짝수 k일 경우의 경계가 동일하다.
• 낮은 하한을 달성하는 단조형 및 단조형 직각 다각형의 명시적 가족을 구성하여 경계의 날카로움을 확인한다.