Άσκηση 8: Ικανοποίηση Περιορισμών
Σε αυτήν την άσκηση χρησιμοποιείται η Prolog για την επίλυση προβλημάτων ικανοποίησης περιορισμών (λογικά κυκλώματα, οκτώ βασίλισσες, κρυπταριθμητικά προβλήματα). Εξετάζονται τεχνικές για το γρήγορο κλάδεμα του δέντρου αναζήτησης, ώστε να εμφανίζονται πιο γρήγορα τα αποτελέσματα της αναζήτησης. Τέλο...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2024
|
| Διαθέσιμο Online: | http://repository.kallipos.gr/handle/11419/13279 |
| Περίληψη: | Σε αυτήν την άσκηση χρησιμοποιείται η Prolog για την επίλυση προβλημάτων ικανοποίησης περιορισμών (λογικά κυκλώματα, οκτώ βασίλισσες, κρυπταριθμητικά προβλήματα). Εξετάζονται τεχνικές για το γρήγορο κλάδεμα του δέντρου αναζήτησης, ώστε να εμφανίζονται πιο γρήγορα τα αποτελέσματα της αναζήτησης. Τέλος, εξετάζεται η επίλυση γρίφων Sudoku με τον ίδιο τρόπο και παρουσιάζεται παράδειγμα επίλυσης με μεταπρογραμματισμό. |
|---|
