Εισαγωγή στους αλγορίθµους, Τόµος II

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Εισαγωγή στους αλγορίθµους, Τόµος II"

Transcript

1

2 Thomas H. Cormen Charles E. Leiserson Ronald L. Rivest CliffordStein Εισαγωγή στους αλγορίθµους, Τόµος II Απόδοση στα ελληνικά - Επιστηµονική επιµέλεια: Ιωάννης Παπαδόγγονας ÓÂappleÈÛÙËÌÈ ÎÂÛ Î ÔÛÂÈÛ ÚËÙËÛ Ιδρυτική ωρεά Παγκρητικής Ενώσεως Αµερικής ΗΡΑΚΛΕΙΟ

3 π ªπ π ƒ Ι ΡΥΜΑ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΕΡΕΥΝΑΣ Ηράκλειο Κρήτης, Τ.Θ. 38, 7. Τηλ. 8 37, Fax: 8 38 Αθήνα: Μάνης, 8. Τηλ , Fax: info@cup.gr ΣΕΙΡΑ: ΠΑΝΕΠΙΣΤΗΜΙΑΚΗ ΒΙΒΛΙΟΘΗΚΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ / ΕΠΙΣΤΗΜΗ ΥΠΟΛΟΓΙΣΤΩΝ È ı ÓÙÂÛ ÂÈÚ Û: ˆÚÁÈÔÛ ºÚ. ˆÚÁ ÎÔappleÔ ÏÔÛ, πˆ ÓÓËÛ apple ÔÁÁÔÓ Û Τίτλος πρωτοτύπου: c, : c για την ελληνική γλώσσα: Απόδοση στα ελληνικά, επιστηµονική επιµέλεια, επιµέλεια έκδοσης: Τελική ανάγνωση: Μακέτα εξωϕύλλου: Introduction to Algorithms, nd edition The Massachusetts Institute of Technology - MIT Press 3, Πανεπιστηµιακές Εκδόσεις Κρήτης ΙωάννηςΠαπαδόγγονας(ΠΕΚ) Γεώργιος Φρ. Γεωργακόπουλος Βάσω Αβραµοπούλου ISBN set ΤΟΜΟΣ ΙΙ

4 Συνοπτικά περιεχόµενα Τόµου I I Θεµελιώδεις έννοιες Ορόλοςτωναλγορίθµων στις υπολογιστικές διαδικασίες Προκαταρκτικές έννοιες και παρατηρήσεις 3 Ρυθµός αύξησης συναρτήσεων 4 4 Αναδροµικές σχέσεις Πιθανοτικήανά λυση και τυχαιοκρατικοί αλγόριθµοι II Ταξινόµηση και διατακτικές στατιστικές Ταξινόµηση σωρού 7 Ταχυταξινόµηση 43 8 Ταξινόµησησεγραµµικό χρόνο ιά µεσοι καιδιατακτικές στατιστικές 8 III οµές δεδοµένων Στοιχειώδεις δοµές δεδοµένων Πίνακες διασποράς υαδικάδένδρα αναζήτησης 3 3 Μελανέρυθρα δένδρα 73 4 Επαύξηση δοµών δεδοµένων 3 IV Ανώτερες τεχνικές σχεδίασης καιανάλυσης υναµικός προγραµµατισµός 33 Άπληστοι αλγόριθµοι 37 7 Αντισταθµιστική ανάλυση 48

5 vi Συνοπτικά περιεχόµενα Τόµου I V οµές δεδοµένων προηγµένης σχεδίασης 8 ένδρα Β 438 ιωνυµικοί σωροί 4 Σωροί Fibonacci 47 οµές δεδοµένων για παράσταση ξένων συνόλων VI Αλγόριθµοι γραϕηµάτων Στοιχειώδεις αλγόριθµοι γραϕηµάτων 3 Ελαϕρύτατα συνδετικά δένδρα 3 4 Οµοαϕετηριακές ελαϕρύτατες διαδροµές 8 Πανζευκτικές ελαϕρύτατες διαδροµές 3 Μέγιστη ροή 4 VII Παράρτηµα: Μαθηµατικό υπόβαθρο Αʹ Αθροίσµατα Π Βʹ Σύνολα, σχέσεις, γραϕήµατα και άλλα Π 4 Γʹ Απαρίθµηση καιπιθανότητες Π 37

6 Περιεχόµενα Τόµου II VIII Επιλεγµένα θέµατα Εισαγωγή 73 7 Ταξινοµητικάδίκτυα 7 7. Συγκριτικά δίκτυα 7 7. Η αρχή µηδέν-ένα Ένα διτονικό ταξινοµητικό δίκτυο Ένα συγχωνευτικό δίκτυο Ένα ταξινοµητικό δίκτυο 7 8 Πράξεις σε πίνακες 7 8. Ιδιότητες πινάκων 7 8. Ο αλγόριθµος του Strassen για πολλαπλασιασµό πινάκων Επίλυση συστηµάτων γραµµικών εξισώσεων Αντιστροϕή πινάκων Συµµετρικοί θετικά ορισµένοι πίνακες και προσέγγιση ελαχίστων τετραγώνων 7 Γραµµικός προγραµµατισµός 7. Τυπική και αποκλιτική µορϕή 77. ιατύπωση προβληµάτων µε τη µορϕή γραµµικών προγραµµάτων Ο πολυτοπικός αλγόριθµος 78.4 υϊκότητα 83. Η αρχική βασική εϕικτή λύση 8 3 Πολυώνυµα και FFT 8 3. Αναπαράσταση πολυωνύµων 8 3. Οι µετασχηµατισµοί DFT και FFT ραστικές υλοποιήσεις FFT 83

7 viii Περιεχόµενα Τόµου II 3 Αριθµοθεωρητικοί αλγόριθµοι Στοιχειώδεις έννοιες της θεωρίας αριθµών Μέγιστος κοινός διαιρέτης Υπολοιπική αριθµητική Επίλυση υπολοιπικών γραµµικών εξισώσεων 8 3. Το κινεζικό θεώρηµα του υπολοίπου 8 3. υνάµεις ενός στοιχείου Το κρυπτοσύστηµα δηµόσιου κλειδιού RSA Έλεγχος πρώτευσης Ακέραιη παραγοντοποίηση 8 3 Ταύτιση συµβολοσειρών 3. Ο απλοϊκός αλγόριθµος ταύτισης συµβολοσειρών 4 3. Ο αλγόριθµος Rabin-Karp Ταύτιση συµβολοσειρών µε πεπερασµένα αυτόµατα 3.4 Οαλγόριθµος Knuth-Morris-Pratt 8 33 Υπολογιστική γεωµετρία Ιδιότητες ευθύγραµµων τµηµάτων 33. Πώς προσδιορίζεται εάν υπάρχει ζεύγος τεµνόµενων τµηµάτων Εύρεση του κυρτού καλύµµατος Εύρεση του ζεύγους εγγύτατων σηµείων 34 NP-πληρότητα 34. Πολυωνυµικός χρόνος 34. Επαλήθευση πολυωνυµικού χρόνου NP-πληρότητα και αναγωγιµότητα Αποδείξεις NP-πληρότητας 34. NP-πλήρη προβλήµατα 8 3 Προσεγγιστικοί αλγόριθµοι 8 3. Το πρόβληµα του κοµβικού καλύµµατος 3. Το πρόβληµα του περιοδεύοντος πωλητή Το πρόβληµα της κάλυψης συνόλου 3.4 Τυχαιότητα και γραµµικός προγραµµατισµός Το πρόβληµα του αθροίσµατος υποσυνόλου 3 Γλωσσάριο (Ελληνοαγγλικό - Αγγλοελληνικό) Γ Βιβλιογραϕία Β Ευρετήριο Ε

8 VIII Επιλεγµένα θέµατα

9 Εισαγωγή Το µέρος αυτό περιλαµβάνει κάποια επιλεγµένα αλγοριθµικά ζητήµατα τα οποία επεκτείνουν και συµπληρώνουν την ύλη τωνπροηγούµενωνκεϕαλαίων.ορισµένα κεϕάλαια εισάγουν νέα µοντέλα υπολογισµού, όπως π.χ. τα συνδυαστικά κυκλώ- µατα ή οι παράλληλοι υπολογιστές. Άλλα καλύπτουν ειδικότερες περιοχές µελέτης όπως η υπολογιστικήγεωµετρίακαιη θεωρίααριθµών. Τα τελευταίαδύο κεϕάλαια πραγµατεύονταικάποιους από τους γνωστούς περιορισµούς στη σχεδίαση δραστικών αλγορίθµων και εισάγουν κάποιες τεχνικές για την αντιµετώπιση αυτών των περιορισµών. Στο Κεϕάλαιο 7 παρουσιάζεταιένα παράλληλοµοντέλο υπολογισµού: τασυγκριτικά δίκτυα. Σε γενικές γραµµές, ένα συγκριτικό δίκτυο είναι ένας αλγόριθµος ο οποίος επιτρέπει την ταυτόχρονη εκτέλεση πολλών συγκρίσεων. Στο κεϕάλαιο αυτό θα δούµε πώς µπορεί να κατασκευαστεί ένα συγκριτικό δίκτυο που είναι σε θέση να ταξινοµεί n αριθµούς σε χρόνο O(lg n). Στο Κεϕάλαιο 8 εξετάζονται κάποιοι δραστικοί αλγόριθµοι για εκτέλεση πράξεων σε πίνακες. Αϕού παρουσιαστούν ορισµένες βασικές ιδιότητες των πινάκων, αναλύεται ο αλγόριθµος του Strassen, ο οποίος επιτρέπει τον πολλαπλασιασµό δύο n n πινάκων σε χρόνο O(n,8 ).Στησυνέχεια παρουσιάζονται δύο γενικές µέθοδοι η ανάλυση LU και η ανάλυση LUP για την επίλυση γραµµικών εξισώσεων µέσω απαλοιϕής Gauss σε χρόνο O(n 3 ).Αποδεικνύεται επίσης ότι η αντιστροϕή πίνακα και ο πολλαπλασιασµός πινάκων µπορούν να εκτελεστούν εξίσου δραστικά. Τέλος, παρουσιάζεται ο τρόπος υπολογισµού µιας προσεγγιστικής λύσης τύπου ελαχίστωντετραγώνων στην περίπτωση που ένα σύνολο γραµµικών εξισώσεων δεν έχει ακριβή λύση. Το Κεϕάλαιο συνίσταται στη µελέτη του γραµµικού προγραµµατισµού, όπου το ζητούµενο είναι να µεγιστοποιηθεί ή να ελαχιστοποιηθεί κάποια ποσότητα, υπό δεδοµένους περιορισµένους πόρους και αντικρουόµενους περιορισµούς. Τα προβλήµατα γραµµικού προγραµµατισµού ανακύπτουν σε διάϕορες περιοχές πρακτικών εϕαρµογών. Το συγκεκριµένο κεϕάλαιο καλύπτει τη διατύπωση και επίλυση γραµµικών προγραµµάτων µέσω του πολυτοπικού αλγορίθµου, που είναι ο παλαιότεροςαλγόριθµος για γραµµικό προγραµµατισµό. Αντίθετα από πολλούς αλγορίθ- µους αυτού του βιβλίου, ο πολυτοπικός αλγόριθµος δεν έχει πολυωνυµικό χρόνο

10 74 Μέρος VIII Επιλεγµένα θέµατα εκτέλεσης στη χειρότερη περίπτωση, αλλά είναι αρκετά δραστικός και χρησιµοποιείται ευρύτατα σε πρακτικές εϕαρµογές. Στο Κεϕάλαιο 3 εξετάζονταιπράξεις σε πολυώνυµα, και αποδεικνύεται ότι µέσω µιας γνωστής τεχνικής επεξεργασίας σηµάτων του «ταχέος µετασχηµατισµού Fourier», ή FFT είναι δυνατός ο πολλαπλασιασµός δύο πολυωνύµων βαθµού n σε χρόνο O(n lg n). ιερευνώνται επίσης κάποιες δραστικές υλοποιήσεις της τεχνικής FFT, στις οποίες συµπεριλαµβάνεται και ένα παράλληλο κύκλωµα. Το Κεϕάλαιο 3 πραγµατεύεταιαριθµοθεωρητικούςαλγορίθµους. Μετάαπό µια αρχική επισκόπηση των στοιχειωδών εννοιών της θεωρίας αριθµών, παρουσιάζεται ο αλγόριθµος του Ευκλείδη για τον υπολογισµό µέγιστων κοινών διαιρετών. Εν συνεχεία, παρουσιάζονται αλγόριθµοι για επίλυση υπολοιπικών γραµµικών εξισώσεων και για τηνύψωσηενόςαριθµούσεκάποιαδύναµη modulo έναν άλλο αριθµό. Κατόπιν, εξετάζεται µια σηµαντική εϕαρµογή των αριθµοθεωρητικών αλγορίθµων: το κρυπτοσύστηµα δηµόσιου κλειδιού RSA. Το συγκεκριµένο κρυπτοσύστηµα µπορεί να χρησιµοποιηθεί όχι µόνο για κρυπτογράϕηση µηνυµάτων έτσι ώστε να είναι αδύνατον να τα διαβάσει ένας επίδοξος λαθρακουστής, αλλά και για τη δηµιουργία ψηϕιακών υπογραϕών. Στη συνέχεια, παρουσιάζεται ο τυχαιοκρατικός έλεγχος πρώτευσης Miller-Rabin, ο οποίος επιτρέπει την ταχεία εύρεση µεγάλων πρώτων αριθµών που απαιτεί ουσιώδη προϋπόθεση για το σύστηµα RSA. Τέλος το κεϕάλαιο καλύπτει το ευρετικό τέχνασµα «ρο» του Pollard για παραγοντοποίηση ακεραίων και εξετάζει τις τελευταίες εξελίξεις στο ζήτηµα της ακέραιας παραγοντοποίησης. Στο Κεϕάλαιο 3 εξετάζεται το πρόβληµα της εύρεσης όλων των εµϕανίσεων µιας δεδοµένης «µορϕοτυπικής» συµβολοσειράς σε ένα δεδοµένο κείµενο, πρόβληµα το οποίο ανακύπτει συχνά στα προγράµµατα επεξεργασίας κειµένου. Αϕού εξεταστεί η απλοϊκή µέθοδος αντιµετώπισης του προβλήµατος, παρουσιάζεται η κοµψή τεχνική των Rabin και Karp. Εν συνεχεία, παρατίθεται µια δραστική λύση που βασίζεταισε πεπερασµένα αυτόµατα,καικατόπινοαλγόριθµος Knuth-Morris- Pratt, ο οποίος επιτυγχάνει αυξηµένη δραστικότηταµεέξυπνη προεπεξεργασίατου µορϕοτύπου. Το Κεϕάλαιο 33 έχει ως αντικείµενο την υπολογιστική γεωµετρία. Αϕού εξεταστούν κάποια βασικά στοιχεία της υπολογιστικής γεωµετρίας, παρουσιάζεται µια µέθοδος «σάρωσης» µε την οποία µπορεί να προσδιοριστεί δραστικά εάν σε ένα σύνολο ευθύγραµµων τµηµάτων υπάρχει έστω ένα ζεύγος τεµνόµενων τµηµάτων. Οι δυνατότητες των µεθόδων σάρωσης αναδεικνύονται περαιτέρω µέσω δύο έξυπνων αλγορίθµων για την εύρεση του κυρτού καλύµµατος ενός συνόλου στοιχείων της σάρωσης Graham και της προέλασης Jarvis. Το κεϕάλαιο ολοκληρώνεται µε έναν δραστικό αλγόριθµο για την εύρεση του ζεύγους εγγύτατων σηµείων σε ένα δεδοµένο σύνολο σηµείων στο επίπεδο. Το Κεϕάλαιο 34 αϕορά τα NP-πλήρη προβλήµατα. Πολλά ενδιαϕέροντα υπολογιστικά προβλήµατα είναι NP-πλήρη, χωρίς να έχει βρεθεί για κανένα από αυτά αλγόριθµος πολυωνυµικού χρόνου. Στο κεϕάλαιο αυτό παρουσιάζονται τεχνικές µε τις οποίες µπορεί να προσδιοριστεί πότε ένα πρόβληµα είναι NP-πλήρες. ιά- ϕορα κλασικά προβλήµατα είναι αποδεδειγµένα NP-πλήρη: ο προσδιορισµός του εάν ένα γράϕηµα περιέχει χαµιλτονιανό κύκλο, ο προσδιορισµός του εάν ένας λογικός τύπος είναι αληθεύσιµος, και ο προσδιορισµός του εάν ένα δεδοµένο σύνολο αριθµών έχει υποσύνολο του οποίου τα στοιχεία να έχουν άθροισµα µια δεδοµένη

11 Μέρος VIII Επιλεγµέναθέµατα 7 τιµή-στόχο. Στο κεϕάλαιο αυτό αποδεικνύεται επίσης ότι το περιβόητο πρόβληµα του περιοδεύοντος πωλητή είναι NP-πλήρες. Στο Κεϕάλαιο 3 εξετάζεται η χρήση προσεγγιστικών αλγορίθµων για τη δραστική εύρεση προσεγγιστικών λύσεων για NP-πλήρη προβλήµατα. Για ορισµένα NP-πλήρη προβλήµατα είναι σχετικά εύκολο να βρεθούν προσεγγιστικές λύσεις που να είναι σχεδόν βέλτιστες, ενώ για άλλα ακόµη και οι καλύτεροι γνωστοί προσεγγιστικοί αλγόριθµοι παρουσιάζουν σταδιακά χειρότερη επίδοση καθώς αυξάνεται το µέγεθος του προβλήµατος. Υπάρχουν τέλος ορισµένα προβλήµατα όπου όσο περισσότερο υπολογιστικό χρόνο αϕιερώσει κανείς τόσο καλύτερη θα είναι και η προσεγγιστική λύση που θα πάρει. Τα παραπάνω ενδεχόµενα παρουσιάζονται στο κεϕάλαιο αυτό µέσω του προβλήµατος του κοµβικού καλύµµατος (στην αβαρή και την εµβαρή εκδοχή του), µιας βελτιστοποιητικής εκδοχής της αληθευσι- µότητας3-σκμ, του προβλήµατος του περιοδεύοντος πωλητή, του προβλήµατος της κάλυψης συνόλου, και του προβλήµατος του αθροίσµατος υποσυνόλου.

12 7 Ταξινοµητικάδίκτυα Στο Μέρος II, µελετήσαµε αλγορίθµους ταξινόµησης για σειριακούς υπολογιστές (µηχανές άµεσης προσπέλασης, ή αλλιώς RAM), οι οποίοι έχουν τη δυνατότητα να εκτελούν µόνο µία πράξη κάθε ϕορά. Στο κεϕάλαιο αυτό, θα µελετήσουµε αλγορίθµους που βασίζονται σε ένα διαϕορετικό µοντέλο υπολογισµού, το µοντέλο του λεγόµενου «συγκριτικού δικτύου», το οποίο επιτρέπει την ταυτόχρονη εκτέλεση πολλών πράξεων σύγκρισης. Τα συγκριτικάδίκτυα διαϕέρουναπότιςµηχανέςάµεσηςπροσπέλασηςκατάδύο σηµαντικές απόψεις. Πρώτον, δεν έχουν καµία άλλη δυνατότητα πέραν της εκτέλεσης συγκρίσεων. Εποµένως, ένας αλγόριθµος όπως η απαριθµητική ταξινόµηση (βλ. Ενότητα 8.) δεν είναι δυνατόν να υλοποιηθεί σε ένα τέτοιο δίκτυο. εύτερον, αντίθετα απ ό,τι στο µοντέλο RAM, όπου οι πράξεις λαµβάνουν χώρα σειριακά δηλαδή, η µία κατόπιν της άλλης, σε ένα συγκριτικό δίκτυο οι πράξεις µπορούν να πραγµατοποιούνται ταυτόχρονα,ή «παράλληλα». Όπως θα δούµε, αυτή η ιδιότητα επιτρέπει τηνκατασκευή συγκριτικών δικτύων τα οποία ταξινοµούν n τιµές σε υπογραµµικό χρόνο. Ως πρώτο βήµα, στην Ενότητα 7. διατυπώνεται ο ορισµός των συγκριτικών δικτύων και των ταξινοµητικών δικτύων. Παρατίθεται επίσης ένας ϕυσικός ορισµός του «χρόνου εκτέλεσης» ενός συγκριτικού δικτύου συναρτήσει του βάθους του. Στην Ενότητα 7. αποδεικνύεται η «αρχή µηδέν-ένα», η οποία διευκολύνει εξαιρετικά το έργο της ανάλυσης ορθότητας των ταξινοµητικών δικτύων. Το δραστικόταξινοµητικόδίκτυο τοοποίο θασχεδιάσουµεείναικατ ουσίανµια παράλληλη εκδοχή του αλγορίθµου της συγχωνευτικής ταξινόµησης που παρουσιάστηκε στην Ενότητα.3.. Η διαδικασία της κατασκευής αποτελείται από τρία βήµατα. Στην Ενότητα 7.3 παρουσιάζεται η σχεδίαση ενός «διτονικού» ταξινοµητή, ο οποίος θα αποτελέσει και το βασικό δοµικό µας στοιχείο. Στην Ενότητα 7.4, οδιτονικόςταξινοµητής τροποποιείται ελαϕρά προκειµένου να παραχθεί ένα συγχωνευτικό δίκτυο που είναι σε θέση να συγχωνεύει δύο ταξινοµηµένες ακολουθίες σε µία ταξινοµηµένη ακολουθία. Τέλος, στην Ενότητα 7., τα συγχωνευτικά αυτά δίκτυα «συναρµολογούνται» σε ένα ταξινοµητικό δίκτυο που µπορεί να ταξινοµεί n τιµές σε χρόνο O(lg n). 7. Συγκριτικάδίκτυα Τα ταξινοµητικά δίκτυα είναι συγκριτικά δίκτυα που ταξινοµούν πάντοτε την είσοδό τους, και εποµένως είναι εύλογο να ξεκινήσουµε την παρουσίασή µας µε τα

13 7. Συγκριτικά δίκτυα 77 x y συγκριτής xʹ = min(x, y) yʹ = max(x, y) x y xʹ = min(x, y) yʹ = max(x, y) (α) (β) Σχήµα 7. (α) Ένας συγκριτής µεεισόδουςx,και y και εξόδους x και y. (β) Οίδιοςσυγκριτής, σχεδιασµένος ως µια απλή κατακόρυϕη γραµµή. Στο συγκεκριµένο παράδειγµα, οι είσοδοι είναι x =7,y=3και οι έξοδοι x =3,y =7. συγκριτικά δίκτυα και τις ιδιότητές τους. Ένα συγκριτικό δίκτυο αποτελείται αποκλειστικά από αγωγούς και συγκριτές. Ένας συγκριτής (Σχήµα 7.(α)) είναι µια συσκευή µε δύο εισόδους, x και y, καιδύοεξόδους,x και y,ηοποία υπολογίζει την ακόλουθη συνάρτηση: x = min(x, y), y = max(x, y). Επειδή η γραϕική αναπαράσταση ενός συγκριτή κατά το πρότυπο του Σχήµατος 7.(α) είναι υπερβολικά «ανοικονόµητη» για τους σκοπούς µας, κατά σύµβαση θα απεικονίζουµε τους συγκριτές ως απλές κατακόρυϕες γραµµές, όπως ϕαίνεται στο Σχήµα 7.(β). Οι είσοδοι αναγράϕονται στα αριστερά και οι έξοδοι στα δεξιά, ενώ η µικρότερη από τις δύο τιµές εισόδου αναγράϕεται στο επάνω µέρος της εξόδου και η µεγαλύτερη στο κάτω. Εποµένως, µπορεί κανείς να θεωρεί ότι ένας συγκριτής ταξινοµεί τις δύο εισόδους του. Θα υποθέσουµε ότι ο κάθε συγκριτής έχει χρόνο εκτέλεσης O(). Με άλλα λόγια, θα υποθέσουµε ότι ανάµεσα στην εµϕάνιση των τιµών εισόδου x και y και στην παραγωγή των τιµών εξόδου x και y µεσολαβεί κάποιο σταθερό χρονικό διάστη- µα. Ένας αγωγός µεταβιβάζει µια τιµή από κάποιο σηµείο σε κάποιο άλλο. Οι αγωγοί µπορούν να συνδέουν την έξοδο ενός συγκριτή µε την είσοδο ενός άλλου, ή να είναι αγωγοί εισόδου ή εξόδου του δικτύου. Στο κεϕάλαιο αυτό, υποθέτουµε εν γένει ότι ένα συγκριτικό δίκτυο περιλαµβάνει n αγωγούς εισόδου a,a,...,a n, µέσω των οποίων εισέρχονται στο δίκτυο οι ταξινοµητέες τιµές, και n αγωγούςεξόδου b,b,...,b n,οιοποίοι αποδίδουν τα αποτελέσµατα που υπολογίζει το δίκτυο. Επίσης, ορίζουµε ως ακολουθία εισόδου a,a,..., a n και ακολουθία εξόδου b,b,..., b n τις τιµές των αγωγών εισόδου και εξόδου, αντίστοιχα. ηλαδή, χρησιµοποιούµε την ίδια ονοµασία τόσο για τον ίδιο τον αγωγό όσο και για την τιµή που ϕέρει. Το πού αναϕερόµαστε κάθε ϕορά θα είναι σαϕές από τα συµϕραζόµενα. Στο Σχήµα 7. βλέπουµε ένα συγκριτικό δίκτυο, τοοποίο αποτελείται από ένα σύνολο συγκριτών συνδεδεµένων µέσω αγωγών. Ένα συγκριτικό δίκτυο n εισόδων σχεδιάζεταιωςένασύνολοn οριζόντιων γραµµών µεσυγκριτέςοι οποίοι εκτείνονται στην κατακόρυϕη διεύθυνση. Σηµειωτέον ότι µια γραµµή δεν αντιπροσωπεύει έναν µόνο αγωγό, αλλά µια αλληλουχία διακεκριµένων αγωγών οι οποίοι συνδέουν διάϕορους συγκριτές. Στο Σχήµα 7., παραδείγµατος χάριν, η πρώτη γραµµή από πάνω αντιπροσωπεύει τρεις αγωγούς: τον αγωγό εισόδου a,οοποίος συνδέεται µε µια είσοδο του συγκριτή A.έναν αγωγόο οποίος συνδέει την επάνω έξοδο του συγκριτή A µε µια είσοδο του συγκριτή C.καιτοναγωγόεξόδουb,οοποίος εξέρχεται

14 78 Κεϕάλαιο 7 Ταξινοµητικά δίκτυα a a a 3 a 4 A B C D E b b b 3 b 4 a a a 3 a 4 A B C D E b b b 3 b 4 (α) βάθος (β) a a a 3 a 4 A B C D E b b b 3 b 4 a a a 3 a 4 A B C D E b b b 3 b 4 βάθος βάθος (γ) (δ) 3 Σχήµα 7. (α) Ένα συγκριτικόδίκτυο µε4εισόδους και 4 εξόδους, το οποίο στην πραγµατικότητα είναι ένα ταξινοµητικό δίκτυο. Τηχρονική στιγµή, εµϕανίζονται στους τέσσερεις αγωγούςεισόδου οι αναγραϕόµενες τιµές εισόδου. (β) Τη χρονική στιγµή, εµϕανίζονται στιςεξόδους των συγκριτών A και B, οιοποίεςβρίσκονταισεβάθος, οιαναγραϕόµενες τιµές. (γ) Τη χρονική στιγµή, εµϕανίζονται στις εξόδους των συγκριτών C και D, οιοποίεςβρίσκονταισεβάθος, οιαναγραϕόµενες τιµές. Στο σηµείο αυτό, οι αγωγοί εξόδου b και b 4 έχουν λάβει τις τελικές τους τιµές, ενώ οι αγωγοί εξόδου b και b 3 όχι. (δ) Τη χρονική στιγµή 3, εµϕανίζονταιστιςεξόδους του συγκριτή E, που βρίσκονται σε βάθος 3, οιαναγραϕόµενες τιµές. Οι αγωγοί εξόδου b και b 3 έχουν πλέον λάβει τις τελικές τους τιµές. από την επάνω έξοδο του συγκριτή C. Η κάθε είσοδος ενός συγκριτή συνδέεται µε έναν αγωγό ο οποίος είτε είναι κάποιος από τους n αγωγούς εισόδου του δικτύου, a,a,...,a n,είτεσυνδέεταιµετηνέξοδοκάποιου άλλου συγκριτή. Αντίστοιχα, ηκάθεέξοδοςενόςσυγκριτήσυνδέεταιµεέναν αγωγό ο οποίος είτε είναι κάποιος από τους n αγωγούς εξόδουτουδικτύου,b,b,...,b n,είτεσυνδέεταιµετηνείσοδο κάποιου άλλου συγκριτή. Η βασική συνθήκη που πρέπει να πληροί η διασύνδεση συγκριτών είναι ότι το γράϕηµα των διασυνδέσεων θα πρέπει να είναι άκυκλο: εάν διατρέξουµε µια διαδροµή από την έξοδο ενός δεδοµένου συγκριτή µέχρι την είσοδο κάποιου άλλου, και από εκεί σε κάποια έξοδο, και εν συνεχεία σε κάποια είσοδο, κ.λπ., η διαδροµή αυτή δεν θα πρέπει να επανέρχεται ποτέ στον εαυτό της και να διέρχεται από την ίδιο συγκριτή ξανά. Εποµένως µπορούµε, όπως στο Σχήµα 7., να σχεδιάσουµε ένα συγκριτικό δίκτυο τοποθετώντας τις εισόδους του αριστερά και τις εξόδους του δεξιά. τα δεδοµένα µετακινούνται δια µέσου του δικτύου από τα αριστερά προς τα δεξιά. Οκάθεσυγκριτήςπαράγει τις τιµές εξόδου του µόνο όταν έχει στη διάθεσή του αµϕότερες τις τιµές εισόδου του. Στο Σχήµα 7.(α), παραδείγµατος χάριν, έστω ότι η ακολουθία,,, εµϕανίζεται στους αγωγούς εισόδου τη χρονική στιγµή. Τη στιγµή, εποµένως,µόνο οι συγκριτές A και B έχουν στη διάθεσή τους όλες τις τιµές εισόδου τους. Εάν δεχθούµε ότι κάθε συγκριτής χρειάζεται µία µονάδα χρόνου για να υπολογίσει τις τιµές εξόδου του, έπεται ότι οι συγκριτές A και B πα-

15 7. Συγκριτικά δίκτυα 7 ράγουντιςεξόδουςτουςτηχρονικήστιγµή.οιπροκύπτουσες τιµές αναγράϕονται στο Σχήµα 7.(β). Σηµειωτέον ότι οι συγκριτές A και B παράγουν τις τιµές τους ταυτόχρονα, ή «παράλληλα». Εν συνεχεία, τη χρονική στιγµή, οι συγκριτές C και D, έχουν στη διάθεσή τους όλες τις τιµές εισόδου τους, κάτι που δεν ισχύει όµως για τον E. Μίαµονάδα χρόνου αργότερα, τη χρονική στιγµή, οισυγκεκρι- µένοι συγκριτέςπαράγουντις εξόδους τους, όπως βλέπουµε στο Σχήµα 7.(γ). Οι συγκριτές C και D λειτουργούν επίσης παράλληλα. Η επάνω έξοδος του συγκριτή C και η κάτω έξοδος του συγκριτή D συνδέονται µε τους αγωγούς εξόδου b και b 4,αντίστοιχα,του συγκριτικού δικτύου, και εποµένως αυτοί οι αγωγοί εξόδου του δικτύου ϕέρουν τις τελικές τους τιµές τη χρονική στιγµή. Εν τω µεταξύ, τη χρονική στιγµή,οσυγκριτής E έχει στη διάθεσή του τις εισόδους του, και εποµένως, όπως βλέπουµε στο Σχήµα 7.(δ), παράγει µε τη σειρά του τις τιµές εξόδου του τη χρονική στιγµή 3. Οι τιµές αυτές µεταβιβάζονται στους αγωγούς εξόδου του δικτύου b και b 3,καιεποµένως η ακολουθία εξόδου,,, έχει πλέον ολοκληρωθεί. Υπό την παραδοχή ότι κάθε συγκριτής χρειάζεται µοναδιαίο χρόνο, µπορούµε να ορίσουµε τον «χρόνο εκτέλεσης» ενός συγκριτικού δικτύου, δηλαδή τον χρόνο που απαιτείται προκειµένου όλοι οι αγωγοί εξόδου να λάβουν τις τιµές τους από τη στιγµή που οι αγωγοί εισόδου λαµβάνουν τις δικές τους. Άτυπα, ο χρόνος αυτός ισούται µε το µέγιστο πλήθος συγκριτών από τους οποίους µπορεί να διέλθει οποιοδήποτε στοιχείο εισόδου κατά τη µεταϕορά του από έναν αγωγό εισόδου µέχρι έναν αγωγό εξόδου. Σε τυπικό επίπεδο, ορίζουµε το βάθος ενός αγωγού ως εξής. Οποιοσδήποτε αγωγός εισόδου ενός συγκριτικού δικτύου έχει βάθος. Περαιτέρω, εάν ένας συγκριτής έχει δύο αγωγούς εισόδου µε βάθη d x και d y,τότεοι αγωγοί εξόδου του έχουν βάθος max(d x,d y )+. εδοµένου ότι σε ένα συγκριτικό δίκτυο δεν υπάρχουν κύκλοι συγκριτών, τοβάθοςενός αγωγού είναι καλά ορισµένο, και ορίζουµε ως βάθος ενός συγκριτή το βάθος των αγωγών εξόδου του. Στο Σχήµα 7. παρατίθενται τα βάθη των διαϕόρων συγκριτών. Το βάθος ενός συγκριτικού δικτύου ισούται µε το µέγιστο από τα βάθη όλων των αγωγών εξόδου ή, ισοδύναµα, µε το µέγιστο από τα βάθη όλων των συγκριτών. Το συγκριτικό δίκτυο του Σχήµατος 7., παραδείγµατος χάριν, έχει βάθος 3, διότι ο συγκριτής E έχει βάθος 3. Εάνκάθεσυγκριτής χρειάζεται µία µονάδα χρόνου για να παραγάγει την τιµή εξόδου του, και εάν οι τιµές εισόδου του δικτύου δίνονται τη χρονική στιγ- µή, τότεέναςσυγκριτήςβάθουςd παράγει την έξοδό του τη χρονική στιγµή d. εποµένως, το βάθος του δικτύου ισούται µε τον χρόνο που απαιτείται προκειµένου το δίκτυο να παραγάγει τιµές σε όλους τους αγωγούς εξόδου του. Ένα ταξινοµητικό δίκτυο είναιένα συγκριτικόδίκτυοστοοποίοηακολουθία εξόδου είναι µονότονα αύξουσα (δηλαδή, b b b n )γιακάθε ακολουθία εισόδου. Αν και τα συγκριτικά δίκτυα δεν είναι, ϕυσικά, όλα ταξινοµητικά, ωστόσο το δίκτυο του Σχήµατος 7. είναι. Αυτό µπορεί να διαπιστωθεί ως εξής. Παρατηρούµε ότι µετά από τη χρονική, ηελάχιστηαπότις τέσσερεις τιµές εισόδου έχει εµϕανιστεί είτε στην επάνω έξοδο του συγκριτή A είτε στην επάνω έξοδο του συγκριτή B. Εποµένως,µετά από τη χρονική στιγµή, θα πρέπει να βρίσκεται στην επάνω έξοδο του συγκριτή C. Μεαντίστοιχοσκεπτικό, συµπεραίνουµε ότι µετά τη χρονική στιγµή, ηµέγιστηαπότις τέσσερεις τιµές εισόδου έχει εµϕανιστεί στην κάτω έξοδο του συγκριτή D. Τοµόνοπουαποµένει είναι να εξασϕαλιστεί µέσω του συγκριτή E ότι οι δύο ενδιάµεσες τιµές καταλαµβάνουν τις σωστές θέσεις εξόδου, το οποίο συµβαίνει τη χρονική στιγµή 3.

16 7 Κεϕάλαιο 7 Ταξινοµητικά δίκτυα Ένα συγκριτικό δίκτυο µοιάζει µε µια διαδικασία από την άποψη ότι καθορίζει πώς πρόκειται να εκτελεστούν οι συγκρίσεις, αλλά διαϕέρει από την άποψη ότι το µέγεθός του το πλήθος των συγκριτών που περιέχει εξαρτάται από το πλήθος των εισόδων και των εξόδων. Ως εκ τούτου, η περιγραϕή µας αϕορά στην πραγ- µατικότητα «οικογένειες» συγκριτικών δικτύων. Παραδείγµατος χάριν, ο στόχος του κεϕαλαίου αυτού είναι η ανάπτυξη µιας οικογένειας δραστικώνταξινοµητικών δικτύων, την οποία αποκαλούµε ÍÈÓÔÌËÙËÛ. Γιανααναϕερθούµε σε ένα δεδο- µένο δίκτυο-µέλος κάποιας οικογένειας, δηλώνουµε την ονοµασία της οικογένειας και το πλήθος των εισόδων (το οποίο ισούται µε το πλήθος των εξόδων). Παραδείγµατος χάριν, το ταξινοµητικό δίκτυο n εισόδων και n εξόδων της οικογένειας ÍÈÓÔÌËÙËÛ ονοµάζεται ÍÈÓÔÌËÙËÛ[n]. Ασκήσεις 7.- Προσδιορίστε τις τιµέςπου εµϕανίζονται σε όλους τους αγωγούς του δικτύου του Σχήµατος 7. όταν δίνεται ως είσοδος η ακολουθία,,,. 7.- Έστω ότι το n είναι κάποιαδύναµη του. είξτεπώςµπορεί να κατασκευαστεί ένα συγκριτικό δίκτυο n εισόδων και n εξόδων µε βάθος lg n στο οποίο ο πρώτος από πάνω αγωγός εξόδου ϕέρει πάντοτε την ελάχιστη τιµή εισόδου και ο πρώτος από κάτω τη µέγιστη Προσθέτοντας έναν συγκριτή σε ένα ταξινοµητικό δίκτυο, µπορούµε να πάρουµε ένα συγκριτικό δίκτυο που δεν είναι ταξινοµητικό. είξτε πώς µπορεί να προστεθεί ένας συγκριτής στο δίκτυο του Σχήµατος 7. µε τέτοιον τρόπο ώστε το προκύπτον δίκτυο να µην ταξινοµεί όλες τις µεταθέσεις της εισόδου Αποδείξτε ότι οποιοδήποτε ταξινοµητικό δίκτυο µε n εισόδους έχει βάθος µεγαλύτερο ή ίσο του lg n. 7.- Αποδείξτε ότι το πλήθος των συγκριτών σε οποιοδήποτε ταξινοµητικό δίκτυο είναι Ω(n lg n). 7.- Έστω το συγκριτικό δίκτυο του Σχήµατος 7.3. Αποδείξτε ότι το συγκεκριµένο δίκτυο είναι στην πραγµατικότητα ταξινοµητικό,και περιγράψτε πώς σχετίζεται η δοµή του µε εκείνη της ενθετικήςταξινόµησης (Ενότητα.) Ένα συγκριτικό δίκτυο n εισόδων µε c συγκριτές µπορεί να αναπαρασταθεί ως ένας κατάλογος από c ζεύγη ακεραίων στο διάστηµα από έως n. Εάνδύοζεύγη περιλαµβάνουν κάποιον ακέραιο από κοινού, η σειρά των αντίστοιχων συγκριτών στο δίκτυο καθορίζεται από τη σειρά των ζευγών στον κατάλογο. Με δεδοµένη αυτήν την αναπαράσταση, περιγράψτε έναν (σειριακό) αλγόριθµο χρόνου O(n + c) για τον προσδιορισµό του βάθους ενός συγκριτικού δικτύου.

17 7. Η αρχή µηδέν-ένα 7 a a a 3 a 4 a a a 7 a 8 b b b 3 b 4 b b b 7 b 8 Σχήµα 7.3 Το συγκριτικό δίκτυο που χρησιµοποιείται στην Άσκηση 7.-, καιτο οποίο βασίζεται στην ενθετική ταξινόµηση Ας υποθέσουµε ότι εκτός από τον «συµβατικό» τύπο συγκριτή εισάγουµε επίσης ένα είδος «ανεστραµµένου» συγκριτή ο οποίος εξάγει το µικρότερο από τα στοιχεία εξόδου του στον κάτω αγωγό και το µεγαλύτερο στον πάνω. είξτε πώς µπορεί να µετατραπεί οποιοδήποτε ταξινοµητικό δίκτυο που αποτελείται από c συνολικά συµβατικούς και ανεστραµµένους συγκριτές σε ένα δίκτυο που αποτελείται από c συµβατικούς. Αποδείξτε ότι η µέθοδος µετατροπής που καταστρώσατε είναι ορθή. 7. Η αρχή µηδέν-ένα Η αρχή µηδέν-ένα ορίζει ότι εάν ένα ταξινοµητικό δίκτυο λειτουργεί σωστά όταν όλα τα στοιχεία εισόδου προέρχονται από το σύνολο {, }, τότε λειτουργεί σωστά και για οποιουσδήποτε αριθµούς εισόδου. (Οι αριθµοί αυτοί µπορεί να είναι ακέραιοι, πραγµατικοί, ή εν γένει οποιοδήποτε σύνολο τιµών οι οποίες προέρχονται από κάποιο γραµµικά διατεταγµένο σύνολο.) Στο πλαίσιο της κατασκευής ταξινοµητικών και άλλων συγκριτικών δικτύων, η αρχή µηδέν-ένα µας επιτρέπει να εστιάσουµε την προσοχή µας στη λειτουργία αυτών των δικτύων επί ακολουθιών εισόδου που αποτελούνται αποκλειστικά από και. Άπαξ και κατασκευάσουµε ένα ταξινοµητικό δίκτυοκαιαποδείξουµε ότι µπορεί να ταξινοµήσει οποιαδήποτε ακολουθία τύπου µηδέν-ένα, επικαλούµαστε την αρχή µηδέν-ένα για να αποδείξουµε ότι ταξινοµεί σωστά και ακολουθίες αυθαίρετωντιµών. Η απόδειξη της αρχής µηδέν-ένα βασίζεται στην έννοια της µονότονα αύξουσας συνάρτησης (Ενότητα 3.). Λήµµα 7. Εάν ένα συγκριτικό δίκτυο µετασχηµατίζει την ακολουθία εισόδου a = a,a,...,a n στην ακολουθία εξόδου b = b,b,...,b n,τότεγιαοποιαδήποτε µονότονα αύξουσα συνάρτηση f,το δίκτυο µετασχηµατίζει την ακολουθία εισόδου f(a) = f(a ),f(a ),...,f(a n ) στην ακολουθία εξόδου f(b) = f(b ),f(b ),...,f(b n ). Απόδειξη Κατ αρχάς, θα αποδείξουµε ότι εάν η f είναι µια µονότονα αύξουσα συνάρτηση, τότε ένας µεµονωµένος συγκριτής πουδέχεταιωςείσοδοτις τιµές f(x)

18 7 Κεϕάλαιο 7 Ταξινοµητικά δίκτυα f (x) f (y) min(f (x)), f (y)) = f (min(x, y)) max(f (x)), f (y)) = f (max(x, y)) Σχήµα 7.4 Ηλειτουργίατουσυγκριτήπου περιγράϕεται στην απόδειξη του Λήµµατος 7.. Η συνάρτηση f είναι µονότονα αύξουσα. και f(y) αποδίδει ως έξοδο τις τιµές f(min(x, y)) και f(max(x, y)). Κατόπιν,θα αποδείξουµε το λήµµα µέσω επαγωγής. Για να αποδείξουµε τον παραπάνω ισχυρισµό, θεωρούµε έναν συγκριτή ο οποίος δέχεται ως είσοδο τις τιµές x και y. Οσυγκριτής αυτός αποδίδει στην πάνω έξοδο την τιµή min(x, y) και στηνκάτωτην τιµή max(x, y). Αςυποθέσουµεστησυνέχεια ότι εισάγουµε στις εισόδους του συγκριτή τις τιµές f(x) και f(y), όπωςϕαίνεται στο Σχήµα 7.4, οπότε ο συγκριτής αποδίδει την τιµή min(f(x),f(y)) στην πάνω έξοδο και την τιµή max(f(x),f(y)) στην κάτω. εδοµένου ότι η f είναι µονότονα αύξουσα, η σχέση x y συνεπάγεται ότι f(x) f(y). Εποµένως, παίρνουµε τις ταυτότητες min(f(x),f(y)) = f(min(x, y)), max(f(x),f(y)) = f(max(x, y)). Συνεπώς, όταν ο συγκριτής δέχεται ως είσοδο τις τιµές f(x) και f(y) αποδίδει τις τιµέςf(min(x, y)) και f(max(x, y)), οπότεοισχυρισµός έχει αποδειχθεί. Χρησιµοποιώντας επαγωγή ως προς το βάθος του κάθε αγωγού σε ένα τυχόν συγκριτικό δίκτυο, µπορούµε να αποδείξουµεένααποτέλεσµαισχυρότερο από το ζητούµενο λήµµα: εάν ένας αγωγός λαµβάνει την τιµή a i όταν εισάγεται στο δίκτυο ηακολουθία a,τότε,όταν εισαχθεί στο δίκτυο η ακολουθία f(a) θα λάβει την τιµή f(a i ). εδοµένου ότι η παραπάνω πρόταση περιλαµβάνει τους αγωγούς εξόδου, αποδεικνύοντάς την αποδεικνύουµε και το λήµµα. Όσον αϕορά την εναρκτήρια περίπτωση, έστω ένας αγωγός σε βάθος, δηλαδή ένας αγωγός εισόδου a i.στηνπερίπτωση αυτή, το αποτέλεσµα έπεται κατά τετριµ- µένο τρόπο: εάν εϕαρµοστεί στο δίκτυο η συνάρτηση f,οαγωγόςεισόδου ϕέρει την τιµή f(a i ).Όσοναϕοράτοεπαγωγικό βήµα, έστω ένας αγωγός σε βάθος d, όπου d. Οαγωγόςαυτός είναι η έξοδος ενός συγκριτή σε βάθος d,καιοιαγωγοί εισόδου αυτού τουσυγκριτή βρίσκονται σε βάθος µικρότερο του d. Από την επαγωγική υπόθεση, εποµένως, έχουµε ότι εάν οι αγωγοί εισόδου του συγκριτή ϕέρουν τις τιµές a i και a j όταν δοθεί ως είσοδος η ακολουθία a, τότεόταν δοθεί η ακολουθία f(a) θα ϕέρουν τις τιµές f(a i ) και f(a j ).Άρα,απότονισχυρισµό που αποδείξαµε παραπάνω, έπεται ότι οι αγωγοί εξόδου αυτού του συγκριτή ϕέρουν τις τιµές f(min(a i,a j )) και f(max(a i,a j )). εδοµένου ότι όταν δοθεί ως είσοδος η ακολουθία a ϕέρουν τις τιµές min(a i,a j ) και max(a i,a j ),ηαπόδειξη του λήµµατος έχει ολοκληρωθεί. Στο Σχήµα 7.(β) βλέπουµε ένα παράδειγµα εϕαρµογής του Λήµµατος 7.. Το σχήµα αυτό αναπαριστά το ταξινοµητικό δίκτυο του Σχήµατος 7. (το οποίο επαναλαµβάνεται στο Σχήµα 7.(α)), µετά την εϕαρµογή της µονότονα αύξουσας συνάρτησης f(x) = x/ στις εισόδους του. Ητιµήσεκάθεαγωγόισούταιµετο αποτέλεσµα της εϕαρµογής της συνάρτησης f στην τιµή του ίδιου αγωγού στο Σχή- µα 7..

19 7. Η αρχή µηδέν-ένα 73 a b a 3 b a b a b a 3 b 3 a b 3 a 4 b 4 a b 4 (α) (β) Σχήµα 7. (α) Το ταξινοµητικό δίκτυο του Σχήµατος 7. µε ακολουθία εισόδου,,,. (β) Το ίδιο ταξινοµητικό δίκτυο, µετά την εϕαρµογή της µονότονα αύξουσας συνάρτησης f(x) = x/ στις εισόδους του. Ητιµήσεκάθεαγωγόαυτούτου δικτύουισούται µε το αποτέλεσµα της εϕαρµογής της συνάρτησης f στην τιµή του ίδιου αγωγού στο σχήµα (α). Όταν ένα συγκριτικό δίκτυο είναι ταξινοµητικό, το Λήµµα 7. µας επιτρέπει να αποδείξουµε το ακόλουθο σηµαντικό αποτέλεσµα. Θεώρηµα 7. (Αρχή µηδέν-ένα) Εάν ένα συγκριτικό δίκτυο µε n εισόδους ταξινοµεί ορθά το σύνολο των n δυνατών ακολουθιών από και,τότεταξινοµεί ορθά και όλες τις ακολουθίες αυθαίρετων αριθµών. Απόδειξη Ας υποθέσουµε, αντίθετα προς το αποδεικτέο, ότι το δίκτυο ταξινοµεί όλες τις ακολουθίες µηδέν-ένα, αλλά ότι υπάρχει κάποια ακολουθία αυθαίρετων αριθµών την οποία δεν ταξινοµεί ορθά. Με άλλα λόγια, υπάρχει µια ακολουθία εισόδου a,a,...,a n που περιέχει δύο στοιχεία a i και a j για ταοποία ισχύει ότι a i <a j,καιότιτοδίκτυοτοποθετεί το a j πριν από το a i στην ακολουθία εξόδου. Ορίζουµε µια µονότονα αύξουσα συνάρτηση f ως εξής: { εάν x ai, f(x) = εάν x>a i. εδοµένου ότι το δίκτυο τοποθετεί το a j πριν από το a i στην ακολουθία εξόδου όταν δέχεται ως είσοδο την ακολουθία a,a,...,a n,απότολήµµα 7. έπεται ότι όταν δέχεται ως είσοδο την ακολουθία f(a ),f(a ),..., f(a n ) τοποθετεί το στοιχείο f(a j ) πριν από το f(a i ) στην ακολουθία εξόδου. εδοµένου όµωςότι f(a j )=και f(a i )=,έπεταιότιτο δίκτυο αποτυγχάνει να ταξινοµήσει ορθά την ακολουθία µηδέν-ένα f(a ),f(a ),...,f(a n ), όπεράτοπον. Ασκήσεις 7.- Αποδείξτε ότι η εϕαρµογή µιας µονότονα αύξουσας συνάρτησης σε µια ταξινοµη- µένη ακολουθία δίνει µια ταξινοµηµένη ακολουθία. 7.- Αποδείξτε ότι ένα συγκριτικόδίκτυοµεn εισόδους ταξινοµεί ορθά την ακολουθία εισόδου n, n,..., εάν και µόνο εάν ταξινοµεί ορθά τις n ακολουθίες µηδέν-ένα,,,...,,,,,,...,,,...,,,,...,,.

20 74 Κεϕάλαιο 7 Ταξινοµητικά δίκτυα a a a 3 a 4 b b b 3 b 4 Σχήµα 7. Ένα ταξινοµητικό δίκτυο που ταξινοµεί 4 αριθµούς Χρησιµοποιώντας την αρχή µηδέν-ένα, αποδείξτε ότι το συγκριτικό δίκτυο του Σχήµατος 7. είναι ταξινοµητικό ιατυπώστε και αποδείξτε µια αρχή ανάλογη προς την αρχή µηδέν-ένα για ένα µοντέλο δένδρου αποϕάσεων. (Υπόδειξη: Βεβαιωθείτε ότι η αρχή σας χειρίζεται σωστά την ισότητα.) 7.- Αποδείξτε ότι ένα ταξινοµητικό δίκτυο µε n εισόδους θα πρέπει να περιλαµβάνει τουλάχιστον έναν συγκριτή µεταξύ της i-οστής και της (i +)-οστής γραµµής για κάθε i =,,...,n. 7.3 Ένα διτονικό ταξινοµητικό δίκτυο Το πρώτο βήµα για την κατασκευή ενός δραστικού ταξινοµητικού δικτύου είναι ηκατασκευή ενός συγκριτικού δικτύου που να µπορεί να ταξινοµεί οποιαδήποτε ακολουθία. Ο όρος αυτός δηλώνει οποιαδήποτε ακολουθία που αυξάνεται µονότονα και στη συνέχεια µειώνεται επίσης µονότονα, ή που µπορεί να µεταχθεί σε αυτήν τη µορϕή µε κυκλική µετακίνηση των στοιχείων της. Παραδείγµατος χάριν, οι ακολουθίες, 4,, 8, 3,,,, 4,, 3,, και, 8, 3,, 4, είναι όλες διτονικές. Ως συνοριακή συνθήκη, ορίζουµε ότι οποιαδήποτε ακολουθία που περιέχει µόνο ή αριθµούς είναι. Οι ακολουθίες µηδέν-ένα οι οποίες είναι διτονικές είναι δοµικά απλούστατες. Έχουν τη µορϕή i j k ή i j k,όπου i, j, k. Σηµειωτέον ότι µια µονότονα αύξουσα ή µονότονα ϕθίνουσα ακολουθία είναι επίσης. Οδιτονικόςταξινοµητής που θα κατασκευάσουµε είναι ένα συγκριτικό δίκτυο που ταξινοµεί διτονικές ακολουθίες από και. ΣτηνΆσκηση7.3- σας ζητείται να δείξετε ότι ο διτονικός ταξινοµητής µπορεί να ταξινοµεί διτονικές ακολουθίες αποτελούµενες από οποιουσδήποτε αριθµούς. Οηµιαποµείκτης Ένας ς ταξινοµητής αποτελείται από πολλές συνιστώσες, καθεµία από τις οποίες ονοµάζεται ηµιαποµείκτης. Οκάθεηµιαποµείκτης είναι ένα συγκριτικό δίκτυο βάθους στοοποίο ηγραµµή εισόδου i συγκρίνεται µε τη γραµµή i+n/ για i =,,...,n/. (Υποθέτουµεότιοn είναι άρτιος.) Στο Σχήµα 7.7 απεικονίζεται ο ÌÈ appleôìâèîùëû[8], δηλαδή ο ηµιαποµείκτης µε 8 εισόδους και 8 εξόδους.

21 7.3 Έναδιτονικό ταξινοµητικό δίκτυο 7, αμιγής, αμιγής Σχήµα 7.7 Το συγκριτικό δίκτυο ÌÈ appleôìâèîùëû[8]. Στοσχήµααπεικονίζονται δύο διαϕορετικές ενδεικτικές ακολουθίες εισόδου και εξόδου µηδέν-ένα. Η ακολουθία εισόδου είναι εξ υποθέσεως. Ο ηµιαποµείκτης εξασϕαλίζει ότι κάθε στοιχείο εξόδου στο άνω ήµισυ είναι µικρότερο ή ίσο οποιουδήποτε στοιχείου εξόδου στο κάτω ήµισυ. Επιπλέον, αµϕότερα τα ηµίσεα είναι διτονικά, και τουλάχιστον ένα είναι αµιγές. Ότανεϕαρµόζεταιως είσοδος σεέναν ηµιαποµείκτη µια ακολουθία από και, ο ηµιαποµείκτης παράγει µια ακολουθία εξόδου της οποίας το άνω ήµισυ περιλαµβάνει τις µικρότερες τιµές, το κάτω ήµισυ περιλαµβάνει τις µεγαλύτερες, και αµϕότερα τα ηµίσεα είναι διτονικά. Μάλιστα, τουλάχιστον ένα από τα ηµίσεα είναι αµιγές, ήαλλιώς«αποµεµειγµένο» δηλαδή αποτελείται είτε αποκλειστικά από είτε αποκλειστικά από, εξ ου και η ονοµασία «ηµιαποµείκτης». (Σηµειωτέον ότι όλες οι αµιγείς ακολουθίες είναι διτονικές.) Οι παραπάνω ιδιότητες των ηµιαποµεικτών αποδεικνύονται στο ακόλουθο λήµµα. Λήµµα 7.3 Εάν ένας ηµιαποµείκτης δεχθεί ως είσοδο µια ακολουθία από και,τότε ηακολουθία εξόδου έχει τις εξής ιδιότητες: τόσο το άνω όσο και το κάτω ήµισυ είναι διτονικά, το κάθε στοιχείο στο άνω ήµισυ είναι µικρότερο ή ίσο όλων των στοιχείων του κάτω ηµίσεος, καιτουλάχιστον το ένα ήµισυ είναιαµιγές. Απόδειξη Το συγκριτικόδίκτυο ÌÈ appleôìâèîùëû[n] συγκρίνειτιςεισόδους i και i + n/ για i =,,...,n/. Χωρίςαπώλεια γενικότητας, υποθέτουµε ότι η είσοδος είναι της µορϕής (Ηκατάσταση όπου η είσοδος είναι της µορϕής είναι συµµετρική.) Υπάρχουν τρεις δυνατές περιπτώσεις, ανάλογα µε το σύµπλεγµα των διαδοχικών ή στο οποίο εµπίπτει το διάµεσο σηµείο n/, καιηµίααπόαυτές τις περιπτώσεις (εκείνη όπου το διάµεσο σηµείο εµπίπτει στο σύµπλεγµα των ) χωρίζεται περαιτέρω σε δύο επιµέρους περιπτώσεις. Τα τέσσερα ενδεχόµενα απεικονίζονται στο Σχήµα 7.8. Σε καθένα από αυτά, το λήµµα ισχύει. Οδιτονικόςταξινοµητής Με αναδροµικό συνδυασµό ηµιαποµεικτών, όπως ϕαίνεται στο Σχήµα 7., µπορούµε να κατασκευάσουµε έναν διτονικό ταξινοµητή,δηλαδήέναδίκτυο το οποίο ταξινοµεί διτονικές ακολουθίες. Η πρώτη συνιστώσα του ÈÙÔÓÈÎÔ ÍÈÓÔÌË- ÙË[n] είναι ο ÌÈ appleôìâèîùëû[n], ο οποίος, σύµϕωνα µε το Λήµµα 7.3, παράγει δύο διτονικές ακολουθίες µε το µισό µήκος τέτοιες ώστε κάθε στοιχείο στο άνω ήµι-

22 7 Κεϕάλαιο 7 Ταξινοµητικά δίκτυα διαχωρισμός σύγκριση συνδυασμός άνω άνω κάτω κάτω (α), αμιγής άνω κάτω (β) άνω κάτω, αμιγής Η προεπισκόπηση των επόμενων σελίδων άνω άνω κάτω κάτω δεν είναι διαθέσιμη (γ), αμιγής άνω κάτω (δ) άνω κάτω, αμιγής Σχήµα 7.8 Οι δυνατές συγκρίσεις στον ÌÈ appleôìâèîùë[n]. Ηείσοδοςείναιεξ υποθέσεως µια ακολουθία από και, καιχωρίςαπώλειαγενικότηταςυποθέτουµε ότι είναι της µορϕής Οιυπακολουθίες που αποτελούνται από απεικονίζονται µε λευκό χρώµα, και εκείνες που αποτελούνται από µε γκρίζο. Τα n στοιχεία εισόδου θεωρούνταιχωρισµένασεδύο ηµίσεα, τέτοια ώστε για i =,,...,n/ να συγκρίνονται µεταξύ τους τα στοιχεία υπ αριθµ. i και i + n/. (α) (β) Οι περιπτώσεις όπου ο διαχωρισµός γίνεται στην ενδιάµεση υπακολουθία των. (γ) (δ) Οι περιπτώσεις όπου ο διαχωρισµός γίνεται σε κάποια από τις υπακολουθίες των. Σεόλες τις περιπτώσεις, κάθε στοιχείο στο άνω ήµισυ της ακολουθίας εξόδου είναι µικρότερο ή ίσο όλων των στοιχείων του κάτω ηµίσεος, αµϕότερα τα ηµίσεα είναι διτονικά, και το ένα τουλάχιστον ήµισυ είναι αµιγές.

viii 20 Δένδρα van Emde Boas 543

viii 20 Δένδρα van Emde Boas 543 Περιεχόμενα Πρόλογος xi I Θεμελιώδεις έννοιες Εισαγωγή 3 1 Ο ρόλος των αλγορίθμων στις υπολογιστικές διαδικασίες 5 1.1 Αλγόριθμοι 5 1.2 Οι αλγόριθμοι σαν τεχνολογία 12 2 Προκαταρκτικές έννοιες και παρατηρήσεις

Διαβάστε περισσότερα

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό.

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό. Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο : Ακολουθίες πραγµατικών αριθµών Α Οµάδα Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς αιτιολογήστε πλήρως την απάντησή σας α Κάθε

Διαβάστε περισσότερα

ίκτυα Ταξινόµησης (CLR κεφάλαιο 28)

ίκτυα Ταξινόµησης (CLR κεφάλαιο 28) ίκτυα Ταξινόµησης (CLR κεφάλαιο 28) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: ίκτυα σύγκρισης, δίκτυα ταξινόµησης Αρχή - ιτονική ταξινόµηση ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 2- Μοντέλο στο οποίο

Διαβάστε περισσότερα

(CLR, κεφάλαιο 32) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Παραστάσεις πολυωνύµων Πολυωνυµική Παρεµβολή ιακριτός Μετασχηµατισµός Fourier

(CLR, κεφάλαιο 32) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Παραστάσεις πολυωνύµων Πολυωνυµική Παρεµβολή ιακριτός Μετασχηµατισµός Fourier Ταχύς Μετασχηµατισµός Fourier CLR, κεφάλαιο 3 Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Παραστάσεις πολυωνύµων Πολυωνυµική Παρεµβολή ιακριτός Μετασχηµατισµός Fourier Ταχύς Μετασχηµατισµός Fourier

Διαβάστε περισσότερα

3 Αναδροµή και Επαγωγή

3 Αναδροµή και Επαγωγή 3 Αναδροµή και Επαγωγή Η ιδέα της µαθηµατικής επαγωγής µπορεί να επεκταθεί και σε άλλες δοµές εκτός από το σύνολο των ϕυσικών N. Η ορθότητα της µαθηµατικής επαγωγής ϐασίζεται όπως ϑα δούµε λίγο αργότερα

Διαβάστε περισσότερα

Αριθμοθεωρητικοί Αλγόριθμοι

Αριθμοθεωρητικοί Αλγόριθμοι Αλγόριθμοι που επεξεργάζονται μεγάλους ακέραιους αριθμούς Μέγεθος εισόδου: Αριθμός bits που απαιτούνται για την αναπαράσταση των ακεραίων. Έστω ότι ένας αλγόριθμος λαμβάνει ως είσοδο έναν ακέραιο Ο αλγόριθμος

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 7 Φεβρουαρίου 03 Ασκηση. είξτε ότι

Διαβάστε περισσότερα

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί); Μοντελοποίηση του Υπολογισµού Στοιχεία Θεωρίας Υπολογισµού (): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ποιές οι θεµελιώδεις δυνατότητες

Διαβάστε περισσότερα

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 /

Διαβάστε περισσότερα

Υπολογιστικό Πρόβληµα

Υπολογιστικό Πρόβληµα Υπολογιστικό Πρόβληµα Μετασχηµατισµός δεδοµένων εισόδου σε δεδοµένα εξόδου. Δοµή δεδοµένων εισόδου (έγκυρο στιγµιότυπο). Δοµή και ιδιότητες δεδοµένων εξόδου (απάντηση ή λύση). Τυπικά: διµελής σχέση στις

Διαβάστε περισσότερα

(a 1, b 1 ) (a 2, b 2 ) = (a 1 a 2, b 1 b 2 ).

(a 1, b 1 ) (a 2, b 2 ) = (a 1 a 2, b 1 b 2 ). ΕΜ0 - Διακριτά Μαθηματικά Ιανουαρίου 006 Άσκηση - Λύσεις Πρόβλημα [0 μονάδες] Εστω L και L δύο κυκλώματα σε ένα γράφημα G. Εστω a μία ακμή που ανήκει και στο L και στο L και έστω b μία ακμή που ανήκει

Διαβάστε περισσότερα

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές Κεφάλαιο Παραγοντοποίηση σε Ακέραιες Περιοχές Γνωρίζουµε ότι στο Ÿ κάθε στοιχείο εκτός από το 0 και τα ± γράφεται ως γινόµενο πρώτων αριθµών κατά τρόπο ουσιαστικά µοναδικό Από τη Βασική Άλγεβρα ξέρουµε

Διαβάστε περισσότερα

11 Το ολοκλήρωµα Riemann

11 Το ολοκλήρωµα Riemann Το ολοκλήρωµα Riem Το πρόβληµα υπολογισµού του εµβαδού οποιασδήποτε επιφάνειας ( όπως κυκλικοί τοµείς, δακτύλιοι και δίσκοι, ελλειπτικοί δίσκοι, παραβολικά και υπερβολικά χωρία κτλ) είναι γνωστό από την

Διαβάστε περισσότερα

Q 12. c 3 Q 23. h 12 + h 23 + h 31 = 0 (6)

Q 12. c 3 Q 23. h 12 + h 23 + h 31 = 0 (6) Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Πολιτικών Μηχανικών Τοµέας Υδατικών Πόρων Μάθηµα: Τυπικά Υδραυλικά Έργα Μέρος 2: ίκτυα διανοµής Άσκηση E0: Μαθηµατική διατύπωση µοντέλου επίλυσης απλού δικτύου διανοµής

Διαβάστε περισσότερα

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης. Γενικές Παρατηρήσεις Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα () Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Υπάρχουν µη κανονικές γλώσσες, π.χ., B = { n n n }. Αυτό

Διαβάστε περισσότερα

ΠΕΡΙΕΧΟΜΕΝΑ. Πρόλογος στη δεύτερη έκδοση

ΠΕΡΙΕΧΟΜΕΝΑ. Πρόλογος στη δεύτερη έκδοση Πρόλογος του επιµελητή xiii Πρόλογος στην πρώτη έκδοση xv Προς τους ϕοιτητές.......................... xv Προς τους διδάσκοντες........................ xvii Ηπρώτηέκδοση........................... xviii

Διαβάστε περισσότερα

Προσεγγιστικοί Αλγόριθμοι

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

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Κανόνες παραγώγισης ( )

Κανόνες παραγώγισης ( ) 66 Κανόνες παραγώγισης Οι κανόνες παραγώγισης που ισχύουν για συναρτήσεις µιας µεταβλητής, ( παραγώγιση, αθροίσµατος, γινοµένου, πηλίκου και σύνθετων συναρτήσεων ) γενικεύονται και για συναρτήσεις πολλών

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt016/nt016.html Πέµπτη 7 Οκτωβρίου 016 Ασκηση 1. Βρείτε όλους

Διαβάστε περισσότερα

Κυρτές Συναρτήσεις και Ανισώσεις Λυγάτσικας Ζήνων Βαρβάκειο Ενιαίο Πειραµατικό Λύκειο e-mail: zenon7@otenetgr Ιούλιος-Αύγουστος 2004 Περίληψη Το σχολικό ϐιβλίο της Γ Λυκείου ορίζει σαν κυρτή (αντ κοίλη)

Διαβάστε περισσότερα

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση 8 Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση Υπάρχουν δύο θεµελιώδη αποτελέσµατα που µας βοηθούν να υπολογίζουµε πολλαπλά ολοκληρώµατα Το πρώτο αποτέλεσµα σχετίζεται µε τον υπολογισµό ενός

Διαβάστε περισσότερα

Εισαγωγή στους Αλγόριθµους. Αλγόριθµοι. Ιστορικά Στοιχεία. Ο πρώτος Αλγόριθµος. Παραδείγµατα Αλγορίθµων. Τι είναι Αλγόριθµος

Εισαγωγή στους Αλγόριθµους. Αλγόριθµοι. Ιστορικά Στοιχεία. Ο πρώτος Αλγόριθµος. Παραδείγµατα Αλγορίθµων. Τι είναι Αλγόριθµος Εισαγωγή στους Αλγόριθµους Αλγόριθµοι Τι είναι αλγόριθµος; Τι µπορεί να υπολογίσει ένας αλγόριθµος; Πως αξιολογείται ένας αλγόριθµος; Παύλος Εφραιµίδης pefraimi@ee.duth.gr Αλγόριθµοι Εισαγωγικές Έννοιες

Διαβάστε περισσότερα

< 1 για κάθε k N, τότε η σειρά a k συγκλίνει. +, τότε η η σειρά a k αποκλίνει.

< 1 για κάθε k N, τότε η σειρά a k συγκλίνει. +, τότε η η σειρά a k αποκλίνει. Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο 3: Σειρές πραγµατικών αριθµών Α Οµάδα. Εστω ( ) µια ακολουθία πραγµατικών αριθµών. Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς (αιτιολογήστε

Διαβάστε περισσότερα

Συνέχεια Συνάρτησης. Λυγάτσικας Ζήνων. Βαρβάκειο Ενιαίο Πειραµατικό Λύκειο. 1 εκεµβρίου f(x) = f(x 0 )

Συνέχεια Συνάρτησης. Λυγάτσικας Ζήνων. Βαρβάκειο Ενιαίο Πειραµατικό Λύκειο. 1 εκεµβρίου f(x) = f(x 0 ) Συνέχεια Συνάρτησης Λυγάτσικας Ζήνων Βαρβάκειο Ενιαίο Πειραµατικό Λύκειο 1 εκεµβρίου 013 1 Ορισµός Ορισµός 1.1 Μια πραγµατική συνάρτηση f : A R λέµε ότι είναι συνεχής στο x 0 A αν και µόνο αν : x x 0 fx

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

n a n = 2. Θεωρούµε τα σύνολα a n = n2 n n 2 + n 1. n a n = a > 0, δείξτε ότι a n > 0 τελικά.

n a n = 2. Θεωρούµε τα σύνολα a n = n2 n n 2 + n 1. n a n = a > 0, δείξτε ότι a n > 0 τελικά. Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο : Ακολουθίες πραγµατικών αριθµών Α Οµάδα Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς αιτιολογήστε πλήρως την απάντησή σας) α) Κάθε

Διαβάστε περισσότερα

Θεωρια Αριθµων Προβληµατα

Θεωρια Αριθµων Προβληµατα Θεωρια Αριθµων Προβληµατα Μιχάλης Κολουντζάκης Τµήµα Μαθηµατικών και Εφαρµοσµένων Μαθηµατικών Πανεπιστήµιο Κρήτης Βούτες 700 3 Ηράκλειο 6 Απριλίου 205 Πολλές από τις παρακάτω ασκήσεις είναι από το ϐιβλίο

Διαβάστε περισσότερα

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

Η ΤΕΧΝΗ ΤΟΥ ΙΑΒΑΣΜΑΤΟΣ ΜΕΤΑΞΥ ΤΩΝ ΑΡΙΘΜΩΝ (ΠΑΡΕΜΒΟΛΗ ΚΑΙ ΠΡΟΣΕΓΓΙΣΗ) Η ΤΕΧΝΗ ΤΟΥ ΙΑΒΑΣΜΑΤΟΣ ΜΕΤΑΞΥ ΤΩΝ ΑΡΙΘΜΩΝ (ΠΑΡΕΜΒΟΛΗ ΚΑΙ ΠΡΟΣΕΓΓΙΣΗ) ΜΙΧΑΛΗΣ ΤΖΟΥΜΑΣ ΕΣΠΟΤΑΤΟΥ 3 ΑΓΡΙΝΙΟ. ΠΕΡΙΛΗΨΗ Η έννοια της συνάρτησης είναι στενά συνυφασµένη µε τον πίνακα τιµών και τη γραφική παράσταση.

Διαβάστε περισσότερα

Στοιχεία Αλγορίθµων και Πολυπλοκότητας

Στοιχεία Αλγορίθµων και Πολυπλοκότητας Στοιχεία Αλγορίθµων και Πολυπλοκότητας Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Πολυπλοκότητα 1 / 16 «Ζέσταµα» Να γράψετε τις συναρτήσεις

Διαβάστε περισσότερα

Η Ευκλείδεια διαίρεση

Η Ευκλείδεια διαίρεση 1 Η Ευκλείδεια διαίρεση Α. ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Θεώρηµα Αποδεικνύεται ότι για οποιουσδήποτε ακέραιους α και β, β 0, ισχύει το παρακάτω θεώρηµα και διατυπώνεται ως εξής : Αν α και β ακέραιοι µε β

Διαβάστε περισσότερα

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα. 4 Συνεκτικά σύνολα Έστω, Ι διάστηµα και f : Ι συνεχής, τότε η f έχει την ιδιότητα της ενδιαµέσου τιµής, δηλαδή, η f παίρνει κάθε τιµή µεταξύ δύο οποιονδήποτε διαφορετικών τιµών της, συνεπώς το f ( Ι )

Διαβάστε περισσότερα

Προσεγγιστικοί Αλγόριθμοι

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

Διαβάστε περισσότερα

Σηµειώσεις στις σειρές

Σηµειώσεις στις σειρές . ΟΡΙΣΜΟΙ - ΓΕΝΙΚΕΣ ΕΝΝΟΙΕΣ Σηµειώσεις στις σειρές Στην Ενότητα αυτή παρουσιάζουµε τις βασικές-απαραίτητες έννοιες για την µελέτη των σειρών πραγµατικών αριθµών και των εφαρµογών τους. Έτσι, δίνονται συστηµατικά

Διαβάστε περισσότερα

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,... KΕΦΑΛΑΙΟ ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ Βασικές έννοιες διαιρετότητας Θα συµβολίζουµε µε, τα σύνολα των φυσικών αριθµών και των ακεραίων αντιστοίχως: {,,3,,, } { 0,,,,, } = = ± ± ± Ορισµός Ένας φυσικός αριθµός

Διαβάστε περισσότερα

ο ρόλος των αλγορίθμων στις υπολογιστικές διαδικασίες Παύλος Εφραιμίδης Δομές Δεδομένων και Αλγόριθμοι

ο ρόλος των αλγορίθμων στις υπολογιστικές διαδικασίες Παύλος Εφραιμίδης Δομές Δεδομένων και Αλγόριθμοι Παύλος Εφραιμίδης 1 περιεχόμενα αλγόριθμοι τεχνολογία αλγορίθμων 2 αλγόριθμοι αλγόριθμος: οποιαδήποτε καλά ορισμένη υπολογιστική διαδικασία που δέχεται κάποια τιμή ή κάποιο σύνολο τιμών, και δίνεικάποιατιμήήκάποιοσύνολοτιμώνως

Διαβάστε περισσότερα

Γ. Κορίλη Αλγόριθµοι ροµολόγησης

Γ. Κορίλη Αλγόριθµοι ροµολόγησης - Γ. Κορίλη Αλγόριθµοι ροµολόγησης http://www.seas.upenn.edu/~tcom50/lectures/lecture.pdf ροµολόγηση σε ίκτυα εδοµένων Αναπαράσταση ικτύου µε Γράφο Μη Κατευθυνόµενοι Γράφοι Εκτεταµένα έντρα Κατευθυνόµενοι

Διαβάστε περισσότερα

Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων

Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων Άσκηση 1 α) Η δομή σταθμισμένης ένωσης με συμπίεση διαδρομής μπορεί να τροποποιηθεί πολύ εύκολα ώστε να υποστηρίζει τις

Διαβάστε περισσότερα

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young Απόστολος Γιαννόπουλος Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

Διαβάστε περισσότερα

Αλγόριθµοι και Πολυπλοκότητα

Αλγόριθµοι και Πολυπλοκότητα Αλγόριθµοι και Πολυπλοκότητα Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών Καθηγητής: Ν. Μ. Μισυρλής () Αλγόριθµοι και Πολυπλοκότητα 23 Μαρτίου 2017 1 / 20 Επιλογή Το πρόβληµα

Διαβάστε περισσότερα

sup B, τότε υπάρχουν στοιχεία α A και β B µε α < β.

sup B, τότε υπάρχουν στοιχεία α A και β B µε α < β. ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΟΜΕΑΣ ΜΑΘΗΜΑΤΙΚΩΝ Εξετάσεις στη Μαθηµατική Ανάλυση Ι Φεβρουαρίου, 3 Θ. (α ) Εστω A, B µη κενά ϕραγµένα σύνολα πραγµατικών αριθµών. είξτε ότι αν inf A

Διαβάστε περισσότερα

περιεχόμενα υπολογιστικό πρόβλημα αλγόριθμοι παράδειγμα ταξινόμησης ταξινόμηση αλγόριθμοι τεχνολογία αλγορίθμων Παύλος Εφραιμίδης

περιεχόμενα υπολογιστικό πρόβλημα αλγόριθμοι παράδειγμα ταξινόμησης ταξινόμηση αλγόριθμοι τεχνολογία αλγορίθμων Παύλος Εφραιμίδης περιεχόμενα αλγόριθμοι τεχνολογία αλγορίθμων Παύλος Εφραιμίδης 1 2 αλγόριθμοι αλγόριθμος: οποιαδήποτε καλά ορισμένη υπολογιστική διαδικασία που δέχεταικάποιατιμήήκάποιοσύνολοτιμών, και δίνει κάποια τιμή

Διαβάστε περισσότερα

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA Αριθµοθεωρητικοί Αλγόριθµοι και το Κρυπτοσύστηµα RSA Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Υπολογισµός Μέγιστου Κοινού ιαιρέτη Αλγόριθµος του Ευκλείδη Κλάσεις Ισοδυναµίας και Αριθµητική modulo

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) Ενδεικτικές Λύσεις ΕΡΓΑΣΙΑ η (Ηµεροµηνία Αποστολής στον Φοιτητή: Οκτωβρίου 005) Η Άσκηση στην εργασία αυτή είναι

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάµε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων. Αυτές συνδέονται µεταξύ τους µε την έννοια της συνθετικής σειράς

Διαβάστε περισσότερα

ΙΑΝΥΣΜΑΤΑ ΘΕΩΡΙΑ ΘΕΜΑΤΑ ΘΕΩΡΙΑΣ. Τι ονοµάζουµε διάνυσµα; αλφάβητου επιγραµµισµένα µε βέλος. για παράδειγµα, Τι ονοµάζουµε µέτρο διανύσµατος;

ΙΑΝΥΣΜΑΤΑ ΘΕΩΡΙΑ ΘΕΜΑΤΑ ΘΕΩΡΙΑΣ. Τι ονοµάζουµε διάνυσµα; αλφάβητου επιγραµµισµένα µε βέλος. για παράδειγµα, Τι ονοµάζουµε µέτρο διανύσµατος; ΙΝΥΣΜΤ ΘΕΩΡΙ ΘΕΜΤ ΘΕΩΡΙΣ Τι ονοµάζουµε διάνυσµα; AB A (αρχή) B (πέρας) Στη Γεωµετρία το διάνυσµα ορίζεται ως ένα προσανατολισµένο ευθύγραµµο τµήµα, δηλαδή ως ένα ευθύγραµµο τµήµα του οποίου τα άκρα θεωρούνται

Διαβάστε περισσότερα

ΠΛΕ075: Προηγμένη Σχεδίαση Αλγορίθμων και Δομών Δεδομένων. Λουκάς Γεωργιάδης

ΠΛΕ075: Προηγμένη Σχεδίαση Αλγορίθμων και Δομών Δεδομένων. Λουκάς Γεωργιάδης ΠΛΕ075: Προηγμένη Σχεδίαση Αλγορίθμων και Δομών Δεδομένων Λουκάς Γεωργιάδης loukas@cs.uoi.gr www.cs.uoi.gr/~loukas Βασικές έννοιες και εφαρμογές Αλγόριθμος: Μέθοδος για την επίλυση ενός προβλήματος Δομή

Διαβάστε περισσότερα

Ορισµός. Εστω συναρτήσεις: f : N R και g : N R. η f(n) είναι fi( g(n) ) αν υπάρχουν σταθερές C 1, C 2 και n 0, τέτοιες ώστε:

Ορισµός. Εστω συναρτήσεις: f : N R και g : N R. η f(n) είναι fi( g(n) ) αν υπάρχουν σταθερές C 1, C 2 και n 0, τέτοιες ώστε: Συµβολισµός Ω( ) Τάξη των Συναρτήσεων () Εκτίµηση Πολυπλοκότητας Αλγορίθµων Ορέστης Τελέλης telelis@unipi.gr Ορισµός. Εστω συναρτήσεις: f : N R και g : N R η f(n) είναι Ω( g(n) ) αν υπάρχουν σταθερές C

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt014/nt014.html https://sites.google.com/site/maths4edu/home/14

Διαβάστε περισσότερα

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση 8 Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση Υπάρχουν δύο θεµελιώδη αποτελέσµατα που µας βοηθούν να υπολογίζουµε πολλαπλά ολοκληρώµατα. Το πρώτο αποτέλεσµα σχετίζεται µε τον υπολογισµό ενός

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι Είδαµε στο κύριο θεώρηµα του προηγούµενου κεφαλαίου ότι κάθε δακτύλιος διαίρεσης έχει την ιδιότητα κάθε πρότυπο είναι ευθύ άθροισµα απλών προτύπων. Εδώ θα χαρακτηρίσουµε όλους

Διαβάστε περισσότερα

ΛΥΣΕΙΣ ΑΣΚΗΣΕΩΝ ΕΞΕΤΑΣΤΙΚΗΣ ΠΕΡΙΟ ΟΥ ΙΟΥΝΙΟΥ 2004., η οποία όµως µπορεί να γραφεί µε την παρακάτω µορφή: 1 e

ΛΥΣΕΙΣ ΑΣΚΗΣΕΩΝ ΕΞΕΤΑΣΤΙΚΗΣ ΠΕΡΙΟ ΟΥ ΙΟΥΝΙΟΥ 2004., η οποία όµως µπορεί να γραφεί µε την παρακάτω µορφή: 1 e ΤΟΜΕΑΣ ΗΛΕΚΤΡΟΝΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΣΥΣΤΗΜΑΤΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΡΓΑΣΤΗΡΙΟ ΑΝΑΛΥΣΗΣ ΗΛΕΚΤΡΙΚΩΝ ΚΥΚΛΩΜΑΤΩΝ ΜΑΘΗΜΑ: ΨΗΦΙΑΚΗ ΕΠΕΞΕΡΓΑΣΙΑ ΣΗΜΑΤΩΝ ΛΥΣΕΙΣ ΑΣΚΗΣΕΩΝ ΕΞΕΤΑΣΤΙΚΗΣ ΠΕΡΙΟ ΟΥ ΙΟΥΝΙΟΥ 4 AΣΚΗΣΗ () [ ] (.5)

Διαβάστε περισσότερα

Pr(10 X 15) = Pr(15 X 20) = 1/2, (10.2)

Pr(10 X 15) = Pr(15 X 20) = 1/2, (10.2) Κεφάλαιο 10 Συνεχείς τυχαίες μεταβλητές Σε αυτό το κεφάλαιο θα εξετάσουμε τις ιδιότητες που έχουν οι συνεχείς τυχαίες μεταβλητές. Εκείνες οι Τ.Μ. X, δηλαδή, των οποίων το σύνολο τιμών δεν είναι διακριτό,

Διαβάστε περισσότερα

αx αx αx αx 2 αx = α e } 2 x x x dx καλείται η παραβολική συνάρτηση η οποία στο x

αx αx αx αx 2 αx = α e } 2 x x x dx καλείται η παραβολική συνάρτηση η οποία στο x A3. ΕΥΤΕΡΗ ΠΑΡΑΓΩΓΟΣ-ΚΥΡΤΟΤΗΤΑ. εύτερη παράγωγος.παραβολική προσέγγιση ή επέκταση 3.Κυρτή 4.Κοίλη 5.Ιδιότητες κυρτών/κοίλων συναρτήσεων 6.Σηµεία καµπής ΠΑΡΑΡΤΗΜΑ 7. εύτερη πλεγµένη παραγώγιση 8.Χαρακτηρισµός

Διαβάστε περισσότερα

Κεφάλαιο 6. Πεπερασµένα παραγόµενες αβελιανές οµάδες. Z 4 = 1 και Z 2 Z 2.

Κεφάλαιο 6. Πεπερασµένα παραγόµενες αβελιανές οµάδες. Z 4 = 1 και Z 2 Z 2. Κεφάλαιο 6 Πεπερασµένα παραγόµενες αβελιανές οµάδες Στο κεφάλαιο αυτό ϑα ταξινοµήσουµε τις πεπερασµένα παραγόµενες αβελιανές οµάδες. Αυτές οι οµάδες είναι από τις λίγες περιπτώσεις οµάδων µε µία συγκεκριµένη

Διαβάστε περισσότερα

Μεταθέσεις και πίνακες μεταθέσεων

Μεταθέσεις και πίνακες μεταθέσεων Παράρτημα Α Μεταθέσεις και πίνακες μεταθέσεων Το παρόν παράρτημα βασίζεται στις σελίδες 671 8 του βιβλίου: Γ. Χ. Ψαλτάκης, Κβαντικά Συστήματα Πολλών Σωματιδίων (Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο,

Διαβάστε περισσότερα

Ανοικτά και κλειστά σύνολα

Ανοικτά και κλειστά σύνολα 5 Ανοικτά και κλειστά σύνολα Στην παράγραφο αυτή αναπτύσσεται ο µηχανισµός που θα µας επιτρέψει να µελετήσουµε τις αναλυτικές ιδιότητες των συναρτήσεων πολλών µεταβλητών. Θα χρειαστούµε τις έννοιες της

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 1 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt01b/nt01b.html Πέµπτη 1 Οκτωβρίου 01 Ασκηση 1. είξτε ότι

Διαβάστε περισσότερα

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο : Το σύνολο των πραγµατικών αριθµών Α Οµάδα Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς αιτιολογήστε πλήρως την απάντησή σας) α)

Διαβάστε περισσότερα

11.1 Συναρτήσεις. ΚΕΦΑΛΑΙΟ 11: Θεωρία υπολογισµών

11.1 Συναρτήσεις. ΚΕΦΑΛΑΙΟ 11: Θεωρία υπολογισµών ΚΕΦΑΛΑΙΟ : Θεωρία υπολογισµών. Συναρτήσεις και ο υπολογισµός τους. Μηχανές Turig.3 Καθολικές γλώσσες προγραµµατισµού.4 Μια µη υπολογίσιµη συνάρτηση.5 Πολυπλοκότητα προβληµάτων.6 Κρυπτογραφία δηµόσιου κλειδιού.

Διαβάστε περισσότερα

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 1 Εισαγωγη : Πραξεις επι Συνολων και Σωµατα Αριθµων

Διαβάστε περισσότερα

ΜΕΛΕΤΗ ΣΥΝΑΡΤΗΣΗΣ. Άρτια και περιττή συνάρτηση. Παράδειγµα: Η f ( x) Παράδειγµα: Η. x R και. Αλγεβρα Β Λυκείου Πετσιάς Φ.- Κάτσιος.

ΜΕΛΕΤΗ ΣΥΝΑΡΤΗΣΗΣ. Άρτια και περιττή συνάρτηση. Παράδειγµα: Η f ( x) Παράδειγµα: Η. x R και. Αλγεβρα Β Λυκείου Πετσιάς Φ.- Κάτσιος. ΜΕΛΕΤΗ ΣΥΝΑΡΤΗΣΗΣ Πριν περιγράψουµε πως µπορούµε να µελετήσουµε µια συνάρτηση είναι αναγκαίο να δώσουµε µερικούς ορισµούς. Άρτια και περιττή συνάρτηση Ορισµός : Μια συνάρτηση fµε πεδίο ορισµού Α λέγεται

Διαβάστε περισσότερα

2 Αποδείξεις. 2.1 Εξαντλητική µέθοδος. Εκδοση 2005/03/22. Υπάρχουν πολλών ειδών αποδείξεις. Εδώ ϑα δούµε τις πιο κοινές:

2 Αποδείξεις. 2.1 Εξαντλητική µέθοδος. Εκδοση 2005/03/22. Υπάρχουν πολλών ειδών αποδείξεις. Εδώ ϑα δούµε τις πιο κοινές: 2 Αποδείξεις Υπάρχουν πολλών ειδών αποδείξεις. Εδώ ϑα δούµε τις πιο κοινές: Εκδοση 2005/03/22 Εξαντλητική µέθοδος ή µέθοδος επισκόπησης. Οταν το πρόβληµα έχει πεπερασµένες αριθµό περιπτώσεων τις εξετάζουµε

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδες Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2014/asi2014.html, https://sites.google.com/site/maths4edu/home/algdom114

Διαβάστε περισσότερα

Κατ οίκον Εργασία 2 Σκελετοί Λύσεων

Κατ οίκον Εργασία 2 Σκελετοί Λύσεων Κατ οίκον Εργασία 2 Σκελετοί Λύσεων 1. (α) Αλγόριθµος: ηµιούργησε το σύνολο P που αποτελείται από τα άκρα όλων των ευθυγράµµων τµηµάτων. Βρες το κυρτό περίβληµα του P µε τον αλγόριθµο του Graham. Ορθότητα:

Διαβάστε περισσότερα

Συνδυαστική Απαρίθµηση Υπολογισµός (µε συνδυαστικά επιχειρήµατα) του πλήθους των διαφορετικών αποτελεσµάτων ενός «πειράµατος». «Πείραµα»: διαδικασία µ

Συνδυαστική Απαρίθµηση Υπολογισµός (µε συνδυαστικά επιχειρήµατα) του πλήθους των διαφορετικών αποτελεσµάτων ενός «πειράµατος». «Πείραµα»: διαδικασία µ Συνδυαστική Απαρίθµηση ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιµέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Συνδυαστική Απαρίθµηση Υπολογισµός

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 1 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt016/nt016.html Πέµπτη 13 Οκτωβρίου 016 Ασκηση 1. είξτε ότι

Διαβάστε περισσότερα

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β)

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β) Κεφάλαιο 3β Ελεύθερα Πρότυπα (µέρος β) Ο σκοπός µας εδώ είναι να αποδείξουµε το εξής σηµαντικό αποτέλεσµα. 3.3.6 Θεώρηµα Έστω R µια περιοχή κυρίων ιδεωδών, F ένα ελεύθερο R-πρότυπο τάξης s < και N F. Τότε

Διαβάστε περισσότερα

ΣΥΝΕΚΤΙΚΟΤΗΤΑ ΓΡΑΦΗΜΑΤΩΝ

ΣΥΝΕΚΤΙΚΟΤΗΤΑ ΓΡΑΦΗΜΑΤΩΝ Συνεκτικότητα Γραφημάτων 123 ΚΕΦΑΛΑΙΟ 4 ΣΥΝΕΚΤΙΚΟΤΗΤΑ ΓΡΑΦΗΜΑΤΩΝ 4.1 Τοπική και Ολική Συνεκτικότητα Γραφημάτων 4.2 Συνεκτικότητα Μη-κατευθυνόμενων Γραφημάτων 4.3 Συνεκτικότητα Κατευθυνόμενων Γραφημάτων

Διαβάστε περισσότερα

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα.

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα. Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Τµηµα Μαθηµατικων Εισαγωγή στην Αλγεβρα Τελική Εξέταση 15 Φεβρουαρίου 2017 1. (Οµάδα Α) Εστω η ακολουθία Fibonacci F 1 = 1, F 2 = 1 και F n = F n 1 + F n 2, για n

Διαβάστε περισσότερα

Συνεχείς συναρτήσεις πολλών µεταβλητών. ε > υπάρχει ( ) ( )

Συνεχείς συναρτήσεις πολλών µεταβλητών. ε > υπάρχει ( ) ( ) Συνεχείς συναρτήσεις πολλών µεταβλητών 7 Η Ευκλείδεια απόσταση που ορίσαµε στον R επιτρέπει ( εκτός από τον ορισµό των ορίων συναρτήσεων και ακολουθιών και τον ορισµό της συνέχειας συναρτήσεων της µορφής

Διαβάστε περισσότερα

Αριθµητική Ολοκλήρωση

Αριθµητική Ολοκλήρωση Κεφάλαιο 5 Αριθµητική Ολοκλήρωση 5. Εισαγωγή Για τη συντριπτική πλειοψηφία των συναρτήσεων f (x) δεν υπάρχουν ή είναι πολύ δύσχρηστοι οι τύποι της αντιπαραγώγου της f (x), δηλαδή της F(x) η οποία ικανοποιεί

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι έχουµε δει µέχρι τώρα. Υπογράφηµα Γράφοι

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι έχουµε δει µέχρι τώρα. Υπογράφηµα Γράφοι HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Πέµπτη, 19/05/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/22/2016 1 1 5/22/2016 2 2 Τι έχουµε δει µέχρι τώρα Κατευθυνόµενοι µη κατευθυνόµενοι

Διαβάστε περισσότερα

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών Ενότητα: Εισαγωγικές Εννοιες Ευάγγελος Ράπτης Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα

Κεφάλαιο 7 Βάσεις και ιάσταση

Κεφάλαιο 7 Βάσεις και ιάσταση Κεφάλαιο 7: Βάσεις και ιάσταση Σελίδα από 9 Κεφάλαιο 7 Βάσεις και ιάσταση n Στο Κεφάλαιο 5 είδαµε την έννοια της βάσης στο και στο Κεφάλαιο 6 µελετήσαµε διανυσµατικούς χώρους. Στο παρόν κεφάλαιο θα ασχοληθούµε

Διαβάστε περισσότερα

Εισαγωγικές Έννοιες. ημήτρης Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Εθνικό Μετσόβιο Πολυτεχνείο

Εισαγωγικές Έννοιες. ημήτρης Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Εθνικό Μετσόβιο Πολυτεχνείο Εισαγωγικές Έννοιες ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Άδεια Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

Διαβάστε περισσότερα

Ε π ι μ έ λ ε ι α Κ Ο Λ Λ Α Σ Α Ν Τ Ω Ν Η Σ

Ε π ι μ έ λ ε ι α Κ Ο Λ Λ Α Σ Α Ν Τ Ω Ν Η Σ Ε π ι μ έ λ ε ι α Κ Ο Λ Λ Α Σ Α Ν Τ Ω Ν Η Σ 1 Συναρτήσεις Όταν αναφερόμαστε σε μια συνάρτηση, ουσιαστικά αναφερόμαστε σε μια σχέση ή εξάρτηση. Στα μαθηματικά που θα μας απασχολήσουν, με απλά λόγια, η σχέση

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ 8// Γ ΕΡΓΑΣΙΑ Μαθηµατικά για την Πληροφορική Ι (ΘΕ ΠΛΗ Η ύλη της εργασίας είναι παράγραφοι 6 και 6 από τη Γραµµική Άλγεβρα και Ενότητες,,, από τον Λογισµό

Διαβάστε περισσότερα

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΝΕΥΡΩΝΙΚΑ ΙΚΤΥΑ ΘΕΜΑ ο 2.5 µονάδες ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΝΕΥΡΩΝΙΚΑ ΙΚΤΥΑ Τελικές εξετάσεις 2 Σεπτεµβρίου 2005 5:00-8:00 Σχεδιάστε έναν αισθητήρα ercetro

Διαβάστε περισσότερα

Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L. να αναγνωρίζει (ηµιαποφασίζει) µια γλώσσα L. 1. Η TM «εκτελεί» τον απαριθµητή, E.

Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L. να αναγνωρίζει (ηµιαποφασίζει) µια γλώσσα L. 1. Η TM «εκτελεί» τον απαριθµητή, E. Οι γλώσσες των Μηχανών Turing Αποφασισιµότητα / Αναγνωρισιµότητα Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L Αποδέχεται όταν (η είσοδος στην TM) w L. Ορέστης Τελέλης telelis@unipi.gr Τµήµα

Διαβάστε περισσότερα

q={(1+2)/2}=1 A(1,2)= MERGE( 4, 6 ) = 4 6 q=[(3+4)/2]=3 A(1,4)= MERGE( 4 6, 5 8 ) = q=[(5+6)/2]=5 A(5,6)= MERGE( 2, 9 ) = 2 9

q={(1+2)/2}=1 A(1,2)= MERGE( 4, 6 ) = 4 6 q=[(3+4)/2]=3 A(1,4)= MERGE( 4 6, 5 8 ) = q=[(5+6)/2]=5 A(5,6)= MERGE( 2, 9 ) = 2 9 R 0 0 Ερώτηση 1 Να εκτελεστούν όλα τα βήµατα του παρακάτω αλγορίθµου στον µονοδιάστατο πίνακα: "!$ Στην κάθε κλήση της procedure εισάγεται ο %&') Ο συµϐολισµός υπονοεί τον υποπίνακα από την ϑέση % έως

Διαβάστε περισσότερα

Κεφάλαιο 2. Μέθοδος πεπερασµένων διαφορών προβλήµατα οριακών τιµών µε Σ Ε

Κεφάλαιο 2. Μέθοδος πεπερασµένων διαφορών προβλήµατα οριακών τιµών µε Σ Ε Κεφάλαιο Μέθοδος πεπερασµένων διαφορών προβλήµατα οριακών τιµών µε Σ Ε. Εισαγωγή Η µέθοδος των πεπερασµένων διαφορών είναι από τις παλαιότερες και πλέον συνηθισµένες και διαδεδοµένες υπολογιστικές τεχνικές

Διαβάστε περισσότερα

d k 10 k + d k 1 10 k d d = k i=0 d i 10 i.

d k 10 k + d k 1 10 k d d = k i=0 d i 10 i. Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Αλγόριθµοι και Πολυπλοκότητα

Αλγόριθµοι και Πολυπλοκότητα Αλγόριθµοι και Πολυπλοκότητα Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών Καθηγητής: Ν. Μ. Μισυρλής () Αλγόριθµοι και Πολυπλοκότητα 15 Ιουνίου 2009 1 / 26 Εισαγωγή Η ϑεωρία

Διαβάστε περισσότερα

Κεφάλαιο 1. Θεωρία Ζήτησης

Κεφάλαιο 1. Θεωρία Ζήτησης Κεφάλαιο 1 Θεωρία Ζήτησης Στο κεφάλαιο αυτό υποθέτουµε ότι καταναλωτής εισέρχεται στην αγορά µε πλούτο w > 0 και επιθυµεί να τον ανταλλάξει µε διάνυσµα αγαθών x που να µεγιστοποιεί τις προτιµήσεις του.

Διαβάστε περισσότερα

[ ], σχηµατίζουµε το άθροισµα. Το άθροισµα αυτό είναι µια δυαδική πράξη η οποία αντιστοιχεί στις ακολουθίες f [ 1

[ ], σχηµατίζουµε το άθροισµα. Το άθροισµα αυτό είναι µια δυαδική πράξη η οποία αντιστοιχεί στις ακολουθίες f [ 1 ΚΕΦΑΛΑΙΟ 4 ΣΥΝΕΛΙΞΗ 4.. ΣΥΝΕΛΙΞΗ Στην προηγούµενη παράγραφο εισαγάγαµε την ιδέα της συνέλιξης από τα συµφραζόµενα των γραµµικών συστηµάτων. Σ' αυτήν την παράγραφο ορίζουµε τη συνέλιξη σαν µια πράξη η οποία

Διαβάστε περισσότερα

Δομές Δεδομένων και Αλγόριθμοι

Δομές Δεδομένων και Αλγόριθμοι Δομές Δεδομένων και Αλγόριθμοι Χρήστος Γκόγκος ΤΕΙ Ηπείρου Χειμερινό Εξάμηνο 2014-2015 Παρουσίαση 9 P vs NP 1 / 13 Δυσκολία επίλυσης υπολογιστικών προβλημάτων Κάποια προβλήματα είναι εύκολα να λυθούν με

Διαβάστε περισσότερα

4.3. Γραµµικοί ταξινοµητές

4.3. Γραµµικοί ταξινοµητές Γραµµικοί ταξινοµητές Γραµµικός ταξινοµητής είναι ένα σύστηµα ταξινόµησης που χρησιµοποιεί γραµµικές διακριτικές συναρτήσεις Οι ταξινοµητές αυτοί αναπαρίστανται συχνά µε οµάδες κόµβων εντός των οποίων

Διαβάστε περισσότερα

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai218/lai218html Παρασκευή 23 Νοεµβρίου 218 Ασκηση 1

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) ΕΡΓΑΣΙΑ 3 Ηµεροµηνία αποστολής στον φοιτητή: 3 Iανουαρίου 004. Τελική ηµεροµηνία αποστολής από τον φοιτητή: 8 Φεβρουαρίου

Διαβάστε περισσότερα

Εισαγωγή στην επιστήμη των υπολογιστών. Λογισμικό Υπολογιστών Κεφάλαιο 8ο Αλγόριθμοι

Εισαγωγή στην επιστήμη των υπολογιστών. Λογισμικό Υπολογιστών Κεφάλαιο 8ο Αλγόριθμοι Εισαγωγή στην επιστήμη των υπολογιστών Λογισμικό Υπολογιστών Κεφάλαιο 8ο Αλγόριθμοι 1 Έννοια Ανεπίσημα, ένας αλγόριθμος είναι μια βήμα προς βήμα μέθοδος για την επίλυση ενός προβλήματος ή την διεκπεραίωση

Διαβάστε περισσότερα

Καµπύλες στον R. σ τελικό σηµείο της σ. Το σ. σ =. Η σ λέγεται διαφορίσιµη ( αντιστοίχως

Καµπύλες στον R. σ τελικό σηµείο της σ. Το σ. σ =. Η σ λέγεται διαφορίσιµη ( αντιστοίχως Καµπύλες στον R 9. Ορισµός Μια καµπύλη στον R είναι µια συνεχής συνάρτηση σ : Ι R R όπου Ι διάστηµα ( συνήθως κλειστό και φραγµένο ) στον R. Συνήθως φανταζόµαστε την µεταβλητή t Ι ως τον χρόνο και την

Διαβάστε περισσότερα

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 2 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2016/asi2016.html Πέµπτη 3 Μαρτίου 2016 Αν (G, ) είναι

Διαβάστε περισσότερα

Μαθηµατική Επαγωγή. Ορέστης Τελέλης. Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς

Μαθηµατική Επαγωγή. Ορέστης Τελέλης. Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Μαθηµατική Επαγωγή Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Επαγωγή 1 / 20 Επιπλέον Ασκήσεις Για κάθε n 1: n i 2 = n(n + 1)(2n

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΑ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ Γ ΤΑΞΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ

ΜΑΘΗΜΑΤΙΚΑ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ Γ ΤΑΞΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ ΜΑΘΗΜΑΤΙΚΑ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ Γ ΤΑΞΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ o Κεφάλαιο ΑΝΑΛΥΣΗ Ερωτήσεις του τύπου «Σωστό - Λάθος». * Η διαδικασία, µε την οποία κάθε στοιχείο ενός συνόλου Α αντιστοιχίζεται σ ένα ακριβώς στοιχείο

Διαβάστε περισσότερα

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Γραμμική Άλγεβρα ΙΙ Ενότητα: Η Κανονική Μορφή Jordan - II Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 52 9 Η Κανονική Μορφή Jordan - II

Διαβάστε περισσότερα

Μέγιστη ροή. Κατευθυνόμενο γράφημα. Συνάρτηση χωρητικότητας. αφετηρίακός κόμβος. τερματικός κόμβος. Ροή δικτύου. με τις ακόλουθες ιδιότητες

Μέγιστη ροή. Κατευθυνόμενο γράφημα. Συνάρτηση χωρητικότητας. αφετηρίακός κόμβος. τερματικός κόμβος. Ροή δικτύου. με τις ακόλουθες ιδιότητες Κατευθυνόμενο γράφημα Συνάρτηση χωρητικότητας 2 6 20 Ροή δικτύου Συνάρτηση αφετηρίακός κόμβος 0 με τις ακόλουθες ιδιότητες 9 7 τερματικός κόμβος Περιορισμός χωρητικότητας: Αντισυμμετρία: Διατήρηση ροής:

Διαβάστε περισσότερα

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε 1. Να αποδειχθεί ότι κάθε ϑετικός ακέραιος αριθµός n 6, µπορεί να γραφεί στη µορφή όπου οι a, b, c είναι ϑετικοί ακέραιοι. n = a + b c,. Να αποδειχθεί ότι για κάθε ακέραιο

Διαβάστε περισσότερα

KΕΦΑΛΑΙΟ 4 AΚΟΛΟΥΘΙΕΣ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ

KΕΦΑΛΑΙΟ 4 AΚΟΛΟΥΘΙΕΣ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ 4. Ορισµοί KΕΦΑΛΑΙΟ 4 AΚΟΛΟΥΘΙΕΣ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ Ορισµός 4.. Μία συνάρτηση : µε πεδίο ορισµού το σύνολο των φυσικών αριθµών και τιµές στην πραγµατική ευθεία καλείται ακολουθία πραγµατικών αριθµών.

Διαβάστε περισσότερα