4.7 拜占庭问题与算法