ΕΙΣΑΓΩΓΗ ΣΤΟ ΓΡΑΜΜΙΚΟ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ

Σχετικά έγγραφα
ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Τ.Ε.Ι. ΑΝΑΤΟΛΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΚΑΙ ΘΡΑΚΗΣ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΓΡΑΜΜΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Επιχειρησιακή Έρευνα I

Εισαγωγή στο Γραμμικό Προγραμματισμό

Αναζητάμε το εβδομαδιαίο πρόγραμμα παραγωγής που θα μεγιστοποιήσει 1/20

Εισαγωγή στο Γραμμικό Προγραμματισμό. Χειμερινό Εξάμηνο

Τμήμα Εφαρμοσμένης Πληροφορικής

Πληροφοριακά Συστήματα Διοίκησης. Εισαγωγή στον Γραμμικό Προγραμματισμό

ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

ΓΡΑΜΜΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ (Γ.Π.).) (LINEAR PROGRAMMING)

ΤΕΙ Χαλκίδας Σχολή Διοίκησης και Οικονομίας Τμήμα Διοίκησης Επιχειρήσεων

ΑΚΕΡΑΙΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ & ΣΥΝΔΥΑΣΤΙΚΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΚΕΦΑΛΑΙΟ 1

Επιχειρησιακή Έρευνα

3.7 Παραδείγματα Μεθόδου Simplex

Επιχειρησιακή Έρευνα Εφαρμογές και Λογισμικό Γραμμικού Προγραμματισμού

Εισαγωγή στο Γραμμικό Προγραμματισμό

Θεωρία Δυαδικότητας ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ. Η παρουσίαση προετοιμάστηκε από τον Ν.Α. Παναγιώτου. Επιχειρησιακή Έρευνα

ΔΕΟ13(ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΙΟΥΛΙΟΥ )

Επιχειρησιακή Έρευνα I

Μ Α Θ Η Μ Α Τ Ι Κ Ο Σ Π Ρ Ο Γ Ρ Α Μ Μ Α Τ Ι Σ Μ Ο Σ

Γραμμικός Προγραμματισμός και θεωρία Παιγνίων

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D.

Επιχειρησιακή Έρευνα I

ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX

Γραφική Λύση & Πρότυπη Μορφή Μαθηματικού Μοντέλου

Fermat, 1638, Newton Euler, Lagrange, 1807

Case 08: Επιλογή Διαφημιστικών Μέσων Ι ΣΕΝΑΡΙΟ (1)

Case 10: Ανάλυση Νεκρού Σημείου (Break Even Analysis) με περιορισμούς ΣΕΝΑΡΙΟ

Ποσοτικές Μέθοδοι στη Διοίκηση Επιχειρήσεων ΙΙ Σύνολο- Περιεχόμενο Μαθήματος

Επιχειρησιακή Έρευνα

Δυναμικότητα (GWh) A B C Ζήτηση (GWh) W X Y Z

Τμήμα Μηχανικών Πληροφορικής ΤΕ Δυϊκότητα. Γκόγκος Χρήστος ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα. τελευταία ενημέρωση: 1/12/2016

Α) δηλώνουν τις ποσότητες που, ανάλογα με το πρόβλημα, θα παραχθούν, επενδυθούν, αγοραστούν, κατασκευαστούν κ.λπ.

σει κανένα modem των 128Κ. Θα κατασκευάσει συνολικά = 320,000 τεμάχια των 64Κ και το κέρδος της θα γίνει το μέγιστο δυνατό, ύψους 6,400,000.

Κεφάλαιο 3ο: Γραμμικός Προγραμματισμός

2.1. ΑΠΛΑ ΠΑΡΑΔΕΙΓΜΑΤΑ ΠΡΟΒΛΗΜΑΤΩΝ ΓΡΑΜΜΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

Θεωρία Αλγόριθμοι Γραμμικής Βελτιστοποίησης

Το Πρόβλημα Μεταφοράς

Τμήμα Διοίκησης Επιχειρήσεων

ΚΕΦΑΛΑΙΟ 2 ΑΛΓΟΡΙΘΜΟΙ ΤΥΠΟΥ SIMPLEX. 2.1 Βασικές έννοιες - Ορισμοί

ΑΚΕΡΑΙΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ & ΣΥΝΔΥΑΣΤΙΚΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ. Κεφάλαιο 3 Μορφοποίηση Προβλημάτων Ακέραιου Προγραμματισμού

Ανάλυση ευαισθησίας. Γκόγκος Χρήστος- Γεωργία Φουτσιτζή ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα. Τμήμα Μηχανικών Πληροφορικής ΤΕ

Επιχειρησιακή έρευνα (ασκήσεις)

ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ. ΕΞΕΤΑΣΗ ΣΤΗΝ ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΕΡΕΥΝΑ ΛΥΣΕΙΣ ΘΕΜΑΤΩΝ Έβδομο Εξάμηνο

ΓΡΑΜΜΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΚΑΙ ΜΕΘΟΔΟΣ SIMPLEX, διαλ. 3. Ανωτάτη Σχολή Παιδαγωγικής και Τεχνολογικής Εκπαίδευσης 29/4/2017

ΒΕΛΤΙΣΤΟΣ ΣΧΕΔΙΑΣΜΟΣ ΤΩΝ ΚΑΤΑΣΚΕΥΩΝ. Δρ. Πολ. Μηχ. Κόκκινος Οδυσσέας

2. ΣΥΓΚΕΝΤΡΩΤΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΠΑΡΑΓΩΓΗΣ

ιαµόρφωση Προβλήµατος

Διαχείριση Εφοδιαστικής Αλυσίδας ΙΙ

1. ΓΡΑΜΜΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

ΠΡΟΒΛΗΜΑΤΑ ΜΕΤΑΦΟΡΑΣ

ΜΑΘΗΜΑΤΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Αλγοριθµική Επιχειρησιακή Ερευνα. Χειµερινό Εξάµηνο Ασκήσεις. 1. Ενα διυλιστήριο µπορεί να επεξεργαστεί τρία είδη ακατέργαστου πετρελαίου :

Μίγμα προϊόντων (product mix)

ΠΡΟΒΛΗΜΑΤΑ ΕΛΑΧΙΣΤΟΠΟΙΗΣΗΣ

Επιχειρησιακή Έρευνα I

Συνδυαστική Βελτιστοποίηση Εισαγωγή στον γραμμικό προγραμματισμό (ΓΠ)

Γραμμικός Προγραμματισμός

Συνδυαστική Βελτιστοποίηση Εισαγωγή στον γραμμικό προγραμματισμό (ΓΠ)

ΕΠΙΛΥΣΗ ΕΚΦΥΛΙΣΜΕΝΩΝ ΚΑΙ ΓΕΝΙΚΩΝ ΓΡΑΜΜΙΚΩΝ ΠΡΟΒΛΗΜΑΤΩΝ. 4.1 Επίλυση Εκφυλισμένων Γραμμικών Προβλημάτων

Η επιστήμη που ασχολείται με τη βελτιστοποίηση της απόδοσης ενός συστήματος.

Τμήμα Διεθνούς Εμπορίου Επιχειρησιακή έρευνα. Επιχειρησιακή Έρευνα

ΠΡΟΟΡΙΣΜΟΣ ΑΠΟΘΗΚΕΣ Ζ1 Ζ2 Ζ3 Δ1 1,800 2,100 1,600 Δ2 1, Δ3 1, ,200

ΒΑΣΙΚΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ ΤΗΣ ΜΕΘΟΔΟΥ SIMPLEX

Μοντελοποίηση προβληµάτων

ΠΡΩΤΟ ΣΕΤ ΑΣΚΗΣΕΩΝ-ΓΡΑΦΙΚΗ ΕΠΙΛΥΣΗ ΠΡΟΒΛΗΜΑΤΟΣ ΓΡΑΜΜΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

Γραμμικός Προγραμματισμός Μέθοδος Simplex

Επιχειρησιακή Έρευνα I

Case 09: Επιλογή Διαφημιστικών Μέσων ΙI ΣΕΝΑΡΙΟ (1)


The Product Mix Problem

ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΕΡΕΥΝΑ ΘΕΩΡΙΑ ΚΑΙ ΕΦΑΡΜΟΓΗ ΤΟΥ ΓΡΑΜΜΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΤΗ ΛΗΨΗ ΑΠΟΦΑΣΕΩΝ (1)

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΕΡΕΥΝΑ

Επιχειρησιακή Έρευνα

Η άριστη ποσότητα παραγγελίας υπολογίζεται άμεσα από τη κλασική σχέση (5.5): = 1000 μονάδες

ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΚΑΙ ΕΛΕΓΧΟΣ ΑΠΟΘΕΜΑΤΩΝ. Από το βιβλίο: Κώστογλου, Β. (2015). Επιχειρησιακή Έρευνα. Θεσσαλονίκη: Εκδόσεις Τζιόλα

ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΕΡΕΥΝΑ ΣΗΜΕΙΩΣΕΙΣ

Συνδυαστική Βελτιστοποίηση Εισαγωγή στον γραμμικό προγραμματισμό (ΓΠ)

Β. Τυπική μορφή (κανόνες μετατροπής, προβλήματα μετατροπής) - Λυμένο πρόβλημα 2, Ασκήσεις 2,3,4,5.

Τμήμα Μηχανικών Πληροφορικής ΤΕ Πρόβλημα Μεταφοράς. Γεωργία Φουτσιτζή ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα

Επιχειρησιακή Έρευνα

ΑΚΕΡΑΙΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ & ΣΥΝΔΥΑΣΤΙΚΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ. Κεφάλαιο 2 Μορφοποίηση Προβλημάτων Ακέραιου Προγραμματισμού

Συστήματα Παραγωγής ΠΑΡΑΔΕΙΓΜΑ ΓΡΑΜΜΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

Η γραφική μέθοδος επίλυσης προβλημάτων Γραμμικού Προγραμματισμού

Προβλήματα Μεταφορών (Transportation)

Case 12: Προγραμματισμός Παραγωγής της «Tires CO» ΣΕΝΑΡΙΟ (1)

Εισαγωγή στην Επιχειρησιακή Έρευνα

Τμήμα Μηχανικών Πληροφορικής ΤΕ Ανάλυση ευαισθησίας. Γκόγκος Χρήστος ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα. τελευταία ενημέρωση: 1/12/2016

Εισαγωγή στην Επιχειρησιακή Έρευνα

maximize z = 50x x 2 κάτω από τους περιορισμούς (εβδομαδιαίο κέρδος, χρηματικές μονάδες)

Επιχειρησιακή Έρευνα I

Γραµµικός Προγραµµατισµός (ΓΠ)

Case 11: Πρόγραμμα Παρακίνησης Πωλητών ΣΕΝΑΡΙΟ

1. ΣΤΑΤΙΚΗ ΑΡΙΣΤΟΠΟΙΗΣΗ

Άσκηση 5. Εργοστάσια. Συστήματα Αποφάσεων Εργαστήριο Συστημάτων Αποφάσεων και Διοίκησης

Γραμμικός Προγραμματισμός

ΜΑΘΗΜΑ: ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΕΡΕΥΝΑ-ΘΕΜΑΤΑ ΕΞΕΤΑΣΤΙΚΗΣ ΙΟΥΛΙΟΥ 2014

Μοντέλα Διαχείρισης Αποθεμάτων

Εισαγωγή στο Γραμμικό Προγραμματισμό. Χειμερινό Εξάμηνο

Transcript:

ΚΕΦΑΛΑΙΟ 1 ΕΙΣΑΓΩΓΗ ΣΤΟ ΓΡΑΜΜΙΚΟ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ Περίληψη Ο Γραμμικός Προγραμματισμός (Linear Programming) ή Γραμμική Βελτιστοποίηση (Linear Optimization) μελετάει ένα από τα πιο εφαρμοσμένα προβλήματα των Μαθηματικών, το Γραμμικό Πρόβλημα (Linear problem). Μελετάει τις ιδιότητές του, αναπτύσσει μεθόδους επίλυσης και ερευνά τους τρόπους με τους οποίους τα αποτελέσματα μπορούν να χρησιμοποιηθούν στον επιστημονικό τρόπο λήψης πολύπλοκων οικονομικών και διοικητικών αποφάσεων. Στο κεφάλαιο αυτό θα ασχοληθούμε με εισαγωγικές κυρίως έννοιες. Θα περιγράψουμε τη φύση του γραμμικού προγραμματισμού, το μαθηματικό πρότυπο και τι είναι λύση του γραμμικού προβλήματος. Επίσης, θα προσπαθήσουμε να επιβεβαιώσουμε τη φήμη του γραμμικού προγραμματισμού σαν το περισσότερο εφαρμοσμένο τμήμα της Μαθηματικής Επιστήμης. Περιγράφονται τα βασικά χαρακτηριστικά, έτσι ώστε πρακτικά προβλήματα περιγραμμένα λεκτικά να αναγνωρίζονται ότι είναι γραμμικά και στη συνέχεια παρουσιάζονται μερικά από τα πιο γνωστά κλασσικά γραμμικά προβλήματα. Δείγμα της τεράστιας ποικιλίας των εφαρμογών του γραμμικού προγραμματισμού δίνεται στο τρίτο τμήμα. Το τμήμα των σχολίων και αναφορών μεταξύ άλλων περιλαμβάνει μια ιστορική αναδρομή και μια παρουσίαση πηγών στις οποίες μπορεί να ανατρέξει ο αναγνώστης για περισσότερες πληροφορίες. Το κεφάλαιο κλείνει με μια ομάδα ασκήσεων. ΠΕΡΙΕΧΟΜΕΝΑ 1.1 Η ΦΥΣΗ ΤΟΥ ΓΡΑΜΜΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ... 2 1.1.1 Λεκτική περιγραφή του γραμμικού προβλήματος... 3 1.1.2 Μαθηματική μορφοποίηση... 4 1.1.3 Επίλυση του προβλήματος και ανάλυση ευαισθησίας... 5 1.2 ΤΟ ΜΑΘΗΜΑΤΙΚΟ ΠΡΟΤΥΠΟ ΤΟΥ ΓΡΑΜΜΙΚΟΥ ΠΡΟΒΛΗΜΑΤΟΣ... 6 1.2.1 Γενική μορφή του γραμμικού προβλήματος... 6 1.2.2 Τι είναι λύση του γραμμικού προβλήματος... 9 1.3 ΜΑΘΗΜΑΤΙΚΗ ΜΟΡΦΟΠΟΙΗΣΗ... 11 1.3.1 Μερικά κλασσικά γραμμικά προβλήματα... 12 1.3.2 Άλλες εφαρμογές του γραμμικού προγραμματισμού... 19 1.4 ΣΧΟΛΙΑ ΑΝΑΦΟΡΕΣ... 29 1.5 ΑΣΚΗΣΕΙΣ... 33

2 ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό 1.1 Η ΦΥΣΗ ΤΟΥ ΓΡΑΜΜΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ H σημαντικότερη επιδίωξη του γραμμικού προγραμματισμού είναι χωρίς καμιά αμφιβολία η βελτίωση του επιστημονικού τρόπου λήψης δύσκολων και πολύπλοκων οικονομικών και διοικητικών αποφάσεων. Για να μπορέσει να ανταποκριθεί σ' αυτή την σοβαρή και ομολογουμένως δύσκολη αποστολή είναι απαραίτητο να μελετήσει με αυστηρά μαθηματικό τρόπο το γραμμικό πρόβλημα και να αναλύσει τις ιδιότητες και τα ιδιαίτερα χαρακτηριστικά του. Αναμφίβολα, οι σωστές αποφάσεις δεν μπορεί να είναι παρά μόνον οι βέλτιστες (με κάποιο κριτήριο) αποφάσεις. Δεν πρέπει επομένως να προξενεί έκπληξη το γεγονός ότι ο γραμμικός προγραμματισμός βρίσκεται σε συνεχή αναζήτηση βέλτιστων λύσεων. Ο επιστημονικός τρόπος λήψης αποφάσεων έχει νόημα και περισσότερο ενδιαφέρον όταν τα πρακτικά και εφαρμοσμένα προβλήματα είναι μεγάλα σε μέγεθος. Η λύση όμως τέτοιων προβλημάτων απαιτεί μεγάλο αριθμό αριθμητικών υπολογισμών. Γι' αυτόν, αλλά και για άλλους πιο πρακτικούς λόγους πού θα γνωρίσουμε στα παρακάτω κεφάλαια, μέσα στα πρωταρχικά ενδιαφέροντα του γραμμικού προγραμματισμού περιλαμβάνεται η ανάπτυξη μεθόδων επίλυσης οι οποίες είναι κατάλληλες για υλοποίηση σε Ηλεκτρονικούς Υπολογιστές. Όπως είναι ευρέως γνωστό, αυτές οι μέθοδοι ονομάζονται αλγόριθμοι (algorithms). Στην πράξη η κατάσταση δεν είναι τόσο απλή όσο φαίνεται από την προηγηθείσα περιγραφή. Δεν αρκεί μόνον η βέλτιστη λύση για να ληφθούν οι σωστές αποφάσεις. Η ίδια η λύση του προβλήματος περιέχει πληροφορίες οι οποίες μπορούν να χρησιμοποιηθούν για παραπέρα βελτίωση της λειτουργίας των συστημάτων από τα οποία συνήθως προκύπτουν τα γραμμικά προβλήματα. Υπάρχουν όμως και ακόμη χειρότερες καταστάσεις. Μερικές φορές η λύση υλοποιείται με σημαντική καθυστέρηση. Μάλιστα, σε μερικές περιπτώσεις η καθυστέρηση είναι τόσο μεγάλη που τα δεδομένα του προβλήματος αλλάζουν πριν την υλοποίηση της λύσης. Πώς θα βρεθεί σ' αυτή τη την περίπτωση η νέα βέλτιστη λύση; Είναι η νέα λύση διαφορετική από την προηγούμενη; Με τα ερωτήματα αυτά ασχολείται η ανάλυση ευαισθησίας (sensitivity analysis). Ένα άλλο θέμα με πρακτικό ενδιαφέρον είναι η συμπεριφορά της βέλτιστης λύσης καθώς ορισμένα δεδομένα μεταβάλλονται. Το θέμα αυτό διαπραγματεύεται η παραμετρική ανάλυσης (parametric analysis). Πολλές φορές οι αλλαγές των δεδομένων είναι σχετικά μικρές με αποτέλεσμα η βέλτιστη λύση να βρίσκεται πιο γρήγορα αν ξεκινήσουμε από τη βέλτιστη λύση του προηγουμένου προβλήματος. Επίσης, συνέπεια αυτής της κατάστασης είναι η επίλυση πολλών διαδοχικών προβλημάτων, τα οποία διαφέρουν μεταξύ τους ελάχιστα. Επομένως, δεν είναι άνευ λόγου η συνεχής προσπάθεια του γραμμικού προγραμματισμού για ανάπτυξη όλο και πιο γρήγορων αλγορίθμων. Ο γραμμικός προγραμματισμός παραλαμβάνει έτοιμα τα δεδομένα των πρακτικών προβλημάτων. Μερικά δεδομένα ετοιμάζονται από υπηρεσίες των επιχειρήσεων ή οργανισμών, όπως για παράδειγμα το κόστος παραγωγής ενός προϊόντος, που υπολογίζεται από τα τμήματα κοστολόγησης, ενώ άλλα

ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό 3 εκτιμούνται με άλλες επιστημονικές μεθόδους της επιχειρησιακής έρευνας όπως για παράδειγμα οι τιμές πώλησης ενός προϊόντος σε μελλοντικές χρονικές στιγμές (μέθοδοι χρονικών σειρών, παλινδρόμηση). Το τι περίπου κάνει ο γραμμικός προγραμματισμός μετά τη συλλογή των δεδομένων θα το δούμε παραστατικά με ένα παράδειγμα παρμένο από μια περιπέτεια επιστημονικής φαντασίας. Υπενθυμίζουμε όμως ότι αυτό γίνεται μόνο για εκπαιδευτικούς λόγους. Ο γραμμικός προγραμματισμός γεννήθηκε και ανδρώθηκε μέσα στις συνεχείς προσπάθειες επίλυσης δύσκολων και πολύπλοκων πρακτικών προβλημάτων. Στην περιπέτεια αυτή κεντρικός ήρωας είναι κάποιος κύριος που το όνομά του ήταν Χρηματιστής. 1.1.1 Λεκτική περιγραφή του γραμμικού προβλήματος Κάποτε στο μέλλον ο κύριος Χρηματιστής πήρε το υπερπολυτελές διαστημόπλοιό του για ένα ολιγοήμερο ταξίδι αναψυχής στον έναστρο ουρανό. Μετά από λίγες μέρες καθώς περιπλανιόταν ανάμεσα στους αστεροειδείς και τους γαλαξίες του διαστήματος μερικά κόκκινα φωτάκια των υπερσύγχρονων οργάνων του διαστημοπλοίου του άρχισαν να αναβοσβήνουν προειδοποιώντας τον ότι υπάρχουν μικροπροβλήματα στους προωθητικούς πυραύλους. Αναγκάστηκε τότε να προγαλαξιώσει το διαστημόπλοιό του στον κοντινότερο γαλαξία. Αφού έκανε τις απαραίτητες μικροεπισκευές έριξε μια ματιά τριγύρω του για να απολαύσει τη θέα του διαστημικού τοπίου. Προς μεγάλη του έκπληξη και ευχαρίστηση βέβαια διαπίστωσε ότι ο γαλαξίας ήταν γεμάτος από πολύτιμα ορυκτά μέταλλα, κυρίως, χρυσό και ασήμι. Φυσικά, ο κύριος Χρηματιστής ήθελε να πάρει όλη την ποσότητα των πολύτιμων μετάλλων πίσω στη γη, τεχνικοί όμως λόγοι δεν επέτρεπαν κάτι τέτοιο. Ο διαθέσιμος χώρος για έξτρα φορτίο στο διαστημόπλοιο ήταν ελάχιστος και το διαστημόπλοιο λόγω της μεγάλης βαρύτητας του γαλαξία δεν μπορούσε να απογαλαξιωθεί αν το έξτρα βάρος ξεπερνούσε ένα όριο. Δεν θυμόταν απ' έξω τα όρια αντοχής του διαστημοπλοίου του αλλά τα υπερακριβή όργανα τον προειδοποίησαν αυστηρά. Το έξτρα φορτίο δεν πρέπει να υπερβαίνει ούτε τις διαθέσιμες 24 διαστημικές μονάδες χώρου (δμχ) ούτε το μέγιστο όριο των 3 διαστημικών μονάδων βάρους (δμβ). Γνώριζε ο κύριος Χρηματιστής ότι το ισχυρό μαγνητικό πεδίο του γαλαξία εγκυμονούσε κινδύνους για την υγεία του και για τα όργανα του διαστημοπλοίου του. Έπρεπε λοιπόν πολύ σύντομα να πάρει τις οριστικές του αποφάσεις. Ήξερε ότι ήταν καλύτερο να χρησιμοποιήσει τις πιο πρόσφατες τιμές του χρυσού και ασημιού. Δυστυχώς όμως πίσω στην γη την ημέρα εκείνη ήταν αργία και ως εκ τούτου ήταν αναγκασμένος να χρησιμοποιήσει τιμές που ίσχυαν όταν απογειώθηκε, μια βδομάδα περίπου πριν. Οι τιμές εκείνες ήταν 7 και 13 διαστημικές λογιστικές μονάδες (δλμ) για κάθε δμβ χρυσού και ασημιού αντίστοιχα. Αναγκασμένος να αποφασίσει με αυτές τις τιμές χρησιμοποίησε αμέσως τα όργανα του διαστημοπλοίου του και βρήκε ότι 1 δμβ χρυσού καταλαμβάνει 6 δμχ, ενώ 1

4 ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό δμβ ασημιού 13. Ποιες ποσότητες χρυσού και ασημιού πρέπει να φορτώσει ο χρηματιστής για να μεγιστοποιήσει το κέρδος του όταν επιστρέψει στη γη; Ο Ηλεκτρονικός Υπολογιστής του διαστημοπλοίου ήταν εφοδιασμένος με ένα πολύ σύγχρονο Σύστημα Στήριξης Αποφάσεων (Decision Support System) βασισμένο στα τελευταία ερευνητικά αποτελέσματα και στους ταχύτερους αλγορίθμους. Ο κύριος Χρηματιστής μετά από λίγη σκέψη διαπίστωσε ότι το πρόβλημα του είναι ένα πρόβλημα γραμμικού προγραμματισμού. Τροφοδότησε αμέσως τα δεδομένα στον ηλεκτρονικό υπολογιστή και σε κλάσματα του δευτερολέπτου το Σύστημα Στήριξης Αποφάσεων (Σ.Σ.Α.), έδωσε έτοιμη τη βέλτιστη λύση την οποία ετοιμαζόταν γρήγορα-γρήγορα να υλοποιήσει. Ποιο ήταν το γραμμικό πρόβλημα το οποίο επιλύθηκε; 1.1.2 Μαθηματική μορφοποίηση Συμβολίζουμε με x 1 τις δμβ χρυσού και με x 2 τις δμβ ασημιού που θα φορτωθούν στο διαστημόπλοιο. Ας δούμε πρώτα ποιος ήταν ο αντικειμενικός στόχος του Χρηματιστή. Εφόσον μια δμβ χρυσού πουλιέται 7 δλμ, οι x 1 δμβ που θα φορτωθούν και θα πουληθούν στη γη θα φέρουν κέρδος 7x 1 δλμ. Σκεφτόμενοι παρόμοια βρίσκουμε εύκολα ότι οι x 2 δμβ ασημιού θα φέρουν κέρδος 13x 2 δλμ. Επομένως το συνολικό κέρδος από τις x 1 δμβ χρυσού και τις x 2 δμβ ασημιού θα είναι 7x 1 + 13x 2 δλμ. Επειδή πρόκειται για κέρδος επιθυμία του χρηματιστή είναι να μεγιστοποιήσει τη συνάρτηση z = 7x 1 + 13x 2 Ας δούμε τώρα ποιοι είναι οι περιορισμοί. Θα ξεκινήσουμε με τους εύκολους περιορισμούς, δηλαδή, τους περιορισμούς που επιβάλλονται στις τιμές των μεταβλητών. Οι μεταβλητές x 1 και x 2 παριστάνουν φυσικές ποσότητες. Η x 1 συμβολίζει τις δμβ χρυσού που φορτώνονται στο διαστημόπλοιο. Αν η x 1 πάρει αρνητική τιμή, ας πούμε -3, αυτό σημαίνει ότι 3 δμβ χρυσού, απ αυτές που είχε το διαστημόπλοιο πριν προσγαλαξιωθεί, πρέπει να ξεφορτωθούν. Κάτι τέτοιο θα ήταν εκ μέρους του Χρηματιστή όχι μόνο παράλογο αλλά και αδύνατο, αφού το διαστημόπλοιο δεν περιέχει καθόλου χρυσό (ο κύριος Χρηματιστής δεν χρησιμοποιούσε χρυσό στις συναλλαγές του αλλά πλαστικό χρήμα). Παρόμοια ερμηνεία μπορεί να δοθεί σε αρνητικές τιμές της x 2. Επομένως οι μεταβλητές x 1 και x 2 πρέπει να ικανοποιούν τους περιορισμούς μη αρνητικότητας x 1 0 και x 2 0.

ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό 5 Ερχόμαστε τώρα στους κανονικούς περιορισμούς. Υπάρχουν ακόμη δύο περιορισμοί που πρέπει να ικανοποιούνται από τις μεταβλητές x 1 και x 2. Είναι ο περιορισμός βάρους και ο περιορισμός χώρου που επιβάλλουν τα τεχνολογικά δεδομένα του διαστημοπλοίου. Οι x 1 δμβ χρυσού και οι x 2 δμβ ασημιού ζυγίζουν μαζί x 1 + x 2 δμβ. Το συνολικό βάρος δεν πρέπει να υπερβαίνει τις 3 δμβ. Επομένως οι μεταβλητές x 1 και x 2 πρέπει να ικανοποιούν τον περιορισμό x 1 + x 2 3 Τέλος για τον προσδιορισμό του περιορισμού του χώρου εργαζόμαστε ως εξής. Επειδή 1 δμβ χρυσού καταλαμβάνει 6 δμχ, οι x 1 δμχ θα καταλαμβάνουν 6x 1 δμχ. Παρόμοια, οι x 2 δμβ ασημιού θα καταλαμβάνουν 13x 2 δμχ. Επομένως οι x 1 δμβ χρυσού και οι x 2 δμβ ασημιού καταλαμβάνουν μαζί 6x 1 + 13x 2 δμχ. Αφού όλος ο διαθέσιμος χώρος στο διαστημόπλοιο είναι 24 δμχ, οι μεταβλητές x 1 και x 2 πρέπει να ικανοποιούν τον ανισοτικό περιορισμό 6x 1 + 13x 2 24 Συνοψίζοντας όλα τα παραπάνω βλέπουμε ότι το Σ.Σ.Α. του ηλεκτρονικού υπολογιστή τροφοδοτήθηκε τελικά με το γραμμικό πρόβλημα, το οποίο μπορεί να διατυπωθεί μαθηματικά με την παρακάτω μορφή. Να βρεθεί το ελάχιστο της συνάρτησης 7x 1 + 13x 2 όπου οι άγνωστες μεταβλητές x 1 και x 2 ικανοποιούν τους περιορισμούς: x 1 + x 2 3 (Περιορισμός βάρους) 6x 1 + 13x 2 24 (Περιορισμός χώρου) x 1, x 2 0 (Περιορισμοί μη αρνητικότητας) 1.1.3 Επίλυση του προβλήματος και ανάλυση ευαισθησίας Aς δούμε τώρα τι έγινε στην συνέχεια της περιπέτειας. Αφήσαμε το Χρηματιστή να υλοποιεί την απόφασή του, δηλαδή να φορτώνει στο διαστημόπλοιο 15/7 δμβ χρυσού και 6/7 δμβ ασημιού. Αυτή ήταν η βέλτιστη λύση που έδωσε το Σ.Σ.Α. Ενώ ήταν αφοσιωμένος στην προσπάθειά του, ακούει ξαφνικά πίσω του μια γνώριμη φωνή να τον χαιρετά. Ήταν ο κύριος Επενδυτής ο οποίος είχε ξεκινήσει την προηγούμενη μέρα από τη Γη. Γνωρίζοντας τις πιο πρόσφατες τιμές του χρυσού και ασημιού στο χρηματιστήριο ο κύριος Επενδυτής προσπάθησε να εκμεταλλευτεί αυτή την έλλειψη πληροφόρησης του Χρηματιστή. Προτείνει

6 ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό αμέσως στο Χρηματιστή να αγοράσει το χώρο του διαστημοπλοίου του πληρώνοντας 14/7 δλμ για κάθε δμβ του διαστημοπλοίου και 8/7 δλμ για κάθε δμχ. Ο κύριος Χρηματιστής υπολόγισε αμέσως ότι το μέγιστο κέρδος του, αν χρησιμοποιούσε ο ίδιος το διαστημόπλοιό του, ήταν 188/7 δλμ. Αν πωλούσε το χώρο στο κύριο Επενδυτή θα κέρδιζε κάτι παραπάνω. Πιο συγκεκριμένα θα κέρδιζε 189/7 δλμ. Όμως ήξερε ότι οι τιμές στο χρηματιστήριο ήταν ανοδικές. Αν ήταν κάπως βέβαιος ότι η βέλτιστη λύση που είχε στα χέρια του θα παρέμενε βέλτιστη παρά τις αλλαγές (αυξήσεις) στις τιμές του χρυσού και ασημιού δεν θα πωλούσε το χώρο. Άρχισε τότε την προσπάθεια προσδιορισμού των ορίων των τιμών του χρυσού και ασημιού μέσα στα οποία η τρέχουσα βέλτιστη λύση παραμένει βέλτιστη ελπίζοντας ότι η επίλυση του νέου προβλήματος θα τον βοηθήσει περισσότερο στην επιλογή της νέας απόφασής του. Θα αφήσουμε τώρα τον κύριο Χρηματιστή να παιδεύεται με την επίλυση του νέου προβλήματος. Εμείς θα συνεχίσουμε το δρόμο μας για τη γνωριμία με τις πτυχές του γραμμικού προγραμματισμού. Θα μάθουμε πως να αντιμετωπίζουμε τα προβλήματα που αντιμετώπισε ο κύριος Χρηματιστής και όχι μόνο. Ιδιαίτερη έμφαση θα δοθεί στην ανάπτυξη και αιτιολόγηση αλγορίθμων επίλυσης. Θα μάθουμε ακόμα πως κατασκευάζονται τα μαθηματικά πρότυπα του γραμμικού προγραμματισμού για πρακτικά προβλήματα από διάφορους τομείς της οικονομίας, της διοίκησης, της βιομηχανίας, της παραγωγής, της πληροφορικής. 1.2 ΤΟ ΜΑΘΗΜΑΤΙΚΟ ΠΡΟΤΥΠΟ ΤΟΥ ΓΡΑΜΜΙΚΟΥ ΠΡΟΒΛΗΜΑΤΟΣ Το γραμμικό πρόβλημα είναι ένα πρόβλημα βελτιστοποίησης με περιορισμούς. Η πιο 1.2.1 Γενική μορφή του γραμμικού προβλήματος μπορεί να διατυπωθεί με μαθηματικούς όρους και συμβολισμούς ως εξής min z = c 1 x 1 + c 2 x 2 + + c n x n μ.π. a 11 x 1 + a 12 x 2 + + a n x n b 1 a 21 x 1 + a 22 x 2 + + a 2n x n b 2... (P1.2.1) a m1 x 1 + a m2 x 2 + + a mn x n b m Oι συντελεστές c i, a ij, b i, (i = 1, 2,..., m) και (j = 1, 2,..., n) είναι γνωστοί πραγματικοί αριθμοί, που αποτελούν τα δεδομένα του προβλήματος, συμβολίζει ένα από τα μαθηματικά σύμβολα =,,, η λέξη min είναι συντομογραφία της έκφρασης "να βρεθεί το ελάχιστο της συνάρτησης" και μ.π. είναι συντομογραφία της έκφρασης "με περιορισμούς". Οι μεταβλητές x 1, x 2,..., x n

ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό 7 είναι οι άγνωστες μεταβλητές (uknown variables) του προβλήματος. Σε ένα γραμμικό πρόβλημα ζητείται να βρεθούν οι τιμές των αγνώστων έτσι ώστε η τιμή της συνάρτησης z να είναι ελάχιστη και ταυτόχρονα να ικανοποιούνται όλοι οι περιορισμοί. Οι άγνωστες μεταβλητές x j, (j = 1, 2,..., n) ονομάζονται μεταβλητές απόφασης (decision variables). Η συνάρτηση προς ελαχιστοποίηση, z, ονομάζεται αντικειμενική συνάρτηση (objective function) και οι τιμές της αντικειμενικές τιμές (objective values). Στην ορολογία του γραμμικού προγραμματισμού οι ανισότητες και ισότητες που πρέπει να ικανοποιούν οι μεταβλητές απόφασης, ονομάζονται περιορισμοί (constraints). Όταν θέλουμε να είμαστε περισσότερο σαφείς, θα ονομάσουμε τις ισότητες ισοτικούς περιορισμούς (equality constraints) και τις ανισότητες ανισοτικούς περιορισμούς (inequality constraints). Πολλές φορές αντί να ζητείται το ελάχιστο της αντικειμενικής συνάρτησης ζητείται το μέγιστο. Σ αυτή την περίπτωση, στη μαθηματική διατύπωση του προβλήματος χρησιμοποιείται η λέξη max αντί της λέξης min. Όλα τα υπόλοιπα στοιχεία του προβλήματος παραμένουν ίδια. Ένα γραμμικό πρόβλημα στο οποίο ζητείται να βρεθεί το ελάχιστο ονομάζεται πρόβλημα ελαχιστοποίησης (minimization problem), ενώ το πρόβλημα στο όποιο ζητείται το μέγιστο ονομάζεται πρόβλημα μεγιστοποίησης (maximization problem). Από μαθηματική άποψη δεν υπάρχει ουσιαστική διαφορά μεταξύ των δυο προβλημάτων. Ένα πρόβλημα ελαχιστοποίησης μπορεί πολύ εύκολα να μετασχηματισθεί σε ένα ισοδύναμο πρόβλημα μεγιστοποίησης και αντίστροφα. Η συντριπτική πλειοψηφία των γραμμικών προβλημάτων είναι εφαρμοσμένα. Σε τέτοια προβλήματα, οι μεταβλητές απόφασης παριστάνουν συνήθως φυσικές ποσότητες. Για παράδειγμα, μια μεταβλητή απόφασης μπορεί να παριστάνει τις μονάδες ενός προϊόντος που παράγει κάποιο εργοστάσιο ή την ποσότητα κάποιας πρώτης ύλης που χρησιμοποιείται σε κάποια παραγωγική διαδικασία. Σ αυτές τις περιπτώσεις τις περισσότερες φορές είναι παράλογο, αν όχι αδύνατο, να επιτρέπεται στις φυσικές αυτές ποσότητες να παίρνουν αρνητικές τιμές. 'Έτσι καθιερώθηκε να επιβάλλονται οι λεγόμενοι περιορισμοί μη αρνητικότητας (non negativity constraints) στις μεταβλητές απόφασης, δηλαδή, x j 0, j = 1, 2,..., n. Πολλές φορές θα ονομάζουμε τους περιορισμούς αυτούς και φυσικούς περιορισμούς (natural constraints). Όλοι οι υπόλοιποι περιορισμοί θα ονομάζονται τεxνολογικοί περιορισμοί (tecnological constraints). Θα δηλώνουμε ρητά τους περιορισμούς μη αρνητικότητας. Κάτω απ' αυτή την προϋπόθεση το γραμμικό πρόβλημα θα έχει τη μορφή: min (ή max) c 1 x 1 + c 2 x 2 +... + c n x n μ.π. a 11 x 1 + a 12 x 2 +... + a 1n x n b 1 a 21 x 1 + a 22 x 2 +... + a 2n x n b 2 (P1.2.2) a m1 x 1 + a m2 x 2 +... + a mn x n b m x j 0, (j = 1, 2,, n)

8 ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό Τα προβλήματα της μορφής (P1.2.2) θα ονομάζονται γενικά τύπου Α. Εξετάζοντας λίγο πιο προσεκτικά τους περιορισμούς του προβλήματος (P1.2.1) μπορούμε εύκολα να διαπιστώσουμε ότι περιέχει περιορισμούς μη αρνητικότητας. Πράγματι, ο περιορισμός x j 0 γράφεται (e i ) Τ x 0, όπου e i R n είναι η i διανυσματική μονάδα, δηλαδή, είναι διάνυσμα του οποίου όλες οι συνιστώσες είναι μηδέν εκτός από την συνιστώσα i η οποία είναι η μονάδα. Όταν χρησιμοποιούνται μήτρες και διανύσματα, ο πάνω δείκτης Τ δηλώνει αναστροφή. Ιδιαίτερα, τα διανύσματα θα είναι σχεδόν πάντοτε (εκτός ελαχίστων εξαιρέσεων) διανύσματα στήλες, ενώ τα διανύσματα με πάνω δείκτη Τ θα είναι σχεδόν πάντοτε διανύσματα γραμμές. Επομένως, το πρόβλημα (P1.2.1) φαίνεται ότι είναι πιο γενικό από το πρόβλημα (P1.2.2), αφού το πρώτο επιτρέπει σε μεταβλητές να μη υπακούουν σε περιορισμούς μη αρνητικότητας. Όμως θα δούμε αργότερα ότι από μαθηματική άποψη τα δυο προβλήματα είναι ισοδύναμα. Οι μορφές (P1.2.1) και (P1.2.2) είναι αρκετά δύσχρηστες λόγω της έκτασής των. Αντί αυτών θα χρησιμοποιούμε πιο σύντομες περιγραφές εκφρασμένες με μήτρες και διανύσματα. Αντί της μορφής (P1.2.2) θα χρησιμοποιούμε την μορφή min (ή max) z = c T x μ.π. Αx b (P1.2.3) x 0 όπου c, x R n, b R m και Α R mxn, ή την πιο σύντομη μορφή min(ή max) {c Τ x : Αx b, x 0} (P1.2.4) Τα σημεία που ικανοποιούν όλους του περιορισμούς ονομάζονται εφικτά σημεία (feasible points) ή εφικτές λύσεις (feasible solutions) σε αντίθεση με τα υπόλοιπα που ονομάζονται μη εφικτά (infeasible). Παράδειγμα 1.2.1. Δίνεται το γραμμικό πρόβλημα min(ή max) z = -2x 1 + 3x 2 + 4x 3 μ.π. 2x 1-4x 2 - x 3 8 - x 2 + 2x 3 = 3 x 1 - x 2 + 4x 3-4 x j 0, (j = 1, 2, 3) Να υπολογιστούν τα c A, b, και να ελεγχθεί αν τα σημεία (-1 1 4) και (0 1 2) είναι εφικτά ή όχι. Λύση. Προφανώς είναι

ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό 9 2 2 4 1 c = 3, A = 0 1 2, = και b = = 4 1 1 4 8 3 4 Το σημείο x Τ = (-1 1 4) δεν ικανοποιεί τον ισοτικό περιορισμό αφού είναι - x 2 + 2x 3 = -1 + 2 4 = 7 3 και επομένως δεν είναι εφικτό. Το σημείο x Τ = (0 1 2) είναι εφικτό. Όλες οι συνιστώσες του x 1 = 0, x 2 = 1 και x 3 = 2 είναι μη αρνητικές και αντικατάσταση των τιμών αυτών στους τεχνολογικούς περιορισμούς δίνει Περιορισμός 1 : Περιορισμός 2 : Περιορισμός 3 : (αριστερό μέλος) = 2x 1-4x 2 - x 3 = - 6 8 = (δεξιό μέλος) (αριστερό μέλος) = - x 2 + 2x 3 = + 3 = (δεξιό μέλος), (αριστερό μέλος) = x 1 - x 2 + 4x 3 = 7-4 = (δεξιό μέλος). 1.2.2 Τι είναι λύση του γραμμικού προβλήματος Το σύνολο όλων των εφικτών σημείων ονομάζεται εφικτή περιοχή (feasible region). Αν η εφικτή περιοχή είναι κενό σύνολο, το πρόβλημα είναι αδύνατο ή μη εφικτό (infeasible). Διαφορετικά είναι εφικτό (feasible). Θεμελιώδους σημασίας στο γραμμικό προγραμματισμό είναι η έννοια του βέλτιστου σημείου ή της βέλτιστης λύσης (optimal point, optimal solution). Ορισμός 1.2.1. Ένα εφικτό σημείο, x, ενός γραμμικού προβλήματος ελαχιστοποίησης είναι βέλτιστο (optimal), αν για κάθε άλλο εφικτό σημείο y ισχύει η σχέση c T x c T y. Παρόμοια, ένα εφικτό σημείο, x, ενός γραμμικού προβλήματος μεγιστοποίησης είναι βέλτιστο (optimal), αν για κάθε άλλο εφικτό σημείο y ισχύει η σχέση c T x c T y. Ένα γραμμικό πρόβλημα το οποίο έχει βέλτιστα σημεία ονομάζεται βέλτιστο πρόβλημα (optimal problem). Η τιμή της αντικειμενικής συνάρτησης σε ένα βέλτιστο σημείο ονομάζεται βέλτιστη τιμή (optimal value). Ένα εφικτό πρόβλημα, που δεν είναι βέλτιστο, είναι απεριόριστο (unbounded). Ορισμός 1.2.2. Ένα εφικτό γραμμικό πρόβλημα ελαχιστοποίησης (μεγιστοποίησης) είναι απεριόριστο αν υπάρχει ακολουθία εφικτών σημείων {x 1, x 2,...} τέτοια ώστε η ακολουθία των αντικειμενικών τιμών {c T x 1, c T x 2,...} να τείνει στο (+ ). Δεν είναι προφανές ότι ένα εφικτό πρόβλημα, το οποίο δεν είναι βέλτιστο, είναι απεριόριστο. Το αποτέλεσμα αυτό ισχύει και δηλώνεται εδώ σαν Θεώρημα 1.2.1. (Θεμελιώδες θεώρημα του γραμμικού προγραμματισμού). Ένα γραμμικό πρόβλημα είναι αδύνατο ή εφικτό. Αν είναι εφικτό, τότε είναι

10 βέλτιστο ή απεριόριστο. ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό Σχήμα 1.2.1. Οι κατηγορίες του γραμμικού προβλήματος Η απόδειξη του Θεωρήματος 1.2.1 μπορεί να γίνει με μεθόδους της μαθηματικής ανάλυσης. Η απόδειξη αυτή είναι μακροσκελής και θα την αποφύγουμε για λόγους οικονομίας χώρου. Όμως δεν θα αφήσουμε αναπόδεικτο ένα θεμελιώδες θεώρημα. Η απόδειξή του θα μεταφερθεί μετά την αιτιολόγηση του πρώτου αλγορίθμου και τότε θα γίνει σχεδόν προφανής. Σύμφωνα με το θεμελιώδες θεώρημα, λύση ενός γραμμικού προβλήματος είναι ο προσδιορισμός της κατηγορίας στην οποία ανήκει, δηλαδή, αδύνατο, βέλτιστο ή απεριόριστο. Οι κατηγορίες αυτές φαίνονται παραστατικά στο Σχήμα 1.2.1. Μάλιστα, με τον όρο λύση εννοείται κάτι παραπάνω απ αυτό. Δεν είναι αρκετό να προσδιοριστεί μόνο ότι ένα πρόβλημα είναι βέλτιστο. Στην περίπτωση αυτή πρέπει να κατασκευαστεί και τουλάχιστον ένα βέλτιστο σημείο. Γι' αυτόν ακριβώς το λόγο ο γραμμικός προγραμματισμός ασχολείται μόνο με κατασκευαστικές μεθόδους επίλυσης, δηλαδή, με αλγορίθμους. Από πρακτικής απόψεως η μόνη ενδιαφέρουσα περίπτωση είναι αυτή του βέλτιστου προβλήματος. Γ' αυτό το λόγο πολλές φορές είναι αρκετό να προσδιοριστεί αν ένα πρόβλημα είναι βέλτιστο ή όχι βέλτιστο. 1.3 ΜΑΘΗΜΑΤΙΚΗ ΜΟΡΦΟΠΟΙΗΣΗ Όταν δοθεί η μαθηματική μορφή ενός προβλήματος είναι πολύ εύκολο να διαπιστωθεί αν είναι γραμμικό ή όχι. Όταν το πρόβλημα αντιμετωπίζεται στην πράξη, πριν τη μαθηματική του διατύπωση, η διαπίστωση αυτή δεν είναι προφανής. Ενδείξεις της γραμμικότητας ενός προβλήματος είναι η ύπαρξη τριών

ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό 11 χαρακτηριστικών ιδιοτήτων, της αναλογικότητας (proportionality), της προσθετικότητας (additivity) και της διαιρετότητας (divisibility). Αναλογικότητα.. Αναλογικότητα μιας μεταβλητής απόφασης είναι η ιδιότητα εκείνη σύμφωνα με την οποία η συνεισφορά της μεταβλητής στην αντικειμενική συνάρτηση και τους περιορισμούς είναι αποτέλεσμα πολλαπλασιασμού της τιμής της με σταθερούς αριθμούς. Στα γραμμικά προβλήματα, όλες οι μεταβλητές έχουν την αναλογική ιδιότητα. Όταν η συνεισφορά κάποιας μεταβλητής στην αντικειμενική συνάρτηση ή σε κάποιο περιορισμό εξαρτάται από την τιμή της μεταβλητής, το πρόβλημα δεν είναι γραμμικό. Τέτοιες περιπτώσεις εμφανίζονται συχνά στην πράξη, με πιο συνηθισμένη αυτή της ελάττωσης της τιμής κάποιου προϊόντος καθώς η ποσότητά την αυξάνει. Ας πάρουμε τη μεταβλητή απόφασης x j. Αν η x j πληροί την αναλογική ιδιότητα ως προς την αντικειμενική συνάρτηση, τότε ο συντελεστής c j είναι σταθερός και η συνεισφορά της x j στην αντικειμενική συνάρτηση είναι c j x j. Αν ο συντελεστής c j δεν είναι σταθερός, τότε υπάρχει κάποια εξάρτηση των τιμών c j από τις τιμές x j. Προσθετικότητα. Στην προσθετική ιδιότητα η συνολική συνεισφορά δυο ή περισσοτέρων μεταβλητών στην αντικειμενική συνάρτηση και στους περιορισμούς είναι το άθροισμα των επί μέρους συνεισφορών των. Για παράδειγμα, αν x i και x j είναι δύο μεταβλητές απόφασης με συνεισφορές στην αντικειμενική συνάρτηση c i x i και c j x j, τότε η συνολική συνεισφορά των δύο μεταβλητών είναι c i x i + c j x j. Διαιρετότητα. Τέλος διαιρετότητα σημαίνει ότι όλες οι μεταβλητές μπορούν να πάρουν οποιαδήποτε τιμή κλασματική ή ακέραια. Κάτι τέτοιο δεν συμβαίνει σε όλα τα πρακτικά προβλήματα. Για παράδειγμα, αν η μεταβλητή απόφασης x 1 παριστάνει τον αριθμό των ψυγείων που θα παραχθούν από κάποιο εργοστάσιο, τότε η x 1 δεν μπορεί να πάρει κλασματικές τιμές αλλά μόνον ακέραιες. Δεν είναι δυνατόν να διανοηθούμε ότι ένα εργοστάσιο θα παράγει 2.5 ψυγεία. Στα γραμμικά προβλήματα όλες οι μεταβλητές απόφασης πληρούν την ιδιότητα της διαιρετότητας. Αν όλες οι μεταβλητές παίρνουν μόνο ακέραιες τιμές τότε έχουμε ακέραιο γραμμικό πρόβλημα (integer linear problem) και τέλος, αν μερικές είναι ακέραιες και μερικές συνεχείς (ικανοποιούν την ιδιότητα της διαιρετότητας), το πρόβλημα είναι μικτό ακέραιο πρόβλημα (mixed integer problem). Θα προχωρήσουμε τώρα στην ανάπτυξη των μαθηματικών προτύπων διαφόρων αντιπροσωπευτικών προβλημάτων. Εκτός των γραμμικών θα παρουσιασθούν και προβλήματα ακεραίου και μικτού ακεραίου προγραμματισμού. Τούτο γίνεται κυρίως γιατί τα τελευταία λύνονται μερικές φορές προσεγγιστικά σαν απλά γραμμικά προβλήματα, αφού πρώτα οι μεταβλητές τους απαλλαγούν από τους περιορισμούς της ακεραιότητας των τιμών τους. Όταν βρεθεί η βέλτιστη λύση του γραμμικού προβλήματος, γίνονται στρογγυλοποιήσεις στον πλησιέστερο ακέραιο αριθμό για να προσδιοριστεί μια προσεγγιστική λύση του ακεραίου προβλήματος. Μερικές από αυτές τις εφαρμογές αναφέρονται τόσο συχνά στη

12 ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό βιβλιογραφία που θεωρούνται ήδη κλασσικές. Θα ξεκινήσουμε την παρουσίαση με την περιγραφή των πιο αντιπροσωπευτικών κλασσικών παραδειγμάτων. 1.3.1 Μερικά κλασσικά γραμμικά προβλήματα Όλα τα προβλήματα βελτιστοποίησης με περιορισμούς αφορούν στη βέλτιστη κατανομή περιορισμένων πόρων. Καθιερώθηκε όμως να ονομάζονται προβλήματα κατανομής πόρων (resource allocation) μόνο αυτά που μοιάζουν με το Παράδειγμα 1.3.1. Πρόβλημα κατανομής πόρων (resource allocation). Ένα εργοστάσιο κατασκευάζει πόρτες, παράθυρα, τραπέζια και καρέκλες από αλουμίνιο και πλαστικό. Οι κατασκευαστικές απαιτήσεις των προϊόντων αυτών σε πλαστικό, αλουμίνιο και εργατοώρες φαίνονται στον Πίνακα 1.3.1. Τα στοιχεία του Πίνακα 1.3.1 ερμηνεύονται ως εξής. Για παράδειγμα, οι αριθμοί της πρώτης στήλης δηλώνουν ότι για την κατασκευή μιας πόρτας απαιτούνται 15 dm 3 αλουμινίου, 12 κιλά πλαστικού υλικού και 150 εργατοώρες. Πόρτα Παράθυρο Τραπέζι Καρέκλα Αλουμίνιο (dm 3 ) 15 4 5 3 Πλαστικό (κιλά) 12 6 3 3 Εργατοώρες 150 60 50 40 Πίνακας 1.3.1. Κατασκευαστικές απαιτήσεις των προϊόντων σε πρώτες ύλες και εργατοώρες. Η επιχείρηση έχει ήδη παραγγελίες για 150 πόρτες, 270 παράθυρα, 310 τραπέζια και 450 καρέκλες, αλλά γνωρίζει ότι, οποιαδήποτε ποσότητα των προϊόντων και αν κατασκευάσει με τους πόρους που διαθέτει, θα πουληθεί στην αγορά. Οι τιμές πώλησης είναι 185000 δρχ. για κάθε πόρτα, 70000 δρχ. για κάθε παράθυρο, 60000 δρχ. για κάθε τραπέζι και 30000 δρχ. για κάθε καρέκλα. Το εργοστάσιο διαθέτει 50000 dm 3 αλουμινίου, 40000 κιλά πλαστικού και μπορεί να διαθέσει για την παραγωγή των παραπάνω προϊόντων το πολύ 300000 εργατοώρες. Ποιο πρόβλημα πρέπει να λύσει η επιχείρηση για να προσδιορίσει το σχέδιο παραγωγής το οποίο θα μεγιστοποιήσει τα έσοδά της; Λύση. Η επιχείρηση θέλει να προσδιορίσει τις ποσότητες των προϊόντων που θα κατασκευάσει έτσι ώστε από την πώλησή τους να μεγιστοποιήσει τα έσοδά της. Θα χρησιμοποιήσουμε τις μεταβλητές απόφασης x 1, x 2, x 3 και x 4, όπου x 1 = αριθμός από πόρτες που θα κατασκευαστούν, x 2 = αριθμός παραθύρων που θα κατασκευαστούν, x 3 = αριθμός τραπεζιών που θα κατασκευαστούν, x 4 = αριθμός καρεκλών που θα κατασκευαστούν.

ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό 13 Η μια πόρτα πουλιέται 185000 δρχ. Επομένως, τα έσοδα από τις x 1 πόρτες, που θα κατασκευαστούν και θα πουληθούν, θα είναι 185000x 1. Τα συνολικά έσοδα από τις x 1 πόρτες, τα x 2 παράθυρα, τα x 3 τραπέζια και τις x 4 καρέκλες θα είναι 185000x 1 + 70000x 2 + 60000x 3 + 30000x 4 και πρέπει φυσικά να μεγιστοποιηθούν. Οι μεταβλητές απόφασης δεν μπορούν να πάρουν αυθαίρετα μεγάλες τιμές, γιατί οι διαθέσιμοι πόροι (αλουμίνιο, πλαστικό και εργατοώρες) του εργοστασίου είναι περιορισμένοι. Επειδή για την κατασκευή μιας πόρτας χρειάζονται 15 dm 3 αλουμινίου, για τις x 1 πόρτες χρειάζονται 15x 1 dm 3. Σκεπτόμενοι παρόμοια βρίσκουμε ότι για τα x 2 παράθυρα, τα x 3 τραπέζια και τις x 4 καρέκλες απαιτούνται 4x 2, 5x 3, και 3x 4 dm 3 αλουμινίου αντίστοιχα. Επομένως, η συνολική ποσότητα αλουμινίου, που απαιτείται για όλο το σχέδιο παραγωγής είναι 15x 1 + 4x 2 + 5x 3 + 3x 4 dm 3. Η ποσότητα αυτή πρέπει να είναι μικρότερη ή ίση των 50000 dm 3 αλουμινίου που υπάρχουν στις αποθήκες. Εξ αιτίας του περιορισμού αυτού οι μεταβλητές απόφασης πρέπει να ικανοποιούν τον περιορισμό 15x 1 + 4x 2 + 5x 3 + 3x 4 50000 Παρόμοια, οι περιορισμοί σε πλαστικό και εργατοώρες οδηγούν στους ανισοτικούς περιορισμούς 12x 1 + 6x 2 + 3x 3 + 3x 4 40000 150x 1 + 60x 2 + 50x 3 + 40x 4 300000 Η επιχείρηση έχει ήδη μια παραγγελία που πρέπει να ικανοποιήσει. Επειδή έχουν ήδη παραγγελθεί 150 πόρτες, πρέπει να ισχύει ο περιορισμός x 1 150. Για τον ίδιο λόγο, πρέπει να ισχύουν οι περιορισμοί x 2 270, x 3 310 και x 4 450. Οι μεταβλητές x 1, x 2, x 3 και x 4 παριστάνουν φυσικές ποσότητες. Δεν πρέπει να επιτραπεί σε καμιά από αυτές να πάρει αρνητικές τιμές. Άρα πρέπει να είναι x 1 0, x 2 0, x 3 0 και x 4 0. Οι τελευταίοι περιορισμοί, οι περιορισμοί μη αρνητικότητας, είναι ασθενέστεροι των περιορισμών που προκύπτουν από τις παραγγελίες. Για παράδειγμα, όταν είναι x 1 150 είναι και x 1 0. Επειδή, οι φυσικοί περιορισμοί είναι περιττοί, μπορούν να παραληφθούν. Επομένως, το γραμμικό πρόβλημα είναι max 185000x 1 + 70000x 2 + 60000x 3 + 30000x 4 μ.π. 15x 1 + 4x 2 + 5x 3 + 3x 4 50000 (περιορισμός αλουμινίου) 12x 1 + 6x 2 + 3x 3 + 3x 4 40000 (περιορισμός

14 ΚΕΦΑΛΑΙΟ 1 Εισαγωγή στο γραμμικό προγραμματισμό πλαστικού) 150x 1 + 60x 2 + 50x 3 + 40x 4 300000 (περιορισμός εργατοωρών) x 1 150 x 2 270 x 3 310 x 4 450 (περιορισμοί παραγγελιών) Όσον αφορά στην ακεραιότητα των τιμών των μεταβλητών απόφασης είναι προφανές ότι αυτές πρέπει να είναι ακέραιες. Ο περιορισμός όμως της ακεραιότητας δεν είναι πολύ ισχυρός για αυτού του τύπου τα γραμμικά προβλήματα. Για αυτό το λόγο τον παραλείπουμε. Ένα άλλο κλασσικό πρόβλημα της Επιχειρησιακής Έρευνας είναι το πρόβλημα της δίαιτας. Το πρόβλημα αυτό είναι από τα πρώτα, αν όχι το πρώτο που επιλύθηκε στα πρώτα βήματα της Επιχειρησιακής Έρευνας. Παράδειγμα 1.3.2. Το πρόβλημα της δίαιτας (diet problem). Σε μια ειδική δίαιτα αδυνατίσματος έχει αποφασιστεί ότι η ημερήσια διατροφή πρέπει να αποτελείται από ψωμί, κρέας, λαχανικά, γαλακτοκομικά προϊόντα και φρούτα. Η δίαιτα πρέπει να επιτυγχάνει ένα συγκεκριμένο ρυθμό ελάττωσης βάρους. Για την επιτυχία του σκοπού αυτού η ποσότητα τροφής που καταναλώνεται ημερησίως δεν πρέπει να περιέχει περισσότερες από 1200 θερμίδες, περισσότερα από 100 mgr ζαχάρου και περισσότερα από 30 gr λιπαρών ουσιών. Επίσης, η δίαιτα πρέπει να ικανοποιεί ορισμένα ελάχιστα όρια υγιεινής διατροφής. Ημερησίως πρέπει να καταναλώνονται τουλάχιστον 100 mgr πρωτεϊνών και 25 mgr βιταμινών. Οι περιεκτικότητες σε θερμίδες, ζάχαρο, λιπαρά, πρωτεΐνες και βιταμίνες ανά μονάδα μέτρησης των διαφόρων ειδών διατροφής φαίνονται αναλυτικά στον Πίνακα 1.3.2. Αντικειμενικός σκοπός της επιχείρησης είναι ο προσδιορισμός των ποσοτήτων των διαφόρων τροφών που πρέπει να καταναλώνονται ημερησίως έτσι ώστε να επιτυγχάνονται οι δυο επιδιώξεις της επιχείρησης (ρυθμός ελάττωσης βάρους και ικανοποίηση ελαχίστων ορίων υγιεινής διατροφής) και να ελαχιστοποιείται το κόστος. Είδος Τροφής Ψωμί (Τεμάχια) Κρέας (Κιλά) Λαχανικά (Κιλά) Γαλακτοκομικά (Τεμάχια) Φρούτα (Τεμάχια) Θερμίδες Kcal ζάχαρο mgr Λιπαρά mgr Πρωτεΐνες mgr Βιταμίνες Mgr 400 35 10 5 3 3000 0 15 400 0 90 0 0 0 10 600 10 25 20 5 150 150 0 0 2