假设有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。