拜占庭将军问题

拜占庭的一群将军各率一支军队准备进攻敌方的目标，他们之间只能通过信差进行通信。将军需要达成统一行动计划，不然行动就会失败。具体做法就是每个将军会根据他观察到的敌情和其他将军交换作战意见，如果将军们都是忠诚的，那他们相互交流之后就能决策出一致且正确的意见，这是理想结果。但事情并非总是如此，将军中会存在叛徒，叛徒可以不发消息或者散播不同消息扰乱忠诚的将军达成一致的意见或者达成错误的意见。这就是拜占庭将军们面临的问题，也叫拜占庭将军问题。在分布式系统中也存在同样的问题，将军类比进程，在分布式系统中解决拜占庭问题的算法就称为拜占庭算法。

那这个问题的解决方法是怎样的呢，首先达到什么样的效果这个问题才算解决了呢？在原论文里面给出了如下两个表述：

1. 所有忠诚的将军必须采取一致的行动；

2. 小部分叛徒不能造成忠诚的将军达成错误的方案。