מושגי ליבה
단조 최소 완전 해싱 데이터 구조에 대한 공간 복잡도의 엄밀한 하한을 제시한다.
תקציר
이 논문은 단조 최소 완전 해싱(MMPHF) 데이터 구조에 대한 공간 복잡도의 엄밀한 하한을 제시한다.
주요 내용은 다음과 같다:
- 이전에 알려진 하한 Ω(n min{log log log u, log n})을 개선하여, u ≥ (1+ϵ)n인 경우 Ω(n min{log log log u/n, log n})의 하한을 증명한다.
- 이 하한은 최적이며, 기존의 MMPHF 구조를 약간 확장하여 이 하한을 달성할 수 있음을 보인다.
- n < u < (1+ϵ)n인 경우 알려진 사실들을 이용하여 엄밀한 상한과 하한을 얻을 수 있음을 관찰한다.
- 하한 증명의 핵심 부분을 단순화하였지만, 일부 복잡한 부분은 기존 연구와 유사한 방식으로 다룬다.
סטטיסטיקה
u ≥ (1+ϵ)n인 경우, MMPHF의 공간 복잡도 하한은 Ω(n min{log log log u/n, log n})이다.