Trang chủ/Phòng Lab/Bài toán Đội mũ & Bit Chẵn lẻ (Prisoners Hat Puzzle)

Bài toán Đội mũ & Bit Chẵn lẻ (Prisoners Hat Puzzle)

Sẵn sàng

Lý thuyết thông tin, mã sửa sai và chiến thuật suy luận hợp tác

~4 phútĐộ khó: Trung cấp

Tổng Quan Thí Nghiệm

Với 10 người đội mũ 2 màu đứng thành hàng, bằng cách hy sinh người cuối cùng phát tín hiệu Parity bit, 9 người còn lại được bảo đảm chắc chắn 100% đoán đúng màu mũ của mình.

Mô Hình Toán Học & Công Thức Giải Tích
Bảo đảm sống sót:P ≥n − 1n•Kỳ vọng với n=10:95.0%
|
Tín hiệu Parity:p = ∑ cj (mod K)
|
Giải mã trừ lùi:ck = (pk − ∑ ctrước) mod K

Thử Thách Trực Giác: Trực Giác Độc Lập vs Hợp Tác

Trước khi kiểm tra bằng toán học, bộ não của bạn dự đoán số người được cứu là bao nhiêu?

Thử thách Dự đoán Trực giác (Intuition Challenge)

Thử thách trực giác đang mở

10 người xếp hàng dọc, mũ Đen/Trắng ngẫu nhiên 50/50. Người thứ 10 hô trước tiên, chỉ được nói một từ màu mũ.

Trong bài toán 10 người đội mũ 2 màu (mỗi người chỉ thấy người trước mặt, nghe người sau hô), chiến thuật tối ưu nhất có thể bảo đảm chắc chắn bao nhiêu người đoán đúng?

Phòng Thí Nghiệm Hàng Ngũ & Phép Giải Mã Parity

Quan sát hoạt họa từng lượt đoán hoặc trực tiếp nhập vai vào hàng người để suy luận màu mũ

Sân Khấu Hàng Ngũ (10 Người)|Nhấp vào mũ để đổi màu thủ công
Hướng nhìn:Từ Người #10 ➡️ Người #1
Hô: "..."
0
#10
#10[Hy sinh]
Hô: "..."
1
#9
#9
Hô: "..."
0
#8
#8
Hô: "..."
1
#7
#7
Hô: "..."
0
#6
#6
Hô: "..."
0
#5
#5
Hô: "..."
1
#4
#4
Hô: "..."
1
#3
#3
Hô: "..."
0
#2
#2
Hô: "..."
1
#1
#1
Chú thích:Mũ Trắng (0)Mũ Đen (1)
* Rê chuột vào từng người để xem trường tầm nhìn phía trước

Bảng Giải Mã Parity & Chuỗi Trừ Lùi Modulo

Theo dõi trực tiếp sự suy giảm entropy thông tin qua từng lượt phát biểu

Tín hiệu gốc Người #10: Đen (1)
Bấm "Phát tự động" hoặc "Bước tiếp" để theo dõi quá trình giải mã từng bước.
LượtVị tríMũ thậtThấy phía trướcParity kỳ vọngHô màuKết quả
#1Người #10(Hy sinh)--------Chờ
#2Người #9--------Chờ
#3Người #8--------Chờ
#4Người #7--------Chờ
#5Người #6--------Chờ
#6Người #5--------Chờ
#7Người #4--------Chờ
#8Người #3--------Chờ
#9Người #2--------Chờ
#10Người #1--------Chờ
Quy luật trừ lùi: Sau mỗi lượt đoán chính xác của người phía sau, Parity kỳ vọng cho lượt tiếp theo được trừ đi đúng giá trị màu vừa hô: P_{k-1} = (P_k - c_k) mod K. Chuỗi này giúp bảo đảm 100% người còn lại luôn có đủ thông tin.

Kiểm Định Thực Nghiệm Monte Carlo Quy Mô Lớn

Mô phỏng hàng nghìn ván ngẫu nhiên để chứng minh định lý toán học: tỷ lệ bảo đảm luôn đạt 100% cho N-1 người

Kiểm Định Thực Nghiệm Monte Carlo

Chạy hàng nghìn ván ngẫu nhiên tức thì để kiểm chứng sự hội tụ thống kê về định lý toán học

Đang khởi tạo mẫu kiểm định Monte Carlo...

Góc Tri Thức Khoa Học: Bản Chất Toán Học & Ứng Dụng

Cầu nối giữa câu đố tư duy logic, bit kiểm tra RAM ECC và cấu trúc mảng ổ đĩa RAID

Từ Câu Đố Chiếc Mũ Đến Kiến Trúc Điện Toán Hiện Đại

Lý thuyết thông tin, mã kiểm tra chẵn lẻ (Parity Bit) và nền tảng của kỹ thuật sửa sai

1. Ảo Tưởng Tính Độc Lập & Sức Mạnh Của Thông Tin Hợp Tác

Khi tiếp cận bài toán lần đầu, trực giác thông thường của chúng ta cho rằng vì mỗi người không nhìn thấy chiếc mũ của mình và mũ được phân bổ ngẫu nhiên 50/50, nên mỗi người chỉ có tối đa 50% cơ hội sống sót. Xác suất để 9 người liên tiếp cùng đoán đúng một cách ngẫu nhiên là vô cùng mong manh:

P(Đoán mò 9 người) = (1/2)⁹ = 1 / 512 ≈ 0.195%

Tuy nhiên, bằng cách hy sinh người đứng cuối cùng để phát đi một bit kiểm tra tính chẵn lẻ (Parity Bit), cả nhóm đã chuyển hóa các biến cố độc lập thành một hệ thống phương trình tuyến tính đồng dư. Mỗi câu trả lời phát ra không chỉ giải cứu người nói mà còn cung cấp thêm dữ liệu để người tiếp theo giải phương trình của riêng họ.

2. Đại Số Trên Trường Hữu Hạn F₂ & Phép Toán XOR

Trong toán học rời rạc, tính chẵn lẻ chính là phép cộng trong trường nhị phân F₂ (hay GF(2)), tương đương với toán tử logic XOR (⊕):

  • 0 ⊕ 0 = 0 (Chẵn ⊕ Chẵn = Chẵn)
  • 0 ⊕ 1 = 1 (Chẵn ⊕ Lẻ = Lẻ)
  • 1 ⊕ 1 = 0 (Lẻ ⊕ Lẻ = Chẵn)

Vì phép XOR có tính chất tự nghịch đảo (A ⊕ A = 0), khi người đứng cuối công bố P = c₁ ⊕ c₂ ⊕ ... ⊕ cₙ₋₁, bất kỳ ai biết P và (n - 2) giá trị còn lại đều có thể trích xuất màu của mình một cách hoàn hảo:

cₖ = P ⊕ (⊕_{j ≠ k} cⱼ)

3. Ứng Dụng Trong Kỹ Thuật Máy Tính & Viễn Thông

Bộ Nhớ RAM ECC (Error-Correcting Code)

Các hạt mang điện từ bức xạ vũ trụ có thể làm lật một bit (0 thành 1 hoặc ngược lại) trong chip RAM. Bằng cách thêm một bit parity vào mỗi byte dữ liệu (9 bit thay vì 8 bit), hệ thống máy chủ phát hiện lỗi ngay lập tức mà không làm sập ứng dụng.

Mảng Lưu Trữ RAID 4 & RAID 5

Trong các trung tâm dữ liệu, RAID 5 phân phối các khối parity trên tất cả ổ cứng. Nếu bất kỳ một ổ cứng vật lý nào đột ngột bị cháy hoặc hư hỏng cơ học, toàn bộ 100% dữ liệu của ổ đó được tính toán lại ngay lập tức thông qua phép XOR giữa các ổ còn sống.

Bộ Dữ Liệu Thực Nghiệm & Lịch Sử Phiên Thử

Xuất toàn bộ bảng log suy luận ra định dạng CSV/JSON và đối chiếu các lượt chạy trước

Bộ công cụ Nghiên cứu:

Nhật ký Lượt chạy Thực nghiệm (Session Runs)

Chưa có lượt chạy nào trong phiên này. Hãy bắt đầu mô phỏng để ghi lại nhật ký đo đạc.


Diễn đàn & Phản biện Khoa học

Hãy chia sẻ góc nhìn phản biện, chứng minh toán học bổ sung hoặc thảo luận về bản chất trực giác của nghịch lý này.

0 bình luận
Đăng nhập để tham gia thảo luận

Chỉ người dùng đã đăng nhập mới có thể đăng bình luận và phản hồi.

Đang tải danh sách thảo luận...