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

Abstract

Στην παρούσα εργασία γίνεται προσπάθεια επίλυσης δυναμικών προβλημάτων ικανοποίησης περιορισμών (Dynamic Constraint Satisfaction Problem - DCSPs) με πεπερασμένο πεδίο τιμών. Το DCSP θεωρείται ως μια ακολουθία από προβλήματα ικανοποίησης περιορισμών (Constraint Satisfaction Problems - CSPs). Όπου η δυναμικότητα του για λόγους απλότητας ορίζεται ως η προσθήκη σταθερού πλήθους περιορισμών σε κάθε CSP της ακολουθίας. Κύριος στόχος της εργασίας είναι η διερεύνηση μεθόδου που επικεντρώνεται στη σταθερότητα (stability) λύσεων που εντοπίζονται κατά την επίλυση ενός DCSP. Η μεθοδολογία βασίζεται σε τοπική αναζήτηση δύο φάσεων με δυνατότητα χρήσης πληροφορίας που λαμβάνεται από προγενέστερη λύση. Αυτή η μέθοδος προσπαθεί να διατηρήσει την αρχική ανάθεση, ενώ εξακολουθεί να διεξάγει μια αναζήτησης προς το καλύτερο. Τα αποτελέσματα της μεθόδου αυτής παρότι παρουσιάζουν αδυναμία ως προς τη βελτίωση της απόστασης των λύσεων των αρχικών CSPs του προς επίλυση DCSP, παρουσιάζουν αξιοσημείωτη βελτίωση των ενδιάμεσων λύσεων της ακολουθίας των CSPs. Γεγονός που το καθιστά ιδιαίτερα ενδιαφέρον για περαιτέρω διερεύνηση.