Perbedaan antara kepala dan ekor


12

Pertimbangkan urutan membalik koin yang tidak bias. Misalkan menunjukkan nilai absolut dari selisih jumlah kepala lebih ekor terlihat di pertama membalik. Tentukan . Tunjukkan bahwa dan .nHiiH=maxiHiE[Hi]=Θ(i)E[H]=Θ(n)

Masalah ini muncul di bab pertama `Algoritma acak 'oleh Raghavan dan Motwani, jadi mungkin ada bukti dasar dari pernyataan di atas. Saya tidak dapat menyelesaikannya, jadi saya sangat menghargai bantuan apa pun.

Jawaban:


9

Koin Anda terbalik membentuk jalan acak satu dimensi mulai dari , dengan , masing-masing opsi dengan probabilitas . Sekarangdan jadi . Mudah untuk menghitung (ini hanya varians), dan jadi dari konveksitas. Kita juga tahu bahwa didistribusikan secara normal dengan nol rata-rata dan varian , sehingga Anda dapat menghitung .X0,X1,X0=0Xi+1=Xi±11/2Hi=|Xi|Hi2=Xi2E [ H i ] E[Xi2]=i XiiE[Hi]E[Hi]E[Hi2]=iXiiE[Hi](2/π)i

Adapun , kita memiliki hukum dari logaritma iterated , yang (mungkin) mengarahkan kita untuk mengharapkan sesuatu yang sedikit lebih besar dari . Jika Anda baik dengan batas atas , Anda dapat menggunakan batas deviasi besar untuk setiap dan kemudian ikatan gabungan, meskipun itu mengabaikan fakta bahwa terkait.E[maxinHi]nO~(n)XiXi

Sunting: Ketika itu terjadi, karena prinsip refleksi, lihat pertanyaan ini . Jadi karena . Sekarang dan karenanyaPr[maxinXi=k]=Pr[Xn=k]+Pr[Xn=k+1]

E[maxinXi]=k0k(Pr[Xn=k]+Pr[Xn=k+1])=k1(2k1)Pr[Xn=k]=k12kPr[Xn=k]12+12Pr[Xn=0]=E[Hn]+Θ(1),
Pr[Hn=k]=Pr[Xn=k]+Pr[Xn=k]=2Pr[Xn=k]
maxinXi+maxin(Xi)2maxinHimaxinXi+maxin(Xi),
E[maxinHi]2E[Hn]+Θ(1)=O(n). Arah lainnya serupa.

Setelah kita membuktikan , tidak bisakah kita mengatakan bahwa untuk kita memiliki hasil kedua, yaitu tidak ada lebih besar dari . E[Hi]=Θ(i)i=nE[Hi]Θ(n)
chazisop

1
Jika independen, maka kesimpulannya tidak akan benar, karena Anda sebenarnya mengharapkan beberapa dari nilai-nilai ini agak lebih besar dari yang diharapkan. Tidak benar secara umum bahwa . HiE[max(A,B)]=max(E[A],E[B])
Yuval Filmus

1
Hukum logaritma iterated tidak berlaku di sini, karena adalah tetap dan kita tidak normal oleh . Jawaban untuk adalah . niEmaxinHiθ(n)
Peter Shor

+1 untuk bagian pertama. tapi saya jujur ​​tidak mengerti bagian kedua (dapatkah Anda menguraikan lebih banyak plz). Ini tidak berarti bahwa itu tidak benar.
AJed

1
Bukti bagus. Tapi saya buntu bagaimana membuktikan adalah batas bawah ? Tampaknya jawabannya tidak menyebutkan perincian tentang batas bawah. nE(Hi)
konjac

2

Anda dapat menggunakan distribusi setengah normal untuk membuktikan jawabannya.

Distribusi setengah normal menyatakan bahwa jika adalah distribusi normal dengan rata-rata 0 dan varians , makamengikuti setengah distribusi dengan mean , dan varians . Ini memberikan jawaban yang diperlukan, karena varians dari jalan normal adalah , dan Anda dapat memperkirakan distribusi ke distribusi normal menggunakan teorema limit pusat.Xσ2|X|σ2πσ2(12/π)σ2nX

X adalah jumlah dari jalan acak yang disebutkan Yuval Filmus.


Saya tidak suka ini yang saya posting ... meskipun memberi batas bawah, tidak ada yang bisa diceritakan tentang batas atas. Saya mencoba menggunakan argumen distribusi maksimum untuk menyelesaikannya, ternyata menjadi integrasi yang jelek. Tetapi baik untuk mengetahui semua distribusi ini.
AJed

2

Dalam membalik pertama , misalkan kita mendapatkan ekor , lalu. Karenanya, Gunakan perkiraan Stirling , kita tahu .k H 2 i = 2 | i - k |2ikH2i=2|ik|

E(H2i)=2k=0i(2ik)(12)2i2(ik)=(12)2i2[ik=0i(2ik)k=0ik(2ik)]=(12)2i2[i(22i+(2ii))/22ik=0i1(2i1k)]=(12)2i2i[22i1+(2ii)/2222i1/2]=2i(2ii)/22i.
E(H2i)=Θ(2i)

tidakkah kita harus mempertimbangkan kasus-kasus akun di mana ? tampaknya Anda melewatkan faktor penggandaan 2, kan? i<k2i
omerbp
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.