[논문 리뷰] The Art Gallery Problem is $\exists \mathbb{R}$-complete

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

Computational Geometry and Mesh Generation참고 문헌 27인용 수 8

한 줄 요약

이 논문은 미술관 문제의 ∃ℝ-완전성(∃ℝ-completeness)을 증명한다. 이는 실수 위에서 다항방정식계의 해가 존재하는지 결정하는 것과 동일한 난이도를 가짐을 의미한다. 저자들은 다항부등식을 인코딩하는 기하적 기구(geometric gadgets)를 사용하여 존재론적 실수 이론(ETR)을 미술관 문제로 감소시키며, 문제의 복잡도가 NP를 초월하고 정확한 해를 구하기 위해 실수 대수적 계산이 필요하다는 것을 보여준다.

ABSTRACT

We prove that the art gallery problem is equivalent under polynomial time reductions to deciding whether a system of polynomial equations over the real numbers has a solution. The art gallery problem is a classical problem in computational geometry. Given a simple polygon $P$ and an integer $k$, the goal is to decide if there exists a set $G$ of $k$ guards within $P$ such that every point $p\in P$ is seen by at least one guard $g\in G$. Each guard corresponds to a point in the polygon $P$, and we say that a guard $g$ sees a point $p$ if the line segment $pg$ is contained in $P$. The art gallery problem has stimulated extensive research in geometry and in algorithms. However, the complexity status of the art gallery problem has not been resolved. It has long been known that the problem is $ ext{NP}$-hard, but no one has been able to show that it lies in $ ext{NP}$. Recently, the computational geometry community became more aware of the complexity class $\exists \mathbb{R}$. The class $\exists \mathbb{R}$ consists of problems that can be reduced in polynomial time to the problem of deciding whether a system of polynomial equations with integer coefficients and any number of real variables has a solution. It can be easily seen that $ ext{NP}\subseteq \exists \mathbb{R}$. We prove that the art gallery problem is $\exists \mathbb{R}$-complete, implying that (1) any system of polynomial equations over the real numbers can be encoded as an instance of the art gallery problem, and (2) the art gallery problem is not in the complexity class $ ext{NP}$ unless $ ext{NP}=\exists \mathbb{R}$. As a corollary of our construction, we prove that for any real algebraic number $α$ there is an instance of the art gallery problem where one of the coordinates of the guards equals $α$ in any guard set of minimum cardinality. That rules out many geometric approaches to the problem.

연구 동기 및 목표

• 미술관 문제의 계산 복잡도에 관한 오랫동안 열려 있던 문제를 해결하기 위해.
• 미술관 문제가 ∃ℝ 복잡도 클래스에 완전함을 입증하여, 존재론적 실수 이론으로 감소 가능한 문제들을 포괄한다는 것을 보여주기 위해.
• NP에 속해 있지 않다는 것을 보여주기 위해, 즉 NP = ∃ℝ이 아니면, 문제는 NP를 초월한다는 것을 보여주기 위해.
• 최적의 감시자 배치 좌표가 임의의 차수를 가진 다항식의 근이 될 수 있음을 보여주어, 유한한 후보 기반 기하적 접근법이 불가능함을 입증하기 위해.
• 모든 주어진 컴act한 준대수집합을 [0,1]²에 실현할 수 있는 다각형을 구성하기 위해.

제안 방법

• 중간 감소 목표로 사용할 수 있는 새로운 ∃ℝ-완전 문제인 ETR-INV를 도입한다.
• 다항부등식과 변수 간 의존성을 인코딩하기 위해 감시 세그먼트, 코너, 그림자 영역, 역전환, 덧셈, 방향성 기구 등을 설계한다.
• 보기 제약 조건을 시뮬레이션하고 다각형 전역에 감시 세그먼트 위치를 복제할 수 있도록, 슬랩을 이용한 복도 시스템을 사용한다.
• 기본 벽과 수직 복도를 포함한 주요 다각형을 구성하여 기구를 통합하고 기하적 제약 조건을 통해 보기를 강제한다.
• 보기 차단과 핵심 세그먼트 및 감시자 위치의 전략적 배치를 통해 ≥-덧셈 및 ≤-덧셈 기구를 구현한다.
• 피카소 기구를 사용하여 임의의 준대수집합을 타당한 감시자 구성으로 포함시켜, 이 구성의 표현 능력을 입증한다.

실험 결과

연구 질문

• RQ1 미술관 문제의 ∃ℝ-완전성은 맞는가? 만약 그렇다면 이는 문제의 계산 복잡도에 어떤 의미를 갖는가?
• RQ2 모든 실수 위에서의 다항방정식계는 미술관 문제의 인스턴스로 인코딩될 수 있는가?
• RQ3 최적의 감시자 좌표가 임의의 차수를 가진 다항식의 근이 되는 미술관 문제의 인스턴스가 존재하는가?
• RQ4 다각형 내에서 모든 최소 감시자 배치 집합은 [0,1]² 내의 임의의 컴팩트 준대수집합을 실현할 수 있는가?
• RQ5 세 개의 변 연장선이 한 점에서 만나는 특이점(예: 세 개의 변 연장선이 한 점에서 만남)을 제거해도 문제의 ∃ℝ-완전성은 유지되는가?

주요 결과

• 미술관 문제의 ∃ℝ-완전성이 입증되었으며, 이는 실수 위에서 다항방정식계의 해 존재 여부를 결정하는 것과 동일한 난이도를 가짐을 의미한다.
• NP에 속해 있지 않다. 즉, 표준 복잡도 가정 하에 NP = ∃ℝ이 아니면, 문제의 난이도는 NP 문제를 초월한다.
• 모든 실수 대수적 수 α에 대해, α가 모든 최적 감시자 집합의 좌표에 나타나는 미술관 인스턴스가 존재한다.
• 다각형 내에서 모든 최소 감시자 배치 집합은 S ⊆ [0,1]² 인 임의의 컴팩트 준대수집합이 될 수 있으며, p ∈ S이면 p가 최소 감시자 집합의 일부임을 보장하는 다각형을 구성함으로써 이를 입증한다.
• 세 개의 변 연장선이 한 점에서 만나는 특이점 등을 제거한 후에도 이 구성은 여전히 ∃ℝ-완전성을 유지한다.
• 감시자가 다각형의 경계선 위에만 존재하도록 제약을 두어도 문제의 ∃ℝ-완전성은 유지되며, 이는 기하적 제약 조건이 복잡도에 영향을 주지 않음을 보여준다.