63 

 

γίνει η σήμανση των ξεκάθαρων ναρκών. Έχει γίνει επισήμανση των αριθμών που προκαλούν 

αποκαλύψεις και το πεδίο επιρροής τους. 

 

Αλγόριθμος 3.4: Διαδικασία Αποκάλυψης Ασφαλών Μπλοκ – Για κάθε μπλοκ που είναι νούμερο ελέγχεται αν ο 

αριθμός των γειτονικών σημαιών είναι ίσος με τον αριθμό που εκφράζει. Αν αυτό ισχύει είναι όλα ασφαλή.

 

 

 

Εικόνα 3.16: Αποκάλυψη απόλυτα ασφαλών μπλοκ – (a) Έχουν βρεθεί και επισημανθεί δυο αριθμοί που έχουν 

συμπληρώσει τον αριθμό ναρκών τους (b) Τα κλειστά μπλοκ που αποκαλύφθηκαν ήταν απόλυτα ασφαλή.

 

 

3.7 Πρόβλημα Ικανοποίησης Περιορισμών 

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

ορισμένες διαμορφώσεις του ταμπλό δεν επαρκούν για να αποφασιστεί η επόμενη κίνηση. Αν 

ο  επιλυτής  είναι  εξ  ολοκλήρου  ντετερμινιστικός,  δε  λαμβάνει  τυχαίες  αποφάσεις  (ή  έστω 

εμπεριστατωμένες  εικασίες)  κάτι  το  οποίο  είναι  σχεδόν  αναπόφευκτο  σε  υψηλότερες 

δυσκολίες.  Σε  αυτό  το  σημείο  αναλαμβάνει  ένας  αλγόριθμος  μοντελοποίησης  και  επίλυσης 

ως  CSP.  Ένα  τέτοιο  μοντέλο  παρουσίασε  ο  Studholme  [24],  υπολογίζοντας  τον  αριθμό 

συνεπών και πλήρων αναθέσεων για το εκάστοτε μπλοκ. Αυτό επέτρεπε τον υπολογισμό της 

πιθανότητας να υπάρχει νάρκη στο υπό εξέταση μπλοκ. Το κύριο πρόβλημα της υλοποίησης 

του Studholme είναι πως ο χώρος αναζήτησης πιθανών να είναι μεγάλος. Την αδυναμία αυτή