Two Generals' Problem: Difference between revisions

Content deleted Content added
Adding local short description: "Thought experiment", overriding Wikidata description "thought experiment: 2 generals can talk to each other by sending a messenger through enemy territory; how can they agree on time of attack, if any messenger could be captured?" (Shortdesc helper)
m coordination(through->coordination (through - Fix a typo in one click
Tags: Mobile edit Mobile web edit Advanced mobile edit
Line 43:
===Proof by symmetry===
 
Because the problem is devised in such a way that the defender cannot be distinguished with one of the attackers, for all theoretical purposes the defender acts as one of the attackers but inverts the message of the other attacker. Since no message can distinguish the defender from one of the attackers it is impossible to coordinate. This can be seen by simply removing one attacker and treating the problem as two players that must coordinate but in which one always can thwart any coordination (through error or intent). The only solution to the problem is to be able to distinguish the defender from the attacker which solves the problem trivially.
 
These problems show up in many games such as chess where one player can always make a move that prevents the other from achieving an end goal such as perpetual check and which external "rules" must be imposed to get around it.