47 

 

κωδικοποίηση σε SAT. Αφού γίνει εξαγωγή των πιθανών αναθέσεων, ο επιλυτής υπολογίζει 

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

προβλήματα  διαφορετικής  πολυπλοκότητας  οπότε  είναι  κρίσιμο  να  γίνεται  χρήση  των  πιο 

σύνθετων  στρατηγικών  μόνο  όταν  είναι  απαραίτητο.  Στο  τελικό  στάδιο  της  εκτέλεσης, 

κρίνεται  αν  έχει  επιτευχθεί  ο  στόχος  με  αναγνώριση  των  συνθηκών  νίκης  ή  ήττας.  Σε 

περίπτωση  που  η  παρτίδα  έχει  ολοκληρωθεί,  ο  χρήστης  μπορεί  να  επιλέξει  αν  θέλει  να 

προχωρήσει σε επόμενη ή να τερματίσει την εκτέλεση. 

 

Εικόνα 3.1: Διάγραμμα ροής του Αυτοματοποιημένου Επιλυτή με 4 στάδια – 1ο Στάδιο: Εύρεση του ταμπλό και 

αναγνώριση δυσκολίας, 2ο Στάδιο: Βασικές Στρατηγικές, 3ο Στάδιο Επίλυση ως CSP, 4ο Στάδιο: Τέλος Παιχνιδιού.