완전 비평균화 쿠쿠 해싱으로 캐시 무관 사전 멀티맵 구현

이 논문은 사전(dictionary)과 멀티맵(multimap)이라는 두 가지 핵심 추상 자료형을 위한 해시 기반 인덱싱 기법을 새롭게 제안한다. 기존의 쿠쿠 해싱(cuckoo hashing)은 평균‑O(1) 삽입·검색·삭제를 제공하지만, 삽입 과정에서 발생할 수 있는 재해시(rehash)나 무한 루프와 같은 최악‑시간 상황을 완전히 배제하지 못한다. 또한, 많은 기존 설계는 실패 확률을 낮추기 위해 특정 파라미터(예: 스태시 크기, 해시 함수 독립성 차수, 메모리 블록 크기 B 등)를 사전에 지정해야 하며, 이는 실제 시스템에서 파라미터를 미리 알기 어려운 경우 큰 제약이 된다. 저자들은 이러한 문제점을 해결하기 위해 ‘완전 비평균화(fully de‑amortized)’라는 개념을 도입한다. 완전 비평균화란, 자료구조의 성능 보장이 최악‑시간에 대해 이루어지며, 설계 시 오직 저장할 원소 수 n만을 파라미터로 사용한다는 뜻이다. 따라서 외부‑메모리 모델에서도 캐시 무관(cache‑oblivious) 설계가 자동으로 만족된다. 핵심 설계는 두 개의 쿠쿠 해시 테이블을 중첩(nested)시키는 것이다. 첫 번째 테이블은 기본 구조(primary)로, 일반적인 쿠쿠 해싱과 동일하게 각 원소가 두 개의 후보 위치 중 하나에 저장된다. 두 번째 테이블은 보조 구조(auxiliary)로, 삽입 중에 발생하는 ‘이동’(kick‑out) 연산을 큐(queue) 형태로 관리하면서 동시에 스태시(stash) 역할을 수행한다. 보조 테이블은 전통적인 스태시보다 훨씬 큰 용량을 갖지만, 전체 공간 복잡도는 (2+ε)n 워드 수준으로 유지된다. 이 설계 덕분에 삽입 시 무한 루프에 빠질 확률이 다항식 수준에서 거의 0에 가깝게 감소한다. 다양한 계산 모델에 맞춘 구현이 제시된다. 표준 RAM, Practical RAM, AC⁰ RAM 세 가지 모델에서 각각의 연산이 최악‑시간 O(1)으로 수행된다. 특히 AC⁰ RAM에서는 ‘원자 스태시(atomic stash)’라는 작은 사전 구조를 도입해, 크기 O(log ½ n) 이하인 집합에 대해 상수‑시간 삽입·삭제·검색을 지원한다. 이 원자 스태시는 기존 q‑heap이나 atomic heap이 필요로 하는 대규모 사전 계산 테이블을 사용하지 않으며, 완전 최악‑시간 보장을 제공한다. 성능 보장은 두 단계로 나뉜다. 첫 번째 결과는 Practical RAM 모델에서 모든 연산이 최악‑시간 O(1)이며, 연산 수가 다항식(n^c) 이하일 때 ‘높은 확률’(1−1/poly(n))로 성공한다. 두 번째 결과는 외부‑메모리(I/O) 모델, 표준 RAM, AC⁰ RAM 모두에서 동일한 최악‑시간 O(1) 보장을 제공하면서, 실패 확률을 ‘압도적(overwhelming)’(1−1/n^{ω(1)}) 수준까지 낮춘다. 이는 암호학적 응용에서 요구되는 ‘무시 가능한(negligible)’ 실패 확률을 충족한다. 멀티맵 구현 부분에서는 키당 다중 값을 저장·검색·삭제하는 연산을 지원한다. 외부‑메모리 환경에서 블록 크기 B에 독립적인 캐시 무관 설계를 적용해, 특정 키에 연관된 모든 값 n_k 를 반환할 때 O(1 + n_k/B) I/O를 달성한다. 또한, 파워‑오브‑투 크기의 메모리 블록을 상수‑팩터 비용으로 할당·해제하는 메커니즘을 가정함으로써, 실제 시스템에서도 효율적인 메모리 관리가 가능하도록 설계되었다. 이 논문은 기존 쿠쿠 해싱 연구와 캐시 무관 데이터 구조 연구를 통합·확장한 것으로, 두 분야의 장점을 결합한 새로운 설계 패러다임을 제시한다. 완전 비평균화된 쿠쿠 해싱은 높은 성공 확률과 최악‑시간 보장을 동시에 제공하므로, 실시간 시스템, 장기 실행 데이터베이스, 암호학적 프로토콜 등 다양한 응용 분야에 바로 적용할 수 있다. 또한, 보조 테이블과 원자 스태시를 활용한 설계는 다른 해시 기반 자료구조에도 확장 가능성이 높아, 향후 연구에 풍부한 영감을 제공한다.