主定理

假設有遞推關係式

其中，n爲問題規模，a爲遞推的子問題數量，n/b爲每個子問題的規模（假設每個子問題的規模基本一樣），f(n)爲遞推以外進行的計算工作。

情形一

如果存在常數，有  那麼

情形二

如果存在常數k ≥ 0，有  那麼

情形三

如果存在常數，有，並且是多項式的大於同時存在常數以及充分大的n，滿足

   那麼

-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------