[논문 리뷰] Independence Properties of Algorithmically Random Sequences

Steven M. Kautz|ArXiv.org|2003. 01. 16.

Computability, Logic, AI Algorithms참고 문헌 18인용 수 3

한 줄 요약

이 논문은 알고리즘적으로 무작위인 무한 이진 수열 A가 유계 콕모고로프-로브랜드 선택 규칙에 의해 선택된 비트 A₀와 비선택된 비트 A₁으로 분할될 때, A₁이 A₀에 대해 여전히 알고리즘적으로 무작위임을 입증한다. 이 독립성 성질은 적응형이자 비재귀적인 선택 규칙하에서도 랜덤 수열에 대한 정보를 추출할 수 없음을 확인한다.

ABSTRACT

A bounded Kolmogorov-Loveland selection rule is an adaptive strategy for recursively selecting a subsequence of an infinite binary sequence; such a subsequence may be interpreted as the query sequence of a time-bounded Turing machine. In this paper we show that if A is an algorithmically random sequence, A_0 is selected from A via a bounded Kolmogorov-Loveland selection rule, and A_1 denotes the sequence of nonselected bits of A, then A_1 is independent of A_0; that is, A_1 is algorithmically random relative to A_0. This result has been used by Kautz and Miltersen [1] to show that relative to a random oracle, NP does not have p-measure zero (in the sense of Lutz [2]). [1] S. M. Kautz and P. B. Miltersen. Relative to a random oracle, NP is not small. Journal of Computer and System Sciences, 53:235-250, 1996. [2] J. H. Lutz. Almost everywhere high nonuniform complexity. Journal of Computer and System Sciences, 44:220-258, 1992.

연구 동기 및 목표

• 다양한 부분수열 선택 규칙 하에서 알고리즘적으로 무작위 수열의 독립성 성질을 조사하는 것.
• 랜덤 수열에서 선택된 부분수열이 여전히 알고리즘적으로 무작위가 되는 조건을 규명하는 것.
• 유계 콕모고로프-로브랜드 규칙 하에서 비선택 수열이 선택된 수열에 대해 여전히 무작위임을 입증하는 것.
• 랜덤 오라클을 포함한 복잡도이론적 응용을 위한 기초 결과를 제공하는 것.
• 랜덤 수열은 스스로의 일부에 대해 이용 가능한 정보를 포함하지 않아야 한다는 직관을 형식화하는 것.

제안 방법

• 선택 규칙이 과거 이력과 함수 F에 기반하여 비트를 선택하는 적응형 비재귀 전략으로서, 유계 콕모고로프-로브랜드 선택 규칙을 정의한다.
• 선택 과정을 시뮬레이션하고 선택된 비트 및 비선택된 비트의 상태를 추적하기 위해 수열 αₖ와 βₖ의 재귀적 구성법을 사용한다.
• 선택 규칙과 랜덤 수열 A 간의 상호작용을 모델링하기 위해 보조 수열 σ와 τ를 도입한다.
• 단계 k에 대한 귀납법을 적용하여 불변성을 증명한다: αₖ는 A의 접두사이며, αₖ*는 A의 접두사이며, 선택 규칙은 오라클 B와 일관성을 유지한다.
• 함수 S(σ, τ)의 수렴성을 적용하여 선택 과정이 모순 없이 무한히 연장될 수 있음을 검증한다.
• 상대적 알고리즘적 무작위성과 반 람발렌의 정리를 활용하여 A₀와 A₁ 간의 독립성을 형식화한다.

실험 결과

연구 질문

• RQ1 어떤 선택 규칙 하에서 선택된 부분수열의 보완 수열이 선택된 부분수열에 대해 알고리즘적으로 무작위가 되는가?
• RQ2 비재귀적이고 적응형 선택 전략 하에서도 랜덤 수열의 선택된 부분과 비선택된 부분 간의 독립성이 유지될 수 있는가?
• RQ3 유계 콕모고로프-로브랜드 선택 규칙이 비선택 수열의 알고리즘적 무작위성을 유지하는가?
• RQ4 이 독립성 성질을 활용하여 랜덤 오라클에 대한 NP의 복잡도 이론적 성질을 도출할 수 있는가?
• RQ5 이 결과는 무작위 수열에 대한 미스-처치의 확률적 조건을 어떻게 강화하거나 일반화하는가?

주요 결과

• 모든 알고리즘적으로 무작위 수열 A에 대해, A₀가 유계 콕모고로프-로브랜드 규칙에 의해 선택된다면, A₁(비선택 비트)은 A₀에 대해 여전히 알고리즘적으로 무작위이다.
• 선택 규칙이 비재귀적일 경우에도 A₀와 A₁ 간의 독립성이 유지되며, 이는 적응형 선택 하에서도 랜덤성의 강건성을 보여준다.
• 선택 규칙, 오라클 B, 목표 수열 A 간의 일관성을 유지하는 재귀적 과정이 증명에 의해 구성된다.
• 이 결과는 시간 제한이 있는 튜링 기계가 선택된 질의 수열에서 비선택 비트에 대한 유용한 정보를 추출할 수 없다는 것을 시사한다.
• 이 독립성 성질은 랜덤 오라클 상에서 NP가 지수 시간 클래스에서 p-측도가 0이 아니라는 것을 보여주는 데 사용된다.
• 이 결과는 랜덤 오라클 상에서 P ≠ NP임을 보여주는 이전 결과를 더 정교한 랜덤 수열의 정보 내용 분석을 통해 강화한다.