[논문 리뷰] Linear time Constructions of some $d$-Restriction Problems

Nader H. Bshouty|arXiv (Cornell University)|2014. 06. 09.

Complexity and Algorithms in Graphs참고 문헌 21인용 수 4

한 줄 요약

이 논문은 유한체와 충격 집합 이론에 기반한 대수적 기법을 사용하여, 세 가지 $d$-제약 문제—완전 해시 패밀리, 커버리스 패밀리, 분리 해시 패밀리—에 대해 처음으로 선형 시간, 전역적으로 명시적인 구성법을 제시한다. 주요 기여는 최적 또는 거의 최적의 크기로 결정론적 선형 시간 구성법을 달성하여, 이전의 다항식 시간 또는 더 비효율적인 방법들보다 향상된 것이다.

ABSTRACT

We give new linear time globally explicit constructions for perfect hash families, cover-free families and separating hash functions.

연구 동기 및 목표

• 이론적 하한선에 가까운 최소 크기와 선형 시간 복잡도를 갖는 효율적이고 결정론적인 $d$-제약 문제 구성법 개발.
• 특히 $q$가 $d$에 비해 작을 때 $q = o(d^2)$인 경우 거의 최적의 완전 해시 패밀리 구성의 열린 문제 해결.
• 대수기하학과 충격 집합 이론을 활용하여 기존의 커버리스 및 분리 해시 패밀리 구성법을 통합하고 향상.
• 기존의 알려진 구성법보다 작고, 출력 크기에서 선형 시간에 실행되는 전역적으로 명시적인 구성법 제공.

제안 방법

• 유한체 $\mathbb{F}_q$ 위에서 다항식 구성법을 활용하여 $d$-튜플의 초그래프에 대한 충격 집합 생성.
• 일대일성 또는 커버리지 보장을 보장하기 위해 $\prod_{1\leq k<j\leq d}(x_{i_k} - x_{i_j})$ 형태의 다항식을 이용한 분리 다항식 정의.
• 충격 집합 이론을 적용하여 모든 필수 조건을 만족하는 최소 평가 집합을 선택함으로써 해시 패밀리 크기 감소.
• 리드-소로몬 유사 코드와 대수적 함수 체를 활용하여 크기와 구조를 통제하는 명시적 패밀리 구성.
• 유니온 바운드와 확률적 방법을 통해 유도된 경계를 이용해 구성의 거의 최적성 입증.
• 충격 집합을 초과하는 하이퍼그래프에서부터 세 가지 $d$-제약 문제 모두에 대한 압축되고 전역적으로 명시적인 구성법으로 변환하는 프레임워크 제안.

실험 결과

연구 질문

• RQ1 이론적 하한선에 가까운 크기로 선형 시간 내에 $d$-제약 문제를 구성할 수 있는가?
• RQ2 $q = \Omega(d^2)$일 때, 완전 해시 패밀리의 최소 크기는 얼마이며, 이를 결정론적으로 선형 시간 내에 구성할 수 있는가?
• RQ3 특히 이전 방법들이 비효율적이거나 최적치를 넘어서지 못하는 경우, $q = o(d^2)$에 대해 거의 최적의 구성법을 어떻게 달성할 수 있는가?
• RQ4 커버리스 및 분리 해시 패밀리에 대한 전역적으로 명시적인 구성법을 효율적이고 거의 최적의 크기로 만들 수 있는가?
• RQ5 유한체와 다항식 아이디얼과 같은 대수적 구조는 $d$-제약 패밀리의 선형 시간 구성법을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 모든 $q > 4(d(d-1)/2 + 1)$에 대해, $(n,q,d)$-완전 해시 패밀리의 크기가 $O\left(\frac{d^2 \log n}{\log(q/e(d(d-1)/2+1))}\right)$인 선형 시간 구성법을 달성한다.
• 모든 $q = \frac{d(d-1)}{2} + 1 + o(d^2)$에 대해, 크기가 $O\left(\frac{d^6 \log n}{\log d}\right)$인 구성법을 얻으며, 이는 $q = d + O(1)$일 때 하한선에 비해 $d^4$ 배 이내이다.
• 모든 $q \geq d^{2+\delta}$에 대해, 크기가 $O\left(\frac{d^2 \log n}{\log q}\right)$인 구성법을 달성하며, 이는 하한선에 비해 $d$ 배 이내로 일치한다.
• 논문은 $(w,r)$-커버리스 패밀리의 크기가 $O\left((ce)^w r^{w+1} \log n\right)$인 선형 시간 구성법을 제공하며, 이는 특정 매개변수 영역에서 거의 최적이다.
• 분리 해시 패밀리의 경우 $q \geq (D_2+1)^c$일 때 크기가 $O\left(D_2 \log n\right)$로 구성되며, 이는 하한선에 비해 로그 인자 수준에서 일치한다.
• 제시된 구성법은 전역적으로 명시적이며 출력 크기에서 선형 시간에 실행되며, 이는 이전의 다항식 시간 또는 비명시적 구성법보다 향상된 것이다.