[논문 리뷰] Deterministic oblivious distribution (and tight compaction) in linear time

Peserico, Enoch|arXiv (Cornell University)|2018. 07. 18.

Cryptography and Data Security참고 문헌 18인용 수 2

한 줄 요약

이 논문은 단어-RAM 모델에서 O(n) 시간 내에 marked 요소들을 marked 위치로 분배하는 결정론적이고 무관한 알고리즘을 제시한다. 이는 데이터 이동과 목적지 계산을 분리하기 위해 의사난수 확산 그래프를 사용한다. 주요 기여는 기존의 O(n lg n), O(n lg lg n), O(n lg∗n)의 경계를 개선한, 처음으로 O(n) 결정론적 솔루션을 제공하는 것이다.

ABSTRACT

In tight compaction one is given an array of balls some of which are marked 0 and the rest are marked 1. The output of the procedure is an array that contains all of the original balls except that now the 0-balls appear before the 1-balls. In other words, tight compaction is equivalent to sorting the array according to 1-bit keys (not necessarily maintaining order within same-key balls). Tight compaction is not only an important algorithmic task by itself, but its oblivious version has also played a key role in recent constructions of oblivious RAM compilers. We present an oblivious deterministic algorithm for tight compaction such that for input arrays of n balls requires O(n) total work and O(log n) depth. Our algorithm is in the Exclusive-Read-Exclusive-Write Parallel-RAM model (i.e., EREW PRAM, the most restrictive PRAM model), and importantly we achieve asymptotical optimality in both total work and depth. To the best of our knowledge no earlier work, even when allowing randomization, can achieve optimality in both total work and depth.

연구 동기 및 목표

• m개의 marked 요소를 m개의 marked 위치로 O(n) 시간 내에 이동시키는 결정론적이고 무관한 알고리즘을 설계한다.
• 선형 시간 결정론적 밀도 압축을 달성하는 데 있어 열려 있는 문제를 해결한다.
• 기존의 랜덤화 및 결정론적 알고리즘의 느슨한 압축과 밀도 압축에 대해 점근적 실행 시간을 향상시킨다.
• 무관 압축에 의존하는 암호학적 구조의 실용적 기초를 제공한다.

제안 방법

• 배치된 배열 위치 간의 데이터 이동을 모델링하기 위해 dϵ-정규 이분 다중그래프와 DISC(ϵdϵ) 성질을 사용한다.
• 작은 스케일의 계산을 압축하고 큰 전송을 분할 정산하기 위해 여러 스케일에서 작동함으로써 목적지 계산과 데이터 이동을 분리한다.
• 확산 그래프의 이웃 쌍에 대해 스왑 루틴을 사용하며, 스왑되지 않은 빨간색과 파란색 marked 요소들 사이에서만 스왑이 발생한다.
• 확산 그래프 혼합 렘마를 활용하여 스왑되지 않은 요소의 수를 제한하여, 각 색상당 최대 s = n/(2ℓ)명의 생존자가 발생하도록 보장한다.
• 스펙트럼 확산을 사용하여 선형 시간 내에 필요한 의사난수 그래프를 구성하며, 2의 거듭제곱에 대해 명시적 구성이 가능하다.
• 동일한 그래프 기반 프레임워크를 사용하여 블랙박스 변환을 통해 O(1)-느슨한 압축을 완전한 무관 분포로 변환한다.

실험 결과

연구 질문

• RQ1 기존 방법의 O(n lg n) 경계를 개선하여 결정론적 무관 분포를 O(n) 시간 내에 달성할 수 있는가?
• RQ2 암호학적 알고리즘 설계 분야에서 열려 있는 문제인, 밀도 압축을 위한 결정론적 O(n) 알고리즘이 존재하는가?
• RQ3 의사난수 확산 그래프를 사용하여 선형 시간 복잡도를 유지하면서도 무관성을 달성할 수 있는가?
• RQ4 점근적 표기법의 큰 隐藏 상수로 인해 이러한 알고리즘의 실용적 제한은 무엇인가?
• RQ5 블록 전송, 파이프라인, 비균일 메모리 액세스가 제안된 방법의 성능에 어떤 영향을 미치는가?

주요 결과

• 논문은 O(n) 시간 내에 실행되는 첫 번째 결정론적 무관 분포 알고리즘을 제시하며, 이는 기존의 O(n lg n) 경계를 개선한다.
• 밀도 압축을 위한 첫 번째 O(n) 결정론적 알고리즘을 제공함으로써 열려 있는 문제를 해결한다.
• 알고리즘은 DISC(ϵdϵ) 성질을 가진 의사난수 확산 그래프를 사용하여 생존자 수를 제한하며, 각 색상당 최대 s = n/(2ℓ)명의 스왑되지 않은 요소가 있음을 증명한다.
• 스펙트럼 확산 그래프에 기반하며, 크기가 N = 2^i인 경우 O(N) 시간 내에 명시적으로 구성 가능하여 필요한 의사난수 조건을 만족한다.
• 입력 마킹에 관계없이 데이터에 독립적인 메모리 액세스 패턴을 통해 무관성을 달성한다.
• 최적의 점근적 복잡도를 달성했지만, 정렬 제약과 최적화되지 않은 확산 그래프 구성으로 인해 큰 은닉 상수가 발생하여 최적화의 여지가 있음을 시사한다.