第313章 拜占庭容错算法
蔡志遠 tiếp tục giải thích:
“Ví dụ, hiện tại có tổng cộng năm vị tướng, trong đó hai vị cho rằng nên tấn công, còn hai vị khác cho rằng nên rút lui.
“Lúc này, vị tướng thứ năm là kẻ phản bội, hắn nói với vị tướng muốn tấn công 'Tôi cũng sẽ tấn công', lại nói với vị tướng muốn rút lui 'Tôi cũng sẽ rút lui'.
“Thế là, vị tướng muốn tấn công cho rằng, hiện tại có ba đội quân đồng ý tấn công, vượt quá một nửa, nên ngày mai nên tấn công.
“Còn vị tướng muốn rút lui cho rằng ngày mai nên rút lui.
“Kết quả cuối cùng, là hai vị tướng tấn công, hai vị tướng rút lui, dẫn đến chiến tranh thất bại.
“Đây chính là vấn đề do 'phi tập trung hóa' mang lại, bởi vì năm vị tướng này đều ngang hàng, không có một chỉ huy nào có quyền hạn tuyệt đối, nên trong quá trình bàn bạc chiến lược với nhau, sẽ nảy sinh vấn đề như vậy.”
Trịnh Kiệt chợt hiểu gật đầu: “Hóa ra là vậy! Thế thì cách này giải quyết thế nào? Cũng không thể xác minh cụ thể vị tướng nào đang nói dối đúng không?”
кyhuyenⓒom. 蔡志遠 giải thích: “Thực ra giải quyết vấn đề này rất đơn giản: chỉ cần hỏi nhiều lần là được.
“Giả sử tôi là một vị tướng A, còn vị tướng B nói với tôi rằng anh ta sẽ cùng tôi tấn công.
“Nếu tôi tin, thì có thể bị lừa, vì vị tướng B có thể là kẻ phản bội, anh ta chỉ nói với tôi là tấn công, nhưng nói với người khác là rút lui.
“Vì vậy, lúc này tôi nên đi hỏi vị tướng C: 'Vị tướng B nói với anh là tấn công hay rút lui?'
“Rồi tôi lần lượt hỏi tất cả các vị tướng khác, tổng hợp lại tất cả thông tin mà vị tướng B đã nói với họ.
“Những gì các vị tướng khác nói với tôi về 'thông tin mà vị tướng B đưa cho họ' cũng không nhất định là thật, vì trong số các vị tướng khác cũng có thể có kẻ phản bội, có thể tồn tại trường hợp 'vị tướng B nói với họ là tấn công, nhưng họ lại nói với tôi là vị tướng B nói rút lui'.
“Vì vậy, tôi hỏi lần lượt từng người 'vị tướng B đã nói gì với các anh', nếu số 'tấn công' nhiều hơn, thì tôi ghi nhận ý kiến của vị tướng B là 'tấn công';
“Rồi lại hỏi lần lượt từng người 'vị tướng C đã nói gì với các anh', nếu số 'rút lui' nhiều hơn, thì tôi ghi nhận ý kiến của vị tướng C là 'rút lui'.
“Cứ như vậy, thông qua cách lồng ghép lặp đi lặp lại, tôi liên tục loại bỏ các câu trả lời thiểu số, và kết luận cuối cùng thu được chính là 'câu trả lời đa số' chính xác hơn.
“Trong điều kiện thỏa mãn 'dung sai lỗi Byzantine', chúng tôi bắt buộc tất cả các vị tướng phải tuân thủ chiến lược này, và nhất định phải kiên quyết thực thi kết luận cuối cùng.
“Thế thì chúng ta có thể đảm bảo tất cả cùng tấn công hoặc cùng rút lui.”
Trịnh Kiệt hơi bối rối: “Trong điều kiện thỏa mãn 'dung sai lỗi Byzantine'? Ý là như anh Cai đã nói trước đây, số lượng kẻ phản bội phải ít hơn một phần ba?”
蔡志遠 gật đầu: “Đúng vậy.
“Chúng ta lấy trường hợp 3 vị tướng làm ví dụ:
кyhuyenⓒom. “Giả sử trong 3 vị tướng, vị tướng C là kẻ phản bội, cố tình truyền đạt thông tin sai lệch.
“Vị tướng A trước hết sẽ nói với B và C là 'tấn công'.
“Nhưng vị tướng B sau khi nhận lệnh không thể xác nhận A có phải là kẻ phản bội hay không, nên trước hết anh ta phải hỏi C: 'Mệnh lệnh mà A đưa cho anh là gì?', và C là kẻ phản bội nên cố tình nói: 'Mệnh lệnh A đưa cho tôi là rút lui'.
“Vì chỉ có ba vị tướng, nên vị tướng B không thể phán đoán được ai là kẻ phản bội giữa A và C, vì mệnh lệnh 'tấn công' và 'rút lui' mỗi bên một phiếu, không thể hình thành đa số.
“Tương tự, vị tướng B khi thực thi chiến lược này cũng không thể phán đoán ai là kẻ phản bội giữa A và C.
“Đây là trường hợp đơn giản nhất, nếu số lượng tướng tăng lên, ví dụ cùng lúc có 7 vị tướng, trong đó có 2 kẻ phản bội, thì tình huống sẽ phức tạp hơn nhiều, phải lồng ghép nhiều lần mới có thể đưa ra kết luận cuối cùng.
“Vì vậy tôi mới nói, loại vấn đề này không cần tự mình tính toán thực sự, chỉ cần nhớ kết luận là được.
“Kết luận là, khi số lượng kẻ phản bội đạt một phần ba hoặc nhiều hơn, thì vấn đề này không thể giải được.
“Ngược lại, muốn vấn đề này có thể giải, thì phải kiểm soát số lượng kẻ phản bội ở mức ít hơn một phần ba.
кyhuyenⓒom. “Áp dụng vào số phòng ba loại, sẽ thấy ngay.
“'Phòng 4 người', 3 người trả lời, nên chỉ cần có 1 người tự do độc hại, vấn đề này không thể giải.
“'Phòng 8 người', 7 người trả lời, trong trường hợp trong phòng có 3 người tự do độc hại, không thể giải.
“'Phòng 13 người', 12 người trả lời, trong trường hợp trong phòng có 4 người tự do độc hại, không thể giải.”
Trịnh Kiệt chợt hiểu: “Hóa ra là vậy!
“Vậy nên anh Cai dùng công thức này áp dụng một cái, lập tức biết được 'phòng 8 người' thực ra là an toàn nhất, vì chúng ta chỉ cần đưa vào 1 người tự do phe mình chiếm chỗ, vấn đề này nhất định có thể giải.”
Tần Dao vẫn chưa hiểu: “Khoan đã, mặc dù tôi vẫn chưa hiểu rõ lắm, nhưng tôi đã nhớ công thức này.
“Câu hỏi bây giờ của tôi là, vấn đề Byzantine này, cụ thể áp dụng vào quy tắc trò chơi thế nào?”
Trịnh Kiệt tình nguyện nói: “Để tôi giải thích!
“Sau khi vào phòng ở giai đoạn hai, thực chất là cuộc đấu trí giữa 'người trả lời' và 'người ra đề'.
“Ví dụ, chúng ta mở 'cửa hàng đen' trong 'phòng 8 người', chúng ta đóng vai 'người trả lời', còn những người chơi từ cộng đồng khác vào phòng sau đóng vai 'người ra đề'.
“Mục tiêu của phe 'người trả lời' chúng ta là đạt được lựa chọn thống nhất, như vậy mới nhận được phần thưởng thêm, kiếm thời gian thị thực từ 'người ra đề';
“Ngược lại, mục tiêu của phe 'người ra đề' là khiến chúng ta không thể đạt được lựa chọn thống nhất.
“Cách đơn giản là, người chơi thường của phe 'người ra đề', chỉ cần cố tình chọn khác với lựa chọn của chúng ta là được.
“Vì vậy, chúng ta mới cần đặt ra quy tắc phòng, buộc những người chơi này phải gửi lựa chọn đa số.
“Chức năng 'gửi đề xuất' thực chất là mô phỏng quá trình tính toán của 'thuật toán dung sai lỗi Byzantine', mỗi người chơi đều buộc phải gửi đề xuất đa số hiện tại, nhưng có một khoảng thời gian nhất định.
“Vì vậy, sau khi gửi đi gửi lại nhiều lần, ngoại trừ những người tự do, đề xuất của tất cả người trả lời thường sẽ trở thành cùng một lựa chọn.
“Sau đó, quy tắc trò chơi sẽ buộc những người chơi này gửi lựa chọn đó, đạt được mục tiêu 'toàn bộ đồng nhất'.
“Nhưng như anh Cai đã nói, quá trình mô phỏng 'gửi đề xuất' bản thân nó cần 'đề xuất đa số đạt đến một số lượng nhất định' mới có thể thành lập.
“Người chơi 'tự do' thực chất đóng vai 'nút độc hại' và 'kẻ phản bội', họ sẽ liên tục gửi đề xuất thiểu số để làm nhiễu loạn quá trình tính toán.
“Giả sử số lượng 'người tự do' độc hại này khá nhiều, thì có thể xảy ra tình huống như sau:
“Lúc này vốn dĩ đề xuất lựa chọn A nhiều hơn, nhưng đột nhiên xuất hiện nhiều đề xuất lựa chọn B vượt lên, khiến một số người chơi đổi thành đề xuất B, rồi đột nhiên lại xuất hiện một số đề xuất lựa chọn A...
“Điều này khiến đề xuất mà người chơi gửi luôn thay đổi, không bao giờ cố định được, vậy nên khi chức năng 'gửi đề xuất' kết thúc, có người chơi gửi A, có người chơi gửi B, mọi người không thể đạt được thống nhất.
“Phe 'người trả lời' không thể ổn định buộc 'người ra đề' giữ vững, không thể ổn định thu được lợi ích, thì tức là, cửa hàng đen bị phá sập.”
蔡志遠 gật đầu: “Đúng vậy, nên chỉ cần thông qua công thức xác định điều kiện thành lập của 'dung sai lỗi Byzantine', rồi so sánh số lượng người tự do có thể vào mỗi phòng, là có thể xác định chiến lược vào phòng.
“'Phòng 8 người', cho phép vào 3 'người tự do', vấn đề này sẽ không thể giải khi xuất hiện 3 kẻ phản bội. Vì vậy, chúng ta chỉ cần đảm bảo trong phòng có 1 'người tự do' phe mình chiếm giữ vị trí là an toàn.
“Tất nhiên, 'người tự do' phe mình này phải là thiện ý, tức là anh ta sẽ chủ động thực thi chiến lược 'gửi đề xuất đa số'.
“'Phòng 13 người', cho phép vào 6 người tự do, vấn đề này sẽ không thể giải khi xuất hiện 4 kẻ phản bội, nên Vương Vệ Đông phải đảm bảo số lượng người tự do độc hại cuối cùng vào 'phòng 13 người' dưới 4 người.
“Vì vậy, số lượng 'người tự do thiện ý' mà họ cần để chiếm giữ vị trí phải nhiều hơn.
“Nếu họ không nhận ra điều này, chúng ta cũng có thể chọn chủ động tấn công. Nhưng vì Vương Vệ Đông đã nhận ra và phòng thủ, nên cố ép tấn công sẽ không còn nhiều ý nghĩa.
“Vì vậy tôi đã đổi hướng suy nghĩ, tức là lợi dụng 'hình phạt trái lương tâm' của trò chơi này, đặt ra một số câu hỏi nhắm vào đặc điểm của Vương Vệ Đông khiến anh ta có thể mất hết danh tiếng trong cộng đồng, từ đó ép anh ta hủy bỏ quy tắc phòng.”
Xin phiếu bầu tháng~
(Hết chương)