Ο Γρίφος της Ζέβρας είναι ένας διάσημος γρίφος λογικής, στον οποίο υπάρχουν πέντε σπίτια, καθένα βαμμένο με διαφορετικό χρώμα. Τα σπίτια έχουν διαφορετικούς κατοίκους, που έχουν διαφορετικές εθνικότητες, έχουν διαφορετικά κατοικίδια, πίνουν διαφορετικά ποτά και καπνίζουν διαφορετικές μάρκες τσιγάρων.
Για να σε βοηθήσουμε να λύσεις τον γρίφο, σου δίνονται 15 προτάσεις που περιγράφουν τη λύση. Ωστόσο, μόνο συνδυάζοντας τις πληροφορίες από όλες τις προτάσεις θα καταφέρεις να βρεις τη λύση του γρίφου.
Ο Γρίφος της Ζέβρας είναι ένα πρόβλημα ικανοποίησης περιορισμών (CSP). Σε ένα τέτοιο πρόβλημα, έχεις ένα σύνολο από πιθανές τιμές και ένα σύνολο από περιορισμούς που καθορίζουν ποιες τιμές είναι έγκυρες. Ένα άλλο γνωστό CSP είναι το Sudoku.
Το καθήκον σου είναι να λύσεις το Παζλ της Ζέβρας για να βρεις την απάντηση σε αυτές τις δύο ερωτήσεις:
Οι παρακάτω 15 προτάσεις είναι όλες γνωστές ως αληθείς:
Επιπλέον, καθένα από τα πέντε σπίτια είναι βαμμένο με διαφορετικό χρώμα, και οι κάτοικοί τους έχουν διαφορετική εθνική καταγωγή, έχουν διαφορετικά κατοικίδια, πίνουν διαφορετικά ποτά και καπνίζουν διαφορετικές μάρκες τσιγάρων.
Υπάρχουν 24 δισεκατομμύρια (5!⁵ = 24.883.200.000) πιθανές λύσεις, οπότε προσπάθησε να αποκλείσεις όσο το δυνατόν περισσότερες λύσεις.
Γράψου στο Exercism για να μάθεις και να κατακτήσεις Nim με 70 ασκήσεις και πραγματική καθοδήγηση από ανθρώπους, όλα δωρεάν.
Εξερεύνησε 8 διαφορετικούς τρόπους για να βρεις τη λύση του Γρίφου της Ζέβρας ανάμεσα σε 24 δισεκατομμύρια πιθανές λύσεις, όπως το να αγνοείς τις άκυρες μεταθέσεις όσο το δυνατόν νωρίτερα, τον αλγόριθμο AC-3, μια ιδιαίτερα συνοπτική λύση βασισμένη στη λογική και ακόμη και έναν γενετικό αλγόριθμο!