拜占庭将军问题是一个经典的分布式算法问题，用于模拟将军们如何在通讯限制条件下决定是否攻打城市。
在这个问题中，有 个将军围着一座城市，它们拥有着各自的军队。
将军们之间只能通过有限的、不可靠的通讯方式进行交流。
问题是，这些将军如何能够决定是否继续攻打城市，而不会出现决策不一致的情况？
为了解决这个问题，将军们可以采用一种叫做 “拜占庭将军算法” 的算法。
这个算法的基本思想是，将军们会定期地相互发送信息，告诉对方自己的决策。
如果其中有超过 个将军发出了攻打城市的信息，那么剩余的将军就会攻打城市。否则，他们会放弃攻打城市。
这个算法的正确性来自于以下几点：
- 如果超过 个将军决定攻打城市，那么剩余的将军也会攻打城市。
- 如果不到 个将军决定攻打城市，那么剩余的将军就会放弃攻打城市