Επίλυση προβλημάτων ικανοποίησης περιορισμών στον κβαντικό υπολογιστή της D-Wave
Loading...
Date
2025-06-27
Authors
Καλδής, Χρήστος
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Το θέμα της διπλωματικής εργασίας είναι η επίλυση προβλημάτων ικανοποίησης περιορισμών στον κβαντικό υπολογιστή της D-Wave. Στόχος της εργασίας είναι η περιγραφή και κατανόηση αρχικά των προβλημάτων που ονομάζονται ικανοποίησης περιορισμών και στη συνέχεια, των βασικών χαρακτηριστικών που διέπουν έναν κβαντικό υπολογιστή της D-Wave. Στη συνέχεια, παρουσιάζεται η μαθηματική μοντελοποίηση προβλημάτων ικανοποίησης περιορισμών. Αναλυτικά, τα προβλήματα αυτά είναι η εύρεση κλίκας συγκεκριμένου μεγέθους, ο χρωματισμός ενός γράφου και η σχέση του με το γρίφο sudoku και τελικά το πρόβλημα N βασιλισσών. Ο τρόπος που παρουσιάζονται είναι τέτοιος
ώστε να γίνει κατανοητή η διαδικασία ανάπτυξης ενός προγράμματος που να επιλύει ένα οποιοδήποτε πρόβλημα, δίνεται έμφαση στη σχέση που έχουν τα προβλήματα ικανοποίησης περιορισμών με τα προβλήματα βελτιστοποίησης μέσω κάποιων παραδειγμάτων. Τέλος, παρουσιάζεται ο τρόπος χρήσης του προγράμματος και τα αποτελέσματα της εκτέλεσής του. Ο κώδικας που αναπτύχθηκε κατά τη διάρκεια συγγραφής της διπλωματικής βρίσκεται στο παρακάτω δημόσιο αποθετήριο: https://github.com/ChrisKaldis/quboin
Description
Keywords
Κβαντική υπολογιστική, Προβλήματα ικανοποίησης περιορισμών