70
Ως μοναδικός περιορισμός για την εκτέλεση τέθηκε ο μέγιστος χρόνος των 120
δευτερολέπτων ανά παρτίδα. Σε αυτές τις περιπτώσεις το ταμπλό επαναφέρεται στην αρχική
του κατάσταση και δεν καταγράφονται στατιστικά ανεξάρτητα από το πιθανό αποτέλεσμα.
Για τη διεκπεραίωση της πειραματικής διαδικασίας τηρήθηκαν οι προϋποθέσεις ανάλυσης
και κλίμακας ενώ έγινε χρήση υπολογιστή με τα εξής τεχνικά χαρακτηριστικά: Επεξεργαστής
AMD Ryzen 7 3750H 2.3GHz , 16GB μνήμη RAM, Κάρτα γραφικών NVIDIA GeForce
GTX 1650, Οθόνη 17 ιντσών Windows 11 64-bit.
4.2 Συλλογή Στατιστικών Στοιχείων
Για τη συλλογή στατιστικών στοιχείων, ολοκληρώθηκαν 6500 παρτίδες ναρκαλιευτή
από τον Αυτοματοποιημένο Επιλυτή. Οι ιδιότητες που καταγράφηκαν σε κάθε παρτίδα ήταν:
(α) το αποτέλεσμα (Νίκη/Ήττα), (β) το σύνολο των κλικ, (γ) οι ενεργοποιήσεις του CP-SAT,
(δ) οι «τυχαίες» κινήσεις, (ε) οι νάρκες που απέμειναν, (ζ) ο χρόνος ολοκλήρωσης (CPU
Time). Σε ξεχωριστές δοκιμές έγινε συλλογή στοιχείων σχετικά με το χρόνο που απαιτεί η
εύρεση και αναγνώριση του ταμπλό. Τα στοιχεία αυτά συλλέχθηκαν κυρίως από τα ταμπλό
με διαστάσεις 9x9, 16x16 και 30x16 αλλά και από παραλλαγές τους που προέκυψαν με την
εφαρμογή πυκνότητας που αντιστοιχεί σε κάθε δυσκολία. Για παράδειγμα, στο ταμπλό της
κλίμακας «Beginner» εφαρμόζεται η πυκνότητα του «Expert» με τα ανάλογα αποτελέσματα.
4.3 Χρόνος Εύρεσης και Αναγνώρισης του ταμπλό
Η κύρια κατάκτηση του Αυτοματοποιημένου Επιλυτή έρχεται άμεσα σε σύγκριση με
την υλοποίηση του Packard [29]. Σύμφωνα με τον ίδιο, οι συναρτήσεις εντοπισμού με
φωτογραφίες για κάθε κατάσταση απαιτούν 13ms. Αυτό μεταφράζεται σε 130ms δεδομένου
ότι υπάρχουν δέκα πιθανές καταστάσεις για ένα μπλοκ (1-8 και Ανοικτό/Κλειστό). Τα
αποτελέσματα της μεθόδου που εφαρμόζει η παρούσα εργασία παρουσιάζονται στον Πίνακα
4.1 μαζί με τις μετρήσεις για την εύρεση του ταμπλό (που δεν υλοποιείται από τον Packard).
Χρόνος/Ταμπλό
Εύρεση Ταμπλό
9x9, 81 μπλοκς
16.01 ms
116.82 ms
16x16, 256 μπλοκς
17.99 ms
121.41 ms
30x16, 480 μπλοκς
24.17 ms
131.56 ms
Πίνακας 4.1: Χρόνοι εύρεσης και αναγνώρισης κατάστασης του ταμπλό για τα μεγέθη των βασικών κλιμάκων.