∵ω(nlog24)=n2lgn=o(nlog24+ε),ε>0
∴不能用主定理证明
猜测T(n)≤cn2lg2n
T(n)≤cn2(lgn−1)2=cn2lg2n−2cn2lgn+cn2+n2lgn≤cn2lg2n,最后一步c≥1时成立
∴T(n)=O(n2lg2n)
∵ω(nlog24)=n2lgn=o(nlog24+ε),ε>0
∴不能用主定理证明
猜测T(n)≤cn2lg2n
T(n)≤cn2(lgn−1)2=cn2lg2n−2cn2lgn+cn2+n2lgn≤cn2lg2n,最后一步c≥1时成立
∴T(n)=O(n2lg2n)