The Byzantine Generals Problem

转载：http://blog.csdn.net/yethyeth/article/details/575701

拜占廷将军问题就是要让爱国的将军达成一致，而不是找叛国的将军。

 

1。叛徒数大于或等于1/3，拜占庭问题不可解

 

 

2.用口头信息，叛徒数少于1/3,拜占庭问题可解.

口头信息三条件
      传送正确
      接收者知道是谁发的
      沉默(不发信息)可被检测
什么叫可解？
     IC1：所有忠诚副官(B.C，指消息接受者)遵循同一命令。 
     IC2：若司令(A，消息)是忠诚的，所有忠诚副官遵循其命令

 

3。用书写信息，至少两个忠诚，拜占庭问题可解
在口头信息的基础上, 书写信息又增加了两个条件
     忠诚司令的签名不能伪造，内容修改可检测
     任何人都可以识别司令的签名, 叛徒可以伪造叛徒司令的签名
SM(m)算法
    接收者信息收到后，签上自己的名字，再送给别人
    用书写信息, 只要有两个忠诚的司令, 拜占庭问题就可解

－－－－－－－－

可以证明，算法SM(m)可以解决m个叛徒的拜占庭问题。

SM(1):如A是叛徒。A给B发“进攻”，给C发“撤退”命令（都被A签名）。B比较从C发来的命令（“撤退”，该命令被C签名了）知A是叛徒。C比较从B发来的命令（“进攻”，该命令由B签名），知A是叛徒。

情况2：B是叛徒。A给B，C发“进攻”命令

 

 

为了得到正确的信息，信息的传输量很大