[논문 리뷰] Irrational Guards are Sometimes Needed

Mikkel Abrahamsen, Anna Adamaszek외 1명|arXiv (Cornell University)|2017. 01. 19.

Guidance and Control Systems참고 문헌 7인용 수 7

한 줄 요약

이 논문은 정수 좌표를 가진 단순 다각형에서 최적의 미술관 감시자 배치에 때로는 무리수 좌표가 필요하다는 것을 증명함으로써 오랫동안 남아있던 열린 문제를 해결한다. 정수 좌표를 가진 단조형 및 직각 다각형을 구성하여 최적의 감시자 집합이 무리수 좌표를 필요로 함을 보여주며, 유리수와 무리수 감시자 수 사이에 4/3의 비율을 확립함으로써, 점감시자 미술관 문제에서 유리수 좌표 해가 최적해보다 엄격히 열등할 수 있음을 입증한다.

ABSTRACT

In this paper we study the art gallery problem, which is one of the fundamental problems in computational geometry. The objective is to place a minimum number of guards inside a simple polygon such that the guards together can see the whole polygon. We say that a guard at position $x$ sees a point $y$ if the line segment $xy$ is fully contained in the polygon. Despite an extensive study of the art gallery problem, it remained an open question whether there are polygons given by integer coordinates that require guard positions with irrational coordinates in any optimal solution. We give a positive answer to this question by constructing a monotone polygon with integer coordinates that can be guarded by three guards only when we allow to place the guards at points with irrational coordinates. Otherwise, four guards are needed. By extending this example, we show that for every $n$, there is polygon which can be guarded by $3n$ guards with irrational coordinates but need $4n$ guards if the coordinates have to be rational. Subsequently, we show that there are rectilinear polygons given by integer coordinates that require guards with irrational coordinates in any optimal solution.

연구 동기 및 목표

• 정수 좌표를 가진 다각형이 최적 해에서 무리수 감시자 위치가 필요할 수 있는지 여부를 해결하는 것.
• 유리수 좌표 감시자 배치가 최적해보다 엄격히 열등할 수 있음을 입증하고, 유리수와 무리수 최적 해 사이에 정량화된 격차를 보여주는 것.
• 유리수와 무리수 최적 해의 감시자 수 비율이 일정한 4/3이 되는 다각형의 가족으로 결과를 확장하는 것.
• 무리수 좌표가 계산 기하학 문제, 특히 NP-완전성과 실수의 존재 이론(∃R)의 맥락에서 차지하는 역할을 조사하는 것.

제안 방법

• 세 명의 감시자가 오직 무리수 좌표에 위치할 때에만 최적으로 보호할 수 있는 정수 좌표를 가진 단조형 단순 다각형을 구성하는 것.
• 기하학적 제약 조건과 시야 성질을 이용하여, 유리수 좌표 감시자가 네 명 이하로는 다각형을 커버할 수 없도록 하는 것.
• 기본 구조를 다각형의 가족(P_n)으로 확장하여, 무리수 좌표 감시자로 최적의 감시자 수가 3n이 되는 반면, 유리수 좌표 감시자는 4n명이 필요함을 보여주는 것.
• 대수적 기법을 적용하여 최소 감시자 위치가 정수 계수를 가진 이차다항식의 근에 있음을 보여주어 최적 배치의 무리수성을 증명하는 것.
• 비록 9명의 유리수 좌표 감시자로도 10명의 감시자가 필요한 다각형을 커버할 수 없음을 보여주기 위해, 중요한 영역에서 피할 수 없는 시야 갭을 분석하는 것.
• 기존의 복잡도 결과와 실수의 존재 이론(∃R)을 활용하여, 기하 최적화 문제에서 무리수 좌표의 함의를 둘러싸는 맥락을 제공하는 것.

실험 결과

연구 질문

• RQ1 정수 꼭짓점 좌표를 가진 단순 다각형 중에서 최적 감시자 집합이 오직 유리수 좌표로만 배치될 수 없는 경우가 존재하는가?
• RQ2 최적의 유리수 좌표 감시자 집합 크기와 최적의 무리수 좌표 감시자 집합 크기 사이의 비율이 1에서 일정하게 떨어져 있을 수 있는가?
• RQ3 두 명의 감시자가 오직 무리수 좌표에 위치할 때에만 충분한 다각형을 구성할 수 있는가?
• RQ4 무리수 좌표가 2차 이상의 차수를 가진 감시자가 필요한 다각형이 존재하는가?
• RQ5 무리수 감시자 배치를 고려할 때, 미술관 문제의 복잡도와 실수의 존재 이론(∃R) 사이의 관계는 무엇인가?

주요 결과

• 정수 좌표를 가진 단조형 단순 다각형이 존재하며, 이는 최적 커버리지에 세 명의 무리수 감시자가 필요하지만, 오직 유리수 위치만 허용할 경우 네 명의 유리수 감시자가 필요하다.
• 모든 양의 정수 n에 대해 다각형의 가족(P_n)이 존재하며, 3n명의 무리수 감시자가 충분하지만, 최적 커버리지에는 4n명의 유리수 감시자가 필요하다.
• 구성된 다각형의 가족에서 최적의 유리수 감시자 수와 최적의 무리수 감시자 수 사이의 비율은 정확히 4/3이다.
• 구성에서의 무리수 감시자 위치는 정수 계수를 가진 이차다항식의 근이며, 이는 2차 무리수성을 나타낸다.
• 증명은 비록 9명의 유리수 좌표 감시자로도 10명의 감시자가 필요한 다각형을 커버할 수 없음을 보여주며, 중요한 영역에서 피할 수 없는 시야 갭이 존재하기 때문이다.
• 결과는 미술관 문제가 NP에 속해 있음을 보장하기 위해서는 최적 해가 항상 다항 시간 내에 표현 가능한 유리수 좌표로 표현될 수 있어야 한다는 함의를 낳는다.