[논문 리뷰] An Optimal Choice Dictionary

Hagerup, Torben|arXiv (Cornell University)|2017. 11. 02.

Algorithms and Data Compression참고 문헌 6인용 수 4

한 줄 요약

이 논문은 w = o(n)일 때 최적인 n + 1비트만을 사용하는 외부 크기의 원자적 선택 사전을 제안한다. 이는 모든 연산, 특히 선택 연산을 상수 시간 내에 지원한다. 이는 비트 벡터 표현 방식과 비어 있지 않은 세그먼트를 추적하기 위한 새로운 데이터 구조를 결합함으로써 달성되며, 공간을 최소화하고 O(1) 연산을 유지하기 위해 장벽 기반 연결 방식을 사용하는 압축된 배열을 활용한다.

ABSTRACT

A c-color choice dictionary of size n in N is a fundamental data structure in the development of space-efficient algorithms that stores the colors of n elements and that supports operations to get and change the color of an element as well as an operation choice that returns an arbitrary element of that color. For an integer f>0 and a constant c=2^f, we present a word-RAM algorithm for a c-color choice dictionary of size n that supports all operations above in constant time and uses only nf+1 bits, which is optimal if all operations have to run in o(n/w) time where w is the word size. In addition, we extend our choice dictionary by an operation union without using more space.

연구 동기 및 목표

• 모든 핵심 연산을 상수 시간 내에 지원하는 공간 효율적인 선택 사전을 설계하는 것.
• w = o(n)일 때 이론적 하한선인 n + 1비트로 공간 사용량을 최소화하는 것.
• 이전의 선택 사전들이 매개변수 t에 대해 O(n(t/w)^t)의 추가 공간이 필요로 했던 것을 단순화하고 개선하는 것.
• 최소한의 추가 상태를 사용해 클라이언트 집합 S에 대해 상수 시간 반복을 지원하는 것.

제안 방법

• 클라이언트 집합 S를 n비트의 비트 벡터로 표현하고, 전역 상태를 위한 추가 1비트를 사용한다.
• 비트 벡터를 2^b크기의 세그먼트로 분할하고, 각 세그먼트를 크기가 N인 배열 A의 정수 ai로 표현한다.
• 비어 있지 않은 세그먼트를 추적하기 위해 장벽 기반 연결 리스트를 사용하며, 첫 번째 비어 있지 않은 세그먼트를 가리키는 포인터 k를 유지한다.
• 사용되지 않는 비트를 배열 엔트리에 보관하여 보조 상태(예: k)를 저장하는 압축 표현 방식을 활용함으로써 공간을 2bN + 1비트로 줄인다.
• 비트 조작 및 워드-RAM 연산(예: popcount, 시프트)을 사용해 O(1) 시간 내에 첫 번째로 설정된 비트를 찾는다.
• 자기 포함 작동을 위해 유니버스 크기 n을 데이터 구조에 내장하기 위해 자가 구분 인코딩(예: 엘리아스 감마 코드)을 적용한다.

실험 결과

연구 질문

• RQ1 w = o(n)일 때 모든 연산을 상수 시간 내에 지원하면서도 오직 n + 1비트의 공간만을 사용하는 선택 사전을 구성할 수 있는가?
• RQ2 w = o(n)일 때 선택 사전의 공간 최적화를 달성할 수 있는가?
• RQ3 비트 벡터 외에 최소한의 추가 공간으로 선택 연산을 O(1) 시간 내에 지원할 수 있는가?
• RQ4 최소한의 추가 상태 비트(최대 O(log n))로 클라이언트 집합 S에 대해 상수 시간 반복을 지원할 수 있는가?
• RQ5 선택 사전을 자가 포함적으로 만들기 위해 필요한 최소 공간 오버헤드는 얼마인가?

주요 결과

• 제안된 선택 사전은 정적 상태일 때 오직 n + 1비트의 공간만을 사용하며, w = o(n)일 때 이는 최적이란 것이 증명되었다.
• 삽입, 삭제, 포함 여부 확인, 선택 등의 모든 연산이 O(1) 시간 내에 수행되어, 이 데이터 구조는 원자적이다.
• 클라이언트 집합 S에 대해 상수 시간 반복을 ⌈log₂(n+1)⌉비트의 추가 상태만을 사용해 지원할 수 있다.
• n + 1비트의 공간 한계는 배열 엔트리의 사용되지 않는 비트를 재사용하여 보조 상태(예: 첫 번째 비어 있지 않은 세그먼트의 위치)를 저장함으로써 달성된다.
• 엘리아스 감마 코드를 사용해 유니버스 크기 n을 내장함으로써 자기 포함 버전을 구성할 수 있으며, 이로 인해 총 공간은 n + 2⌈log₂(n+1)⌉비트가 된다.
• 이전의 해결책들이 매개변수 t에 대해 O(n(t/w)^t)의 추가 공간이 필요로 했던 것에 비해, 본 구조는 더 단순하고 효율적이다.