Γραμμικός Προγραμματισμός Άλλες μορφές ΓΠ Αναθεωρημένη SIMPLEX Interior Point Approach Sensitivity Analysis (Παράδειγμα) Η Μέθοδος Simple Η μέθοδος υποθέτει ότι το πρόβλημα είναι διατυπωμένο στην τυπική του μορφή (standard form). Maimize c + c +... + c n n Subject to the constraints a a a + a + a + a m m +... + a n +... + a n +... + a mn n n b and,,, n b n b m b j, j,..., m
Άλλες Πιθανές Διατυπώσεις Περιορισμοί: ai + ai +... + ainn b Προβληματικές a + a +... + a b περιπτώσεις a i i i in n i i + ai +... + ainn bi can take negative values Αντικειμενική: Minimize c + c +... + c n n Περιορισμοί Ισότητας 6 Maimize subject to and + + 5, 8 + 8
Λύση προβλημάτων με περιορισμούς ισότητας χρησιμοποιώντας SIMPLEX 6 + 8 Μέθοδος Big M 6 Feasible Region + 8
Πίνακας Simple 5 + + + + My 5 + y 5 8 Basic variables - Coefficients of: -5 M Right side 8 Ratio Simple Tableau Basic variables - Coefficients of: -5 M Right side 8 Ratio Basic variables -M- Coefficients of: -M-5 Right side -8M 8 Ratio
Simple Tableau -Continued Basic variables -M- Coefficients of: -M-5 Right side -8M 8 Ratio / - 8/6 Basic variables Coefficients of: -M-5 M+ - Right side -6M+ 6 Ratio Simple Tableau -Continued Basic variables Coefficients of: -M-5 M+ - Right side -6M+ 6 Ratio - /6 6/ Basic variables Coefficients of: -9/ -/ M+5/ - / Right side 7 6 Ratio 5
Simple Tableau -Continued Basic variables Coefficients of: -9/ -/ M+5/ - / Right side 7 6 Ratio / 6/ - Basic variables Coefficients of: / -/ / / M+ / -/ Right side 6 6 Ratio Περιορισμοί του τύπου «μεγαλύτερο ήίσο» 6 + Maimize subject to and 8 + + 5, 8 6
Περιορισμοί του τύπου «μεγαλύτερο ήίσο» Μετατροπή του σε + 8 Χρήση χαλαρών και τεχνιτών μεταβλητών (surplus and artificial variables). Αλλαγή αντικειμενικής + 5 Περίληψη Constraint n aij j j b n a ij j j i b i Simple Constraint n j n j a b ij j + n + k a b ij j + n + k i i Objective no change M + n k n aij j j b i n ij j n+ k + n + k + j a b i M n + k + 7
Μέθοδος «Φάσεων» -Two Phase Method Οι τεχνητές μεταβλητές χρησιμοποιούνται για να μπορέσουμε να βρούμε αρχική λύση (το [,,]). Στο τέλος θέλουμε οι τεχνητές μεταβλητές να πάρουν την τιμή μηδέν Έχουν μεγάλο κόστος στην αντικειμενική (Μ) Εναλλακτική Μέθοδος: Φάση : Αλλαγή αντικειμενικής συνάρτησης. Η αντικειμενική συνάρτηση είναι η ελαχιστοποίηση του αθροίσματος των τεχνητών μεταβλητών. Εάν υπάρχει εφικτή λύση, η λύσητηςφάσης θα έχει όλες τις τεχνητές μεταβλητές ίσες με. Φάση : Επιθυμητή αντικειμενική συνάρτηση. ΗλύσητηςΦάσης γίνεται η αρχική λύση της Φάσης. Minimization Problems Minimize. +. 5 Maimize.. 5 Minimize. + + My + My. 5 Maimize.. 5 My My 8
Mary s Radiotherapy Area Healthy anatomy Critical tissues Tumor region Center of tumor Fraction of entry dose absorbed by area (average) Beam...5.6 Beam.5..5. Restrictions on total dosage Minimize.7 6. 6. Mary s Radiotherapy - continued Minimize s.t.. +. +..5.6. 5.7 +.5 6. +. 6., 9
Two-Phase Method Phase : s.t.. +. +.7.5 +.5 + y 6..6 +. + y 6.,,,, y, y Phase : s.t.. +. +.5 +.5.6 +.,,,.7 6. 6. Αρνητική παράμετρος στη «δεξιά μεριά». +. +
Μεταβλητές που μπορούν να πάρουν αρνητικές τιμές Εάν το μπορεί να πάρει κάποιες αρνητικές τιμές l where l < Εάν το μπορεί να πάρει οποιαδήποτε αρνητική τιμή τότε χρησιμοποιούμε την αντικατάσταση: Παράδειγμα Maimize s.t. + 5 + + 6 + + 8,, unrestricted Substitutions:
Αναθεωρημένη Μέθοδος SIMPLEX Το πρόβλημα με n μεταβλητές και m περιορισμούς μπορεί να γραφτεί με τη μορφή γραμμικών εξισώσεων ma c s.t. A b, [ c, c ] c n b a an,,, b A b a a n m m mn Εισάγοντας τις χαλαρές μεταβλητές, οι περιορισμοί γίνονται Αναθεωρημένη Μέθοδος SIMPLEX Υποθέστε πως χωρίζουμε τις βασικές μεταβλητές από τις μη βασικές. Ο Πίνακας Β έχει μόνο τις m σειρές και m στήλες που m m αντιστοιχούν στις βασικές μεταβλητές. B R Εάν σε κάποια επανάληψη της SIMPLEX έχουμε τον πίνακα Β - τότε μπορούμε να βρούμε τη βασική λύση καθώς και την τιμή της αντικειμενικής συνάρτησης.
Αναθεωρημένη Μέθοδος SIMPLEX Ο αρχικός πίνακας SIMPLEX σε μορφή πινάκων μπορεί να γραφτεί σαν Στη συνέχεια, αφού βρούμε την εισερχόμενη και εξερχόμενη μεταβλητή, χρησιμοποιούμε το GE το οποίο ισοδυναμεί με ένα «πολλαπλασιασμό» πινάκων Αναθεωρημένη Μέθοδος SIMPLEX Στην αριστερή μεριά θα πρέπει να έχουμε [ B ] T το οποίο θα πρέπει να ικανοποιεί την εξίσωση Επομένως θα πρέπει να ισχύει Σε κάθε επανάληψη, έχουμε το εξής
Αναθεωρημένη Μέθοδος SIMPLEX Τελικά καταλήγουμε στην εξίσωση cb B A c cb B cb B b B A B B b S Παρατηρήσεις Για τον πιο πάνω υπολογισμό χρειαζόμαστε μόνο τον πίνακα Β - ο οποίος έχει διαστάσεις mm. Θυμηθείτε πως Β είναι πίνακας ο οποίος έχει μόνο τους συντελεστές των βασικών μεταβλητών. Πηγαίνοντας από μία επανάληψη στην επόμενη, αλλάζουμε μόνο μια στήλη στον Β επομένως θα έχουμε «εύκολο» τρόπο να υπολογίσουμε τον Β -. Αντίστροφος Πίνακας Εάν αλλάξουμε μία σειρά του Β. Τότε πως θα αλλάξει ο Β - ; Οι αλλαγές στον αντίστροφο μπορούν να υπολογιστούν σχετικά εύκολα. Υποθέστε πως k είναι η νέα βασική μεταβλητή, r είναι ο αριθμός της εξίσωσης που άλλαξε, και a ij είναι ο συντελεστής της k στην εξίσωση i. Tότε a ik ( Bold ) ( Bold ) if i r ij a rj rk ( Bnew ) ij ( Bnew ) if i r a rj rk a ik if i r rk Bnew EB old E [ e; er ; h; er+ ; e a m] hi if i r a rk
Maimize subject to Παράδειγμα 5 + + + 5 8 and i, i,...,5 + 5 8 5 Παράδειγμα 5 8 5 5
Παράδειγμα 5 8 5 Παράδειγμα * * 5/ * / 8 5 6
Παράδειγμα 5 8 5 Interior Point Method Διαφορετική μέθοδος για την επίλυση προβλημάτων γραμμικού προγραμματισμού. Γιαπολύμεγάλαπροβλήματαμπορείναείναιπιο αποδοτική από την SIMPLEX. Βασικές Ιδέες: Κινείται στο εσωτερικό της εφικτή περιοχής Σε αντίθεση με την SIMPLEX που κινείται κατά μήκος των συνόρων της εφικτής περιοχής. Κινείται στην κατεύθυνση που βελτιώνει την αντικειμενική πιο γρήγορα. Μετασχηματίζει τους περιορισμούς έτσι που η τρέχουσα λύση να είναι περίπου στο μέσο της εφικτή περιοχής 7
Interior Point Method Κινείται στο εσωτερικό της εφικτή περιοχής Δεν ελέγχει σημεία στα σύνορα της εφικτής περιοχής. Κινείται στην κατεύθυνση που βελτιώνει την αντικειμενική πιο γρήγορα. Μετασχηματίζει τους περιορισμούς έτσι που η τρέχουσα λύση να είναι περίπου στο μέσο της εφικτή περιοχής Τέτοια σημεία συνήθως επιτρέπουν μεγαλύτερα βήματα προς τη βέλτιστη λύση. Παράδειγμα Υποθέστε το πρόβλημα Maimize + subject to + 8,, 8
Παράδειγμα Μετατρέπουμε τους περιορισμούς σε ισότητες Υποθέστε πως ξεκινούμε από το σημείο [,,] Κινείται στην κατεύθυνση που αυξάνεται η αντικειμενική πιο γρήγορα + 8 Παράδειγμα Το επόμενο σημείο θα πρέπει να είναι Επόμενο εφικτό σημείο 9
Παράδειγμα Επόμενο εφικτό σημείο Είναι επιθυμητό κάθε σημείο που επισκέπτεται ο αλγόριθμος να είναι στο «κέντρο» της εφικτής περιοχής. Στο παράδειγμα υπάρχουν σύνορα της εφικτής περιοχής Απόσταση αρχικού σημείου από το κάθε σύνορο,,. Χρησιμοποιούμε τον μετασχηματισμό Παράδειγμα y / y / D y / Στο «μετασχηματισμένο» πρόβλημα, οι περιορισμοί γίνονται Το σημείο [,,] γίνεται [,,] και απέχει το ίδιο από όλα τα σύνορα της εφικτής περιοχής.
Αλγόριθμος Αρχικό σημείο [,, ]. Αλλαγή μεταβλητών D Μετασχηματισμός εφικτής περιοχής Μετασχηματισμός αντικειμενικής συνάρτησης Προβολή διανύσματος κλίσης στην εφικτή περιοχή Αλγόριθμος Ορίζουμε σαν γ την απόλυτη τιμή του πιο αρνητικού στοιχείου του διανύσματος s p. Βρίσκουμε το νέο επαναληπτικό Η παράμετρος α δηλώνει πόσο κοντά στο σύνορο της εφικτής περιοχής θα φτάσουμε. Συνήθως.5<α<.9. Μετασχηματίζουμε το πρόβλημα στις αρχικές μεταβλητές. Ελέγχουμε κάποιο κριτήριο σύγκλισης Εάν δεν ικανοποιείται επαναλαμβάνουμε
Sensitivity Analysis Μετά τη λύση ενός προβλήματος βελτιστοποίησης βρίσκουμε * * Λύση [,..., n ] n * * Βέλτιστη τιμή c j j Ερώτηση: j Πόσο «ευαίσθητη» είναι η λύση σε πιθανές αλλαγές στις παραμέτρους a ij, b i, c j, i,,m, j,,n. Πολλές φορές οι τιμές των παραμέτρων δεν είναι παρά καλές εκτιμήσεις των παραμέτρων, όμως στη πραγματικότητα η τιμή τους μπορεί να είναι διαφορετική! New England (NE) Motors Assembly labor: Doors Maimum sales Profit: 7 5, $, Vehicle Models Small sedan Family car 7 8, $5, Factory Capacity 9,,
New England (NE) Motors NE Motors Changes in Objective Parameters Maimize + 5 s.t. + 7 + 5, + 7 5 Feasible Region +
NE Motors Cost Range Maimize + 5 s.t. + 7 + 5, For what range of objective function coefficient values does the current solution remain optimal? + 7 5 slope Feasible Region + NE Motors Cost Range If c 5 fied. Then optimal solution does not change as long as : Allowable increase in c. Allowable decrease in c.5. If c fied. Then optimal solution does not change as long as : Allowable increase in c. Note: We consider a Allowable decrease in c. single change at a time
NE Motors - Shadow Price + Maimize + 5 s.t. + 7 7 + 5, The sales team has just sent you a proposal with a new and eciting advertising campaign that will cost just $5,, and will increase the demand for each type of car by cars. Feasible Region + Should this campaign be undertaken? NE Motors - Shadow Price Feasible Region Maimize + 5 s.t. + 7 + 5, + The employee union agreed to allow its members to work overtime. They ask for $8 per hour.. Are you willing to accept their offer?. How much are you willing to pay per overtime hour?. How many overtime hours? 5
NE Motors - Shadow Price Original Solution:, Profit: $ 7,, Increase in income: Increase in cost:. Net increase in profit:. Maimum acceptable hourly rate: NE Motors - Shadow Price Maimize + 5 s.t. + 7 + 5,. Maimum overtime hours: Feasible Region + New England Motors matlab 6
Ορισμοί Δεσμευτικοί Περιορισμοί (Binding constraints): Οι περιορισμοί οι οποίοι «περιορίζουν» (δεσμεύουν) την αντικειμενική συνάρτηση. Είναι αυτοί που ικανοποιούνται σαν ισότητες (slack variables ίσοι με ). Shadow Price: Η αλλαγή στην τιμή της αντικειμενικής συνάρτησης όταν η «δεξιά μεριά» των περιορισμών αυξηθεί κατά μία μονάδα. Reduced Cost (Opportunity cost): Πόσο θα χειροτερεύσει η αντικειμενική εάν μια μεταβλητή πάρει μια μονάδα. Παίρνει μη μηδενικές τιμές μόνο όταν οι μεταβλητές στη βέλτιστη λύση πάρουν τιμή. 7