Διακριτά Μαθηματικά [Rosen, κεφ. 3] Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Οκτώβριος 2018

Σχετικά έγγραφα
Διακριτά Μαθηματικά. Γιάννης Εμίρης. Τμήμα Πληροφορικής & Τηλεπικοινωνιών ΕΚΠΑ. Οκτώβριος

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

Εισαγωγή στην Ανάλυση Αλγορίθμων (2-3)

1 Ανάλυση αλγορίθµων. 2 Συµβολισµοί O, Ω και Θ. 3 Αναδροµικές εξισώσεις

Μαθηµατικά για Πληροφορική

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

ρυθιμός αύξησης συναρτήσεων

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

Υπολογιστική Πολυπλοκότητα

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

Ασυμπτωτικός Συμβολισμός

Ασυμπτωτικός Συμβολισμός

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

οµές εδοµένων 3 ο Εξάµηνο Τµήµα Πανεπιστήµιο Πληροφορικής Ιωαννίνων ΟΜΕΣ Ε ΟΜΕΝΩΝ

Δομές Δεδομένων Ενότητα 2

Ασυμπτωτικός Συμβολισμός

Δομές Δεδομένων (Data Structures)

- ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 6: ΜΗ ΠΕΠΕΡΑΣΜΕΝΟ ΟΡΙΟ ΣΤΟ

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

Εισαγωγή στην Ανάλυση Αλγορίθμων

Ανω Φράγµα στην Τάξη των Συναρτήσεων. Ρυθµός Αύξησης (Τάξη) των Συναρτήσεων. Παράδειγµα (1/2) O( g(n) ) είναι σύνολο συναρτήσεων:

Ασυμπτωτικός Συμβολισμός

Προηγούµενο: Ανω Φράγµα στην Τάξη των Συναρτήσεων. Ρυθµός Αύξησης (Τάξη) των Συναρτήσεων. Σύνοψη Ιδιοτήτων

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

f(t) = (1 t)a + tb. f(n) =

ΑΛΓΟΡΙΘΜΟΙ Άνοιξη I. ΜΗΛΗΣ

Ασκήσεις (2) Άσκηση 1

Παραδείγµατα. Τάξη των Συναρτήσεων (1) Παράδειγµα (2) Να δειχθεί ότι 7n 2 = O(n 3 ). Ορέστης Τελέλης

1o Φροντιστήριο ΗΥ240

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας

Ορθότητα Χωρική αποδοτικότητα. Βελτιστότητα. Θεωρητική ανάλυση Εμπειρική ανάλυση. Αλγόριθμοι - Τμήμα Πληροφορικής ΑΠΘ -4ο εξάμηνο 1

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

1 Σύντομη επανάληψη βασικών εννοιών

x είναι f 1 f 0 f κ λ

Διδάσκων: Κωνσταντίνος Κώστα Διαφάνειες: Δημήτρης Ζεϊναλιπούρ

3 Ρυθμός αύξησης συναρτήσεων

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

Όρια Αλγόριθμων Ταξινόμησης. Εισαγωγή στην Ανάλυση Αλγορίθμων Μάγια Σατρατζέμη

Εισαγωγή στους Αλγόριθμους. Παύλος Εφραιμίδης, Λέκτορας

Αλγόριθμοι. Μάρθα Σιδέρη. ιαδικαστικά: ύο πρόοδοι 31 Μαρτίου, 18 Μαΐου 7-9μμ 20% η μία, ύο Προγραμματιστικές 1 προσθετικό βαθμό η μία.

Ενότητα 1: Εισαγωγή Ασκήσεις και Λύσεις

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας

Μεθοδική Επανα λήψή. Επιμέλεια Κων/νος Παπασταματίου. Θεωρία - Λεξιλόγιο Βασικές Μεθοδολογίες. Φροντιστήριο Μ.Ε. «ΑΙΧΜΗ» Κ.

Κεφάλαιο 2. Βασικά στοιχεία ανάλυσης αλγορίθµων. Χρησιµοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.

Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου

Αν ένα πρόβλημα λύνεται από δύο ή περισσότερους αλγόριθμους, ποιος θα είναι ο καλύτερος; Με ποια κριτήρια θα τους συγκρίνουμε;

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

). Πράγματι, στο διάστημα [ x, x 1 2 ικανοποιεί τις προϋποθέσεις του Θ.Μ.Τ. Επομένως, υπάρχει ξ x 1,

Συναρτήσεις Όρια Συνέχεια

Πολυπλοκότητα Αλγορίθµων

Π(n) : 1 + a + + a n = an+1 1 a 1. a 1. + a k+1 = ak+2 1

ΚΕΦΑΛΑΙΟ 4ο: ΟΛΟΚΛΗΡΩΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 4: ΕΜΒΑΔΟΝ ΕΠΙΠΕΔΟΥ ΧΩΡΙΟΥ [Κεφ.3.7 Μέρος Β του σχολικού βιβλίου]. ΑΣΚΗΣΕΙΣ

Για να εκφράσουμε τη διαδικασία αυτή, γράφουμε: :

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

ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ Γ ΛΥΚΕΙΟΥ - ΠΑΠΑΔΟΠΟΥΛΟΣ ΜΑΡΙΝΟΣ ΠΕΡΙΕΧΟΜΕΝΑ. Τίτλος Θεματικές Ενότητες Σελίδες. Δυο λόγια προς τους μαθητές.

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

Κεφάλαιο 2. Βασικά στοιχεία ανάλυσης αλγορίθμων. Χρησιμοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.

ιαγωνισµός στη µνήµη του καθηγητή: Βασίλη Ξανθόπουλου

Υπολογιστικά & Διακριτά Μαθηματικά

Π(n) : 1 + a + + a n = αν+1 1

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

Λύσεις των θεμάτων των Πανελλαδικών Εξετάσεων στα Μαθηματικά Προσανατολισμού 2016

1η Σειρά Γραπτών Ασκήσεων

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ

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

ΑΛΓΟΡΙΘΜΟΙ. Ενότητα 2: Ανάλυση Αλγορίθμων. Ιωάννης Μανωλόπουλος, Καθηγητής Αναστάσιος Γούναρης, Επίκουρος Καθηγητής Τμήμα Πληροφορικής ΑΠΘ

Λύσεις των θεμάτων των Πανελλαδικών Εξετάσεων στα Μαθηματικά Προσανατολισμού 2016

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

ΕΛΛΗΝΙΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ Γ ΛΥΚΕΙΟΥ 2006 ΘΕΜΑ 1 ΛΥΣΗ. Η τελευταία σχέση εκφράζει μια εξίσωση κύκλου που επαληθεύεται για w=0.

ΣΤΑΘΕΡΗ ΣΥΝΑΡΤΗΣΗ. Το Θεώρημα και το Πόρισμα ισχύουν σε διαστήματα και όχι σε ένωση διαστημάτων.

a n = 3 n a n+1 = 3 a n, a 0 = 1

ΠΑΝΕΛΛΑΔΙΚΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ Δευτέρα 10 Ιουνίου 2019 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ. (Ενδεικτικές Απαντήσεις)

ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

Κεφάλαιο 5 Ανάλυση Αλγορίθμων

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β.

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

Ασύμπτωτες. Διαφορικός Λογισμός μιας μεταβλητής Ι

Τηλ , Fax: , URL:

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΕΠΛ 231 ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΑΛΓΟΡΙΘΜΟΙ ΚΑΤ ΟΙΚΟΝ ΕΡΓΑΣΙΑ 1 ΗΜΕΡΟΜΗΝΙΑ ΠΑΡΑΔΟΣΗΣ: 22/02/10

Θέµα 3 ο : Έστω οι µιγαδικοί z και z µε z = z = και z z. Έστω ο µιγαδικός αριθµός zz! = z z Να δείξετε ότι: α. z = και z =. z z β.! " R γ.! " ΜΟΝΑΔΕΣ

ΜΕΜ251 Αριθμητική Ανάλυση

Αλγόριθμοι Ταξινόμησης Μέρος 4

ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β. Να βρείτε τις ασύμπτωτες της γραφικής παράστασης της συνάρτησης f με τύπο

Η θεωρία στα Μαθηματικά Προσανατολισμού: Θετικών Σπουδών και Σπουδών Οικονομίας -Πληροφορικής. Ορισμοί Ιδιότητες - Προτάσεις Θεωρήματα Αποδείξεις

ÈÅÌÁÔÁ 2003 ÏÅÖÅ ( ) ) ( x ) ( ) Β. α) Για α=1 έχουµε: max. Η x= 0 είναι κατακόρυφη ασύµπτωτη και η y= 0 οριζόντια ασύµπτωτη.

> ln 1 + ln ln n = ln(1 2 3 n) = ln(n!).

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

f(x) = lim f n (t) = d(t, x n ) d(t, x) = f(t)

ΑΠΑΝΤΗΣΕΙΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ & ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ 28 ΜΑΪΟΥ 2012

Θεώρημα Βolzano. Κατηγορία 1 η Δίνεται η συνάρτηση:

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

2.8 ΚΥΡΤΟΤΗΤΑ ΣΗΜΕΙΑ ΚΑΜΠΗΣ ΣΥΝΑΡΤΗΣΗΣ

Α Ν Α Λ Τ Η Α Λ Γ Ο Ρ Ι Θ Μ Ω Ν Κ Ε Υ Α Λ Α Ι Ο 5. Πως υπολογίζεται ο χρόνος εκτέλεσης ενός αλγορίθμου;

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

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

Κεφάλαιο 4: Διαφορικός Λογισμός

dy df(x) y= f(x) y = f (x), = dx dx θ x m= 1

13 Μονοτονία Ακρότατα συνάρτησης

ΗΥ240: οµές εδοµένων. ιδάσκουσα: Παναγιώτα Φατούρου ΗΥ240 - Παναγιώτα Φατούρου 2

Transcript:

Διακριτά Μαθηματικά [Rosen, κεφ. 3] Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Οκτώβριος 2018

Αλγόριθμοι Ρυθμός αύξησης συναρτήσεων [Rosen 3.2]

Αριθμητικές συναρτήσεις Τάξη αριθμητικών συναρτήσεων Ορισμός Θ( ) και Ω( ) Σχέση O, Ω, Θ

Ορισμοί Ορισμός 1. Οι συναρτήσεις f : N R, με πεδίο ορισμού τους φυσικούς, λέγονται αριθμητικές (διακριτές). Κάθε αριθμητική συνάρτηση ορίζει μια ακολουθία και αντιστρόφως. Παράδειγμα 1. a : {0, 1,... } {a 0, a 1,... }, δηλ. a k = a(k). Χάριν απλότητας θα περιοριστούμε στη μελέτη αριθμητικών συναρτήσεων που παίρνουν μόνο θετικές τιμές, δηλ. f : N R +.

Παραδείγματα αριθμητικών συναρτήσεων Παράδειγμα 2. f (n) = n 2, g(n) = 200log 2 (n), γράφεται 200 lg n, h(n) = 2.3 n, Οπου n N. Σχόλιο: Ασυμπτωτικά η τιμή της h(n) θα είναι η μεγαλύτερη, ενώ η τιμή της f (n) θα υπερβαίνει αυτή της g(n). Μάλιστα, h(n) f (n), n > 1, f (n) g(n), n > 8. Μελετάμε την ασυμπτωτική συμπεριφορά της T(n) καθώς n

Παραδείγματα αριθμητικών συναρτήσεων Ο χρόνος εκτέλεσης ενός προγράμματος με είσοδο μεγέθους n εκφράζεται από μια αριθμητική συνάρτηση T(n) (όπου n ακέραιος). Ασυμπτωτική πολυπλοκότητα χειρότερης περίπτωσης: Μας ενδιαφέρει μια αριθμητική συνάρτηση που είναι άνω φράγμα στην τιμή της T(n) για κάθε είσοδο μεγέθους n και για n αρκετά μεγάλο.

Παράδειγμα 3 (min). Αν μας δίνεται μια ακολουθία n αριθμών για να βρούμε τον ελάχιστο θα πρέπει να σαρώσουμε όλη την ακολουθία και άρα θα κάνουμε n συγκρίσεις στη χειρότερη περίπτωση. Άρα θα είναι T(n) = n.

Παράδειγμα 4. Εστω η ταξινομημένη ακολουθία A 1 = [ 1, 0.5, 1.3, 4, 7, 11, 17, 23] και θέλουμε να βρούμε αν ανήκει στην ακολουθία ο x = 23 και σε ποια θέση βρίσκεται. 1η στρατηγική: Σειριακή αναζήτηση. Θα σαρώσουμε όλη την ακολουθία και θα κάνουμε 8 συγκρίσεις. Για ακολουθία n αριθμών στην χειρότερη περίπτωση θα κάνουμε T 1 (n) = n συγκρίσεις.

A 1 = [ 1, 0.5, 1.3, 4, 7, 11, 17, 23] 2η στρατηγική: Δυαδική αναζήτηση (4 συγκρίσεις) Α1: Θα ξεκινήσουμε από το μέσο της ακολουθίας A 1, το m = 4. Είναι m < x οπότε θα συνεχίσουμε την αναζήτηση στην υποακολουθία A 2 = {7, 11, 17, 23}. Α2: m = 11 < x οπότε συνεχίζουμε στην A 3 = {17, 23}. Α3: m = 17 < x οπότε συνεχίζουμε στην A 4 = {23}. Α4: m = 23 = x, σταματάμε. Για n αριθμούς στην χειρότερη περίπτωση κάνουμε T 2 (n) = lg n + 1 συγκρίσεις. Προτιμότερη στρατηγική είναι αυτή που ασυμπτωτικά (όσο n ) έχει μικρότερο άνω φράγμα. Άρα η δεύτερη: lg n + 1 n, n > 3

Ασυμπτωτική μελέτη Η ασυμπτωτική μελέτη είναι ένας βολικός τρόπος για να συγκρίνουμε τη συμπεριφορά δυο συναρτήσεων f (n) και g(n) για μεγάλα n. Ταξινομεί τις συναρτήσεις με βάση την τάξη μεγέθους τους. Π.χ: Η T 1 (n) = n 2 έχει μεγαλύτερη τιμή από την T 2 (n) = 1000n για μεγάλο n (π.χ. n 1000). Πίνακας τιμών των T 1 (n) και T 2 (n) n 100 300 500 700 900 1100 1300 1500 T 1 (n) 0, 1 10 5 0, 9 10 5 2, 5 10 5 4, 9 10 5 8, 1 10 5 12, 1 10 5 16, 9 10 5 22, 5 10 5 T 2 (n) 10 5 3 10 5 5 10 5 7 10 5 9 10 5 11 10 5 13 10 5 15 10 5 Άρα αν για την ίδια είσοδο μεγέθους n δύο προγράμματα λύνουν το ίδιο πρόβλημα, αυτό που κάνει T 2 (n) πράξεις είναι προτιμότερο.

Αριθμητικές συναρτήσεις Τάξη αριθμητικών συναρτήσεων Ορισμός Θ( ) και Ω( ) Σχέση O, Ω, Θ

Ορισμός Τάξης Ορισμός 2. Εστω αριθμητικές συναρτήσεις f, g με θετικές τιμές. Λέμε πως η f (n) είναι O(g(n)) εφόσον υπάρχουν σταθερές c R +, n 0 N τ.ώ. f (n) cg(n), n > n 0. Ορισμός 3. Τάξη της αριθμητικής συνάρτησης g(n) είναι το σύνολο O(g(n)) = {f (n) : σταθ. c > 0, n 0 0 : n > n 0, f (n) cg(n)} Για οποιαδήποτε f O(g), γράφουμε f = O(g) και λέμε πως η f είναι O(g(n)).

Παρατηρήσεις Από τον ορισμό της, η τάξη δηλώνει μόνο άνω φράγμα (στο ρυθμό αύξησης), μπορεί να κρύβει μια σταθερά, κρύβει συμπεριφορά πεπερασμένου πλήθους (n0 ) όρων. Υπάρχει απειρία αριθμητικών συναρτήσεων g τ.ω. για μια δεδομένη b(n), b(n) = O(g(n)). (γιατί;)

Παραδείγματα (I) 1 n + 7 = O(n), n > 0. Απόδειξη: Για c = 1, n > 7 1 n + 7 n 1/n = O(1). Απόδειξη: Για c = 1, n > 1 1/n 1 n log n = O(n 2 ), n 2 + 10 6 n = O(n 2 ) για c = 1 + 10 6, n 0 = 1. n 2 32n + 199n log n = O(n 2 ). Για κάθε πολυώνυμο P(n) = a k n k + a k 1 n k 1 + a 0 = O(n k ) θέτοντας c = (k + 1) max i {a i }, n 0 = 1. n O( 1 n + 7), διότι n 0, c, k : k n 0, όπου k > 8c > ( 1 k + 7)c. Αρκεί να διαλέξω k = 1 + max {n 0, 8c}.

Λήμμα 1. f (n) = O(g(n)) T f (n) = O(g(n)), σταθερά T > 0. Απόδειξη 1. Αφού f (n) = O(g(n)) υπάρχουν σταθερές c R +, n 0 N τ.ώ. f (n) cg(n), n > n 0. Εστω T > 0 τότε Tf (n) c 2 g(n), n > n 0, για c 2 = Tc. Άρα Tf (n) = O(g(n)). Λήμμα 2. f (n) = O(g(n)) και g(n) = O(h(n)) f (n) = O(h(n)). Απόδειξη 2. Θα υπάρχουν σταθερές c 1 R +, n 1 N τ.ώ. f (n) c 1 g(n), n > n 1 και c 2 R +, n 2 N τ.ώ. g(n) c 2 h(n), n > n 2. Εστω c = c 1 c 2 και n 0 = max{n 1, n 2 }. Θα ισχύει f (n) ch(n), n > n 0, άρα f (n) = O(h(n)).

Παραδείγματα (ΙΙ) Για κάθε σταθερά T > 0, ισχύει πως T = O(1). Για κάθε σταθερά T > 0, ισχύει: T = O(lg n). Απόδειξη. n 0 = 2 T, c = 1 : n n 0 : lg n lg n 0 = T. Β απόδειξη. n 0 = 1, c = T : n 1, c lg n T. Είναι δυνατό να ισχύει f = O(g) και g = O(f ). Π.χ. Ελέγξτε την περίπτωση f (n) = 13n, g(n) = 35n + 211.

Ασυμπτωτική συμπεριφορά

Ιδιότητες Εστω f 1 = O(g 1 ), f 2 = O(g 2 ). Προσθετική: f 1 + f 2 = O(max{g 1, g 2 }) Πολλαπλασιαστική: f 1 f 2 = O(g 1 g 2 ). Μέγιστο: max{f 1, f 2 } = O(f 1 + f 2 ) = O(g 1 + g 2 ).

Λόγος Λήμμα 3. lim n a(n) b(n) = 0 a = O(b). Απόδειξη 3. Εστω θετικές συναρτήσεις a(n), b(n) > 0, τότε: a(n) lim n b(n) = 0 [ ε n 0 : n > n 0 a(n) b(n) < ε ]. Διάλεξε μία συγκεκριμένη τιμή του ε και θέσε c := ε. Τότε n 0 (ε) : n > n 0 ισχύει a(n) b(n) < c a = O(b). Δεν ισχύει το αντίστροφο: n 2 + n = O(n 2 ), ενώ lim n2 +n n 2 = lim 1+ 1 n 1 = 1.

Κανόνας L Hôpital Ο κανόνας L Hôpital είναι χρήσιμο εργαλείο για να υπολογίζουμε το όριο ενός λόγου συναρτήσεων f (x) g(x) όταν προκύπτει η απροσδιοριστία. Αν lim x f (x) =, lim x g(x) = και f, g f (x) παραγωγίσιμες τότε lim x g(x) = lim x f (x) g (x).

Εκθετικές συναρτήσεις Λήμμα 4. n b = O(a n ), για κάθε πραγματικό a > 1, ακέραιο b 1. Απόδειξη 4. Αρκεί να δείξουμε πως lim n n b a n = 0: x b lim x a x = lim bx b 1 x a x ln a = = lim b! x a x ln b a = 0, όπου εφαρμόσαμε κανόνα L Hôpital, διότι αριθμητής και παρονομαστής είναι γνησίως αύξοντες ως προς x, και: (a x ) = (e x ln a ) = e x ln a ln a = a x ln a. Π.χ. n 8 = O(2 n ) 10 6 n 8 = O(2 n ).

Λογάριθμοι Λήμμα 5. Για κάθε a, b N ισχύει πως (ln n) a = O(n b ). Απόδειξη 5. Αρκεί ν.δ.ό. n 0, τ.ω. n n 0 : (ln n) a n b a ln ln n b ln n ln ln n (b/a) ln n. Θα δείξουμε πως ln ln n = O(ln n) με το προηγούμενο λήμμα: L Hôpital: lim x ln ln x (b/a) ln x = a b lim 1/ ln x 1/x = 0, x 1/x διότι (f g) = (f g)g και (ln x) = 1/x.

Παραγοντικό Λήμμα 6. Για a N, a n = O(n!). Απόδειξη 6. Θέτουμε c = a a, n 0 = a : n n 0 = a : a n a a a n a a! = c a a(a 1) 2 1 c n! }{{} n Πίνακας τιμών των 2 n και 2! n 2 3 4 5 6 8 10 2 n 4 8 16 32 64 256 1024 2! 2 6 24 120 720 40320 3628800

Συναρτήσεις πρότυπα Στο διάγραμμα χρησιμοποιείται εκθετική κλίμακα.

Αριθμητικές συναρτήσεις Τάξη αριθμητικών συναρτήσεων Ορισμός Θ( ) και Ω( ) Σχέση O, Ω, Θ

Ορισμός Θ( ) Ορισμός 4. Εστω f, g : N R +. Η f είναι Θ(g) αν υπάρχουν σταθερές c 1, c 2 R +, n 0 N τ.ώ. Ισοδύναμα, c 1 g(n) f (n) c 2 g(n), n > n 0. Θ(g(n)) := {f (n) : σταθ. c 1, c 2 > 0, n 0 0 : n n 0, c 1 g(n) f (n) c 2 g(n)} Παρατήρηση: f = Θ(g) f = O(g) g = O(f ).

Παράδειγμα Παράδειγμα 5. Ισχύει 1 2 n2 3n = Θ(n 2 ) αφού c 1, c 2 > 0, n 0 0 : c 1 n 2 1 2 n2 3n c 2 n 2, n n 0 Διαιρώντας με n 2 έχουμε c 1 1 2 3 n c 2. Αν διαλέξουμε c 1 = 1 14, c 2 = 1 2, n 0 = 7 τότε η σχέση ισχύει.

Παράδειγμα Παράδειγμα 6. Θα δείξουμε ότι ισχύει lg(n) ( ( n 2 + sin = Θ (lg n) 2)) Απόδειξη: Αρκεί να δείξουμε ότι c 1, c 2 > 0, n 0 0 : ( ( n c 1 lg n lg(n) 2 + sin c 2 lg n 2)) Πράγματι, από τη ανισότητα 1 sin(x) 1, x R και για n 1 παίρνουμε διαδοχικά: ( n 1 2 + sin 3 ( 2) ( n lg n lg(n) 2 + sin 3 lg n 2)) Οπότε αρκεί να διαλέξουμε c 1 = 1, c 2 = 3, n o = 1.

Λογάριθμοι Λήμμα 7. Για κάθε f (ν), a, b > 1, ισχύει log a f (n) = Θ(log b f (n)). Απόδ. log a f (n) = log b f (n) log b a = Θ(log b f (n)). Πόρισμα: lg f (n) = Θ(ln f (n)).

Ορισμός Ω( ) Ορισμός 5. Εστω f, g : N R +. Λέμε πως η f είναι μεγάλο Ωμέγα της g αν υπάρχουν σταθερές c R +, n 0 N τ.ώ. Ισοδύναμα, f (n) cg(n), n > n 0. Ω(g(n)) = {f (n) : σταθ. c > 0, n 0 0 : cg(n) f (n), n n 0 }

Ιδιότητες Ω( ) Παρατήρηση 1. Το Ω δίνει κάτω φράγμα, μπορεί να κρύβει μια σταθερά και να αγνοεί σταθερό πλήθος αρχικών όρων. f = Ω(g) g = O(f ). f = Θ(g) f = Ω(g).

Παραδείγματα Παράδειγμα 7. Ισχύει 2n 2 = Ω(105n 2 + 45n) αλλά n 2/3 Ω(n 4/5 ). Παράδειγμα 8. Να αποδειχθεί ότι e 2n = Ω(ne n ). Απόδειξη: Αρκεί να δειχτεί ότι υπάρχουν n o και c, τ.ώ. n > n o : e 2n cne n e n cn το οποίο ισχύει για n o = 1 και c = 1.

Αριθμητικές συναρτήσεις Τάξη αριθμητικών συναρτήσεων Ορισμός Θ( ) και Ω( ) Σχέση O, Ω, Θ

Σχέση O, Ω, Θ Θεώρημα 1. Για κάθε δύο συναρτήσεις f, g : N R, f (n) = Θ(g(n)) αν και μόνο αν f (n) = O(g(n)) και f (n) = Ω(g(n)). Απόδειξη 7. O(g) = {f (n) : σταθ. c 2 > 0, n 0 0 : 0 f (n) c 2 g(n), n n 0 } Ω(g) = {f (n) : σταθ. c 1 > 0, n 0 0 : 0 c 1 g(n) f (n), n n 0 } Θ(g) = {f (n) : σταθ. c 1, c 2 > 0, n 0 0 : 0 c 1 g(n) f (n) c 2 g(n), n n 0 }

Ιδιότητες (Ι) Μεταβατική ιδιότητα f = Θ(g) g = Θ(h) f = Θ(h) f = O(g) g = O(h) f = O(h) f = Ω(g) g = Ω(h) f = Ω(h) Ανακλαστική ιδιότητα f (n) = Θ(f (n)) f (n) = O(f (n)) f (n) = Ω(f (n))

Ιδιότητες (II) Συμμετρική ιδιότητα f (n) = Θ(g(n)) g(n) = Θ(f (n)) Ιδιότητα αναστροφής f (n) = O(g(n)) g(n) = Ω(f (n)) Aθροιστική. 2n 2 + 3n + 1 = 2n 2 + Θ(n) = Θ(n 2 )