Λοιπόν, μου πήρε πολλή ώρα, αλλά το κατάλαβα.
Είναι πολύ ωραίο πρόβλημα, αλλά η εκφώνηση είναι ελλειπής.
MightyMouse έγραψε: 21 Μάιος 2018, 17:44
Φινγκόλφιν, εσύ όταν πεις σε κάποιον (και ειδικότερα σε μοναχό που δεν έχει πολλά πράγματα) να μαζέψει τα πράγματά του και να φύγει, την επόμενη μέρα περιμένεις να έχει φύγει ή όχι; Αν διαφωνείς εδώ δε θα δεχτείς ποτέ την απάντηση. Αυτά που λες για άμεσες κινήσεις και όχι δεν έχουν ιδιαίτερο νόημα. Σε πραγματικές συνθήκες κανείς δεν κάθεται κάπου και περιμένει για πάντα επειδή είχε μια συζήτηση ή κάποιος του ανακοίνωσε κάτι. Όλοι θα φύγουν μετά την ανακοίνωση του ηγούμενου και θα πάει ας πούμε ο καθένας στη δουλειά του ή στο δωμάτιό του. Το θέμα είναι ποιοι θα μείνουν στο μοναστήρι μέχρι την επόμενη μέρα.
Μπορεί να έχει φύγει αμέσως, σε μία ώρα, ή μέχρι την επόμενη μέρα. Το πρόβλημα είναι λογικό και η εκφώνηση είναι ελλειπής. Αν δεν υπάρχει κάποιος σαφής μηχανισμός που να περιγράφει τη σχέση του περάσματος μια μέρας με το πλήθος των σπυριών των μοναχών, δεν μπορώ να δω τι σχέση έχει το αν έχει περάσει μια μέρα ή όχι. Γιατί όχι δώδεκα ώρες π.χ.; Αν το πρόβλημα έλεγε π.χ. πως κάθε μέρα μπορεί να εκτελεστεί μόνο ένα λογικό βήμα, ή υπήρχε κάποια άλλη βηματοποίηση όπως το από τη στιγμή που κάθε μοναχός καταλαβαίνει πως πρέπει να φύγει έχει περιθώριο να φύγει μέχρι την επόμενη μέρα, τότε θα συμφωνούσα με το πέρασμα της μιας ημέρας. Για να λειτουργήσει το πρόβλημα όπως πρέπει, πρέπει να υπάρχουν κάποια στάδια όπου σε κάθε στάδιο θα γίνεται ένας μόνο συλλογισμός από τον κάθε μοναχό ή κάτι άλλο παρόμοιο. Τώρα όμως δεν μπορεί να ξέρει ο κάθε μοναχός μέχρι που έχει σκεφτεί κάθε άλλος μοναχός και από τις πράξεις του να συμπεράνει πράγματα.