マスター定理レビュー
シンボル
\(\シータ\) 、シーターを読んで、厳密に等しいがします
(\ O)\暴行、境界密着不明読み、
\(\ Oを)未満の暴行、スナップではない読んで、
\(\オメガ\) 、下限を、以上、および不明に近い
\(W \) 、上記読み出し、下限は、無接着、より大きい
仮定する漸化式
\(T(n)がAT = (\ FRAC {N} {B})+ F(N)\)
三つの例:
- いくつかの数の\(\ varepsilon> 0 \)がある\(F(N)= O(N ^ {(log_ba) - \ varepsilon})\) 、次いで\(T(N)= \シータ(N ^ {log_ba})\)
- 一定のプレゼンス場合\(K \ GE0 \)がある\(F(N)= \シータ(N ^ {log_ba} log_2 ^ KN)\) 、次いで\(T(N)= \シータ(N ^ {log_ba} log_2 ^ {K + 1} \ 、N)\)
- 定数が存在する場合、\(\ varepsilon> 0 \)は、ある\(F(N)= \オメガ(N ^ {log_ba + \ varepsilon})\) 、およびいくつかの定数の\(C <1 \)及び全て十分に大きいです\(\ N-)有していて\(AF(\ {N-FRAC} {B})\ルCF2(N-)\)、次いで\(T(N)= \シータ(N F())\)
例
\(T(N)= 9T
(\ FRAC {N} {3})+ N \) 有していて\(A = 9、Bの= 3、F(N)= N- \) 、なぜなら\(\ varepsilon = 1 、F(N)= = N-O(N- log_39-1 ^ {})\)、1満足し、そう\(T(N)= \シータ(N ^ 2)\)
【NOIP2017予備] \(T(N)= 2T(N / 2)+ nlogn、T(1)= 1 \)を
有している\(= 2、B = 2、K = 1、F(N)= \シータを(nlogn)\) 、そう\(T(N)= \シータ(nlog_2 ^ 2N)\)
【NOIP2016予備] \(T(N)= 2T(N / 4)+ \のSQRT {N-}、T(1)= 1 \)を
有している\(= 2、B = 4、K = 0、F(nは)= \ N-SQRT {} = \シータ(N-log_42} ^ {^ 0N log_2)\) 、そう\(T(N)= \シータ(\のSQRT {N} log_2n)\)