Τι είναι το "Πρόβλημα των βυζαντινών στρατηγών";
"Φανταζόμαστε αρκετά τμήματα του Βυζαντινού στρατού που έχουν κατασκηνώσει εξω από τα τείχη της εχθρικής πόλης. Κάθε τμήμα διοικείται από τον δικό του στρατηγό, οι οποίοι μπορούν να επικοινωνήσουν μεταξύ του μόνο με αγγελιαφόρους.
Μετά την παρακολούθηση του εχθρού πρέπει να αποφασίσουν σε ένα κοινό σχέδιο δράσης.
Όμως κάποιοι από τους στρατηγούς μπορεί να είναι προδότες και να προσπαθούν να εμποδίσουν τους άλλους (νομοταγείς) στρατηγούς να έρθουν σε συμφωνία, Οι στρατηγοί πρέπει να έχουν έναν αλγόριθμο που να εγγυάται ότι
Α - όλοι οι νομοταγείς αποφασίζουν για το ίδιο σχέδιο δράσης
Β - ο μικρός αριθμός των προδοτών δεν θα μπορούν να προκαλέσουν την υιοθέτηση από τους νομοταγείς στρατηγούς ενός κακού σχεδίου δράσης"
Το Πρόβλημα των Βυζαντινών Στρατηγών, 1982
Οι παραπάνω εικόνες απεικονίζουν με ακρίβεια το πρόβλημα.
Όσο αυξάνονται τα εμπλεκόμενα μέρη στο σύστημα, ο αριθμός των διόδων (καναλιών) επικοινωνίας αυξάνει εκθετικά. Φανταστείτε τώρα πόσο περίπλοκο είναι να οικοδομηθεί συναίνεση (ομοφωνία) σε ένα πραγματικά αποκεντρωμένο σύστημα στο οποίο συμμετέχουν χιλιάδες ή και εκατομμύρια μέρη.
