Nghịch lý xác suất là những bài toán có đáp án đúng nhưng trái với cảm giác đầu tiên của gần như mọi người, kể cả người học toán lâu năm. Chúng không phải mẹo đố vui: mỗi nghịch lý chỉ ra một chỗ trực giác bỏ sót thông tin, và học cách gỡ chúng là cách nhanh nhất để hiểu không gian mẫu, xác suất có điều kiện và xác suất bổ sung.
Bài này chọn ba nghịch lý kinh điển: Monty Hall, bài toán ngày sinh trùng nhau và bài toán hai đứa trẻ. Với mỗi bài, bạn sẽ thấy lập luận sai phổ biến, lời giải đúng bằng cách liệt kê, và cách tự kiểm bằng mô phỏng, có thể với ba cái cốc giấy hoặc nhờ AI viết vài dòng bảng tính. Cuối bài là thói quen để không bị lừa lần sau.
Monty Hall: ba cánh cửa và quyết định đổi hay giữ
Bài toán đặt theo tên người dẫn một chương trình truyền hình Mỹ. Có ba cánh cửa, sau một cửa là phần thưởng, sau hai cửa còn lại không có gì. Bạn chọn một cửa, giả sử cửa số 1. Người dẫn chương trình, vốn biết phần thưởng ở đâu, mở một trong hai cửa còn lại và cho thấy nó trống. Rồi ông hỏi: bạn có muốn đổi sang cánh cửa đóng còn lại không?
Lập luận phổ biến: còn hai cửa, mỗi cửa một nửa cơ hội, đổi hay không như nhau. Đáp án đúng: đổi thì khả năng thắng là 2/3, giữ thì chỉ 1/3. Năm 1990, khi một chuyên mục báo Mỹ đăng đáp án này, tòa soạn nhận rất nhiều thư phản đối, trong đó có thư của người có bằng tiến sĩ. Chuyện đó cho thấy nghịch lý này khó đến mức nào.
Cách hiểu gọn nhất: lúc chọn lần đầu, xác suất bạn chọn trúng là 1/3, và hành động của người dẫn không thay đổi điều đó vì ông luôn mở được một cửa trống dù bạn chọn gì. Vậy 2/3 còn lại dồn hết vào cửa đóng kia. Liệt kê ba trường hợp đều khả năng: phần thưởng ở cửa 1, bạn đổi và thua; phần thưởng ở cửa 2, người dẫn buộc phải mở cửa 3, bạn đổi và thắng; phần thưởng ở cửa 3, người dẫn mở cửa 2, bạn đổi và thắng. Đổi thắng hai trên ba trường hợp.
Mấu chốt ẩn trong đề là người dẫn biết và cố ý mở cửa trống. Nếu ông mở ngẫu nhiên và tình cờ trúng cửa trống, xác suất lại trở về 1/2. Một chi tiết nhỏ trong cách sinh ra thông tin làm đổi đáp án, và đó là bài học lớn nhất của Monty Hall.
Bài toán ngày sinh: 23 người đã quá nửa khả năng trùng
Hỏi: cần bao nhiêu người trong một phòng để khả năng có ít nhất hai người trùng ngày sinh vượt quá 50%? Nhiều người đoán khoảng 183, tức một nửa của 365. Đáp án là 23. Bảng dưới tính với giả định 365 ngày đều khả năng, bỏ qua năm nhuận.
| Số người trong phòng | Xác suất có ít nhất một cặp trùng ngày sinh |
|---|---|
| 10 | khoảng 11,7% |
| 20 | khoảng 41,1% |
| 23 | khoảng 50,7% |
| 30 | khoảng 70,6% |
| 40 | khoảng 89,1% |
| 50 | khoảng 97,0% |
| 70 | khoảng 99,9% |
Cách tính dùng xác suất bổ sung: thay vì tính "có trùng", tính "không ai trùng" rồi lấy 1 trừ đi. Người thứ nhất sinh ngày nào cũng được; người thứ hai phải khác, xác suất 364/365; người thứ ba khác cả hai, 363/365; cứ thế đến người thứ 23 là 343/365. Nhân 22 phân số này được khoảng 0,493, nên xác suất có trùng là 1 − 0,493 ≈ 0,507.
Trực giác sai vì nó nghĩ đến chuyện "ai đó trùng ngày sinh với mình". Nhưng câu hỏi là bất kỳ cặp nào. Với 23 người có 23 × 22 / 2 = 253 cặp, và mỗi cặp là một cơ hội trùng. Nếu câu hỏi đúng là "có người trùng ngày sinh với bạn", bạn cần khoảng 253 người khác mới đạt 50%.
Chiếc hộp của Bertrand: nghịch lý cổ hơn Monty Hall
Trước Monty Hall gần một thế kỷ, nhà toán học Pháp Joseph Bertrand đã nêu một bài cùng cơ chế trong cuốn sách về xác suất của ông cuối thế kỷ 19. Có ba chiếc hộp giống hệt nhau: hộp thứ nhất đựng hai đồng vàng, hộp thứ hai đựng hai đồng bạc, hộp thứ ba đựng một vàng một bạc. Bạn chọn ngẫu nhiên một hộp, rút ngẫu nhiên một đồng và thấy đó là đồng vàng. Hỏi xác suất đồng còn lại trong hộp cũng là vàng?
Lập luận sai quen thuộc: đồng đầu là vàng thì hộp đó chỉ có thể là hộp vàng-vàng hoặc hộp vàng-bạc, hai khả năng, vậy đáp án 1/2. Đáp án đúng là 2/3. Cách gỡ: đừng đếm hộp, hãy đếm đồng xu. Có ba đồng vàng tất cả, đồng bạn rút được là một trong ba đồng đó với khả năng như nhau. Hai trong ba đồng vàng nằm ở hộp vàng-vàng, nơi đồng còn lại cũng là vàng. Chỉ một đồng vàng nằm ở hộp vàng-bạc.
Viết bằng Bayes: gọi A là chọn hộp vàng-vàng, B là rút được đồng vàng. P(A) = 1/3, P(B | A) = 1, còn P(B) = 1/3 × 1 + 1/3 × 0 + 1/3 × 1/2 = 1/2. Vậy P(A | B) = (1/3) / (1/2) = 2/3. Lời giải bằng đếm và bằng công thức khớp nhau.
Bài này hữu ích vì nó bộc lộ rõ lỗi gốc của cả nhóm nghịch lý: coi các khả năng là như nhau trong khi thật ra chúng không như nhau. Hộp vàng-vàng có hai cách cho ra đồng vàng, hộp vàng-bạc chỉ có một cách, nên bằng chứng nghiêng về hộp vàng-vàng.
Hai đứa trẻ: cách thông tin được đưa ra làm đổi đáp án
Một gia đình có hai con. Biết rằng ít nhất một đứa là con trai. Hỏi xác suất cả hai là con trai bằng bao nhiêu? Giả định mỗi đứa trẻ là trai hay gái với khả năng bằng nhau và độc lập, đây là giả định đơn giản hoá để luyện tính.
Liệt kê không gian mẫu theo thứ tự sinh: trai-trai, trai-gái, gái-trai, gái-gái, bốn khả năng như nhau. Thông tin "ít nhất một trai" loại bỏ gái-gái, còn ba khả năng. Chỉ một trong ba là trai-trai, nên đáp án là 1/3, không phải 1/2 như cảm giác.
Giờ đổi câu hỏi một chút: biết rằng đứa lớn là con trai. Lúc này chỉ còn trai-trai và trai-gái, đáp án là 1/2. Thông tin nghe gần giống nhau nhưng loại bỏ những phần khác nhau của không gian mẫu.
Nghịch lý này gây tranh cãi kéo dài vì trong đời thật, cách ta biết thông tin rất quan trọng. Nếu bạn gặp ngẫu nhiên một trong hai đứa trẻ trên đường và thấy đó là con trai, đáp án lại là 1/2, vì việc gặp một đứa trai có khả năng cao hơn ở gia đình trai-trai. Đây cũng là bài học của Monty Hall: phải hỏi thông tin được sinh ra bằng cơ chế nào trước khi cập nhật xác suất.
Sinh viên học xác suất có điều kiện nên tự viết lại cả ba phiên bản bằng công thức P(A | B) = P(A và B) / P(B), để thấy cùng một công thức cho ba đáp số khác nhau tuỳ B là sự kiện nào.
Tự kiểm bằng mô phỏng: cốc giấy, bảng tính và AI
Khi lập luận chưa thuyết phục được bạn, cứ để kết quả của nhiều lần thử lên tiếng. Mô phỏng không thay chứng minh, nhưng là cách tốt để phát hiện mình sai.
- Với Monty Hall, lấy ba cái cốc úp và một đồng xu. Một người giấu đồng xu, người kia chọn, người giấu mở một cốc trống, người chọn luôn đổi. Ghi kết quả 30 lượt. Bạn sẽ thấy số lần thắng thường gần 20 hơn là gần 15.
- Với bài ngày sinh, nhờ chatbot viết công thức bảng tính: "Viết công thức cho bảng tính tạo 23 số ngẫu nhiên từ 1 đến 365 trên mỗi dòng, rồi một cột kiểm tra dòng đó có hai số trùng nhau không. Giải thích từng hàm em dùng."
- Sao chép công thức xuống 1.000 dòng và đếm tỉ lệ dòng có trùng. Kết quả sẽ dao động quanh 50%, mỗi lần bấm tính lại mỗi khác một chút.
- Với bài hai đứa trẻ, sinh hai cột ngẫu nhiên trai hoặc gái, lọc những dòng có ít nhất một trai, rồi đếm tỉ lệ trai-trai trong số đó. Con số sẽ gần 1/3.
- Đọc lại công thức chatbot viết trước khi tin kết quả. Lỗi hay gặp là hàm ngẫu nhiên sinh số thực thay vì số nguyên, làm gần như không bao giờ trùng.
Mô phỏng 1.000 lần vẫn có sai số. Với tỉ lệ thật 50%, kết quả của 1.000 lần thử thường lệch vài phần trăm; muốn chính xác hơn phải tăng số lần thử, chuyện này nằm ở luật số lớn, có bài riêng trong danh mục này.
Thói quen để trực giác xác suất bớt sai
Liệt kê không gian mẫu trước khi đoán. Với bài nhỏ, viết ra tất cả các khả năng như nhau. Phần lớn nghịch lý tan biến khi nhìn thấy danh sách.
Hỏi thông tin được tạo ra thế nào. Người dẫn chương trình biết hay không biết, bạn được kể hay tình cờ thấy. Cùng một câu chữ nhưng cơ chế khác cho xác suất khác.
Dùng phần bù khi đề có chữ "ít nhất". Tính khả năng không xảy ra lần nào rồi lấy 1 trừ đi thường gọn hơn nhiều.
Đếm số cặp, không đếm số người. Nhiều hiện tượng "trùng hợp kỳ lạ" thật ra đến từ số cặp tăng rất nhanh theo số phần tử, gần như bình phương.
Đừng tin ký ức về chuỗi kết quả. Tung đồng xu cân đối năm lần đều ra mặt sấp thì lần thứ sáu vẫn là 1/2. Đồng xu không có trí nhớ; cảm giác "sắp đến lượt mặt ngửa" là một lỗi có tên trong tâm lý học, gọi là nguỵ biện Monte Carlo.
Mô phỏng khi nghi ngờ. Ba cái cốc, một bảng tính, hay vài dòng mã đều đủ. Nếu mô phỏng và lập luận không khớp, một trong hai đang sai.
Vì sao các nghịch lý này đáng học ở bậc đại học
Nghịch lý không chỉ là chuyện vui trong giờ giải lao. Mỗi cái là một bài tập về mô hình hoá: biến một câu chuyện bằng lời thành không gian mẫu và sự kiện. Kỹ năng đó chính là thứ sinh viên cần khi gặp bài toán thật, nơi không ai cho sẵn công thức. Người làm dữ liệu gặp lại Monty Hall dưới dạng dữ liệu bị chọn lọc: thông tin bạn nhận được không ngẫu nhiên, mà đã được ai đó lọc trước. Người làm an ninh mạng gặp lại bài ngày sinh dưới tên tấn công ngày sinh, khi tìm hai dữ liệu khác nhau cho cùng một giá trị băm dễ hơn nhiều so với cảm giác.
Khi dùng chatbot học các nghịch lý này, bạn có thể yêu cầu nó đóng vai người bạn cãi lại: "Hãy bảo vệ đáp án 1/2 cho bài Monty Hall bằng lập luận thuyết phục nhất có thể, rồi để em tìm chỗ sai." Tìm ra lỗi trong một lập luận nghe xuôi tai là cách luyện tư duy tốt hơn đọc lời giải. Nhưng nhớ đối chiếu với liệt kê hoặc mô phỏng: chatbot đôi khi tự thuyết phục chính nó và chuyển sang bảo vệ đáp án sai thật.
Ba bài trên đều dùng giả định đơn giản hoá, như 365 ngày đều khả năng hay trai gái mỗi bên một nửa. Số liệu dân số thật có khác đôi chút, nhưng không làm đổi bản chất. Khi trình bày lời giải, ghi rõ giả định là một phần của câu trả lời đúng.
Câu hỏi thường gặp
Trong bài Monty Hall, vì sao không phải mỗi cửa còn lại 1/2?
Vì người dẫn chương trình biết phần thưởng ở đâu và luôn mở một cửa trống. Hành động đó không cho thêm thông tin gì về cửa bạn chọn, nên cửa đó vẫn giữ 1/3, phần 2/3 còn lại dồn về cửa đóng kia.
Nếu người dẫn mở cửa ngẫu nhiên thì sao?
Nếu ông không biết và mở ngẫu nhiên, rồi tình cờ cửa đó trống, thì hai cửa còn lại mỗi cửa 1/2. Sự khác biệt nằm ở cơ chế sinh ra thông tin, đây là điểm then chốt của cả bài.
Bài toán ngày sinh có tính năm nhuận và ngày sinh không đều không?
Bản kinh điển bỏ qua ngày 29 tháng 2 và giả định mọi ngày đều khả năng. Khi ngày sinh phân bố không đều, khả năng trùng thật ra còn cao hơn một chút, nên con số 23 vẫn là ước lượng hợp lý.
Vì sao đáp án bài hai đứa trẻ lại là 1/3?
Vì thông tin ít nhất một trai chỉ loại bỏ khả năng gái-gái, còn lại trai-trai, trai-gái, gái-trai đều khả năng như nhau. Chỉ một trong ba là trai-trai. Nếu biết cụ thể đứa lớn là trai thì đáp án đổi thành 1/2.
Có nên dùng AI để giải các nghịch lý này không?
Có thể dùng để kiểm và để viết mô phỏng, nhưng nên tự lập luận trước. Chatbot đôi khi đưa lời giải nghe hợp lý mà sai, đặc biệt với các biến thể của đề. Đối chiếu với liệt kê không gian mẫu hoặc mô phỏng là cách kiểm đáng tin hơn.
Mô phỏng bao nhiêu lần thì đủ tin?
Vài trăm lần đã thấy xu hướng, vài nghìn lần cho sai lệch còn khoảng một hai phần trăm. Mô phỏng chỉ giúp phát hiện sai và củng cố niềm tin, còn khẳng định chắc chắn vẫn cần lập luận hoặc tính toán chính xác.