[논문 리뷰] Smoothed Analysis of the Art Gallery Problem

Michael Gene Dobbins, Andreas F. Holmsen외 1명|arXiv (Cornell University)|2018. 11. 03.

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

한 줄 요약

이 논문은 아트 갤러리 문제에 스무스 분석을 적용하여, 다각형 꼭짓점에 대한 작은 무작위 변형 하에서 최적의 감시자 위치를 기술하기 위해 일반적으로 소수의 비트만 필요하다는 것을 보여준다—실제로는 유리수 좌표가 충분하다는 의미이다. 핵심 결과는 나이브 알고리즘(감시자 위치를 추측하고 시야를 검증하는 방식)이 기대값으로 비결정적 다항식 시간 내에 수행된다는 것이다. 이는 문제의 ∃ℝ-완전성에도 불구하고 일반적인 경우에 대수적 방법이 거의 필요로 하지 않는다는 것을 시사한다.

ABSTRACT

In the Art Gallery Problem we are given a polygon $P\subset [0,L]^2$ on $n$ vertices and a number $k$. We want to find a guard set $G$ of size $k$, such that each point in $P$ is seen by a guard in $G$. Formally, a guard $g$ sees a point $p \in P$ if the line segment $pg$ is fully contained inside the polygon $P$. The history and practical findings indicate that irrational coordinates are a "very rare" phenomenon. We give a theoretical explanation. Next to worst case analysis, Smoothed Analysis gained popularity to explain the practical performance of algorithms, even if they perform badly in the worst case. The idea is to study the expected performance on small perturbations of the worst input. The performance is measured in terms of the magnitude $δ$ of the perturbation and the input size. We consider four different models of perturbation. We show that the expected number of bits to describe optimal guard positions per guard is logarithmic in the input and the magnitude of the perturbation. This shows from a theoretical perspective that rational guards with small bit-complexity are typical. Note that describing the guard position is the bottleneck to show NP-membership. The significance of our results is that algebraic methods are not needed to solve the Art Gallery Problem in typical instances. This is the first time an $\exists\mathbb{R}$-complete problem was analyzed by Smoothed Analysis.

연구 동기 및 목표

• 최적의 아트 갤러리 문제 해에서 무리수 좌표가 왜 극히 드물게 나타나는지 설명하는 것.
• ∃ℝ-완전성에도 불구하고 정확한 알고리즘에 대한 실용적 타당성을 분석하는 것.
• 작은 변형을 가한 다각형 입력에서 일반적으로 유리수이자 낮은 복잡도의 감시자 위치를 갖는 해가 도출된다는 것을 보여주는 것.
• 중간 크기의 아트 갤러리 문제를 해결하는 데 있어서 비대수적 알고리즘이 실험적으로 성공하는 데 이론적 근거를 제공하는 것.
• 스무스 분석이 계산 기하학에서의 ∃ℝ-완전 문제의 본질적 난이도를 극복할 수 있는가 탐색하는 것.

제안 방법

• 다각형 꼭짓점에 대한 작은 무작위 변화를 모델링하기 위해 네 가지 변형 모델을 분석한다: 민코프스키 팽창, 변 패딩, 변 변형, 꼭짓점 변형.
• 세 모델에 대해 최적의 감시자 위치를 기술하는 데 필요한 기대 비트 복잡도는 O(log(nL/δ))로 유계이며, 꼭짓점 변형 모델의 경우 O(log(nL/(δβ)))로 유계이며, 여기서 β는 최소 내각 또는 외각이다.
• 비결정적 다항식 시간 내에 해를 구할 수 있도록 하기 위해 이산적 변형 모델인 이산적 변 패딩 모델을 도입한다.
• 스무스 조건 하에서 나이브 알고리즘(감시자 위치를 추측하고 시야를 검증하는 방식)을 분석하여, 기대값으로 비결정적 다항식 시간 내에 수행된다는 것을 보여준다.
• 연속적 변형 모델의 경우, 실수 좌표로 인해 감시자 위치의 정확성을 검증하기 위해 실수 RAM에서 추가로 O(n⁴)의 시간이 소요된다.
• 이론적 결과를 확장하여 스무스 분석 설정 하에서 근사 알고리즘의 정확성도 입증한다.

실험 결과

연구 질문

• RQ1 스무스 분석은 최적의 아트 갤러리 해에서 무리수 좌표가 왜 극히 드물게 나타나는지 설명할 수 있는가?
• RQ2 작은 변형 하에서 일반적인 아트 갤러리 인스턴스를 나이브 알고리즘이 비결정적 다항식 시간 내에 기대값으로 해결할 수 있는가?
• RQ3 아트 갤러리 문제에 대해 스무스 분석에서 사용할 수 있는 다항식 크기의 감시자 위치 후보 집합이 존재하는가?
• RQ4 실제 구현에서 왜 기하 연산에 대부분의 시간이 소요되는가, NP-난이도의 집합 커버 부분은 아닐까?
• RQ5 스무스 분석은 운동 계획이나 내쉬 평형 계산과 같은 다른 ∃ℝ-완전 문제로 일반화될 수 있는가?

주요 결과

• 작은 무작위 변형 하에서 최적의 감시자 위치를 기술하기 위해 필요한 비트 수의 기대값은 세 변형 모델에 대해 O(log(nL/δ))이며, 이는 일반적으로 유리수이자 낮은 복잡도의 감시자가 일반적이라는 것을 시사한다.
• 꼭짓점 변형 모델의 경우 비트 복잡도는 O(log(nL/(δβ)))이며, 여기서 β는 최소 내각 또는 외각이다. 이는 각도의 구조가 해의 복잡도에 영향을 준다는 것을 보여준다.
• 이산적 변 패딩 모델 하에서 나이브 알고리즘이 기대값으로 비결정적 다항식 시간 내에 수행되며, 이는 일반적인 경우에 대수적 방법이 필요로 하지 않는다는 것을 의미한다.
• 연속적 변형 모델 하에서 나이브 알고리즘은 실수 좌표로 인해 감시자 위치의 정확성을 검증하기 위해 실수 RAM에서 추가로 O(n⁴)의 시간이 소요된다.
• 결과적으로 ∃ℝ-완전성에도 불구하고 일반적인 경우에 대수적 방법이 필수적이지 않다는 것을 시사한다.
• 본 연구는 ∃ℝ-완전 문제에 대한 첫 번째 스무스 분석을 수립하였으며, 이러한 문제들이 미약한 무작위성 하에서는 실질적으로 다항식 시간 내에 해결 가능하다는 것을 보여준다.