[논문 리뷰] A Note on Unconditional Subexponential-time Pseudo-deterministic Algorithms for BPP Search Problems

Dhiraj Holden|arXiv (Cornell University)|2017. 07. 18.

Complexity and Algorithms in Graphs참고 문헌 7인용 수 3

한 줄 요약

이 논문은 모든 검색-BPP 문제에 대해 무조건적인 의사결정적 알고리즘을 제안하며, 무한한 입력 길이에 대해 지수시간 이하로 작동한다. PSPACE의 경계 가정 하에 가짜난수 생성기와 표준 샘플링 기법을 활용하여, 임의의 다항시간 샘플가능 분포에 대해 알고리즘이 높은 확률로 유일한 정확한 해를 출력함을 보장한다.

ABSTRACT

We show the first unconditional pseudo-determinism result for all of search-BPP. Specifically, we show that every BPP search problem can be computed pseudo-deterministically on average for infinitely many input lengths. In other words, for infinitely many input lengths and for any polynomial-time samplable distribution our algorithm succeeds in producing a unique answer (if one exists) with high probability over the distribution and the coins tossed.

연구 동기 및 목표

• 모든 검색-BPP 문제에 대해 지수시간 이하로 작동하는 의사결정적 알고리즘의 존재를 입증하는 것.
• 모든 다항시간 샘플가능 분포에 대해 평균적으로 출력의 유일성을 달성하는 것.
• 일반적인 BPP 검색 문제에 대해 의사결정성이 무조건적으로 달성될 수 있는지 여부를 해결하는 것.
• 특정 문제에 대해 이전에 얻은 의사결정적 알고리즘 결과를 전체 클래스인 검색-BPP로 확장하는 것.
• 가짜난수, 회로 하향계수, 평균적 계산 간의 관계를 탐색하는 것.

제안 방법

• PSPACE가 지수시간 이하의 BPP에 포함되는지 여부에 따라 경우 분석을 수행한다.
• PSPACE ⊆ BPTIME(e_{1/2+ε}(n))인 경우, BPE에 대해 지수시간 이하의 회로 하향계수를 도출하여 패딩 및 기존 결과를 통해 의사결정적 알고리즘을 가능하게 한다.
• PSPACE ⊈ BPTIME(e_{1/2+ε}(n))인 경우, 시간 e_{1/2+ε}(n) 이내에서 어떤 균일 알고리즘으로도 구분 불가능한, 스트레치가 e_{1/2+ε}(n)인 가짜난수 생성기(PRG)를 구성한다.
• 알고리즘은 PRG를 사용해 난수를 샘플링하고, 출력을 반복적으로 실행하며 원래의 BPP 검색 알고리즘을 실행하고, BPP 검증기로 결과를 검증한다.
• 알고리즘은 첫 번째 유효한 해를 출력하며, PRG가 균일성과 구분 불가능하기 때문에 출력의 유일성이 보장되며, 이로 인해 높은 확률로 일관된 출력이 보장된다.
• 구성은 지수함수 e_α(n)를 사용해 지수시간 이하의 시간 복잡도를 표현하고, 이전 연구에서 유래한 표준 샘플링 기법을 사용한다.

실험 결과

연구 질문

• RQ1 모든 검색-BPP 문제는 무한한 입력 길이에 대해 지수시간 이하로 작동하는 의사결정적 알고리즘으로 해결될 수 있는가?
• RQ2 계산 가정에 의존하지 않고, 모든 다항시간 샘플가능 분포에 대해 출력의 평균적 유일성을 달성할 수 있는가?
• RQ3 일반적인 검색-BPP 문제에 대해 의사결정적 알고리즘이 존재하면 새로운 회로 하향계수를 이끌어낼 수 있는가?
• RQ4 결과를 모든 입력 길이에 대해 확장할 수 있는가, 무한한 입력 길이에만 국한되는가?
• RQ5 현재의 가짜난수 기법을 사용해 검색-BPP 문제에 대해 최악의 경우 의사결정적 알고리즘을 구성할 수 있는가?

주요 결과

• 무한한 입력 길이와 모든 다항시간 샘플가능 분포에 대해, 검색-BPP에 속하는 모든 관계는 HeurPsdTIME(e_{1/2+ε}(n), 1/poly(n))에 포함된다.
• PSPACE가 지수시간 이하의 BPP에 포함되지 않는다고 가정할 경우, 균일성과 구분 불가능한 가짜난수 생성기를 사용함으로써 의사결정성이 달성된다.
• PSPACE ⊆ BPTIME(e_{1/2+ε}(n))인 경우, BPE에 대해 지수시간 이하의 크기의 회로 하향계수를 도출할 수 있으며, 이는 기존 기법을 통해 의사결정적 계산이 가능하게 한다.
• 입력 분포와 난수에 대해 알고리즘이 최소 1 - 1/poly(n)의 확률로 유일한 정확한 해를 출력하므로, 높은 일관성이 보장된다.
• 이 증명은 PSPACE가 지수시간 이하의 BPP에 포함되지 않는다고 가정할 경우, 시간 e_{1/2+ε}(n) 이내에서 균일성과 구분 불가능한 스트레치 e_{1/2+ε}(n)인 가짜난수 생성기의 존재에 의존한다.
• 결과는 무조건적이다. 표준 계층 붕괴나 경계 가정을 초월한 증명되지 않은 복잡도 가정이 필요하지 않다.