בעיית שני הצבאות – הבדלי גרסאות

• נניח בשלילה שיש אלגוריתם , ונריץ T סיבובים (אם האלגוריתם קצר מדי, נוסיף הודעות ריקות).

– E1 : עדיין שהקלטים הם 0 ־אחרת ישימו לב להבדל ־ ונאמר שההודעה האחרונה של v , נפלה באמצע הדרך ־ כעת מבחינת u הכל זהה, כי הוא שלח את ההודעה שלו, ואמנם הוא לא קיבל הודעה, אבל אין לו איך להודיעה על כך ל v

E0 vu E1 ⇐ – E2 :עדיין הקלטים הם 0 , כעת נוריד גם את ההודעה האחרונה ששלח u) בנוסף להודעה של vשלא הגיעה) , וכעת E1 vv E2

– כעת בהדרגתיות נתחיל להחזיר הודעות, עד שנגיע ש 1 = uin = vin וגם כל ההודעות מגיעות ומה-validity , שניהם יפלטו 1 וכאן הגענו לסתירה, כנדרש