คำตอบทั้งหมดข้างต้นนั้นถูกต้อง แต่พวกเขาไม่ได้อธิบายว่าทำไมพวกเขาถึงถูกต้องและทำไมคุณสามารถเพิกเฉยต่อรายละเอียดมากมายและหลีกเลี่ยงการแก้ไขความสัมพันธ์ที่เกิดซ้ำที่ซับซ้อน
เหตุผลที่ว่าทำไมคำตอบอื่น ๆ ที่ถูกต้องเป็นที่แข็งแกร่งมาร์คอฟทรัพย์สินซึ่งเป็น Markov Chain เนื่องเทียบเท่ากับมาร์คอฟปกติคุณสมบัติ https://en.wikipedia.org/wiki/Markov_property#Strong_Markov_property
โดยพื้นฐานแล้วความคิดก็คือตัวแปรสุ่ม
τ: = (จำนวนครั้งจนกว่าผู้ตายจะไม่ลงจอดในวันที่ 4 เป็นครั้งแรก)
เป็นเวลาหยุด https://en.wikipedia.org/wiki/Stopping_timeเวลาหยุดเป็นตัวแปรสุ่มที่ไม่ได้ขึ้นอยู่กับข้อมูลอื่น ๆ ในอนาคต
เพื่อที่จะบอกว่า nม้วนแรกของตายเป็นคนแรกที่ไม่ได้ลงจอดบน 4 (เช่นเพื่อที่จะตัดสินใจว่า τ= n) คุณเพียงแค่ต้องรู้มูลค่าของม้วนปัจจุบันและของม้วนก่อนหน้านี้ทั้งหมด แต่ไม่ใช่ม้วนในอนาคต - ดังนั้นτ เป็นเวลาหยุดและคุณสมบัติ Strong Markov จะถูกนำไปใช้
สถานที่ให้บริการที่แข็งแกร่งมาร์คอฟพูดอะไร? มันบอกว่าจำนวนที่ตายลงบนที่τth ม้วนเป็นตัวแปรสุ่ม Xτ, เป็นอิสระจากค่านิยมของม้วนก่อนหน้านี้ทั้งหมดที่
ดังนั้นหากผู้ตายกลิ้ง 4 ครั้งสองครั้ง ... 50 ล้านครั้ง ... τ- 1 ครั้งก่อนที่จะเชื่อมโยงไปถึงค่าอื่นสำหรับ τth ม้วนมันจะไม่ส่งผลกระทบต่อความน่าจะเป็นของเหตุการณ์ที่Xτ> 4.
P ( X)τ> 4 | τ= 1 ) = P ( Xτ> 4 | τ= 2 ) = ⋯ = P ( Xτ> 4 | τ= 50 , 000 , 000 ) = ...
ดังนั้นเราจึงสามารถสันนิษฐานได้ว่า τ= 1. This is just the probability that the die lands a value greater than 4 given that it does not land on 4, which we can calculate very easily:
P(X1>4|X≠4)=P(X1>4∩X1≠4)P(X1≠4)=P(X1>4)P(X1≠4)=1356=13⋅65=25
which of course is the correct answer.
You can read more about stopping times and the Strong Markov property in Section 8.3 of (the 4th edition of) Durrett's Probability Theory and Examples, p. 365.