主定理

主定理常用于计算递推式的时间复杂度。