secondday--拜占庭之书面算法

书面协议：

上面揭示了口头协议不能追本溯源、如果我们引入一种方法让他能达到追本溯源呢？

除了A1、A2和A3以外、我们在口头协议上加入一个A4、使之成为书面协议

A4：（1）、签名不可伪造、一旦被篡改即可被发现、而叛徒的签名可被其他叛徒伪造

        （2）、任何人都可以验证签名的可靠性

我们用集合Vi来表示副官受到的命令集、这是一个集合、也就是满足互异性（没有重复的元素）等集合的条件、再定义一个choice(V)函数来决定各个副官的选择、这个函数可以有非常多形式、只需满足两个条件：

1、如果集合V只包含了一个元素v、那么choice(V) = v

2、choice(o) = RETREAT 其中o是空集

任何满足这两个条件的函数都可以作为choice()、然后我们发现SM(m)并不是递归算法、只要让各个V集相同、choice(v)也一定能得到相同的值

解释;

初始化：Vi = 空集合

（1）、将军签署命令并发送给没个副官

（2）、对于没个副官i

    A：如果副官i从发令者收到v:0的消息、且还没有收到其他序列、那么他    (i) 使Vi为{v}；(ii)发送v:0:j1:...jk给其他所有副官

    B：如果副官i收到了形如：v:0:j1:...jk的消息且v不在集合Vi中、那么他    (i)添加v到Vi中   (ii)如果k

（3）、对于没个副官i、当他不再接受任何消息时、则遵守命令choice(Vi)

如果司令忠诚、由于其签名不可伪造、所有忠诚的副官都将得到一个单点集{v}、他们采用相同的命令集Vi相同、得到的choice(Vi)也为v、满足LC1\LC2

如果司令并非忠诚、只需要满足LC1、但是算法SM(m)使得所有忠诚的副官得到相同的Vi、使用choice()函数采用的命令也就一定相同

推演算法

m=1,n=3

m=2,n=4