两军问题

两军问题（英語：Two Generals' Problem）是電腦领域的假想實驗，显示以不可靠的通訊渠道交换訊息并达成共识难以实现。问题中，两支军队的将军只能派信使穿越敌方领土互相通訊，以此约定进攻時間。该问题希望求解如何在两名将军派出的任何信使都可能被俘虏的情况下，就進攻时间达成共識。 两军问题是拜占庭将军问题的特例，常被编入与電腦网络相关的入门课程中。在传输控制协议（TCP）相关的课程中，问题可用作解释TCP协议无法保证通訊双方状态一致，也适用于其他有訊息丢失風險的通訊。作为认识逻辑的重要概念，问题突出了共识的重要性。一些学者也将问题称作两军悖论（英語：Two Generals Paradox）或协同进攻问题（英語：Coordinated Attack Problem）。两军问题是第一个证實无解的電腦通訊问题。证明的重要意义在于，其显示了对于有通訊出错風險的更广泛问题（如拜占庭将军问题），同样无解。这也为实现所有分布式一致性协议提供了符合现实的预期。