background image

45 

 

Η προεπεξεργασία παράγει δύο μοντέλα, το εσωτερικό μοντέλο για την επίλυση και 

ένα  μοντέλο  διοχέτευσης  για  τη  συμπλήρωση  της  λύσης  του  αρχικού  μοντέλου.  Το  LCG 

αναλαμβάνει  κωδικοποιώντας  το  CSP  σε  μορφή  Boolean  και  επιλύοντας  ως  SAT  με  τη 

μέθοδο που αναφέρθηκε στο κεφάλαιο 2.7. 

2.9 Σύνοψη κεφαλαίου 

 

Κατά το κεφάλαιο, παρουσιάστηκαν οι μέθοδοι που συνδυάστηκαν για την υλοποίηση 

της παρούσας διπλωματικής εργασίας. Έγινε μελέτη των κλάσεων πολυπλοκότητας αλλά και 

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

Ναρκαλιευτή. Στο κεφάλαιο που ακολουθεί, θα εξεταστεί η ενορχήστρωση των μεθόδων και 

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

παρτίδα.