Άσκηση 8: Ικανοποίηση Περιορισμών
Σε αυτήν την άσκηση χρησιμοποιείται η Prolog για την επίλυση προβλημάτων ικανοποίησης περιορισμών (λογικά κυκλώματα, οκτώ βασίλισσες, κρυπταριθμητικά προβλήματα). Εξετάζονται τεχνικές για το γρήγορο κλάδεμα του δέντρου αναζήτησης, ώστε να εμφανίζονται πιο γρήγορα τα αποτελέσματα της αναζήτησης. Τέλο...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2024
|
| Διαθέσιμο Online: | http://repository.kallipos.gr/handle/11419/13279 |
| id |
kallipos-11419-13279 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-132792024-05-05T08:35:01Z Άσκηση 8: Ικανοποίηση Περιορισμών Exercise 8: Constraint Satisfaction Σγάρμπας, Κυριάκος Sgarbas, Kyriakos Σε αυτήν την άσκηση χρησιμοποιείται η Prolog για την επίλυση προβλημάτων ικανοποίησης περιορισμών (λογικά κυκλώματα, οκτώ βασίλισσες, κρυπταριθμητικά προβλήματα). Εξετάζονται τεχνικές για το γρήγορο κλάδεμα του δέντρου αναζήτησης, ώστε να εμφανίζονται πιο γρήγορα τα αποτελέσματα της αναζήτησης. Τέλος, εξετάζεται η επίλυση γρίφων Sudoku με τον ίδιο τρόπο και παρουσιάζεται παράδειγμα επίλυσης με μεταπρογραμματισμό. In this exercise Prolog is used to solve constraint satisfaction problems (logic circuits, eight queens, crypto-arithmetic problems). Techniques for quickly pruning the search tree to display search results more quickly are considered. Finally, Sudoku puzzles are solved in the same way and an example of solving by metaprogramming is presented. 2024-05-02T07:35:29Z 2024-05-02T07:35:29Z 7 http://repository.kallipos.gr/handle/11419/13279 el 1 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| description |
Σε αυτήν την άσκηση χρησιμοποιείται η Prolog για την επίλυση προβλημάτων ικανοποίησης περιορισμών (λογικά κυκλώματα, οκτώ βασίλισσες, κρυπταριθμητικά προβλήματα). Εξετάζονται τεχνικές για το γρήγορο κλάδεμα του δέντρου αναζήτησης, ώστε να εμφανίζονται πιο γρήγορα τα αποτελέσματα της αναζήτησης. Τέλος, εξετάζεται η επίλυση γρίφων Sudoku με τον ίδιο τρόπο και παρουσιάζεται παράδειγμα επίλυσης με μεταπρογραμματισμό. |
| format |
7 |
| author |
Σγάρμπας, Κυριάκος Sgarbas, Kyriakos |
| spellingShingle |
Σγάρμπας, Κυριάκος Sgarbas, Kyriakos Άσκηση 8: Ικανοποίηση Περιορισμών |
| author_facet |
Σγάρμπας, Κυριάκος Sgarbas, Kyriakos |
| author_sort |
Σγάρμπας, Κυριάκος |
| title |
Άσκηση 8: Ικανοποίηση Περιορισμών |
| title_short |
Άσκηση 8: Ικανοποίηση Περιορισμών |
| title_full |
Άσκηση 8: Ικανοποίηση Περιορισμών |
| title_fullStr |
Άσκηση 8: Ικανοποίηση Περιορισμών |
| title_full_unstemmed |
Άσκηση 8: Ικανοποίηση Περιορισμών |
| title_sort |
άσκηση 8: ικανοποίηση περιορισμών |
| publishDate |
2024 |
| url |
http://repository.kallipos.gr/handle/11419/13279 |
| work_keys_str_mv |
AT sgarmpaskyriakos askēsē8ikanopoiēsēperiorismōn AT sgarbaskyriakos askēsē8ikanopoiēsēperiorismōn AT sgarmpaskyriakos exercise8constraintsatisfaction AT sgarbaskyriakos exercise8constraintsatisfaction |
| _version_ |
1799946647626579968 |
