Προσαρμοστικοί αλγόριθμοι για προβλήματα ικανοποίησης περιορισμών
Η παρούσα εργασία έχει σαν αντικείμενο την μελέτη αλγορίθμων και ευριστικών μεθόδων για προβλήματα ικανοποίησης περιορισμών. Ο στόχος αυτών των αλγορίθμων είναι η επίλυση των προβλημάτων, δηλαδή η συνεπής (ή μη) ανάθεση μίας τιμής σε κάθε μία από τις μεταβλητές που συμμετέχουν στο πρόβλημα, ή απόδε...
Αποθηκεύτηκε σε:
| _version_ | 1828462500379623424 |
|---|---|
| author | Βογιατζής, Αρτέμιος |
| author2 | Στεργίου, Κωνσταντίνος |
| author_sort | Βογιατζής, Αρτέμιος |
| collection | DSpace |
| description | Η παρούσα εργασία έχει σαν αντικείμενο την μελέτη αλγορίθμων και ευριστικών μεθόδων για προβλήματα ικανοποίησης περιορισμών. Ο στόχος αυτών των αλγορίθμων είναι η επίλυση των προβλημάτων, δηλαδή η συνεπής (ή μη) ανάθεση μίας τιμής σε κάθε μία από τις μεταβλητές που συμμετέχουν στο πρόβλημα, ή απόδειξη ότι δεν υπάρχει λύση. Οι γνωστοί αλγόριθμοι που εξετάζονται είναι οι MAC και Forward Checking, που ανήκουν στην κατηγορία των look- ahead αλγορίθμων [11]. Οι αλγόριθμοι αυτοί επιλέγουν τις μεταβλητές με κάποια σειρά και κάνουν ανάθεση τιμών σε αυτές έως ότου όλες να έχουν από μία έγκυρη τιμή σύμφωνα με τους περιορισμούς. Μετά από κάθε προσωρινή ανάθεση τιμής σε μία μεταβλητή ο MAC αλγόριθμος εφαρμόζει έλεγχο συνέπειας τόξου (arc consistency) σε ολόκληρο το πρόβλημα, ενώ ο Forward Checking ελέγχει την συμβατότητα μεταξύ της συγκεκριμένης μεταβλητής και των γειτονικών της στις οποίες δεν έχει ανατεθεί τιμή. Αυτό αποτελεί, ουσιαστικά, μία περιορισμένη μορφή ελέγχου συνέπειας τόξου. Σε περίπτωση ασυμβατότητας μελλοντικών τιμών, οι αλγόριθμοι αυτοί αφαιρούν αυτές τις τιμές καθώς δεν θα μπορούν να συμμετέχουν στη λύση του αρχικού προβλήματος. Λόγω κατασκευής λοιπόν, ο ΜΑC αλγόριθμος χρησιμοποιεί το μέγιστο επίπεδο διάδοσης συνέπειας τόξου και ο Forward Checking ένα ασθενέστερο μοντέλο ελέγχου συνέπειας. Σε πολύ εύκολα προβλήματα, ο Forward Checking είναι πιο αποδοτικός του MAC λόγω του λιγότερου χρόνου που χρειάζεται για την επίλυσή τους, καθώς ο MAC εφαρμόζει πάντα πλήρη έλεγχο συνέπειας τόξου και καθυστερεί χωρίς να υπάρχει πραγματική ανάγκη [6]. Σε δύσκολα προβλήματα, ωστόσο, ο Forward Checking αργεί να ανακαλύψει τις ασυνέπειες με αποτέλεσμα ο MAC να είναι αποδοτικότερος μια και εξερευνεί πολύ μικρότερο κομμάτι του χώρου αναζήτησης από ότι ο Forward Checking. Παρουσιάζει ενδιαφέρον να εξετάσουμε αλγορίθμους που κάνουν έλεγχο για παραπάνω από μία μεταβλητή σε κάθε επανάληψη (όπως ο Forward Checking) αλλά δεν εξετάζουν ολόκληρο το πρόβλημα όπως ο MAC. Αυτοί οι αλγόριθμοι εφαρμόζουν έλεγχο συνέπειας τόξου για περιοχές που αποτελούνται από λιγότερες ή το πολύ ίδιες μεταβλητές με τις συνολικές του προβλήματος. Eφαρμόζουν, δηλαδή, λιγότερο ισχυρή διάδοση συνέπειας από αυτήν που χρησιμοποιεί ο MAC και ταυτόχρονα είναι πιο «ισχυροί» του Forward Checking. Οι αλγόριθμοι αυτοί εφαρμόζουν έλεγχο συνέπειας για ένα υποδίκτυο μόνο του αρχικού προβλήματος. Το μέγεθος του υποδικτύου που εξετάζεται βασίζεται στην έννοια της «γειτονιάς», δηλαδή στο σύνολο των μεταβλητών και περιορισμών που βρίσκονται σε κάποια προκαθορισμένη απόσταση από την εκάστοτε μεταβλητή που εξετάζεται. Για την επιλογή της επόμενης, κάθε φορά, μεταβλητής προς εξέταση, μπορεί να εφαρμοστεί μία ευριστική συνάρτηση ώστε να επιλέγεται η μεταβλητή που εμφανίζεται ως η πιο «περιορισμένη». Εξετάζονται δύο τέτοιες συναρτήσεις σε συνδυασμό με τους αλγορίθμους. Η μία βασίζεται σε χαρακτηριστικά κάθε μεταβλητής ξεχωριστά (η ευριστική συνάρτηση “dom/deg”) και η άλλη λαμβάνει υπ’ όψιν πληροφορίες για κάποιο τμήμα του συνολικού προβλήματος. Στο παρόν κείμενο παρουσιάζονται τα αποτελέσματα των πειραμάτων για διάφορους συνδυασμούς αλγορίθμων/ ευριστικών συναρτήσεων. |
| id | oai:hellanicus.lib.aegean.gr:11610-8885 |
| institution | Hellanicus |
| language | Greek |
| publishDate | 2015 |
| record_format | dspace |
| title | Προσαρμοστικοί αλγόριθμοι για προβλήματα ικανοποίησης περιορισμών |
| topic | Περιορισμοί Constraints Constraint programming (Computer science) Algorithms |
| url | https://vsmart.lib.aegean.gr/webopac/List.csp?SearchT1=%CE%92%CE%BF%CE%B3%CE%B9%CE%B1%CF%84%CE%B6%CE%AE%CF%82%2C+%CE%91%CF%81%CF%84%CE%AD%CE%BC%CE%B9%CE%BF%CF%82+&Index1=Keywordsbib&Database=1&SearchMethod=Find_1&SearchTerm1=%CE%92%CE%BF%CE%B3%CE%B9%CE%B1%CF%84%CE%B6%CE%AE%CF%82%2C+%CE%91%CF%81%CF%84%CE%AD%CE%BC%CE%B9%CE%BF%CF%82+&OpacLanguage=gre&Profile=Default&EncodedRequest=Sv*9C*8F*22*CE*AD*C1g*E1*AD*A5*3AG*96*09&EncodedQuery=Sv*9C*8F*22*CE*AD*C1g*E1*AD*A5*3AG*96*09&Source=SysQR&PageType=Start&PreviousList=RecordListFind&WebPageNr=1&NumberToRetrieve=50&WebAction=NewSearch&StartValue=0&RowRepeat=0&ExtraInfo=&SortIndex=Year&SortDirection=-1&Resource=&SavingIndicator=&RestrType=&RestrTerms=&RestrShowAll=&LinkToIndex= http://hdl.handle.net/11610/8885 |
| work_keys_str_mv | AT bogiatzēsartemios prosarmostikoialgorithmoigiaproblēmataikanopoiēsēsperiorismōn |