[논문 리뷰] Space-efficient Algorithms for Visibility Problems in Simple Polygon

Minati De, Anil Maheshwari외 1명|arXiv (Cornell University)|2012. 04. 12.

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

한 줄 요약

이 논문은 단순 다각형 내에서 시야 문제를 위한 공간 효율적인 알고리즘을 제시하며, 점의 시야 다각형, 선분의 약한 시야, 최소 링크 경로를 계산할 때 O(1)의 추가 워크스페이스를 달성한다. 점의 시야 계산은 O(n) 시간에, 최소 링크 경로 계산은 O(kn) 시간에 수행되며, 입력 배열을 수정하는 한 가지 인-플레이스 버전과 읽기 전용 입력에서 O(√n) 공간을 사용하는 다른 버전이 있다. 이는 상수 워크스페이스 계산 기하학 분야에서 열려 있던 문제를 해결한다.

ABSTRACT

Given a simple polygon $P$ consisting of $n$ vertices, we study the problem of designing space-efficient algorithms for computing (i) the visibility polygon of a point inside $P$, (ii) the weak visibility polygon of a line segment inside $P$ and (iii) the minimum link path between a pair of points inside $P$. For problem (i) two algorithms are proposed. The first one is an in-place algorithm where the input array may be lost. It uses only O(1) extra space apart from the input array. The second one assumes that the input is given in a read-only array, and it needs $O(\sqrt{n})$ extra space. The time complexity of both the algorithms are O(n). For problem (ii), we have assumed that the input polygon is given in a read-only array. Our proposed algorithm runs in $O(n^2)$ time using O(1) extra space. For problem (iii) the time and space complexities of our proposed algorithm are $O(kn)$ and O(1) respectively; $k$ is the length (number of links) in a minimum link path between the given pair of points.

연구 동기 및 목표

• 엄격한 메모리 제약 조건 하에서 단순 다각형 내 시야 문제를 위한 공간 효율적인 알고리즘을 설계하기.
• 입력이 읽기 전용일 때 상수 워크스페이스에서 시야 계산을 이차 이하 시간 내에 수행할 수 있는지 여부라는 열린 문제를 해결하기.
• 시야 다각형, 선분의 약한 시야, 최소 링크 경로 계산을 위한 인-플레이스 및 읽기 전용 알고리즘을 제공하기.
• 워크스페이스 사용을 O(1) 또는 O(√n)로 최소화하면서 최적의 시간 복잡도 O(n) 또는 O(kn)를 달성하기.

제안 방법

• 인-플레이스 알고리즘(Inplace_Visibility)은 입력 배열 내에 스택을 유지하고 인덱스 변수와 각도 버퍼를 통해 각도 관계를 추적함으로써 O(1)의 추가 공간만을 사용하여 시야 다각형을 계산한다.
• 읽기 전용 알고리즘(Readonly_Visibility)은 O(√n)의 추가 공간과 O(n)의 시간을 사용하며, 두 단계의 순회를 통해 각도 비교와 입력 배열 내의 스택 시뮬레이션을 활용한다.
• 선분의 약한 시야를 위해 알고리즘은 두 단계 접근법을 사용한다: 먼저 소스와 타겟을 분리하는 끈을 계산하고, 이후 각도 및 변 교차 검사를 통해 시야 경계를 반복적으로 정밀화한다.
• 최소 링크 경로를 위해 알고리즘은 다각형 경계를 따라 이중 경로 순회(Π 및 Π′)를 수행하며, 번갈아가며 시야선 L을 업데이트하고 s와 t를 분리하는 끈을 계산하며, 첫 번째로 시야에 들어오는 변을 찾기 위해 반복적으로 정밀화한다.
• 알고리즘은 공간 제약 조건 하에서도 정확성을 보장하기 위해 시야 상실의 순서와 각도의 단조성과 같은 기하학적 관찰에 기반한다.
• 핵심 데이터 구조로는 인덱스 기반 스택 시뮬레이션, 각도 추적(Φ 및 Ψ), 반복적인 변 교차 검사를 통해 시야 경계를 계산한다.

실험 결과

연구 질문

• RQ1 단순 다각형 내에 있는 점의 시야 다각형을 O(n) 시간에 O(1)의 추가 공간으로 계산할 수 있는가?
• RQ2 입력 배열이 읽기 전용일 때, 선분의 약한 시야 다각형을 O(n²) 시간에 O(1)의 추가 공간으로 계산할 수 있는가?
• RQ3 두 점 사이의 최소 링크 경로를 O(kn) 시간에 O(1)의 추가 공간으로 계산할 수 있는가? 여기서 k는 경로 내 링크의 수이다.
• RQ4 읽기 전용 입력에서 상수 워크스페이스 모델에서 시야 계산의 시간 복잡도를 이차 이하로 낮출 수 있는가?

주요 결과

• 인-플레이스 알고리즘은 O(n) 시간과 O(1)의 추가 공간으로 점의 시야 다각형을 계산하지만, 입력 다각형이 수정되어 복원될 수 없다.
• 읽기 전용 알고리즘은 O(n) 시간에 O(√n)의 추가 공간을 사용하여 동일한 시야 다각형을 계산하며, 입력 배열을 그대로 유지한다.
• O(n²) 시간, O(1) 공간의 알고리즘은 읽기 전용 입력 배열에서 단순 다각형 내 선분의 약한 시야 다각형을 계산한다.
• O(kn) 시간, O(1) 공간의 알고리즘은 단순 다각형 내 두 점 사이의 최소 링크 경로를 계산한다. 여기서 k는 경로 내 링크의 수이다.
• 제안된 알고리즘은 기존 O(n²)의 상한을 개선하여 상수 워크스페이스에서 점의 시야 계산에 O(n) 시간을 달성함으로써 계산 기하학 분야의 열린 문제를 해결한다.
• 알고리즘은 공간 제약 조건 하에서도 정확하고 효율적이며, 각도 순서와 시야 상실 순서와 같은 기하학적 불변량에 기반한다.