拜占庭将军问题(The Byzantine Generals Problem)是Leslie Lamport在其同名的论文1提出的一种针对分布式对等网络中的容错问题。
一个可靠的计算机系统需要能够处理一个或多个系统组件的失效。一个失效的组件可能会表现为发送错误的信息,或者因组件故障不发出信息等行为。这种类型的失效问题被称为拜占庭将军问题。Leslie在这篇论文中对拜占庭将军问题进行了描述并提出解决拜占庭问题的一些方法。
问题描述
Leslie通过几支拜占庭将军领导的军队共同进攻敌方城池的例子描述了这个问题。
假如几支拜占庭将军领导的军队驻扎在敌方城池周围,准备攻城。将军们之间只能通过通信的方式相互沟通。在观察敌情之后,他们需要共同确定行动。但是,其中一些将军可能是叛徒,他们会试图阻止忠诚将军之间达成一致行动。因此,拜占庭将军们需要一种算法来保证:
A. 所有忠诚的将军能采取同样的行动
忠诚的将军会按照算法行动,但叛徒会采取任何行动。因此,算法需要保证无论叛徒干什么,条件A都会被满足。
B. 一小部分的叛徒不会导致忠诚的将军采取错误的行动
条件B是很难形式化的,因为它需要对错误的行动进行准确的描述。因此,Leslie用将军如何作出决定来代替。
“将军-将军”问题 or “司令-副官”问题
令:
n: 将军的数量
***v(i)***: 由第***i***将军发出的消息
每位将军采用某种函数从***(v(1), …, v(n))作出决定。例如,采用***Majority***投票方法,选取(v(1), …, v(n))***多数的行动作为最优的行动。在这种情况下,只有忠诚将军不同行动的数量大致相等,小部分叛徒才能影响忠诚将军的行动。
拜占庭将军之间要想达成一致,最明显的办法是第***i***号将军通过传令兵向其他每个将军发出***v(i)***,但是,由于叛徒可能向不同的将军发出不同的值。如果想要满足条件A,需要满足如下条件:
条件1:每个忠诚的将军必须获