Τοπική Ακτινωτή Αναζήτηση για Προβλήματα Ικανοποίησης Περιορισμών

Abstract

Σκοπός της διπλωματικής εργασίας είναι η εξέταση της απόδοσης του αλγορίθμου Τοπικής Ακτινικής Αναζήτησης(Local Beam search), ένoς ευριστικoύ αλγορίθμου τοπικής αναζήτησης, για την εύρεση λύσεων σε προβλήματα ικανοποίησης περιορισμών. Επίσης, υλοποιήσαμε τον αλγόριθμο τοπικής αναζήτησης min-conflicts(Ελάχιστων Συγκρούσεων) με στόχο την σύγκριση των δύο αλγορίθμων. Συγκεκριμένα, οι δύο αλγόριθμοι αναλύθηκαν και στη συνέχεια υλοποιήθηκαν, στη γλώσσα προγραμματισμού C++, και εκτελέστηκαν επανειλημμένα για γνωστά προβλήματα ικανοποίησης περιορισμών, διαφόρων μεγεθών. Συγκεντρώνοντας και εξετάζοντας τα αποτελέσματα, καταλήγουμε σε συμπεράσματα για την απόδοση των δύο αλγορίθμων. Ουσιαστικά η διπλωματική αυτή απαντά στην ερώτηση αν ο αλγόριθμος Τοπικής Ακτινικής Αναζήτησης, ο οποίος είναι μια εξελιγμένη μορφή του αλγορίθμου Ελάχιστων Συγκρούσεων, αποτελεί αποδοτικότερο αλγόριθμο, όχι μόνο στη θεωρία αλλά και στη πράξη. Κάτι το οποίο αποδεικνύουμε ότι ισχύει.