Kolmogorovμ 무μμμ± μ΄ RPμ μΆ©λΆ νλ€λ κ²μ λ³΄μ¬ μ£Όλ €λ μλκ° μμμ΅λκΉ? βμ λ΅μ΄ YESμ΄λ©΄ νλ₯ λ‘ μ νλ§ λ¨Έμ μ YESλ₯Ό νλ₯ κ³Ό ν¨κ» λ°νν©λλ€βλΌλ λ¬Έμ₯μ μ¬μ© λ νλ₯ μ΄ νμ μ μ μλμ΄ μμ΅λκΉ? μλλ©΄ ν΄λΉ νλ₯ μ λν μνκ³Ό νν λ§ μμ΅λκΉ? μλλ©΄ νλ₯ μ΄ μ μ μ λ νλ₯ μ νλ§ λ¨Έμ λ§ μμκΉμ (μ μ΄λ ννμ 1/2λ³΄λ€ μ»€μΌν©λκΉ)?
μ¬κΈ°μ RP ν΄λμ€λ λΉκ΅μ μμμ μ΄λ©°, Kolmogorov μμμ±λ³΄λ€ (μμ¬) μμμ±μ λν μ½ν κ°λ μ μꡬν μλ μμ΅λλ€. κ·Έλ¬λ Kolmogorovμ 무μμμ±μ μ’μ μΆλ°μ μ΄ λ κ² κ°μ΅λλ€.
βνλ₯ βμ΄λΌλ λ¨μ΄λ₯Ό μ΄ν΄νλ κ²μ Kolmogorovμ 무μμμ±μ΄ RPμ ν¨κ³Όμ μ΄λΌλ κ²μ 보μ¬μ£Όλ μλμ μΌλΆμΌ κ²μ λλ€. κ·Έλ¬λ κ°λ₯ν ν κ°μ§ μ κ·Ό λ°©μμ μ€λͺ νκ³ κ·Έ μλ―Έκ° λ¬΄μμΈμ§, μ μνκ³Ό ννμ λν΄ μ΄μΌκΈ°νλμ§ μ€λͺ νλ €κ³ ν©λλ€.
λ₯Ό (μ½ λͺ¨κ³ λ‘ν μμμ) λ¬Έμμ΄λ‘ νμ . λ₯Ό RPμ μΈμ΄μ ν΄λΉνλ μ£Όμ΄μ§ νλ₯ μ νλ§ λ¨Έμ μ΄λΌκ³ νμ . μ€ν μ λλ€ λΉνΈμ μμ€λ‘μ μμ μ΄μ μ μ¬μ©λμ§ μμ λΉνΈ μλͺ¨ μ§μ μκ°, νλμ©.A A s n s
sA
A
s
n
s
λ€μ΄ ,νμ λ° . κ·Έ κ΄μ°° μ μλλΌ μ£Όμ΄μ§ λ¬Έμμ΄μ λν΄ μ μ λ κ·Έκ²μ΄ 무μμνμ§ μμ κ²½μ°μλ. κ·Έλ¬λ κ° Kolmogorov μμ κ²½μ° μΈμ§ λλ λ κ°μ μμ Kolmogorov μμ λ¬Έμμ΄ λ° λν΄ μ λλ€. λλ Kolmogorov μμ λ¬Έμμ΄μ λν΄ μ κ°μ κ° μλμ§ μ¬λΆ
pns:=#YES result in firstΒ nΒ runs ofΒ AΒ onΒ snP (S) β : = LIM INF N β β P S N κ°μ P S + P (S) β (S) P (S) + = P (S) β (S) P (S) (1) β = P (S) 2 β sμ 1 μ 2 P β₯ 1 / 2 P β€ P
p+s:=limβsupnββpnspβs:=limβinfnββpns
p+s
pβs
s
p+s=pβs
s
pβs1=pβs2
s1
s2
pβ₯1/2
s
pβ€pβss
.
λ΅λ³
λλ μ¬κΈ°μ βμ§λ¬Έμ λλ΅β β μ°λ¦¬λ μκ³ λ¦¬μ¦μμ μμμ λΉνΈ μνμ€λ₯Ό μ μ νκ² κΈ΄ μ½λ‘ λͺ¨κ³ λ‘ν μμμ λ¬Έμμ΄μμ κ²°μ μ μΌλ‘ μΆμΆ λ λΉνΈλ‘ λ체 ν μμλ κ°κ° μ΄ μλκ°? β λλ΅! (짧μ λλ΅μ βμ,νμ§λ§ λ¨Όμ μ€λ₯ νλ₯ μ μ¦ν ν κ²½μ°μλ§βμ λλ€.)
μβ¦
μ°λ¦¬λ λΆλͺ ν μ¬κΈ°μ λ§ν μ μμ΅λλ€. νμ μΌλΆ μΈμ΄νκ³ νμ μ λ ₯μΌλ‘ μ·¨ μκ³ λ¦¬μ¦ λ λλ€ λ¬Έμμ΄ (μμ κ· μΌ λΆν¬ ) st . μ¦, λ μ΅λ νλ₯ λ‘ μ€λ₯λ₯Ό μΌμΌν€λ μκ³ λ¦¬μ¦μ λλ€ .A x r β U f ( | x | ) { 0 , 1 } f ( | x | ) Pr [ A ( x , r ) = L ( x ) ] > 1 β Ο΅ ( x ) A Ο΅ ( β )
LA
x
rβUf(|x|)
{0,1}f(|x|)
Pr[A(x,r)=L(x)]>1βΟ΅(x)
A
Ο΅(β )
κ³΅μ§ μ¬ν μ§κΈνλ©΄ κ²μ μ λν μ€λ΅ μ 곡 μ¦, ,μ΄ μ°λ¦¬μκ² μ€λͺ νλ λͺ κ°μ§ μλ¨ μ 곡 , νΉνλ₯Ό, μ°λ¦¬λ κ·Έκ²μ μ€λͺ ν μ μμ κ° μ€λ₯ λ₯Ό μΌμΌν€λ λ²μ§Έ λ¬Έμμ΄ μ΄λ₯Ό μν΄, μ°λ¦¬λ λ¨μν , , λ° λΉνΈ μ νλ μ½λ© ν κΈ°κ³λ₯Ό λ§λ€κ³ μμ μ νμ μ΄κ±°ν©λλ€. κ° λ°κ²¬ λ λκΉμ§ μ λ²μ§Έ μ ν μ΄λλλ‘ .( x , r ) A ( x , r ) β L ( x ) r i A x . x A i b = 1
A(x,r)
A(x,r)β L(x)
r
i
A
x.
x
A
i
r β² { 0 , 1 } f ( | x | ) i r β² A ( x , r β ) β b
b=1βΊxβLrβ²
{0,1}f(|x|)
i
rβ²
A(x,rβ²)β b
μ΄μ μμμ λ¬Έμμ΄μ μλͺ» μ ννμ¬ μ€λͺ μΌλ‘ νμ©ν μ μμμ μμμΌλ―λ‘ μ λν μ€λͺ μ μμΆμΌλ‘ λ³ν νκΈ°μ μΆ©λΆν 쑰건μ μ΄ν΄ λ³΄κ² μ΅λλ€ . μ μ€λͺ νκΈ° μν΄ , , λ₯Ό μ€λͺ ν μμλ μΆ©λΆν λΉνΈκ° νμνλ©° νλ‘ μμ μ½λ ( μ½λ μ μ€λͺ λ 루ν΄)λ₯Ό κΈΈμ΄r x i b A | x | + | λλ | + O ( 1 ) = | x | + log 2 ( 2 f ( | x | ) Ο΅ ( x ) ) + O ( 1 ) = | x | + f ( | x | ) β λ‘κ·Έ ( 1 / Ο΅ (
rr
x
i
b
A
νμλ κΈΈμ΄μ΄λ€ μ΄ μμΆ λ³ννλ―λ‘, κ²½μ° μλ₯Ό λ€λ©΄, μ λλ€.
rf(|x|)
r
Ο΅(x)=1/22|x|
λ§μ§λ§μΌλ‘ μ΄ Kolmogorov μμ λ¬Έμμ΄ μΈ κ²½μ° μ μ€λ₯ νλ₯ μ΄ μΆ©λΆν μμ ν μμμ λΉνΈ μνμ€ λμ Kolmogorov μμ λ¬Έμμ΄μ΄ μ μλ΅νκ²λ©λλ€. λ°λ₯΄κ²!
rA
A
μ°λ¦¬κ° μ λν΄ νμ©νλ μ μΌν κ²μ μ€λ₯ νλ₯ μ΄ μλ€λ κ²μ λλ€. μ€ν μκ°μ΄ λ무 κΈΈκ±°λ νλ κ°μ§ μ€λ₯κ° μλμ§λ μ κ²½ μ°μ§ μμ΅λλ€ .
AA
A
μ΄κ²μ (λλ λλ ) λ¬Έμ λ‘ λ€μ κ°μ Έ μ€λ©΄ μκ³ λ¦¬μ¦μ μ€λ₯ νλ₯ μ μ¦νμν€λ ν μμμ λΉνΈ λμ Kolmogorov μμ λ¬Έμμ΄μ μ¬μ©ν μ μλ€κ³ ν©λλ€.
RPcoRP
BPP
β¦νμ§λ§ λ¨Όμ μ¦νν΄μΌν©λλ€.
νμ μ§λ¬Έμ βμ€λ₯ νλ₯ μ μ¦νμν€μ§ μκ³ μ΄κ²μ ν μ μμ΅λκΉ?β λ₯Ό κ²°μ νκ³ μ€μ°¨κ° λ€μ μκ³ λ¦¬μ¦ λ₯Ό κ³ λ €νμμμ€ .{ 0 , 1 } * 1 / 2 N
A{0,1}β
1/2n
μ λ ₯ :
x- λ¬Έμμ΄ μμ±
rβ{0,1}n - λ§μΌ , κ±°μ .
r=x - λμνκΈ°.
κ³΅μ§ μ¬νμ λͺ¨λ μ νμ λν κ²μ μ λͺ κ°μ§ μ νμ΄ μλλ‘ κ²μ΄ λ¨μ ,μ, μ¦ μ ν κ·Έ μ λλ€ μ°λ¦¬κ° μ¬μ©νλ λΉνΈμ μμμ μμλ‘ λ체 ν μ μλλ‘ μ¦νμμ΄ μ½ λͺ¨κ³ λ‘ν μμμ λ¬Έμμ΄μ μ€λ₯ νλ₯ μ λλ€!x A x r x A
rx
A
x
r
x
A
μΆμ²μ λν μ°Έκ³ μ¬ν :μ΄ μ€ μ΄λ€ κ²μ΄ μμ€μΈμ§ νμ€νμ§ μμ§λ§, μ격 μνμμν κΈμ°κΈ°μ 첫 λ²μ§Έ μ£Όμ₯μ ν¬ν¨ μμΌ°μ΅λλ€.