[논문 리뷰] Geometric Algorithms with Limited Workspace: A Survey

Bahareh Banyassady, Matias Korman외 1명|arXiv (Cornell University)|2018. 06. 15.

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

한 줄 요약

이 종합적 서베이는 입력이 읽기 전용이고 소량의 서브라인어 워크스페이스만 제공되는 제한된 워크스페이스 모델 하에서 기하 알고리즘에 대한 종합적인 개요를 제시한다. 압축 스택 프레임워크와 시간-공간 트레이드오프와 같은 기법을 상세히 기술하며, 상수 또는 서브라인어 공간에서의 시야 영역 계산 및 공통 탄젠트 탐지와 같은 문제들에 대해 거의 최적의 성능을 달성한다.

ABSTRACT

In the limited workspace model, we consider algorithms whose input resides in read-only memory and that use only a constant or sublinear amount of writable memory to accomplish their task. We survey recent results in computational geometry that fall into this model and that strive to achieve the lowest possible running time. In addition to discussing the state of the art, we give some illustrative examples and mention open problems for further research.

연구 동기 및 목표

• 읽기 전용 입력과 소량의 왤쓰 가능한 메모리만 제공되는 제한된 워크스페이스 모델 하에서 최근 기하 알고리즘 분야의 발전을 통합적으로 개괄하는 것.
• 작은 워크스페이스에서 효율적인 계산을 가능하게 하는 핵심 알고리즘 기법—예를 들어 압축 스택 프레임워크—를 식별하고 분석하는 것.
• 기본 기하 문제들인 시야 영역, 볼록껍데기, 공통 탄젠트 등에 대한 시간-공간 트레이드오프를 탐색하는 것.
• 센서, 드론, 스마트폰과 같은 메모리 제약이 있는 장치를 위한 효율적 알고리즘 설계에 관한 열린 문제들과 연구 방향을 부각하는 것.
• 공간 제약 조건 하에서 기하 알고리즘 설계에 대한 이론적 통찰과 스트리밍 모델의 복잡도 이론을 실용적 기하 알고리즘 설계와 연결하는 것.

제안 방법

• 논문은 $ s = O(1) $ 에서 $ s = o(n) $ 사이의 워크스페이스 크기를 갖는 알고리즘을 서베이하며, 읽기 전용 입력과 소량의 왼쓰 가능한 메모리만 사용한다.
• 압축 스택 프레임워크를 도입하여 스택의 일부만 명시적으로 저장하고 필요에 따라 누락된 부분을 재계산함으로써 스택 기반 알고리즘의 시간-공간 트레이드오프를 가능하게 한다.
• $k$-시야 영역 계산과 같은 문제들에 대해 $k$-선택 알고리즘 기반의 시간-공간 트레이드오프를 사용하여 $ s $ 워크스페이스 셀을 사용할 때 $ O\big{(}(k+c)n/s + n/\log s\big{)} $ 시간을 달성한다.
• 공통 탄젠트 계산을 위한 방법은 단순하지만 미묘한 루프 기반 접근법을 사용하며, 분리된 볼록껍데기의 기하적 성질에 기반하여 $ O(n) $ 시간에 $ O(1) $ 워크스페이스에서 실행된다.
• 이 프레임워크는 단순 다각형 내에서 엣지-엣지 시야 및 최소 링크 경로를 처리하도록 확장되었으며, 상수 워크스페이스와 $ O(nm) $ 시간을 사용하여 출력 크기 $ m $ 에 대해 작동한다.
• 랜덤화 알고리즘도 고려되며, 무한한 랜덤 비트를 허용하지만 재접근이 필요한 경우 워크스페이스에 저장해야 한다.

실험 결과

연구 질문

• RQ1 다각형 내의 한 점의 시야 영역을 선형 시간에 계산할 수 있는 최소 워크스페이스 크기 $ s $ 는 얼마인가?
• RQ2 압축 스택 프레임워크는 큐, 데크 또는 트리와 같은 다른 데이터 구조로 일반화될 수 있는가?
• RQ3 두 개의 교차하지 않는 다각형의 외부 공통 탄젠트를 $ O(n) $ 시간에 상수 워크스페이스 셀만을 사용하여 계산할 수 있는가?
• RQ4 특히 $ \log n $ 와 $ n $ 사이의 중간 값인 $ s $ 에 대해 $ k $-시야 영역 계산의 시간-공간 트레이드오프를 어떻게 최적화할 수 있는가?
• RQ5 클래식 기하 문제에 대해 제한된 워크스페이스 모델에서 결정론적 및 랜덤화 알고리즘의 기본 한계는 무엇인가?

주요 결과

• 압축 스택 프레임워크는 시간-공간 트레이드오프를 가능하게 한다: 스택 기반 알고리즘이 $ O(n) $ 시간에 실행되는 경우, $ s = o(\log n) $ 에서는 $ O(n^2 \log n / 2^s) $ 시간에, $ s \geq \log n $ 에서는 $ O(n^{1+1/\log s}) $ 시간에 실행된다.
• $k$-시야 영역 계산의 경우, $ s $ 워크스페이스 셀을 사용하여 $ O\big{(}(k+c)n/s + n\log s\big{)} $ 의 시간-공간 트레이드오프를 달성한다. 여기서 $ c $ 는 임계 정점의 수이다.
• 각각 $ n $ 개의 정점을 가진 두 개의 분리된 다각형의 공통 탄젠트는 단순한 루프 기반 알고리즘과 미묘한 기하 분석을 사용하여 $ O(n) $ 시간과 $ O(1) $ 워크스페이스에서 계산할 수 있다.
• 단순 다각형 내에서 엣지의 약한 시야 영역는 상수 워크스페이스를 사용하여 $ O(nm) $ 시간에 계산할 수 있으며, 여기서 $ m $ 은 출력 크기이다.
• 단순 다각형 내 두 점 사이의 최소 링크 경로는 엣지-엣지 시야 알고리즘에 기반하여 상수 워크스페이스에서 $ O(n^2) $ 시간에 계산할 수 있다.
• $ s = n^\varepsilon $ 이며 임의의 고정된 $ \varepsilon > 0 $ 이면, 시야 영역는 $ O(n) $ 시간에 계산 가능하며, 이는 선형 시간이 서브라인어 워크스페이스로도 달성 가능함을 보여준다.