שיטת האב

במדעי המחשב, שיטת האב (Master Theorem) משמשת לפתרון נוסחאות נסיגה של זמן ריצה/זיכרון של אלגוריתמים. כלומר, בהינתן נוסחת נסיגה לזמן ריצתו של אלגוריתם, ניתן להשתמש במקרים מסוימים בשיטה כדי למצוא חסם אסימפטוטי הדוק לזמן הריצה של האלגוריתם כולו. יתרון השיטה בכך שהיא ניתנת ליישום במגוון רחב של מקרים ומספקת פתרון מיידי, כמעט ללא חישוב.

תיאור השיטה

בהינתן נוסחת נסיגה מהצורה:

$T(n)=aT\left({\frac {n}{b}}\right)+f(n)\;\;\;\;where\;\;a\geq 1,b>1$

ניתן למצוא חסם הדוק אסימפטוטית באחד משלושת המקרים הבאים:

• מקרה א':

$f(n)=O\left(n^{\log _{b}a-\varepsilon }\right)\rightarrow T(n)=\Theta \left(n^{\log _{b}a}\right)\;\;\;\;where\;\;\varepsilon >0$

• מקרה ב':

$f(n)=\Theta \left(n^{\log _{b}a}\right)\rightarrow T(n)=\Theta \left(n^{\log _{b}a}\log(n)\right)$

• מקרה ב'- מורחב:

$f(n)=\Theta \left(n^{\log _{b}a}\cdot \log ^{k}n\right)\rightarrow T(n)=\Theta \left(n^{\log _{b}a}\cdot \log ^{k+1}n\right)\;\;\;where\;\;k\geq 0$

• מקרה ג':

$f(n)=\Omega \left(n^{\log _{b}a+\varepsilon }\right),af\left({\frac {n}{b}}\right)\leq cf(n)\rightarrow T(n)=\Theta (f(n))\;\;\;\;where\;\;\varepsilon >0,c<1$

השיטה פועלת גם עבור $\left\lfloor {\frac {n}{b}}\right\rfloor \,$ ו-$\left\lceil {\frac {n}{b}}\right\rceil \,$.

ראו גם

• שיטת אכרה-באזזי

ערך זה הוא קצרמר בנושא מדעי המחשב. אתם מוזמנים לתרום למכלול ולהרחיב אותו.