[논문 리뷰] Sharp Load Thresholds for Cuckoo Hashing

Nikolaos Fountoulakis, Κωνσταντίνος Παναγιώτου|ArXiv.org|2009. 10. 27.

Algorithms and Data Compression참고 문헌 18인용 수 8

한 줄 요약

이 논문은 k ≥ 2개의 선택지가 있는 쿠키히싱의 정확한 로드 임계값을 특정하기 위해 문제를 무작위 k-균일 초그래프로 모델링하고 완벽한 매칭의 존재성을 분석함으로써 설정한다. 이는 전형적 초등방정식의 닫힌 형태 해를 가진 임계 로드 임계값 c∗_k가 존재함을 증명하며, 높은 확률로 c∗_k 이하에서는 할당이 가능하고 초과하면 불가능함을 보여, 쿠키히싱 시스템에서 최대 활용도에 대한 열린 질문을 해결한다.

ABSTRACT

The paradigm of many choices has influenced significantly the design of efficient data structures and, most notably, hash tables. Cuckoo hashing is a technique that extends this concept. There,we are given a table with $n$ locations, and we assume that each location can hold one item. Each item to be inserted chooses randomly k>1 locations and has to be placed in any one of them. How much load can cuckoo hashing handle before collisions prevent the successful assignment of the available items to the chosen locations? Practical evaluations of this method have shown that one can allocate a number of elements that is a large proportion of the size of the table, being very close to 1 even for small values of k such as 4 or 5. In this paper we show that there is a critical value for this proportion: with high probability, when the amount of available items is below this value, then these can be allocated successfully, but when it exceeds this value, the allocation becomes impossible. We give explicitly for each k>1 this critical value. This answers an open question posed by Mitzenmacher (ESA '09) and underpins theoretically the experimental results. Our proofs are based on the translation of the question into a hypergraph setting, and the study of the related typical properties of random k-uniform hypergraphs.

연구 동기 및 목표

• k ≥ 3개의 선택지가 있는 쿠키히싱에 대해 날카로운 로드 임계값이 존재하는지 여부를 해결하는 것.
• 높은 확률로 할당 가능성과 불가능성을 분리하는 정확한 로드 임계값 c∗_k의 값을 결정하는 것.
• 특히 k = 4, 5일 때 관측된 높은 메모리 활용도를 이론적으로 기반화하는 것.

제안 방법

• 아이템을 초간선으로, 위치를 정점으로 하는 무작위 k-균일 초그래프로 쿠키히싱 문제를 모델링한다.
• 유효한 할당의 존재를 초그래프 내의 완벽한 매칭의 존재로 번역한다.
• 무작위 그래프 이론 및 큰 편차 이론 도구를 사용하여 무작위 k-균일 초그래프의 일반적 성질을 분석한다.
• 라마르트 W 함수와 지수 항을 포함한 초등방정식을 풀어 임계 임계값을 유도한다.
• 볼록성과 테일러 전개를 활용하여 임계값 주변의 매칭 확률 편차를 근사한다.
• 초그래프의 국소적 구조에 대한 다중 척도 분석을 통해 c∗_k에서 단서 전이의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 k ≥ 3개의 선택지가 있는 쿠키히싱에서 날카로운 로드 임계값이 존재하는가?
• RQ2 성공적인 할당이 높은 확률로 가능하고 불가능한 영역을 분리하는 정확한 로드 임계값 c∗_k의 값은 무엇인가?
• RQ3 c∗_k는 k의 함수로서 어떻게 행동하는가? k가 증가함에 따라 1에 수렴하는가?

주요 결과

• 모든 k ≥ 2에 대해 로드 임계값 c∗_k가 존재하며, c∗_k = ξ∗ / (k(1 − e−ξ∗)^{k−1})의 닫힌 형태 식으로 주어진다. 여기서 ξ∗는 k = ξ∗(e^{ξ∗} − 1)/(e^{ξ∗} − 1 − ξ∗)의 유일한 해이다.
• k = 3일 때 c∗_3 ≈ 0.917; k = 4일 때 c∗_4 ≈ 0.976; k = 5일 때 c∗_5 ≈ 0.992로, 거의 최적의 메모리 활용도를 확인한다.
• 높은 확률로, 아이템 수가 c∗_k · n 이하일 경우 모든 k개의 선택지를 만족하는 유효한 할당이 존재한다.
• 아이템 수가 c∗_k · n를 초과할 경우, 높은 확률로 그러한 할당이 존재하지 않는다.
• c∗_k에서의 전이가 날카롭다: c가 c∗_k를 넘을 때 성공할 확률이 1에서 0으로 급격히 떨어진다.
• 분석 결과, k = 4 또는 5일 때 관측된 거의 100%의 메모리 활용도는 정확한 임계값 존재성에 의해 이론적으로 뒷받침됨을 확인한다.