메모리 내 빠른 집합 교차를 위한 선형 공간 구조와 비트 연산 기법

초록

**
이 논문은 메모리 상에 상주하는 정적 집합들을 선형 공간으로 저장하고, 각 집합을 작은 그룹으로 분할한 뒤 해시와 비트‑워드 표현을 이용해 교차 연산을 수행한다. 주요 결과는 전체 원소 수 n에 대해 기대 시간 O(n/√w + k·r) (w는 머신 워드 비트 수, r은 교차 결과 크기) 를 달성한다는 것이며, 구현이 간단한 변형 알고리즘도 제시한다. 실험에서는 기존 인버티드 인덱스·해시 기반 방법보다 현저히 빠른 성능을 보였다.

**

상세 분석

**
본 논문은 정보 검색·데이터베이스에서 빈번히 발생하는 집합 교차 문제를, 메모리 내에서만 수행되는 상황에 최적화된 알고리즘으로 재정의한다. 핵심 아이디어는 두 가지이다. 첫째, 워드 크기 w (예: 64비트) 만큼의 원소를 하나의 머신 워드에 비트맵 형태로 압축하면 비트‑AND 연산만으로 교차를 O(1) 시간에 수행할 수 있다. 둘째, 실제 데이터에서는 교차 결과 r 이 최소 집합 크기에 비해 매우 작다는 경험적 사실을 이용한다. 이를 위해 각 집합을 크기 √w 인 작은 그룹으로 균등하게 나누고, 각 그룹을 전역 해시 h:Σ→