[논문 리뷰] Orthogonal Terrain Guarding is NP-complete

Édouard Bonnet, Panos Giannopoulos|arXiv (Cornell University)|2017. 10. 01.

Computational Geometry and Mesh Generation참고 문헌 2인용 수 1

한 줄 요약

이 논문은 직교(직각) 지형에 최소한의 감시자를 정점에 배치하여 전체 지형을 커버하는 '직교 지형 감시 문제'가 NP-완전임을 증명한다. King와 Krohn의 평면 3-SAT에서의 감소를 변형하여 삼차 감소로 정교화함으로써, 기존 알고리즘과의 격차를 메우고 Ashok 등이 (SoCG'17) 제기한 열린 문제를 해결하는 데 성공한다. 이로써 ETH 기반의 날카운 하한선 2Ω(n¹/³)을 확립한다.

ABSTRACT

A terrain is an x-monotone polygonal curve, i.e., successive vertices have increasing x-coordinates. Terrain Guarding can be seen as a special case of the famous art gallery problem where one has to place at most $k$ guards on a terrain made of $n$ vertices in order to fully see it. In 2010, King and Krohn showed that Terrain Guarding is NP-complete [SODA '10, SIAM J. Comput. '11] thereby solving a long-standing open question. They observe that their proof does not settle the complexity of Orthogonal Terrain Guarding where the terrain only consists of horizontal or vertical segments; those terrains are called rectilinear or orthogonal. Recently, Ashok et al. [SoCG'17] presented an FPT algorithm running in time $k^{O(k)}n^{O(1)}$ for Dominating Set in the visibility graphs of rectilinear terrains without 180-degree vertices. They ask if Orthogonal Terrain Guarding is in P or NP-hard. In the same paper, they give a subexponential-time algorithm running in $n^{O(\sqrt n)}$ (actually even $n^{O(\sqrt k)}$) for the general Terrain Guarding and notice that the hardness proof of King and Krohn only disproves a running time $2^{o(n^{1/4})}$ under the ETH. Hence, there is a significant gap between their $2^{O(n^{1/2} \log n)}$-algorithm and the no $2^{o(n^{1/4})}$ ETH-hardness implied by King and Krohn's result. In this paper, we adapt the gadgets of King and Krohn to rectilinear terrains in order to prove that even Orthogonal Terrain Guarding is NP-complete. Then, we show how to obtain an improved ETH lower bound of $2^{Ω(n^{1/3})}$ by refining the quadratic reduction from Planar 3-SAT into a cubic reduction from 3-SAT. This works for both Orthogonal Terrain Guarding and Terrain Guarding.

연구 동기 및 목표

• Ashok 등이 (SoCG'17) 제기한 직교 지형 감시 문제의 복잡도에 대한 열린 문제를 해결하기 위해.
• 가장 잘 알려진 2O(√n log n)-시간 알고리즘과 지형 감시 문제에 대한 ETH 기반 하한선 사이의 격차를 메우기 위해.
• 지수 시간 하한선이 Exponential Time Hypothesis(ETH)에 따라 직교 지형 감시 문제에 대해 날카럽게 유도되도록 하기 위해.
• 감시자 수를 매개변수로 삼을 때 문제의 고정차원 복잡도 퇴치 가능성(FPT)을 조사하기 위해.

제안 방법

• 직사각형 기반 기구를 사용하여 일반 지형 감시 문제에 대한 King와 Krohn의 NP-완전성 증명을 직각 설정으로 적응시킴.
• 이전의 평면 3-SAT에서의 이차 감소보다 향상된 삼차 감소를 통해 3-SAT에서 직교 지형 감시 문제로의 감소를 구축함.
• 직사각형 격자에서 교차 기구와 변수/절점 인코딩을 사용하여 논리적 제약 조건을 유지하면서 정규성(직각성)을 확보함.
• 각 열을 기준으로 병렬로 절점과 등가 조건을 검증하는 데 사용되는 청크 기반 검증 시스템을 설계하여 필요한 검증 세그먼트 수를 최소화함.
• 희소화 보조정리와 ETH 기반 추론을 적용하여 실행 시간에 대한 2Ω(n¹/³) 하한선을 유도함.
• 직접적 및 연속적 버전의 직교 지형 감시 문제가 동치임을 입증하여 정점 감시자에 집중하는 것이 타당함을 정당화함.

실험 결과

연구 질문

• RQ1 직사각형 모서리의 기하학적 제약 조건에도 불구하고, 직교 지형 감시 문제가 NP-완전한가?
• RQ2 이전의 2o(n¹/⁴) 하한선보다 더 날카운 ETH 기반 하한선을 직교 지형 감시 문제에 적용할 수 있는가?
• RQ3 특히 엄격한 직사각형 지형의 시야 그래프에 대한 FPT 알고리즘이 존재하는 바, 감시자 수를 매개변수로 삼을 때 문제의 고정차원 복잡도 퇴치 가능성(FPT)이 있는가?
• RQ4 3-SAT에서 직교 지형 감시 문제로의 감소 과정이 삼차 감소를 달성하기 위해 필요한 구조를 유지하는가?
• RQ5 직사각형 구조에서 모든 절점을 검증하기 위해 필요한 청크 수를 O(N)로 줄일 수 있는가, 동시에 정확성을 유지할 수 있는가?

주요 결과

• 직교 지형 감시 문제가 Ashok 등이 (SoCG'17) 제기한 열린 문제를 해결함으로써 NP-완전임을 입증함.
• 직교 지형 감시 문제와 일반 지형 감시 문제에 대해 2Ω(n¹/³)의 날카운 ETH 기반 하한선을 확립함으로써 이전의 2o(n¹/⁴) 하한선을 향상시킴.
• 3-SAT에서 직교 지형 감시 문제로의 감소는 변수 수에 대해 삼차적임을 입증함으로써 이전의 평면 3-SAT에서의 이차 감소보다 더 강력한 하한선을 달성함.
• N개의 변수를 가진 3-SAT 공식에 대해 구성된 지형의 총 정점 수는 O(N³)이며, 이는 하한선의 nO(1) 요소를 유도함.
• 청크 기반 검증 시스템은 O(N²)개의 절점을 O(N)개의 청크에서 병렬로 검증할 수 있으며, 각 청크의 크기는 O(N²)이므로 총 정점 수는 O(N³)이 됨.
• 이 결과는 Exponential Time Hypothesis가 성립하지 않는 한, 직교 지형 감시 문제에 대해 2o(n¹/³)-시간 알고리즘이 존재하지 않음을 시사함.