1.1 拜占庭将军问题场景与实质

关于拜占庭将军问题，一个简易的非正式描述如下。

拜占庭帝国想要进攻一个强大的敌国，为此派出了十支军队去包围敌国。这个敌国虽不比拜占庭帝国强大，但也足以抵御五支常规拜占庭军队的同时袭击。基于某些原因，这十支军队不能集合在一起进行单点突破，必须在分开的包围状态下同时攻击。他们任何一支军队单独进攻都毫无胜算，除非有至少六支军队同时袭击才能攻下敌国。他们分散在敌国的四周，依靠通信兵相互通信来协商进攻意向及进攻时间。困扰这些将军的问题是，他们不确定其中是否有叛徒，因为叛徒可能擅自变更进攻意向或者进攻时间。在这种状态下，拜占庭将军们能否找到一种分布式的协议让他们能够远程协商，从而赢取战斗？这就是著名的拜占庭将军问题。简单来说就是：n个将军被分隔在不同的地方，忠诚的将军希望通过某种协议来达成某个命令的一致（如一起进攻或者一起后退），但其中一些背叛的将军会通过发送错误的消息阻挠忠诚的将军达成命令上的一致。