拜占庭將軍問題

拜占庭將軍問題考慮的是一臺執行著許多程式的計算機，其中一些程式可能是不友好的，並詢問計算機如何才能正常執行。

更抽象地說，考慮一群拜占庭軍隊的將軍圍在一座城市周圍。將軍們只能透過信使交流，必須就一個共同的作戰計劃達成一致。然而，他們中的一個或多個可能是叛徒，他們會試圖迷惑其他人。Lamport 等人 (1982) 給出了該問題的分析和解決方案。