?主定理
因为在分治算法中经常会用到递归式，所以在 CLRS中有一章专门讲解递归式的求解和证明，使用 主定理(master theorem)可以直接求解出该递归式的值，后面我会简单介绍。这里简单的列举两种证明该递归式时间复杂度为O(nlgn)的方法：
方法
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。