Pertimbangan paritas memberikan solusi yang sangat bersih, menggunakan mesin sederhana yang mengejutkan: tidak ada rantai Markov, tidak ada harapan berulang, dan hanya penjumlahan tingkat sekolah menengah. Gagasan dasarnya adalah bahwa jika laba-laba telah bergerak beberapa kali dalam arah , ia telah kembali ke koordinat aslinya sehingga tidak dapat berada pada posisi semut. Jika telah berpindah beberapa kali ganjil dalam arah , maka koordinat -nya cocok dengan semut. Hanya jika ia telah memindahkan jumlah ganjil kali dalam ketiga arah itu akan cocok dengan koordinat , dan semut.x x x x y zxxxxxyz
Awalnya laba-laba telah membuat nol bergerak di salah satu dari tiga arah, sehingga paritas untuk setiap arah adalah sama. Ketiga paritas perlu dibalik untuk mencapai semut.
Setelah gerakan pertama laba-laba (beri label arah itu ), tepat satu arah memiliki paritas ganjil dan dua lainnya ( dan ) genap. Untuk menangkap semut, hanya dua paritas yang perlu dibalik. Karena itu tidak dapat dicapai dalam jumlah ganjil dari gerakan selanjutnya, mulai sekarang kami mempertimbangkan pasangan gerakan. Ada sembilan kemungkinan kombinasi untuk langkah berpasangan pertama:y zxyz
( x , x ) ,( x , y) ,( x , z) ,( y, x ) ,( y, y) ,( y, z) ,( z, x ) ,( z, y) , atau( z, z)
Kita perlu bergerak ke arah dan untuk mencapai semut setelah satu gerakan berpasangan, dan dua dari sembilan kombinasi akan mencapai ini: dan akan memastikan ketiga paritas aneh.yz( y, z)( z, y)
Tujuh kombinasi lainnya meninggalkan satu paritas ganjil dan dua genap. Tiga gerakan berulang, , atau , membuat semua paritas tidak berubah sehingga kita masih memerlukan satu gerakan dan satu untuk mencapai semut. Pasangan lainnya berisi dua gerakan berbeda, termasuk satu di arah . Ini mengganti paritas dan salah satu paritas lainnya (baik atau ) sehingga kita masih memiliki satu paritas ganjil dan dua paritas genap. Sebagai contoh, pasangan membuat kita membutuhkan satu lagi dan satu lagi( x , x )( y, y)( z, z)yzxxyz( x , z)xyuntuk mencapai semut: situasi yang setara (setelah relabelling kapak) ke tempat kami sebelumnya. Kami kemudian dapat menganalisis langkah pasangan berikutnya dengan cara yang sama.
Secara umum, pasangan yang berpasangan mulai dengan satu paritas ganjil dan dua genap, dan akan berakhir dengan tiga paritas ganjil (dengan probabilitas ) dan penangkapan semut segera, atau dengan satu paritas ganjil dan dua genap ( dengan probabilitas ) yang mengembalikan kita ke situasi yang sama.2979
Biarkan menjadi jumlah gerakan berpasangan yang diperlukan untuk mencapai semut. Jelas mengikuti distribusi geometrik pada dukungan dengan probabilitas keberhasilan sehingga memiliki mean . Misalkan adalah jumlah total gerakan yang diperlukan, termasuk gerakan awal dan gerakan berpasangan berikutnya. Kemudian demikian, menerapkan linearitas harapan, .M.M.{ 1 , 2 , 3 , ... }p = 29E (M) = p- 1= 92= 4,5NM.N= 2 M+ 1E (N) = 2 E ( M) + 1 = 2 × 4.5 + 1 = 10
Atau Anda dapat mencatat dan menerapkan rumus terkenal untuk rata - rata distribusi diskrit yang hanya mengambil nilai integer non-negatif , . Ini menghasilkan yang merupakan deret geometri dengan suku pertama dan umum rasio demikian juga dengan jumlah . Kita kemudian dapat mengambil seperti sebelumnya.P( M.≥ m ) = ( 79)m - 1E (M) = ∑∞m = 1P( M.≥ m )E (M) = ∑∞m = 1( 79)m - 1a = 1r = 79 Sebuah1 - r= 11 - 7 / 9= 12 / 9= 92E (N)
Perbandingan dengan solusi rantai Markov
Bagaimana saya bisa melihat ini dari matriks transisi rantai Markov? Menggunakan notasi @ DLDahly, status dalam matriks transisi sesuai dengan deskripsi saya tentang jumlah jumlah arah dengan paritas ganjil.
Matriks transisi satu langkah adalah
P = ⎡⎣⎢⎢⎢PS→ SPA → SPB → SPE→ SPS→ APA → APB → APE→ APS→ BPA → BPB → BPE→ BPS→ EPA → EPB → EPE→ E⎤⎦⎥⎥⎥= ⎡⎣⎢⎢⎢⎢01 / 300102 / 3002 / 300001 / 31⎤⎦⎥⎥⎥⎥
Baris pertama menunjukkan kepada kita bahwa setelah satu gerakan, laba-laba dijamin dalam keadaan A (satu ganjil dan dua paritas genap). Matriks transisi dua langkah adalah:
P( 2 )= P2= ⎡⎣⎢⎢⎢⎢1 / 302 / 9007 / 9002 / 304 / 9002 / 91 / 31⎤⎦⎥⎥⎥⎥
Baris kedua menunjukkan kepada kita bahwa sekali laba-laba telah memasuki keadaan A, dalam dua gerakan waktu ia telah kembali ke keadaan A dengan probabilitas atau telah mencapai keadaan E (semua paritas ganjil) dan menangkap semut, dengan probabilitas . Jadi setelah mencapai keadaan A, kita melihat dari matriks transisi dua langkah bahwa jumlah langkah dua langkah yang diperlukan dapat dianalisis menggunakan distribusi geometris seperti di atas. Ini bukan bagaimana saya menemukan solusi saya, tetapi kadang-kadang layak menghitung beberapa kekuatan pertama dari matriks transisi untuk melihat apakah pola yang berguna seperti ini dapat dieksploitasi. Saya kadang-kadang menemukan ini untuk memberikan solusi yang lebih sederhana daripada harus membalikkan matriks atau melakukan komposisi eigend dengan tangan - memang sesuatu yang hanya benar-benar relevan dalam situasi ujian atau wawancara.7 / 92 / 9