Θεωρία και υποδείγματα βελτιστοποίησης
Αντώνης Δημάκης
Το μάθημα εισάγει τους φοιτητές στην χρήση τεχνικών μαθηματικών και πληροφορικής για την διατύπωση και επίλυση υποδειγμάτων που βοηθούν στην (α) κατανόηση και (β) λήψη αποφάσεων σε διοικητικά, οικονομικά και γενικότερα επιστημονικά θέματα.
ΛιγότεραΤο μάθημα εισάγει τους φοιτητές στην χρήση τεχνικών μαθηματικών και πληροφορικής για την διατύπωση και επίλυση υποδειγμάτων που βοηθούν στην (α) κατανόηση και (β) λήψη αποφάσεων σε διοικητικά, οικονομικά και γενικότερα επιστημονικά θέματα.
Το μάθημα εισάγει τους φοιτητές στην χρήση τεχνικών μαθηματικών και πληροφορικής για την διατύπωση και επίλυση υποδειγμάτων που βοηθούν στην (α) κατανόηση και (β) λήψη αποφάσεων σε διοικητικά, οικονομικά και γενικότερα επιστημονικά θέματα.
Περίγραμμα
Ανθρώπινο Δυναμικό
Διδάσκων: Αντώνης Δημάκης
Ώρες γραφείου: Παρασκευή 1-3
Γραφείο: γραφείο 506, 5ος όροφος, Τροίας 2 (νέο κτήριο ΟΠΑ) και μέσω MS Teams
E-mail: dimakis@aueb.gr
Βοηθός: Νίκος Νικολαΐδης, email: nnikon95@gmail.com
Εκπαιδευτικές Δραστηριότητες
Διαλέξεις: Πέμπτη 3-5 A32, Παρασκευή 3-5 A25.
Φροντιστήριο: Δευτέρα 7-9μμ Α22, μετά από ανακοίνωση στο eclass
Περιεχόμενο Μαθήματος
- Διατύπωση μαθηματικών υποδειγμάτων και προβλημάτων βελτιστοποίησης
- Γραμμικά/Μη γραμμικά προβλήματα
- Κυρτά/Μη κυρτά προβλήματα, ιδιότητες κυρτών συναρτήσεων
- Συνεχής/Ακέραιος/Μικτός προγραμματισμός
- Στατικά/Δυναμικά προβλήματα
- Υπολογιστική επίλυση προβλημάτων στο περιβάλλον AMPL
- Βελτιστοποίηση χωρίς περιορισμούς
- Κριτήριο της παραγώγου για τοπικά ακρότατα
- Βελτιστοποίηση τετραγωνικών συναρτήσεων
- Αλγόριθμοι αναζήτησης ακροτάτων: πιο απότομη κατάβαση, Newton, ιδιότητες σύγκλισης
- Παράδειγμα: κατηγοριοποίηση με λογιστική παλινδρόμηση
- Αναζήτηση σε γραμμή (line search), backtracking
- Βελτιστοποίηση με περιορισμούς
- Η μέθοδος Lagrange για ισοτικούς περιορισμούς
- Συνθήκες Karush-Kuhn-Tucker
- Παράδειγμα: support vector machines
- Δυϊκή θεωρία, ανάλυση ευαισθησίας
- Παράδειγμα: η αγορά
- Μέθοδος φραγμού (barrier method)
- Γραμμικός προγραμματισμός
- Ο αλγόριθμος simplex, simplex 2 φάσεων, εκφυλισμένα γραμμικά προγράμματα
- Δυϊσμός γραμμικών προγραμμάτων, ανάλυση ευαισθησίας, κριτήριο βέλτιστης λύσης
- Δυναμικός προγραμματισμός
- Εξίσωση δυναμικού προγραμματισμού
- Λύση με αναδρομή προς τα πίσω (backward induction)
- Παραδείγματα: προβλήματα σακιδίου, βελτιστοποίηση στο χρόνο, μέγιστη κοινή υπακολουθία
Μαθησιακοί στόχοι
Μετά την επιτυχή ολοκλήρωση του μαθήματος, οι φοιτητές θα είναι σε θέση:
- Να σχεδιάζουν συστήματα που συμπεριφέρονται με βέλτιστο τρόπο
- Να αναπτύσσουν μαθηματικά υποδείγματα με σκοπό τη βελτιστοποίηση συστημάτων
- Να αναγνωρίζουν τους διάφορους τύπους μαθηματικών υποδειγμάτων για προβλήματα βελτιστοποίησης
- Να προσδιορίζουν τις βέλτιστες λύσεις προβλημάτων βελτιστοποίησης
- Να κατανοούν τις μαθηματικές ιδιότητες και αλγορίθμους που χρησιμοποιούνται στην επίλυση προβλημάτων βελτιστοποίησης
Προτεινόμενα συγγράμματα
Συγγράμματα:
- Εισαγωγή στην Επιχειρησιακή Έρευνα, 10η Έκδοση, Taha A. Hamdy, [κωδ. Ευδόξου: 59415056]
- Εισαγωγή στην Επιχειρησιακή Έρευνα, 10η Έκδοση, Hillier Frederick S., Lieberman
Gerald J., [κωδ. Ευδόξου: 59386820]
Τρόποι αξιολόγησης / εξέτασης
Θα υπάρξουν 3 ή 4 σειρές ασκήσων και τελική εξέταση.
Ο τελικός βαθμός υπολογίζεται με τον τύπο 0.7*T + 0.3*A όπου Τ και Α οι βαθμοί (με άριστα το 10) στην τελική εξέταση και τις ασκήσεις αντίστοιχα, εάν Τ >= 4. Εάν Τ < 4 τότε τελικός βαθμός = T.
Διδάσκων: Αντώνης Δημάκης
Ώρες γραφείου: Παρασκευή 1-3
Γραφείο: γραφείο 506, 5ος όροφος, Τροίας 2 (νέο κτήριο ΟΠΑ) και μέσω MS Teams
E-mail: dimakis@aueb.gr
Βοηθός: Νίκος Νικολαΐδης, email: nnikon95@gmail.com
Διαλέξεις: Πέμπτη 3-5 A32, Παρασκευή 3-5 A25.
Φροντιστήριο: Δευτέρα 7-9μμ Α22, μετά από ανακοίνωση στο eclass
- Διατύπωση μαθηματικών υποδειγμάτων και προβλημάτων βελτιστοποίησης
- Γραμμικά/Μη γραμμικά προβλήματα
- Κυρτά/Μη κυρτά προβλήματα, ιδιότητες κυρτών συναρτήσεων
- Συνεχής/Ακέραιος/Μικτός προγραμματισμός
- Στατικά/Δυναμικά προβλήματα
- Υπολογιστική επίλυση προβλημάτων στο περιβάλλον AMPL
- Βελτιστοποίηση χωρίς περιορισμούς
- Κριτήριο της παραγώγου για τοπικά ακρότατα
- Βελτιστοποίηση τετραγωνικών συναρτήσεων
- Αλγόριθμοι αναζήτησης ακροτάτων: πιο απότομη κατάβαση, Newton, ιδιότητες σύγκλισης
- Παράδειγμα: κατηγοριοποίηση με λογιστική παλινδρόμηση
- Αναζήτηση σε γραμμή (line search), backtracking
- Βελτιστοποίηση με περιορισμούς
- Η μέθοδος Lagrange για ισοτικούς περιορισμούς
- Συνθήκες Karush-Kuhn-Tucker
- Παράδειγμα: support vector machines
- Δυϊκή θεωρία, ανάλυση ευαισθησίας
- Παράδειγμα: η αγορά
- Μέθοδος φραγμού (barrier method)
- Γραμμικός προγραμματισμός
- Ο αλγόριθμος simplex, simplex 2 φάσεων, εκφυλισμένα γραμμικά προγράμματα
- Δυϊσμός γραμμικών προγραμμάτων, ανάλυση ευαισθησίας, κριτήριο βέλτιστης λύσης
- Δυναμικός προγραμματισμός
- Εξίσωση δυναμικού προγραμματισμού
- Λύση με αναδρομή προς τα πίσω (backward induction)
- Παραδείγματα: προβλήματα σακιδίου, βελτιστοποίηση στο χρόνο, μέγιστη κοινή υπακολουθία
Μετά την επιτυχή ολοκλήρωση του μαθήματος, οι φοιτητές θα είναι σε θέση:
- Να σχεδιάζουν συστήματα που συμπεριφέρονται με βέλτιστο τρόπο
- Να αναπτύσσουν μαθηματικά υποδείγματα με σκοπό τη βελτιστοποίηση συστημάτων
- Να αναγνωρίζουν τους διάφορους τύπους μαθηματικών υποδειγμάτων για προβλήματα βελτιστοποίησης
- Να προσδιορίζουν τις βέλτιστες λύσεις προβλημάτων βελτιστοποίησης
- Να κατανοούν τις μαθηματικές ιδιότητες και αλγορίθμους που χρησιμοποιούνται στην επίλυση προβλημάτων βελτιστοποίησης
Συγγράμματα:
- Εισαγωγή στην Επιχειρησιακή Έρευνα, 10η Έκδοση, Taha A. Hamdy, [κωδ. Ευδόξου: 59415056]
- Εισαγωγή στην Επιχειρησιακή Έρευνα, 10η Έκδοση, Hillier Frederick S., Lieberman
Gerald J., [κωδ. Ευδόξου: 59386820]
Θα υπάρξουν 3 ή 4 σειρές ασκήσων και τελική εξέταση.
Ο τελικός βαθμός υπολογίζεται με τον τύπο 0.7*T + 0.3*A όπου Τ και Α οι βαθμοί (με άριστα το 10) στην τελική εξέταση και τις ασκήσεις αντίστοιχα, εάν Τ >= 4. Εάν Τ < 4 τότε τελικός βαθμός = T.
Φροντιστήρια
Διεξάγονται Δευτέρα 7-9μμ στην Α22.
- (13/3) Παραδείγματα προβλημάτων βελτιστοποίησης
- (27/3) (3/4) Ακέραια γραμμικά προγράμματα, δυναμικός προγραμματισμός (ασκ. 1-4). Ασκ. 2-3 από εδώ.
- (24/4) Κυρτότητα (ασκ. 1, 4, 5(υποερώτημα 2, 3), 6, 7 από εδώ και ασκ. 5 από εδώ
- (8/5) Βελτιστοποίηση σε ανοιχτά σύνολα & αλγόριθμοι επίλυσης
- (15/5) Μέθοδος Langrange (ασκ. 1,2), συνθήκες KKT (ασκ. 1,2)
- (12/6) Μέθοδος simplex και γραμμικός προγραμματισμός (ασκ. 3 από εδώ, ασκ. 2 από εδώ, ασκ. 2 & 3 από εδώ)
- (19/6) Δυναμικός προγραμματισμός
Διαλέξεις
- (2/3) Εισαγωγική διάλεξη: πληροφορίες για το μάθημα
- (3/3) Προβλήματα βελτιστοποίησης (1), (2), παραδείγματα [διαφάνειες]
- (10/3) Παραδείγματα, γενικές ιδιότητες [διαφάνειες]
- (17/3) γενικές ιδιότητες (συνέχεια). Γραμμικά προγράμματα [διαφάνειες]
- (23/3) Γραμμικά προγράμματα (συν.). Ακέραια προγράμματα [διαφάνειες]
- (24/3) Ακέραια προγράμματα (συν.) [διαφάνειες]
- (30/3) Δυναμικός προγραμματισμός [διαφάνειες]
- (31/3) Κυρτά προγράμματα (συν.) [διαφάνειες]
- (6/4) Κυρτά προγράμματα (κριτήρια κυρτότητας) [διαφάνειες]
- (7/4) Κυρτά προγράμματα (κριτήρια κυρτότητας (συν.)) [διαφάνειες]
- Βελτιστοποίηση σε ανοικτά σύνολα (μια μεταβλητή): κριτήρια και αλγόριθμοι [διαφάνειες]
- Βελτιστοποίηση σε ανοικτά σύνολα: ανάλυση μεθόδων [διαφάνειες], κριτήρια για πολλές μεταβλητές (1), (2) [διαφάνειες]
- Βελτιστοποίηση σε ανοικτά σύνολα (πολλές μεταβλητές): κριτήρια, πιο απότομη κατάβαση[διαφάνειες]
- Βελτιστοποίηση σε ανοικτά σύνολα (πολλές μεταβλητές): τετραγωνικές συναρτήσεις, μέθοδος Newton [διαφάνειες]
- Βελτιστοποίηση σε ανοικτά σύνολα (πολλές μεταβλητές): αναζήτηση γραμμής [διαφάνειες]
- Βελτιστοποίση με περιορισμούς: ισοτικοί περιορισμοί, μέθοδος Lagrange [διαφάνειες]
- Βελτιστοποίηση με περιορισμούς: ανισοτικοί περιορισμοί, συνθήκες ΚΚΤ [διαφάνειες]
- Βελτιστοποίηση με περιορισμούς: συνθήκες ΚΚΤ, εφαρμογή: Support Vector Machines [διαφάνειες]
- Βελτιστοποίηση με περιορισμούς: δυϊκή θεωρία [διαφάνειες]
- Βελτιστοποίηση με περιορισμούς: δυϊκή θεωρία (συνέχεια), παράδειγμα: αγορά [διαφάνειες]
- Βελτιστοποίηση με περιορισμούς: ανάλυση ευαισθησίας, μέθοδος φραγμού [διαφάνειες]
- Γραμμικός προγραμματισμός: αλγόριθμος simplex [διαφάνειες]
- Γραμμικός προγραμματισμός: αρχικοποίηση simplex (Φάση Ι) [διαφάνειες]
- Γραμμικός προγραμματισμός: εκφυλισμένα ΓΠ, ανάλυση ευαισθησίας [διαφάνειες]
- Γραμμικός προγραμματισμός: δυϊκή θεωρία, κριτήριο βέλτιστης λύσης [διαφάνειες]
- Δυναμικός προγραμματισμός: εξίσωση ΔΠ, οπισθοδρομική επαγωγή [διαφάνειες]
- Δυναμικός προγραμαματισμός: παραδείγματα [διαφάνειες]
- Προχωρημένα/ειδικά θέματα [διαφάνειες]