Μάστερ Θεώρημα

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση

Tο μάστερ θεώρημα (master theorem) είναι ειδική περίπτωση του θεωρήματος Akra-Bazzi. Χρησιμοποιείται στην ανάλυση αλγορίθμων για τον προσδιορισμό του ασυμπτωτικού ορίου μιας αναδρομικής συνάρτησης. Ωστόσο δεν επιλύεται κάθε αναδρομική σχέση με το μάστερ θεώρημα.

Γενική Μορφή[Επεξεργασία | επεξεργασία κώδικα]

Η γενική μορφή του θεωρήματος είναι:

Όπου T(n) είναι η αναδρομική σχέση, a και b είναι σταθερές και f(n) είναι μια μη αρνητική συνάρτηση ανεξάρτητη της T(n)

Για να εφαρμοστεί το μάστερ θεώρημα θα πρέπει να ισχύει για τις δυο σταθερές: a ≥ 1  και  b > 1

Το μάστερ θεώρημα χωρίζεται σε τρεις περιπτώσεις, οι οποίες μπορούν συνήθως να δώσουν λύση. Παρόλα αυτά υπάρχει και μια ειδική περίπτωση, η οποία μπορεί να χρησιμοποιηθεί όταν δεν ταιριάζουν όλες οι άλλες.

- Αν , τότε [Επεξεργασία | επεξεργασία κώδικα]

-Αν , τότε [Επεξεργασία | επεξεργασία κώδικα]

-Αν και , τότε [Επεξεργασία | επεξεργασία κώδικα]

Δηλαδή ο ασυμπτωτικά μεγαλύτερος απο τους όρους και καθορίζει την λύση της εξίσωσης.