Προσεγγιστικοί Αλγόριθμοι Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. http://xkcd.com/287/

Προσεγγιστικοί Αλγόριθμοι Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. Πως μπορούμε να αντιμετωπίσουμε το γεγονός ότι είναι απίθανη(;) η ανακάλυψη πολυωνυμικών αλγορίθμων για αυτά τα προβλήματα; Αλγόριθμοι εκθετικού χρόνου μπορεί να είναι αποδεκτοί για εισόδους μικρού μεγέθους Είναι πιθανό να υπάρχουν πολυωνυμικοί αλγόριθμοι για σημαντικές ειδικές περιπτώσεις Είναι πιθανό να μπορούμε να βρούμε σχεδόν βέλτιστες λύσεις σε πολυωνυμικό χρόνο

Προσεγγιστικοί Αλγόριθμοι Σε πολλές περιπτώσεις μας ικανοποιεί μια προσεγγιστική λύση Ένας προσεγγιστικός αλγόριθμος υπολογίζει σε πολυωνυμικό χρόνο μία λύση η οποία είναι εγγυημένα «κοντά» στη βέλτιστη λύση Λόγος προσέγγισης Έστω τιμή της λύσης του προσεγγιστικού αλγορίθμου για είσοδο τιμή της βέλτιστης λύσης για είσοδο Πρόβλημα μεγιστοποίησης: Ο αλγόριθμος έχει λόγο προσέγγισης αν για κάθε είσοδο μεγέθους ( -προσεγγιστικός αλγόριθμος)

Προσεγγιστικοί Αλγόριθμοι Σε πολλές περιπτώσεις μας ικανοποιεί μια προσεγγιστική λύση Ένας προσεγγιστικός αλγόριθμος υπολογίζει σε πολυωνυμικό χρόνο μία λύση η οποία είναι εγγυημένα «κοντά» στη βέλτιστη λύση Λόγος προσέγγισης Έστω τιμή της λύσης του προσεγγιστικού αλγορίθμου για είσοδο τιμή της βέλτιστης λύσης για είσοδο Πρόβλημα ελαχιστοποίησης: Ο αλγόριθμος έχει λόγο προσέγγισης αν για κάθε είσοδο μεγέθους ( -προσεγγιστικός αλγόριθμος)

Προσεγγιστικοί Αλγόριθμοι Προσεγγιστικό σύστημα Προσεγγιστικός αλγόριθμος που δέχεται στην είσοδο στιγμιότυπο και επιπλέον μια τιμή Για οποιοδήποτε συγκεκριμένο το προσεγγιστικό σύστημα αποτελεί -προσεγγιστικό αλγόριθμο. Ο χρόνος εκτέλεσης αυξάνει όσο μειώνεται το . Είναι πολυωνυμικός ως προς το μέγεθος του στιγμιότυπου αλλά όχι απαραίτητα ως προς το π.χ. Πλήρως πολυωνυμικό προσεγγιστικό σύστημα Προσεγγιστικό σύστημα στο οποίο ο χρόνος εκτέλεσης είναι πολυωνυμικός τόσο ως προς το μέγεθος του στιγμιότυπου όσο και ως προς το π.χ.

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων Απλός αλγόριθμος Αρχικοποίηση : Όσο επιλέγουμε μια ακμή θέτουμε αφαιρούμε από το κάθε ακμή και

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων Απλός αλγόριθμος Αρχικοποίηση : Όσο επιλέγουμε μια ακμή θέτουμε αφαιρούμε από το κάθε ακμή και

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων Απλός αλγόριθμος Αρχικοποίηση : Όσο επιλέγουμε μια ακμή θέτουμε αφαιρούμε από το κάθε ακμή και

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων Απλός αλγόριθμος Αρχικοποίηση : Όσο επιλέγουμε μια ακμή θέτουμε αφαιρούμε από το κάθε ακμή και

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων Απλός αλγόριθμος Αρχικοποίηση : Όσο επιλέγουμε μια ακμή θέτουμε αφαιρούμε από το κάθε ακμή και

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων Απλός αλγόριθμος Αρχικοποίηση : Όσο επιλέγουμε μια ακμή θέτουμε αφαιρούμε από το κάθε ακμή και

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων Απλός αλγόριθμος Αρχικοποίηση : Όσο επιλέγουμε μια ακμή θέτουμε αφαιρούμε από το κάθε ακμή και

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων Απλός αλγόριθμος Αρχικοποίηση : Όσο επιλέγουμε μια ακμή θέτουμε αφαιρούμε από το κάθε ακμή και

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με το ελάχιστο αριθμό κόμβων βέλτιστη λύση

Προσεγγιστικοί Αλγόριθμοι Κομβικό κάλυμμα Ο απλός αλγόριθμος είναι 2-προσεγγιστικός αλγόριθμος πολυωνυμικού χρόνου Έστω το σύνολο των ακμών που επέλεξε ο αλγόριθμος: Το κομβικό κάλυμμα αποτελείται από τους κόμβους που είναι άκρα των ακμών του επομένως Κάθε ακμή του καλύπτεται από έναν τουλάχιστον κόμβο του βέλτιστου καλύμματος . Επιπλέον στο δεν υπάρχουν ακμές με κάποιο κοινό άκρο. Επομένως

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή Ένας πωλητής πρέπει να επισκεφτεί πόλεις και να καταλήξει στην πόλη όπου ξεκίνησε την περιοδεία του, ελαχιστοποιώντας το συνολικό κόστος μετακίνησης Θεσσαλονίκη 13 2 Κοζάνη 4 Ιωάννινα 4 5 Λάρισα 16 3 8 12 7 Βόλος 4 8 19 5 Πάτρα Αθήνα 16 11 Ηράκλειο

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή 5 Πλήρες γράφημα 2 1 4 5 Συνάρτηση κόστους 2 Περιοδεία (κύκλος Hamilton): Κύκλος που επισκέπτεται κάθε κόμβο ακριβώς μια φορά Πρόβλημα βελτιστοποίησης : Θέλουμε μια περιοδεία ελάχιστου συνολικού κόστους Για ένα σύνολο ακμών ορίζουμε το κόστος του ως

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή 5 Πλήρες γράφημα 2 1 4 5 Συνάρτηση κόστους 2 Μπορούμε να βρούμε μια σχεδόν βέλτιστη περιοδεία αν η συνάρτηση κόστους ικανοποιεί την τριγωνική ανισότητα: Τριγωνική ανισότητα: Για κάθε τριάδα κόμβων Η τριγωνική ανισότητα ισχύει σε πολλές πρακτικές εφαρμογές, π.χ. όταν το κόστος αντιστοιχεί στην απόσταση δύο σημείων στο επίπεδο

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Κεντρική ιδέα: Το βάρος (κόστος) ενός ελαφρύτατου συνδετικού δένδρου του γραφήματος αποτελεί κάτω φράγμα του κόστους της βέλτιστης περιοδείας Ελαφρύτατο συνδετικό δένδρο Γράφημα b c d 8 7 Συνάρτηση βάρους 4 9 2 (εδώ ) a i e 11 4 14 7 Ζητούμενο: δένδρο 6 8 10 με ελάχιστο κόστος 1 2 h g f

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Κεντρική ιδέα: Το βάρος (κόστος) ενός ελαφρύτατου συνδετικού δένδρου του γραφήματος αποτελεί κάτω φράγμα του κόστους της βέλτιστης περιοδείας Ελαφρύτατο συνδετικό δένδρο Γράφημα b c d 8 7 Συνάρτηση βάρους 4 9 2 (εδώ ) a i e 11 4 14 7 Ζητούμενο: δένδρο 6 8 10 με ελάχιστο κόστος 1 2 h g f Μπορεί να υπολογιστεί σε σχεδόν γραμμικό χρόνο

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Κεντρική ιδέα: Το βάρος (κόστος) ενός ελαφρύτατου συνδετικού δένδρου του γραφήματος αποτελεί κάτω φράγμα του κόστους της βέλτιστης περιοδείας Προσεγγιστικός αλγόριθμος Υπολογίζουμε ένα ελαφρύτατο συνδετικό δένδρο του Επιλέγουμε αυθαίρετα ένα κόμβο ως ρίζα και εκτελούμε καθοδική διερεύνηση του με αφετηρία το Επιστρέφουμε την περιοδεία που σχηματίζεται από την διάταξη των κόμβων ως προς τους χρόνους ανακάλυψης της καθοδικής διερεύνησης

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Κεντρική ιδέα: Το βάρος (κόστος) ενός ελαφρύτατου συνδετικού δένδρου του γραφήματος αποτελεί κάτω φράγμα του κόστους της βέλτιστης περιοδείας

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Κεντρική ιδέα: Το βάρος (κόστος) ενός ελαφρύτατου συνδετικού δένδρου του γραφήματος αποτελεί κάτω φράγμα του κόστους της βέλτιστης περιοδείας

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Κεντρική ιδέα: Το βάρος (κόστος) ενός ελαφρύτατου συνδετικού δένδρου του γραφήματος αποτελεί κάτω φράγμα του κόστους της βέλτιστης περιοδείας

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Κεντρική ιδέα: Το βάρος (κόστος) ενός ελαφρύτατου συνδετικού δένδρου του γραφήματος αποτελεί κάτω φράγμα του κόστους της βέλτιστης περιοδείας [1,16] [8,15] [2,7] [9,14] [3,4] [5,6] [10,11] [12,13] ελαφρύτατο συνδετικό δένδρο διάταξη

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Κεντρική ιδέα: Το βάρος (κόστος) ενός ελαφρύτατου συνδετικού δένδρου του γραφήματος αποτελεί κάτω φράγμα του κόστους της βέλτιστης περιοδείας [1,16] [8,15] [2,7] [9,14] [3,4] [5,6] [10,11] [12,13] περιοδεία διάταξη

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Κεντρική ιδέα: Το βάρος (κόστος) ενός ελαφρύτατου συνδετικού δένδρου του γραφήματος αποτελεί κάτω φράγμα του κόστους της βέλτιστης περιοδείας [1,16] [8,15] [2,7] [9,14] [3,4] [5,6] [10,11] [12,13] βέλτιστη περιοδεία περιοδεία διάταξη

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Ο αλγόριθμος είναι 2-προσεγγιστικός πολυωνυμικού χρόνου Έστω μια βέλτιστη περιοδεία και μια οποιαδήποτε ακμή της Τότε το είναι συνδετικό δένδρο, άρα βέλτιστη περιοδεία συνδετικό δένδρο ελαφρύτατο συνδετικό δένδρο

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Ο αλγόριθμος είναι 2-προσεγγιστικός πολυωνυμικού χρόνου Πλήρης διάνυση του : καταγράφει τη σειρά όλων των επισκέψεων στους κόμβους κατά την καθοδική διερεύνηση Μια πλήρης διάνυση διατρέχει κάθε ακμή του δύο φορές [1,16] [8,15] [2,7] [9,14] [3,4] [5,6] [10,11] [12,13] ελαφρύτατο συνδετικό δένδρο πλήρης διάνυση του :

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Ο αλγόριθμος είναι 2-προσεγγιστικός πολυωνυμικού χρόνου Πλήρης διάνυση του : καταγράφει τη σειρά όλων των επισκέψεων στους κόμβους κατά την καθοδική διερεύνηση Μια πλήρης διάνυση διατρέχει κάθε ακμή του δύο φορές Λόγω της τριγωνικής ανισότητας: [1,16] π.χ. [8,15] [2,7] [9,14] [3,4] [5,6] [10,11] [12,13] πλήρης διάνυση του :

Προσεγγιστικοί Αλγόριθμοι Το πρόβλημα του περιοδεύοντος πωλητή με τριγωνική ανισότητα Ο αλγόριθμος είναι 2-προσεγγιστικός πολυωνυμικού χρόνου Πλήρης διάνυση του : καταγράφει τη σειρά όλων των επισκέψεων στους κόμβους κατά την καθοδική διερεύνηση Μια πλήρης διάνυση διατρέχει κάθε ακμή του δύο φορές Λόγω της τριγωνικής ανισότητας: [1,16] [8,15] [2,7] [9,14] [3,4] [5,6] [10,11] [12,13] ελαφρύτατο συνδετικό περιοδεία πλήρης διάνυση του : δένδρο

Προσεγγιστικοί Αλγόριθμοι Το γενικό πρόβλημα του περιοδεύοντος πωλητή Αν η συνάρτηση κόστους δεν ικανοποιεί την τριγωνική ανισότητα τότε είναι αδύνατο να βρούμε σε πολυωνυμικό χρόνο μια -προσεγγιστική περιοδεία, για οποιαδήποτε σταθερά , εκτός εάν Η ύπαρξη ενός -προσεγγιστικού αλγόριθμου πολυωνυμικού χρόνου συνεπάγεται πολυωνυμικό αλγόριθμο για το παρακάτω NP-πλήρες πρόβλημα Κύκλος Hamilton Μας δίνεται γράφημα : υπάρχει κύκλος που επισκέπτεται κάθε (ενδιάμεσο) κόμβο ακριβώς μία φορά;

Προσεγγιστικοί Αλγόριθμοι Το γενικό πρόβλημα του περιοδεύοντος πωλητή Ας υποθέσουμε ότι υπάρχει -προσεγγιστικός αλγόριθμος πολυωνυμικού χρόνου για το γενικό πρόβλημα του περιοδεύοντος πωλητή, όπου ακέραια σταθερά. Μπορούμε να χρησιμοποιήσουμε τον για να βρούμε σε πολυωνυμικό χρόνο αν υπάρχει κύκλος Hamilton σε ένα γράφημα Έστω το πλήρες γράφημα με σύνολο κόμβων Ορίζουμε τη συνάρτηση κόστους των ακμών του ως Αν το έχει κύκλο Hamilton τότε η βέλτιστη περιοδεία του έχει κόστος Διαφορετικά η περιέχει τουλάχιστον μια ακμή εκτός , άρα

Προσεγγιστικοί Αλγόριθμοι Το γενικό πρόβλημα του περιοδεύοντος πωλητή Ας υποθέσουμε ότι υπάρχει -προσεγγιστικός αλγόριθμος πολυωνυμικού χρόνου για το γενικό πρόβλημα του περιοδεύοντος πωλητή, όπου ακέραια σταθερά. Μπορούμε να χρησιμοποιήσουμε τον για να βρούμε σε πολυωνυμικό χρόνο αν υπάρχει κύκλος Hamilton σε ένα γράφημα Έστω το πλήρες γράφημα με σύνολο κόμβων Έστω η περιοδεία του που επιστρέφει ο . Ισχύει Αν το έχει κύκλο Hamilton τότε Διαφορετικά . Επομένως μπορούμε να αποφασίσουμε σε πολυωνυμικό χρόνο αν το περιέχει κύκλο Hamilton!

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου σύνολο αντικειμένων οικογένεια υποσυνόλων του Το σύνολο καλύπτει το αν Πρόβλημα βελτιστοποίησης : Θέλουμε ένα υποσύνολο ελάχιστου μεγέθους που να καλύπτει το

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Άπληστος αλγόριθμος αρχικοποίηση: ενόσω επιλέγουμε που μεγιστοποιεί το

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Άπληστος αλγόριθμος αρχικοποίηση: ενόσω επιλέγουμε που μεγιστοποιεί το

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Άπληστος αλγόριθμος αρχικοποίηση: ενόσω επιλέγουμε που μεγιστοποιεί το

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Άπληστος αλγόριθμος αρχικοποίηση: ενόσω επιλέγουμε που μεγιστοποιεί το

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Άπληστος αλγόριθμος αρχικοποίηση: ενόσω επιλέγουμε που μεγιστοποιεί το

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Άπληστος αλγόριθμος αρχικοποίηση: ενόσω επιλέγουμε που μεγιστοποιεί το βέλτιστη κάλυψη

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Ο άπληστος αλγόριθμος είναι -προσεγγιστικός πολυωνυμικού χρόνου, όπου και

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Ο άπληστος αλγόριθμος είναι -προσεγγιστικός πολυωνυμικού χρόνου, όπου και Έστω το -οστό σύνολο που επιλέγει ο αλγόριθμος Η προσθήκη του έχει κόστος 1 αφού αυξάνει το κατά μια μονάδα στοιχεία του που καλύπτονται για πρώτη φορά Κόστος ανά νέο στοιχείο Επομένως έχουμε

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Ο άπληστος αλγόριθμος είναι -προσεγγιστικός πολυωνυμικού χρόνου, όπου και Έστω το -οστό σύνολο που επιλέγει ο αλγόριθμος Η προσθήκη του έχει κόστος 1 αφού αυξάνει το κατά μια μονάδα στοιχεία του που καλύπτονται για πρώτη φορά Κόστος ανά νέο στοιχείο Επομένως έχουμε Αποδίδουμε στο βέλτιστο κάλυμμα κόστος

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Ο άπληστος αλγόριθμος είναι -προσεγγιστικός πολυωνυμικού χρόνου, όπου και Θα δείξουμε ότι για οποιοδήποτε Με δεδομένο το παραπάνω έχουμε

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Ο άπληστος αλγόριθμος είναι -προσεγγιστικός πολυωνυμικού χρόνου, όπου και Θα δείξουμε ότι για οποιοδήποτε στοιχεία του που δεν έχουν καλυφθεί ακόμα Θέτουμε για και Έστω και , δηλαδή ο αλγόριθμος επιλέγει Ισχύει ακόμα ότι πλήθος στοιχείων που καλύπτονται για πρώτη φορά από το

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Ο άπληστος αλγόριθμος είναι -προσεγγιστικός πολυωνυμικού χρόνου, όπου και Θα δείξουμε ότι για οποιοδήποτε Επομένως έχουμε

Προσεγγιστικοί Αλγόριθμοι Κάλυψη συνόλου Ο άπληστος αλγόριθμος είναι -προσεγγιστικός πολυωνυμικού χρόνου, όπου και Θα δείξουμε ότι για οποιοδήποτε Επομένως έχουμε

Ακέραιος Προγραμματισμός Σταθμισμένο κομβικό κάλυμμα Γράφημα Ένα υποσύνολο κόμβων είναι κομβικό κάλυμμα αν για κάθε ακμή έχουμε ή (ή και τα δύο) Βάρη κόμβων : Βάρος καλύμματος : Πρόβλημα βελτιστοποίησης : Θέλουμε κομβικό κάλυμμα με ελάχιστο βάρος 2 1 2 Ακέραιο Πρόγραμμα 1 2 4 1 μεταβλητή για κάθε TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσέγγιση μέσω Γραμμικού Προγραμματισμού Μεταβλητή για κάθε : Ακέραιο Πρόγραμμα Γραμμικό Πρόγραμμα χαλάρωση TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσέγγιση μέσω Γραμμικού Προγραμματισμού Μεταβλητή για κάθε : Ακέραιο Πρόγραμμα Γραμμικό Πρόγραμμα χαλάρωση Έστω το βέλτιστο κάλυμμα με βάρος Έστω μια βέλτιστη λύση του γραμμικού προγράμματος με βάρος Τότε TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσέγγιση μέσω Γραμμικού Προγραμματισμού Μεταβλητή για κάθε : Ακέραιο Πρόγραμμα Γραμμικό Πρόγραμμα χαλάρωση Έστω το βέλτιστο κάλυμμα με βάρος Έστω μια βέλτιστη λύση του γραμμικού προγράμματος με βάρος Τότε TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσέγγιση μέσω Γραμμικού Προγραμματισμού Στρογγυλοποίηση λύσης γραμμικού προγράμματος Ακέραιο Πρόγραμμα Γραμμικό Πρόγραμμα χαλάρωση Έστω μια βέλτιστη λύση του γραμμικού προγράμματος με βάρος Στρογγυλοποίηση : Επιλέγουμε στο κομβικό κάλυμμα τους κόμβους με Για κάθε ακμή έχουμε άρα το είναι κομβικό κάλυμμα TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσέγγιση μέσω Γραμμικού Προγραμματισμού Στρογγυλοποίηση λύσης γραμμικού προγράμματος Έστω μια βέλτιστη λύση του γραμμικού προγράμματος με βάρος Στρογγυλοποίηση : Επιλέγουμε στο κομβικό κάλυμμα τους κόμβους με Για κάθε ακμή έχουμε άρα το είναι κομβικό κάλυμμα Επιπλέον TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσεγγιστικό σύστημα για το πρόβλημα του Σακιδίου Το πρόβλημα του Σακιδίου Έχουμε αντικείμενα , όπου το αντικείμενο έχει βάρος και (ακέραια) αξία Ο σκοπός μας είναι να γεμίσουμε με τα αντικείμενα αυτά ένα σακίδιο ώστε η συνολική αξία των αντικειμένων που επιλέξαμε να είναι η μέγιστη δυνατή και το συνολικό βάρος . Μπορούμε να υποθέσουμε για κάθε Δηλαδή θέλουμε που μεγιστοποιεί το και ικανοποιεί 1 2 3 4 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσεγγιστικό σύστημα για το πρόβλημα του Σακιδίου Δυναμικός Προγραμματισμός Ορίζουμε τα υποπροβλήματα ελάχιστο βάρος υποσυνόλου στοιχείων με αξία Για να λύσουμε το πρόβλημα του σακιδίου υπολογίζουμε όλες τις τιμές για και και επιλέγουμε τη λύση με μέγιστο τέτοιο ώστε Έστω Τότε άρα έχουμε υποπροβλήματα TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσεγγιστικό σύστημα για το πρόβλημα του Σακιδίου Δυναμικός Προγραμματισμός Τα υποπροβλήματα λύνονται μέσω της ακόλουθης αναδρομής Έστω μια βέλτιστη λύση του Αν τότε Αν και τότε Αν και τότε Αν τότε Άρα TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσεγγιστικό σύστημα για το πρόβλημα του Σακιδίου Δυναμικός Προγραμματισμός Αλγόριθμος Αποθηκεύουμε τις βέλτιστες τιμές των υποπροβλημάτων σε ένα διδιάστατο πίνακα . Ξεκινάμε με για όλα τα Χρόνος εκτέλεσης : Δεν είναι πολυωνυμικός! TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσεγγιστικό σύστημα για το πρόβλημα του Σακιδίου Για να κάνουμε το χρόνο εκτέλεσης πολυωνυμικό (θυσιάζοντας την ακρίβεια της λύσης) στρογγυλοποιούμε τις αξίες ως προς μια παράμετρο Θέτουμε και Οι είναι πολλαπλάσιες του και Επιπλέον έστω τιμή βέλτιστης λύσης του προβλήματος του Σακιδίου με αξίες τιμή βέλτιστης λύσης του προβλήματος του Σακιδίου με αξίες Τότε TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσεγγιστικό σύστημα για το πρόβλημα του Σακιδίου Για να κάνουμε το χρόνο εκτέλεσης πολυωνυμικό (θυσιάζοντας την ακρίβεια της λύσης) στρογγυλοποιούμε τις αξίες ως προς μια παράμετρο Θέτουμε και Οι είναι πολλαπλάσιες του και Επιπλέον έστω τιμή βέλτιστης λύσης του προβλήματος του Σακιδίου με αξίες τιμή βέλτιστης λύσης του προβλήματος του Σακιδίου με αξίες Τότε Άρα για να βρούμε μια προσεγγιστική λύση, λύνουμε το πρόβλημα του Σακιδίου με αξίες . Έστω ότι επιστρέφει το σύνολο στοιχείων . Ισχύει ότι . Θα δείξουμε ότι , όπου οποιοδήποτε σύνολο τέτοιο ώστε TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσεγγιστικό σύστημα για το πρόβλημα του Σακιδίου Άρα για να βρούμε μια προσεγγιστική λύση, λύνουμε το πρόβλημα του Σακιδίου με αξίες . Έστω ότι επιστρέφει το σύνολο στοιχείων . Ισχύει ότι . Θα δείξουμε ότι , όπου οποιοδήποτε σύνολο τέτοιο ώστε Έχουμε Επιπλέον Έστω . Τότε Για απλότητα υποθέτουμε ότι το είναι ακέραιος, οπότε Επίσης TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσεγγιστικό σύστημα για το πρόβλημα του Σακιδίου Άρα για να βρούμε μια προσεγγιστική λύση, λύνουμε το πρόβλημα του Σακιδίου με αξίες . Έστω ότι επιστρέφει το σύνολο στοιχείων . Ισχύει ότι . Θα δείξουμε ότι , όπου οποιοδήποτε σύνολο τέτοιο ώστε Έχουμε Επιπλέον και Άρα TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA

Προσεγγιστικό σύστημα για το πρόβλημα του Σακιδίου Άρα για να βρούμε μια προσεγγιστική λύση, λύνουμε το πρόβλημα του Σακιδίου με αξίες . Έστω ότι επιστρέφει το σύνολο στοιχείων . Ισχύει ότι . Θα δείξουμε ότι , όπου οποιοδήποτε σύνολο τέτοιο ώστε Χρόνος εκτέλεσης = αφού TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAA