νƒœκ·Έ 보관물: randomness

randomness

RP에 λŒ€ν•΄ μ§„μ •ν•œ μž„μ˜μ„± (μ•„λ§ˆλ„)을 Kolmogorov μž„μ˜μ„±μœΌλ‘œ λŒ€μ²΄ ν•  수 μžˆμŠ΅λ‹ˆκΉŒ? n sμ—μŠ€ssㅏAAㅏAAμ—μŠ€ssμ—”nnμ—μŠ€ss λ“€μ–΄ ,ν•˜μž

Kolmogorov의 λ¬΄μž‘μœ„μ„± 이 RP에 μΆ©λΆ„ ν•˜λ‹€λŠ” 것을 보여 μ£Όλ €λŠ” μ‹œλ„κ°€ μžˆμ—ˆμŠ΅λ‹ˆκΉŒ? β€œμ •λ‹΅μ΄ YES이면 ν™•λ₯  둠적 튜링 머신은 YESλ₯Ό ν™•λ₯ κ³Ό ν•¨κ»˜ λ°˜ν™˜ν•©λ‹ˆλ‹€β€λΌλŠ” λ¬Έμž₯에 μ‚¬μš© 된 ν™•λ₯ μ΄ 항상 잘 μ •μ˜λ˜μ–΄ μžˆμŠ΅λ‹ˆκΉŒ? μ•„λ‹ˆλ©΄ ν•΄λ‹Ή ν™•λ₯ μ— λŒ€ν•œ μƒν•œκ³Ό ν•˜ν•œ 만 μžˆμŠ΅λ‹ˆκΉŒ? μ•„λ‹ˆλ©΄ ν™•λ₯ μ΄ 잘 μ •μ˜ 된 ν™•λ₯  적 튜링 λ¨Έμ‹  만 μžˆμ„κΉŒμš” (적어도 ν•˜ν•œμ€ 1/2보닀 μ»€μ•Όν•©λ‹ˆκΉŒ)?

μ—¬κΈ°μ„œ RP ν΄λž˜μŠ€λŠ” 비ꡐ적 μž„μ˜μ μ΄λ©°, Kolmogorov μž„μ˜μ„±λ³΄λ‹€ (μ˜μ‚¬) μž„μ˜μ„±μ— λŒ€ν•œ μ•½ν•œ κ°œλ…μ„ μš”κ΅¬ν•  μˆ˜λ„ μžˆμŠ΅λ‹ˆλ‹€. κ·ΈλŸ¬λ‚˜ Kolmogorov의 λ¬΄μž‘μœ„μ„±μ€ 쒋은 좜발점이 될 것 κ°™μŠ΅λ‹ˆλ‹€.


β€œν™•λ₯ β€μ΄λΌλŠ” 단어λ₯Ό μ΄ν•΄ν•˜λŠ” 것은 Kolmogorov의 λ¬΄μž‘μœ„μ„±μ΄ RP에 νš¨κ³Όμ μ΄λΌλŠ” 것을 λ³΄μ—¬μ£ΌλŠ” μ‹œλ„μ˜ 일뢀일 κ²ƒμž…λ‹ˆλ‹€. κ·ΈλŸ¬λ‚˜ κ°€λŠ₯ν•œ ν•œ 가지 μ ‘κ·Ό 방식을 μ„€λͺ…ν•˜κ³  κ·Έ μ˜λ―Έκ°€ 무엇인지, μ™œ μƒν•œκ³Ό ν•˜ν•œμ— λŒ€ν•΄ μ΄μ•ΌκΈ°ν–ˆλŠ”μ§€ μ„€λͺ…ν•˜λ €κ³ ν•©λ‹ˆλ‹€.

λ₯Ό (콜 λͺ¨κ³  λ‘œν”„ μž„μ˜μ˜) λ¬Έμžμ—΄λ‘œ ν•˜μž . λ₯Ό RP의 언어에 ν•΄λ‹Ήν•˜λŠ” 주어진 ν™•λ₯  적 튜링 λ¨Έμ‹  μ΄λΌκ³ ν•˜μž . μ‹€ν–‰ 와 랜덀 λΉ„νŠΈμ˜ μ†ŒμŠ€λ‘œμ„œ μ—μ„œ 이전에 μ‚¬μš©λ˜μ§€ μ•Šμ€ λΉ„νŠΈ μ†Œλͺ¨ 지속 μ‹œκ°„, ν•˜λ‚˜μ”©.A A s n s

s

A

A

s

n

s

λ“€μ–΄ ,ν•˜μž 및 . κ·Έ κ΄€μ°° 와 μ•„λ‹ˆλΌ 주어진 λ¬Έμžμ—΄μ— λŒ€ν•΄ μ •μ˜ 된 그것이 λ¬΄μž‘μœ„ν•˜μ§€ μ•Šμ„ κ²½μš°μ—λ„. κ·ΈλŸ¬λ‚˜ κ°€ Kolmogorov μž„μ˜ 경우 인지 λ˜λŠ” 두 개의 μž„μ˜ Kolmogorov μž„μ˜ λ¬Έμžμ—΄ 및 λŒ€ν•΄ μž…λ‹ˆλ‹€. λ˜λŠ” Kolmogorov μž„μ˜ λ¬Έμžμ—΄μ— λŒ€ν•΄ 와 같은 κ°€ μžˆλŠ”μ§€ μ—¬λΆ€

pns:=#YES result in firstΒ nΒ runs ofΒ AΒ onΒ sn

P (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β†’βˆžpns

pβˆ’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βˆ’s

s

.



λ‹΅λ³€

λ‚˜λŠ” μ—¬κΈ°μ„œ β€œμ§ˆλ¬Έμ€ λŒ€λž΅β€ ” μš°λ¦¬λŠ” μ•Œκ³ λ¦¬μ¦˜μ—μ„œ μž„μ˜μ˜ λΉ„νŠΈ μ‹œν€€μŠ€λ₯Ό μ μ ˆν•˜κ²Œ κΈ΄ 콜둜 λͺ¨κ³  λ‘œν”„ μž„μ˜μ˜ λ¬Έμžμ—΄μ—μ„œ κ²°μ •μ μœΌλ‘œ μΆ”μΆœ 된 λΉ„νŠΈλ‘œ λŒ€μ²΄ ν•  μˆ˜μžˆλŠ” 감각 이 μžˆλŠ”κ°€? ” λŒ€λ‹΅! (짧은 λŒ€λ‹΅μ€ β€œμ˜ˆ,ν•˜μ§€λ§Œ λ¨Όμ € 였λ₯˜ ν™•λ₯ μ„ 증폭 ν•œ κ²½μš°μ—λ§Œβ€μž…λ‹ˆλ‹€.)


μ˜ˆβ€¦

μš°λ¦¬λŠ” λΆ„λͺ…νžˆ μ—¬κΈ°μ„œ 말할 수 μžˆμŠ΅λ‹ˆλ‹€. ν•˜μž 일뢀 μ–Έμ–΄ν•˜κ³ ν•˜μž μž…λ ₯으둜 μ·¨ μ•Œκ³ λ¦¬μ¦˜ 될 랜덀 λ¬Έμžμ—΄ (μœ„μ— 균일 뢄포 ) st . 즉, λŠ” μ΅œλŒ€ ν™•λ₯ λ‘œ 였λ₯˜λ₯Ό μΌμœΌν‚€λŠ” μ•Œκ³ λ¦¬μ¦˜μž…λ‹ˆλ‹€ .A x r ∈ U f ( | x | ) { 0 , 1 } f ( | x | ) Pr [ A ( x , r ) = L ( x ) ] > 1 βˆ’ Ο΅ ( x ) A Ο΅ ( β‹… )

L

A

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∈L

rβ€²

{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 / Ο΅ (

r

r

x

i

b

A

|x|+|i|+O(1)=|x|+log2⁑(2f(|x|)Ο΅(x))+O(1)=|x|+f(|x|)βˆ’log⁑(1/Ο΅(x))+O(1).

νšŒμˆ˜λŠ” 길이이닀 이 μ••μΆ• λ³€ν˜•ν•˜λ―€λ‘œ, 경우 예λ₯Ό λ“€λ©΄, μž…λ‹ˆλ‹€.

r

f(|x|)

r

log⁑(1/Ο΅(x))=|x|+Ο‰(1),

Ο΅(x)=1/22|x|

λ§ˆμ§€λ§‰μœΌλ‘œ 이 Kolmogorov μž„μ˜ λ¬Έμžμ—΄ 인 경우 의 였λ₯˜ ν™•λ₯  이 μΆ©λΆ„νžˆ μž‘μ€ ν•œ μž„μ˜μ˜ λΉ„νŠΈ μ‹œν€€μŠ€ λŒ€μ‹  Kolmogorov μž„μ˜ λ¬Έμžμ—΄μ΄ 에 μ‘λ‹΅ν•˜κ²Œλ©λ‹ˆλ‹€. λ°”λ₯΄κ²Œ!

r

A

A

μš°λ¦¬κ°€ 에 λŒ€ν•΄ ν™œμš©ν•˜λŠ” μœ μΌν•œ 것은 였λ₯˜ ν™•λ₯ μ΄ μž‘λ‹€λŠ” κ²ƒμž…λ‹ˆλ‹€. μ‹€ν–‰ μ‹œκ°„μ΄ λ„ˆλ¬΄ κΈΈκ±°λ‚˜ ν•œλ‘ 가지 였λ₯˜κ°€ μžˆλŠ”μ§€λŠ” μ‹ κ²½ 쓰지 μ•ŠμŠ΅λ‹ˆλ‹€ .

A

A

A

이것을 (λ˜λŠ” λ˜λŠ” ) 문제둜 λ‹€μ‹œ κ°€μ Έ 였면 μ•Œκ³ λ¦¬μ¦˜μ˜ 였λ₯˜ ν™•λ₯ μ„ μ¦ν­μ‹œν‚€λŠ” ν•œ μž„μ˜μ˜ λΉ„νŠΈ λŒ€μ‹  Kolmogorov μž„μ˜ λ¬Έμžμ—΄μ„ μ‚¬μš©ν•  수 μžˆλ‹€κ³ ν•©λ‹ˆλ‹€.

RP

coRP

BPP

β€¦ν•˜μ§€λ§Œ λ¨Όμ € μ¦ν­ν•΄μ•Όν•©λ‹ˆλ‹€.

후속 μ§ˆλ¬Έμ€ β€œμ˜€λ₯˜ ν™•λ₯ μ„ μ¦ν­μ‹œν‚€μ§€ μ•Šκ³  이것을 ν•  수 μžˆμŠ΅λ‹ˆκΉŒ?” λ₯Ό κ²°μ • ν•˜κ³  μ˜€μ°¨κ°€ λ‹€μŒ μ•Œκ³ λ¦¬μ¦˜ λ₯Ό κ³ λ €ν•˜μ‹­μ‹œμ˜€ .{ 0 , 1 } * 1 / 2 N

A

{0,1}βˆ—

1/2n

μž…λ ₯ :

x
  • λ¬Έμžμ—΄ 생성
    r∈{0,1}n

  • 만일 , 거절.
    r=x

  • λ™μ˜ν•˜κΈ°.

곡지 μ‚¬ν•­μ˜ λͺ¨λ“  선택에 λŒ€ν•œ 것을 의 λͺ‡ 가지 선택이 μžˆλ„λ‘ 것이 단점 ,의, 즉 선택 κ·Έ μž…λ‹ˆλ‹€ μš°λ¦¬κ°€ μ‚¬μš©ν•˜λŠ” λΉ„νŠΈμ˜ μž„μ˜μ˜ μˆœμ„œλ‘œ λŒ€μ²΄ ν•  수 μžˆλ„λ‘ 증폭없이 콜 λͺ¨κ³  λ‘œν”„ μž„μ˜μ˜ λ¬Έμžμ—΄μ„ 였λ₯˜ ν™•λ₯ μž…λ‹ˆλ‹€!x A x r x A

r

x

A

x

r

x

A

μΆœμ²˜μ— λŒ€ν•œ μ°Έκ³  사항 :이 쀑 μ–΄λ–€ 것이 μ†Œμ„€μΈμ§€ ν™•μ‹€ν•˜μ§€ μ•Šμ§€λ§Œ, 자격 μ‹œν—˜μ„μœ„ν•œ 글쓰기에 첫 번째 μ£Όμž₯을 포함 μ‹œμΌ°μŠ΅λ‹ˆλ‹€.


λ‹΅λ³€