[논문 리뷰] Unsolved Problems in Visibility Graphs of Points, Segments and Polygons

Subir Kumar Ghosh, Partha P. Goswami|arXiv (Cornell University)|2010. 12. 23.

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

한 줄 요약

이 종합 논문은 점, 선분, 다각형의 시야 그래프에서 열려 있는 문제들과 추측을 종합적으로 정리하며, 식별, 특성 기술, 재구성, 클리크 계산, 세기, 표현 등에 대해 다룬다. 이는 계산 기하학 분야의 근본적인 과제를 밝히며, 시야 그래프 식별의 NP-완전성과 표현 복잡도의 한계를 포함하고 있다. 주요 기여는 43개의 열려 있는 문제 목록과 시야 그래프 표현 및 세기의 더 날카운 한계를 제시하는 것이다.

ABSTRACT

In this survey paper, we present open problems and conjectures on visibility graphs of points, segments and polygons along with necessary backgrounds for understanding them.

연구 동기 및 목표

• 점, 선분, 다각형의 시야 그래프에서 해결되지 않은 문제들을 종합적으로 정리하고 제시하는 것.
• 계산 기하학 연구를 위한 시야 그래프 식별, 특성 기술, 재구성의 근본적인 과제를 규명하는 것.
• 정수 좌표의 비트 크기 요구 조건과 커버링 세트 표현 방식을 포함한 시야 그래프 표현의 복잡도를 조사하는 것.
• 최대 클리크 계산 및 시야 그래프 세기 등의 문제의 계산 난이도를 탐구하는 것.
• 단순 다각형의 비이소모르픽 시야 그래프 수와 그 표현의 공간 복잡도에 대한 더 날카운 한계를 설정하는 것.

제안 방법

• 계산 기하학 및 기하 그래프 이론 분야에서의 기존 문헌을 조사하는 것.
• 기하학적 시야 기준을 사용하여 점, 분리된 선분, 또는 구멍이 있는/없는 단순 다각형에 대한 시야 그래프를 정의하는 것.
• 시야 그래프를 계산하는 알고리즘을 제시하며, 점 집합의 경우 $O(n^2)$ 시간, 단순 다각형의 경우 $O(E)$ 출력 민감도 시간을 포함하는 것.
• 삼각형 확장 가능한 순서(ordering) 개념을 도입하고 최대 클리크 계산과의 관련성을 제시하는 것.
• 워렌의 정리를 사용하여 단순 다각형의 비이소모르픽 시야 그래프 수를 $2^{O(n\log n)}$로 한계를 정하는 것.
• 클리크와 완전 이분 그래프를 사용한 시야 그래프의 커버링 세트 표현 방식을 제안하며, $O(n\log^4 n)$ 비트의 한계를 제시하는 것.

실험 결과

연구 질문

• RQ1 정수 좌표가 지수적으로 많은 비트를 요구할 수 있기 때문에, 시야 그래프 식별 문제가 NP에 속해 있는가?
• RQ2 모든 시야 그래프의 정점에 대해 다항식적으로 많은 비트만을 사용하여 정수 좌표를 할당할 수 있는가?
• RQ3 최적의 커버링 세트 표현 방식을 위한 비트 수의 날카운 점근적 한계는 무엇인가?
• RQ4 시야 그래프에서 최대 클리크 문제는 NP-난이도인가, 아니면 다항식 시간 내에 해결 가능한가?
• RQ5 단순 다각형의 $n$개 정점에 대해 비이소모르픽 시야 그래프 수에 대한 향상된 하한 및 상한은 무엇인가?

주요 결과

• 단순 다각형의 비이소모르픽 시야 그래프 수는 최소 $2^{n-4}$이며 최대 $2^{O(n\log n)}$이므로, 여전히 큰 갭이 존재한다.
• 정수 좌표가 다항식적으로 많은 비트로 표현될 수 없다면, 시야 그래프 식별 문제가 NP에 속해 있음을 알려면 알려져 있지 않다.
• 시야 그래프의 커버링 세트 표현은 최악의 경우 $\Omega(n\log^2 n)$ 비트가 필요하지만, 현재 알려진 최선의 구성은 $O(n\log^4 n)$ 비트를 사용한다.
• 해밀턴 순환선(다각형 경계)이 주어진 경우, 단순 다각형의 시야 그래프에서 최대 클리크 계산은 $O(n^2 e)$ 시간 내에 해결할 수 있다.
• 분리된 선분과 다각형의 시야 그래프는 $O(n^2)$ 시간 내에 계산 가능하며, 단순 다각형의 경우 출력 민감도 알고리즘이 존재한다.
• 이sov모르픽 시야 그래프를 가진 두 다각형이 유사하지 않을 수 있으며, 이는 시야 그래프만으로는 다각형의 형상이 유사성에 대해 결정되지 않음을 시사한다.