Ο σημερινός μας γρίφος θα μας ταξιδέψει στο μέλλον. Είμαστε λοιπόν στο έτος 3000 και κάτι ψιλά και η τεχνολογία έχει εξελιχθεί, μια κατάσταση αλλά Ισαάκ Ασίμωφ (Isaac Asimov) φανταστείτε. Σε ένα από τα βασικά ορυχεία του πλανήτη Άρη κάποια απ’ τα ρομπότ (λόγω κάποιου κατασκευαστικού ελαττώματος) έχουν ξεκινήσει ανταρσία.
Μετά την καταστολή της ανταρσίας και αφού όλα τα ρομπότ έχουν τεθεί υπό περιορισμό υπάρχει το εξής πρόβλημα. Απ’ τη μια είναι οικονομικά ασύμφορο να καταστραφούν όλα τα ρομπότ, αλλά δεν υπάρχει κάποιος ασφαλής τρόπος να βρεθεί ποια από αυτά είναι τα ελαττωματικά. Η μόνη ελπίδα είναι πως το κάθε ρομπότ γνωρίζει για όλα τα άλλα αν είναι ή όχι ελαττωματικά.
Έρχεται λοιπόν στο χώρο κράτησης των ρομπότ ο Elijah Baley για να βρει άκρη…. Η μοναδική πηγή πληροφορίας που έχει είναι ότι μπορεί να ρωτήσει το κάθε ρομπότ χ αν το ρομπότ ψ είναι ή όχι ελαττωματικό. Αν το ρομπότ είναι ελαττωματικό δεν θα του πει βέβαια κατ’ ανάγκη την αλήθεια. Αν δεν είναι ελαττωματικό θα του απαντήσει την αλήθεια.
– Εσείς μπορείτε να βρείτε μια ικανή και αναγκαία συνθήκη ώστε να μπορέσει ο Elijah να βγάλει συμπέρασμα;
– Αν ο Elijah ξέρει ότι ισχύει η προηγούμενη συνθήκη πόσες είναι οι ελάχιστες ερωτήσεις που θα χρειαστεί ώστε να απομονώσει ένα σίγουρα μη ελαττωματικό ρομπότ;
(Αν βρει ένα σίγουρα μη ελαττωματικό μπορεί απλά ρωτώντας αυτό για όλα τα άλλα βρει όλα τα ελαττωματικά)
Μπορείτε να υποθέσετε ότι τα ρομπότ είναι σύνολο 100 αλλά δεν έχει σημασία πόσα είναι συνολικά!
Αφήστε μια απάντηση