background image

81 

 

 

5.2.4 Βελτίωση απόδοσης 

 

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

αυξάνει τις επιλύσεις ως CSP και κατά συνέπεια το χρόνο CPU. Αυτό σημαίνει πως μπορεί 

να  γίνει  βελτίωση  των  μοντέλων  για  την  ανάληψη  δυσκολότερων  καταστάσεων  με 

περισσότερους περιορισμούς και εξεταζόμενα μπλοκ. Η βελτίωση αυτή μπορεί να επέλθει με 

την  ομαδοποίηση  των  περιορισμών  με  βάση  τη  συνάφεια  για  την  παράλληλη  επίλυση  με 

πολλαπλά  μοντέλα  και  επιμέρους  ενεργοποιήσεις  του  CP-SAT  σε  νήματα.  Στην  εικόνα  5.3 

παρουσιάζεται η ομαδοποίηση σαν «αλυσίδες» περιορισμών που μοιράζονται μπλοκ άκρης. 

Αξίζει να σημειωθεί πως, κατά το στάδιο της προεπεξεργασίας του CP-SAT, γίνεται εμμέσως 

παρόμοια διεργασία με βάση την αλληλεπίδραση των μηχανισμών διάδοσης αλλά ενδέχεται 

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

 

Εικόνα 5.3: Ομαδοποίηση ως αλυσίδες περιορισμών που μοιράζονται μπλοκ άκρης και επιλύονται ως ξεχωριστά 

μοντέλα CSP από ενεργοποιήσεις του CP-SAT σε επιμέρους νήματα.

 

 

Τέλος,  δεδομένου  του  μεγέθους  των  αριθμών  που  διαχειρίζεται  στις  χείριστες 

περιπτώσεις  ο  επιλυτής,  για  την  επέκταση  του  σε  μεγαλύτερες  διαστάσεις  και  πυκνότητες 

ναρκών πρέπει να εφαρμοστεί ο αλγόριθμος Karatsuba [58]. Ο αλγόριθμος αυτός προσφέρει 

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

των συνδυασμών για κάθε μπλοκ σε μία απαιτητική κατάσταση.