74 

 

 

Με  τη  μελέτη  των  στατιστικών  δεδομένων  που  προσφέρουν  οι  πίνακες  4.4  και  4.5, 

αποδεικνύεται η πρόταση πως τόσο η πυκνότητα όσο και το μέγεθος του ταμπλό επηρεάζουν 

τον  αριθμό  εμφανίσεων απαιτητικών  καταστάσεων.  Η  διαφορά  είναι  ιδιαίτερα  αισθητή  στο 

ταμπλό 30x16 με την υψηλότερη πυκνότητα καθώς εκεί υπάρχει μεγαλύτερη πιθανότητα να 

βρεθούν δυσεπίλυτες αναθέσεις ναρκών. Δεδομένου των χρονικών απαιτήσεων της  εύρεσης 

αναθέσεων από το CP-SAT, αξίζει να σημειωθεί πως υπάρχει συσχέτιση μεταξύ της επίλυσης 

ως CSP και του χρόνου CPU όπως είναι εμφανές και από τα σχήματα της Εικόνας 4.2.  

 

 Ένας ακόμα παράγοντας που έχει εξίσου μεγάλη επιρροή το μέγεθος του ταμπλό και 

η  πυκνότητα  είναι  οι  κινήσεις  που  απαιτούνται  για  την  ολοκλήρωση  της  παρτίδας  [Εικόνα 

4.3].  Καθώς  ο  Αυτοματοποιημένος  Επιλυτής  ακολουθεί  την  τακτική  No-Flag  ως  κινήσεις 

θεωρούνται  οι  αποκαλύψεις  μπλοκ  με  κλικ.  Σε  ένα  μεγαλύτερο  ταμπλό  είναι  λογικό  να 

χρειάζονται  περισσότερες  αποκαλύψεις,  όπως  παρατηρείται  σε  κάθε  στήλη  του  πίνακα  4.6. 

Παρατηρώντας τις επιπτώσεις της πυκνότητας, όμως, γίνεται εμφανές πως αυξάνει σημαντικά 

τον  αριθμό  κινήσεων.  Όπως  αναφέρθηκε  στην  αρχή  της  ενότητας,  αυτό  συμβαίνει  διότι  οι 

κινήσεις έχουν μικρότερη πιθανότητα να αποκαλύψουν μεγαλύτερο μέρος του ταμπλό. 

 

0,12345 

0,15626 

0.20625 

9x9 

13.661 

19.288 

24.314 

16x16 

26.372 

39.431 

60.42 

30x16 

35.222 

52.864 

83.999 

Πίνακας 4.6: Σύνολο κινήσεων για διαφορετικές πυκνότητες στις βασικές διαστάσεις ταμπλό. 

 

Εικόνα 4.3: Επιπτώσεις της πυκνότητας και των διαστάσεων στον αριθμό των κινήσεων έως το τέλος της παρτίδας.

 

 

 

Όταν  δεν  υπάρχουν  σίγουρες  κινήσεις  μετά  την  πιθανοτική  ανάλυση  του  ταμπλό, 

απαιτούνται οι «τυχαίες» κινήσεις από τον επιλυτή. Όπως παρουσιάζεται στην Εικόνα 4.4a