Το πρόβλημα των Βυζαντινών Στρατηγων

[George_V]

Όχι δεν είναι ιστορικό νήμα είναι γρίφος η σπαζοκεφαλιά η κάτι ανάλογο.

Βασικά είναι πρόβλημα πληροφορικής που έχει να κάνει με τη λήψη και την αποστολή πληροφοριών από μια συσκευή στην άλλη σε δίκτυο αλλά εδώ ας μείνουμε στην πιο πρακτική μορφή του.

Το πρόβλημα είναι ως εξης:

Μία εχθρική πόλη πολιορκείται από 4 Βυζαντινές στρατιές η κάθε μία από τις οποίες έχει ένα Στρατηγό διοικητή. Eνας είναι ο Αρχιστρατηγος και οι άλλοι υφιστάμενοι του

Αυτοί βρίσκονται σε αρκετή απόσταση ο ένας από τον άλλο τέτοια ώστε να μην είναι ορατοί μεταξύ τους και δεν ακούγονται κιόλας. Μοιραία λοιπόν επικοινωνούν μεταξύ τους με αγγελιοφόρος που μεταφέρουν είτε το μήνυμα "επίθεση" είτε το μήνυμα "υποχώρηση"

Για να πετύχει η επίθεση πρέπει να γίνει συνδιασμενη επίθεση της πλειοψηφίας των στρατων. Σε κάθε άλλη περίπτωση η πόλη δεν πέφτει και οι Βυζαντινοί χάνουν την μάχη.

Όμως από τους 4 Στρατηγούς 1 η παραπάνω ενδεχομένως είναι προδότες και μπορεί να στείλουν ψεύτικο μηνυμα καταστρεφοντας την επίθεση.

Το ίδιο ισχύει και για τους αγγελιοφόρος. Ενδεχομένως 1 η παραπάνω να είναι προδότες και να αλλοιωσουν το μήνυμα που τους εμπιστευθηκσν οι Στρατηγοί να μεταφέρουν καταστρεφοντας πάλι την επίθεση.

Και για να γίνει πιο δύσκολο και οι πολιορκημενοι στην πόλη μπορούν να πιάσουν τους αγγελιοφόρος και να αλλάξουν το μήνυμα που μεταφέρουν.

Άρα λοιπόν πως μπορούμε με αυτά τα δεδομένα να βρούμε λύση στο πρόβλημα και η επίθεση να είναι νικηφόρα για τους Βυζαντινούς πάρα τα εμπόδια από προδότες καπολιορκημενους?

[dotcom]

Αμα βρήκες χρονομηχανή και θες να πάς στο μυριοκέφαλο να αλλάξεις την ιστορία τσάμπα προσπαθείς,είναι όλοι προδότες

[alekhine]

αν ο αρχιστρατηγος ειναι προδοτης δεν ειναι καταδικασμενη σε αποτυχια η φαση?

[aljawn]

Αμα βρήκες χρονομηχανή και θες να πάς στο μυριοκέφαλο να αλλάξεις την ιστορία τσάμπα προσπαθείς,είναι όλοι προδότες

Το Μαντζικέρτ νομίζω ήταν σημαντικότερο, αν και ιστορικά, μακράν η χειρότερη ήττα τον βυζαντινών ήταν στο Γιαρμουκ

[George_V]

αν ο αρχιστρατηγος ειναι προδοτης δεν ειναι καταδικασμενη σε αποτυχια η φαση?

Όχι απαραίτητα. Γιατί μπορεί να υπάρχει και δεύτερος προδότης στρατηγός που μπορεί να αλλαξει το μήνυμα. Επίσης μπορούν να το αλλάξουν και οι αγγελιοφόροι η να συλληφθούν οι αγγελιοφόρος και να το αλλάξουν οι πολιορκουμενοι.

Οι Βυζαντινοί δεν χάνουν τη μάχη μόνο με υποχώρηση. Τη χάνουν και με το να επιτεθούν με λιγότερους στρατούς από την πλειοψηφία.

Δλδ πρέπει να επιτεθούν τουλάχιστον 3 στρατοί για να πέσει η πόλη. Με 1 στρατο=ήττα με 2 στρατους=ήττα.

Άρα πως λύνεται το πρόβλημα?

[aljawn]

αν ο αρχιστρατηγος ειναι προδοτης δεν ειναι καταδικασμενη σε αποτυχια η φαση?

Όχι απαραίτητα. Γιατί μπορεί να υπάρχει και δεύτερος προδότης στρατηγός που μπορεί να αλλαξει το μήνυμα. Επίσης μπορούν να το αλλάξουν και οι αγγελιοφόροι η να συλληφθούν οι αγγελιοφόρος και να το αλλάξουν οι πολιορκουμενοι.

Οι Βυζαντινοί δεν χάνουν τη μάχη μόνο με υποχώρηση. Τη χάνουν και με το να επιτεθούν με λιγότερους στρατούς από την πλειοψηφία.

Δλδ πρέπει να επιτεθούν τουλάχιστον 3 στρατοί για να πέσει η πόλη. Με 1 στρατο=ήττα με 2 στρατους=ήττα.

Άρα πως λύνεται το πρόβλημα?

όλοι ντου;

[alekhine]

επιτρεπονται "δοκιμαστικα" μηνυματα τυπου "στειλε μου 5 ασπιδες" για να τεσταρει καποιος τι παιζει?

[Καραμελίτσα]

Μισό. Αν έχει 2 προδότες στρατηγούς, αυτοί απλά δε θα επιτεθούν, ότι μηνύματα και να ανταλλάξουν, οπότε θα έχεις ήττα.

Άρα το πρόβλημα έχει νόημα όταν είναι το πολύ ένας προδότης στρατηγός.

[ΦΙΛΕΛΕ ΚΑΙ ΤΡΟΛΕΛΕ]

Δε λύνεται στη πράξη.

[George_V]

επιτρεπονται "δοκιμαστικα" μηνυματα τυπου "στειλε μου 5 ασπιδες" για να τεσταρει καποιος τι παιζει?

Οι αγγελιοφόρος μεταφέρουν μόνο τα μηνύματα "επίθεση" και "υποχώρηση"

Δεν έχουν λόγο να υποπτευθουν κάποιον μεταξύ τους εκτός και αν λάβουν αντικρουομενα μηνύματα από άλλους Στρατηγούς.

@Καραμελιτσα δεν ξέρεις πόσοι είναι οι προδότες. Μπορεί 1 μπορεί 2 μπορεί 3 η ακόμα και κανένας. Πρέπει να βρεθεί φόρμουλα για να διαπιστωθεί αν υπάρχουν και πόσοι είναι.

Εκτός αυτού μπορεί να είναι προδότες οι αγγελιοφόροι. Η να αλλαχθούν τα μηνύματα από τους πολιορκουμενους.

[George_V]

Δε λύνεται στη πράξη.

Για 30 χρόνια δεν είχε λύση όντως.

Όμως όσο κι αν φαίνεται παράδοξο το bitcoin μπόρεσε να υλοποιηθεί λύνοντας αυτό το παράδοξο. Πλέον έχει λύση.

[Καραμελίτσα]

Οι προδότες ξέρουν αν υπάρχουν ή ποιοι είναι οι άλλοι προδότες;

[ΦΙΛΕΛΕ ΚΑΙ ΤΡΟΛΕΛΕ]

Θωερητικά μπορούν να γίνουν υπολογισμοί που καταλήγουν στον προκαθορισμό του «αναμενόμενου αποτελέσματος».
Στη πράξη, η πόλη πρέπει να καταληφθεί το συντομότερο δυνατόν άρα δεν υπάρχει πολυτέλεια χρόνου για Μαθηματικά
και σπαζοκεφαλιές επομένως βουρ και ότι είναι να συμβεί συμβαίνει. Στο σύγχρονο ειρηνικό κόσμο πιστεύουμε πως όλα
τα προβλήματα λύνονται με θεωρητικά υποδείγματα, ε δε γίνεται πάντα αυτό.

[George_V]

Οι προδότες ξέρουν αν υπάρχουν ή ποιοι είναι οι άλλοι προδότες;

Το ανέφερα πιο πάνω.

[ΦΙΛΕΛΕ ΚΑΙ ΤΡΟΛΕΛΕ]

Δε λύνεται στη πράξη.

Για 30 χρόνια δεν είχε λύση όντως.

Όμως όσο κι αν φαίνεται παράδοξο το bitcoin μπόρεσε να υλοποιηθεί λύνοντας αυτό το παράδοξο. Πλέον έχει λύση.

Ποιά είναι η λύση του bitcoin δε σε πιάνω? Εξ'οσων γνωρίζω πρόκειται για ένα ψηφιακό νόμισμα, ένα προϊόν δηλαδή που αγοράζεται
και πωλείται άρα υπόκειται και αυτό στο νόμο της προσφοράς και της ζήτησης, ο οποίος μη κρυβόμαστε πως δε συνδέεται με την ανυπαρξία
ασσυμετρίας πληροφόρησης(αυτό είναι και το point του προβλήματος που αναφέρεις).