假设有4个将军围攻一个敌人,只有三个将军同时出击才可以将敌人击败,任意两个或者一个将军出击均会被敌人击败,4个将军通过一对一的通信机制协商共同出击时机,同时4个将军中有一个是内奸,他会混淆通信结果,避免3个将军协商出统一的出击时机。拜占庭将军(PBFT)问题既指在这种情况下将军们如果达成共识,共同击败敌人。
常用的PBFT解决算法如下所示:
四个将军分别以A,B,C,D代表,假设A为内奸,首先由A发起协商,A给B发送1点攻击,给C发送2点攻击,给D发送3点攻击;B收到消息后给A发送1点攻击,给C发送1点攻击,给D发送1点攻击;C收到消息后给A发送2点攻击,给B发送2点攻击,给D发送2点攻击;D收到消息后给A发送3点攻击,给B发送3点攻击,给C发送3点攻击。详细情况如下表所示:
| A | B | C | D |
A | - | 1 | 2 | 3 |
B | 1 | - | 1 | 1 |
C | 2 | 2 | - | 2 |
D | 3 | 3 | 3 | - |
结果 | - | - | - | - |
接下来由B开始发起协商,详细情况如下表所示:
| B | A | C | D |
A | 1 | - | 1 | 1 |
B | - | 1 | 1 | 1 |
C | 1 | 1 | - | 1 |
D | 1 | 1 | 1 | - |
结果 | 1 | - | 1 | 1 |
协商成功,攻击时间为1点。
这种解决方案的消耗较大,一般n个节点,则复杂度为n^2。