45
Η προεπεξεργασία παράγει δύο μοντέλα, το εσωτερικό μοντέλο για την επίλυση και
ένα μοντέλο διοχέτευσης για τη συμπλήρωση της λύσης του αρχικού μοντέλου. Το LCG
αναλαμβάνει κωδικοποιώντας το CSP σε μορφή Boolean και επιλύοντας ως SAT με τη
μέθοδο που αναφέρθηκε στο κεφάλαιο 2.7.
2.9 Σύνοψη κεφαλαίου
Κατά το κεφάλαιο, παρουσιάστηκαν οι μέθοδοι που συνδυάστηκαν για την υλοποίηση
της παρούσας διπλωματικής εργασίας. Έγινε μελέτη των κλάσεων πολυπλοκότητας αλλά και
των θεωρητικών πτυχών των μοντέλων προβλημάτων που περιλαμβάνονται στην επίλυση του
Ναρκαλιευτή. Στο κεφάλαιο που ακολουθεί, θα εξεταστεί η ενορχήστρωση των μεθόδων και
αλγορίθμων που αναλύθηκαν για την επίλυση κάθε υποπροβλήματος που συναντάται σε μία
παρτίδα.