Το Παράδοξο των Γενεθλίων του Charlie – Ένα λογικό παζλ της NSA

Ο μαθηματικός Stephen C. της National Security Agency (NSA) παρουσίασε το 2015 το ακόλουθο λογικό παζλ.

Ο Charlie δίνει στους φίλους του Albert, Bernard και Cheryl μια λίστα με 14 πιθανές ημερομηνίες για τα γενέθλιά του:

Apr 14, 1999
Feb 19, 2000
Mar 14, 2000
Mar 15, 2000
Apr 16, 2000
Apr 15, 2000
Feb 15, 2001
Mar 15, 2001
Apr 14, 2001
Apr 16, 2001
May 14, 2001
May 16, 2001
May 17, 2001
Feb 17, 2002

Στη συνέχεια λέει ότι θα αποκαλύψει:

στον Albert τον μήνα
στον Bernard την ημέρα
στη Cheryl το έτος

Αφού τους το πει, ακολουθεί ο διάλογος:

Albert:
«Δεν ξέρω τα γενέθλια του Charlie, αλλά ξέρω ότι ούτε ο Bernard τα ξέρει.»

Bernard:
«Σωστά. Αλλά ούτε η Cheryl ξέρει τα γενέθλια.»

Cheryl:
«Ναι, και ο Albert ακόμα δεν έχει καταλάβει ποια είναι.»

Bernard:
«Τώρα όμως εγώ ξέρω τα γενέθλια.»

Albert:
«Τώρα τα ξέρουμε όλοι.»

Λύση

Τα γενέθλια του Charlie είναι:

$\boxed{\textbf{16 Μαΐου 2001}}$

Γιατί αυτή είναι η λύση

Η λογική προκύπτει από το τι μπορεί και τι δεν μπορεί να συμπεράνει κάθε άτομο από τις πληροφορίες που έχει:

1️⃣ Από την πρώτη δήλωση του Albert αποκλείονται μήνες που θα επέτρεπαν στον Bernard να γνωρίζει αμέσως τη μέρα.

2️⃣ Από τη δήλωση του Bernard αποκλείονται ημερομηνίες που θα επέτρεπαν στη Cheryl να γνωρίζει το έτος.

3️⃣ Η δήλωση της Cheryl περιορίζει ακόμη περισσότερο τις πιθανότητες.

4️⃣ Τελικά απομένει μόνο μία ημερομηνία που ικανοποιεί όλες τις δηλώσεις.

Γιατί είναι ενδιαφέρον παζλ

Το πρόβλημα είναι ένα παράδειγμα:

λογικής γνώσης (epistemic logic)
συλλογισμού με κοινή γνώση
μαθηματικών παζλ τύπου Cheryl’s Birthday

Παρόμοια προβλήματα χρησιμοποιούνται συχνά:

σε διαγωνισμούς μαθηματικής λογικής
στην επιστήμη υπολογιστών
στην κρυπτογραφία

🧠

Math Chaser - EisatoponAI

⏱️ Χρόνος 🎯 Ακρίβεια 🔥 Πίεση

Πόσο γρήγορα σκέφτεσαι; Δοκίμασε το Math Chaser.
Ερωτήσεις, χρόνος και πίεση — καμία δεύτερη σκέψη.

Παίξε το Chaser ▶

EisatoponAI