66 

 

𝑃(𝜈𝛼 𝜀ί𝜈𝛼𝜄 𝜈ά𝜌𝜅𝜂 𝜎𝜀 𝜇𝜋𝜆𝜊𝜅 ά𝜅𝜌𝜂𝜍) =

𝛵𝜊𝜋𝜄𝜅𝜊ί 𝛴𝜐𝜈𝛿𝜐𝛼𝜎𝜇𝜊ί

𝛫𝛼𝜃𝜊𝜆𝜄𝜅𝜊ί 𝛴𝜐𝜈𝛿𝜐𝛼𝜎𝜇𝜊ί

 

(3.10)

 

 

Για τον υπολογισμό της ανάλογης πιθανότητας για τα μπλοκ που είναι κλειστά αλλά 

δεν  ανήκουν  στα  μπλοκ  άκρης  αρκεί  να  εφαρμοστεί  ο  τύπος  της  πυκνότητας  ναρκών 

[Εξίσωση 3.11] συναρτήσει των νέων δεδομένων ανάλογα με την κατάσταση της παρτίδας. 

𝑃(𝜈𝛼 𝜀ί𝜈𝛼𝜄 𝜈ά𝜌𝜅𝜂 𝜀𝜅𝜏ό𝜍 ά𝜅𝜌𝜂𝜍) =

𝛫𝛼𝜃𝜊𝜆𝜄𝜅ό𝜍 𝛭𝜀𝜏𝜌𝜂𝜏ή𝜍 𝛮𝛼𝜌𝜅ώ𝜈

𝛫𝜆𝜀𝜄𝜎𝜏ά 𝛭𝜋𝜆𝜊𝜅

  

(3.11)

 

 

Εικόνα 3.18: Οι πιθανές αναθέσεις ναρκών που σχηματίζουν πλήρεις λύσεις για το CSP πάνω στα μπλοκ άκρης. 

Παρατηρείται χρήση διαφορετικού αριθμού ναρκών άρα και τοπικών συνδυασμών.

 

 

3.7.3 Σήμανση Στατιστικά Σίγουρων Κινήσεων 

 

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

μπλοκ,  ο  Αυτοματοποιημένος  Επιλυτής  είναι  σε  θέση  να  εκτελέσει  κινήσεις  με  στατιστική 

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

οι τοπικοί του συνδυασμοί είναι ίσοι με τους καθολικούς. Κατά επέκταση, αυτό μεταφράζεται 

σε 100% πιθανότητα να είναι νάρκη οπότε προστίθεται άμεσα σε λίστα για να σημανθεί ως 

νάρκη. Στην περίπτωση που κάποιο μπλοκ δεν ανατίθεται σε καμία λύση ως νάρκη, έχει 0% 

πιθανότητα και είναι απόλυτα ασφαλές να αποκαλυφθεί.  

 

3.7.4 «Τυχαίες» Κινήσεις 

 

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

καταφύγει  σε  εμπεριστατωμένες  εικασίες  (educated  guesses).  Οι  επιλογές  αυτές  δεν  είναι 

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

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

περίπτωση  ισοψηφίας  επιλέγεται  το  μπλοκ  που  είναι  πιο  κοντά  στην  άνω  αριστερή  γωνία.