兩軍問題

兩軍問題  是電腦領域的假想實驗 ， 顯示以不可靠的通訊渠道交換訊息並達成共識難以實現 。 問題中 ， 兩支軍隊的將軍只能派信使穿越敵方領土互相通訊 ， 以此約定進攻時間 。 該問題希望求解如何在兩名將軍派出的任何信使都可能被俘虜的情況下 ， 就進攻時間達成共識 。 兩軍問題是拜占庭將軍問題的特例 ， 常被編入與電腦網絡相關的入門課程中 。 在傳輸控制協議 （ TCP ） 相關的課程中 ， 問題可用作解釋TCP協議無法保證通訊雙方狀態一致 ， 也適用於其他有訊息丟失風險的通訊 。 作爲認識邏輯的重要概念 ， 問題突出了的重要性 。 一些學者也將問題稱作兩軍悖論  或協同進攻問題  。 兩軍問題是第一個證實無解的電腦通訊問題 。 證明的重要意義在於 ， 其顯示了對於有通訊出錯風險的更廣泛問題 （ 如拜占庭將軍問題 ） ， 同樣無解 。 這也爲實現所有分佈式一致性協議提供了符合現實的預期 。