48
Εικόνα 3.2: Μοντέλο ροής δεδομένων- Επίπεδο 0: Διαδοχική εφαρμογή των βασικών στρατηγικών με οπτική
αναγνώριση της κατάστασης του ταμπλό - Επίπεδο 1: Αρχική Είσοδος του CP-SAT - Επίπεδο 2: Μοντελοποίηση
υψηλού επιπέδου ως CSP - Επίπεδο 3: Κωδικοποίηση ως Boolean για επίλυση ως SAT από το LCG.
3.2 Απαιτήσεις Εισόδου
Για την ορθή λειτουργία του αλγορίθμου απαιτείται η βασική έκδοση Windows XP
του Ναρκαλιευτή δίχως τροποποιήσεις [Εικόνα 3.3] καθώς και η έκδοση 6.0 της δομής .NET.
Σε αυτή την έκδοση του Ναρκαλιευτή τηρούνται οι διαστάσεις 16×16 εικονοστοιχείων για
κάθε μπλοκ ενώ οι συνδυασμοί χρωμάτων έχουν μελετηθεί εις βάθος για την καλύτερη
δυνατή ακρίβεια στο μοντέλο αναγνώρισης. Ο χρήστης πρέπει να έχει εξασφαλίσει την
πρόσβαση στο παιχνίδι μέσω λογισμικού ή ιστοσελίδας που παρέχει τη συγκεκριμένη
έκδοση.
Στην αρχή της εκτέλεσης, ο χρήστης πρέπει να επιλέξει μεταξύ των βασικών
κλιμάκων δυσκολίας και της προσαρμοσμένης δυσκολίας. Αν ο χρήστης επιλέξει την
προσαρμοσμένη δυσκολία, απαιτείται να εισάγει τον αριθμό των ναρκών στο αντίστοιχο
πεδίο. Στο τέλος της παρτίδας, απαιτείται δράση για τον τερματισμό της εκτέλεσης ή την
επανεκκίνηση του επιλυτή. Η διεπαφή και οι προτροπές προς το χρήστη θα παρουσιαστούν
στην ενότητα που ακολουθεί.