带你彻底搞懂递归时间复杂度的Master公式

1. 什么是Master公式

1.1 Master公式的定义

Master公式,又称为Master定理或主定理,是分析递归算法时间复杂度的一种重要工具,尤其适用于具有分治结构的递归算法。

\[T(n) = a*T(n/b) + O(n^d) \]

Master公式本身就是递归的形式,是递归方法时间复杂度的一种表示法。T(n) 代表递归方法处理规模为n的数据量的时间复杂度,T(n/b) 代表调用子递归方法的总体时间复杂度,O(n^d^) 代表调用子递归方法这行代码外其他代码(下面简称递归外代码)的时间复杂度。

T(n) 是时间复杂度的函数表示法(T=Time)。O(n) 是时间复杂度的表示法,可以理解成一个方法要处理n条数据时,最坏的情况下需要循环执行n次代码所带来的时间成本。

1.2 Master公式中的变量

  • a: 每次递归调用子问题的数量。即在一个递归方法,需要调用几次子递归方法
  • b : 子问题的规模缩小的比例。例如二分法递归搜索时,每次需要查找的数据都缩小了一半,那么 b=2
  • d : 每次递归调用之外的代码时间复杂度的参数。例如二分法递归搜索时,每次递归时除了调用递归的方法,没有什么for循环代码,时间复杂度是 O(1) ,即 n^d^=1 ,因此 d=0

注意:如果一个递归方法每次子问题递归的规模缩小的比例不等,那么无法使用上面的公式。

1.3 根据Master公式推导时间复杂度

只要一个递归方法满足Master公式,那么它的时间复杂度就可以确定:

  1. d<log~b~^a^ 时,递归时间复杂度为:O(n^log~b~^a^^)
  2. d=log~b~^a^ 时,递归时间复杂度为:O(n^d^ * log^n^)
  3. d>log~b~^a^ 时,递归时间复杂度为:O(n^d^)

log~b~^a^ 指的是以b为底的a的对数,且有 b^log~b~^a^^=a ,例如 3^2^=9 ,则log~3~^9^=2log^n^ 指的是以2为底的n的对数。

这里时间复杂度实际上就是看 dlog~b~^a^ 谁大,取大的那个值为n的指数。如果一样大,任意取一个作为指数,再乘以 log^n^ 即可。这样就好记多了。

2. 二分查找如何满足Master公式

2.1 方法说明

二分查找(Binary Search),这是一种在有序数组中查找特定元素的高效算法。它每次将数组分为2半,将要查找的元素与中位值比较,如果小于中位值,则在左边这一半查找,反之则去右边查找。众所周知,二分查找的时间复杂度是 O(log^n^),下面就来看看它是怎么得来的。

2.2 上代码

java 复制代码
public class BinarySearch {
    private static int binarySearch(int[] array, int target, int low, int high) {
        if (low > high) {
            // 如果搜索范围为空,表示未找到目标
            return -1;
        }

        // 计算中间索引
        int mid = low + (high - low) / 2;

        // 如果中间元素等于目标,返回索引
        if (array[mid] == target) {
            return mid;
        }
        // 如果中间元素大于目标,递归搜索左半部分
        else if (array[mid] > target) {
            return binarySearch(array, target, low, mid - 1);
        }
        // 如果中间元素小于目标,递归搜索右半部分
        else {
            return binarySearch(array, target, mid + 1, high);
        }
    }
}

2.3 代入Master公式

\[T(n) = a*T(n/b) + O(n^d) \]

  1. 确定a/b/d的值
    a=1 :每次递归执行binarySearch()方法时,只会执行1次,要么递归搜索左半部分,要么递归搜索右半部分
    b=2 :每次递归处理的数据量是原来的1/2
    d=0 :除了调用递归方法外,没有复杂的循环逻辑,因此时间复杂度是常量级O(1),即 n^d^=1

  2. 推导时间复杂度
    log~b~^a^ = log~2~^1^ = 0 = d ,因此满足 d=log~b~^a^ ,那么时间复杂度为:O(n^d^ * log^n^) = O(n^0^ * log^n^) = O(log^n^)

2.4 暴力分析时间复杂度

下面的示例是考虑最坏的情况,即递归到只剩下最后1个数时才能找到。

2.4.1 暴力枚举

前提:根据代码可知,调用递归方法这行代码(不考虑方法内的实现)的时间复杂度为O(1),执行递归方法外代码(包括计算中间索引和判断中间元素是否等于目标等代码)的时间复杂度为O(1)

  1. 当数组大小为1时
tex 复制代码
n=1
子递归方法执行次数:0
递归外代码执行次数:1
时间复杂度:O(1)
  1. 当数组大小为2时

灰色的块表示不会执行

子递归方法执行次数=箭头的数量

递归外代码执行次数=非灰色的额外块数量

tex 复制代码
n=2
子递归方法执行次数:1
递归外代码执行次数:2
时间复杂度:1*O(1) + 2*O(1)

除了每个子递归方法里执行了额外代码外,主递归方法里也执行了一次,因此递归外代码执行次数是子递归方法执行次数+1

  1. 当数组大小为4时
tex 复制代码
n=4
子递归方法执行次数:2
递归外代码执行次数:3
时间复杂度:2*O(1) + 3*O(1)
  1. 当数组大小为8时
tex 复制代码
n=8
子递归方法执行次数:3
递归外代码执行次数:4
时间复杂度:3*O(1) + 4*O(1)

2.4.2 递归的深度

可以看出,每次执行子递归方法时,数组的大小都是除以2缩至原来的一半,一直到缩至1为止。设递归深度为x,那么 2^x^=n ,因此递归深度就是 x=log^n^

2.4.3 子递归方法执行次数

因为每一层递归只会执行1次子递归方法,因此递归方法执行次数和递归的深度一样,是:

\[f(n)=log{n} \]

2.4.4 递归方法外代码的执行次数

每个子递归方法都要执行1次递归外代码,父递归方法也要执行1次递归外代码,因此递归外代码的执行次数是:

\[f(n)=log{n}+1 \]

2.4.5 递归方法的时间复杂度

  1. 执行所有子递归方法(不考虑方法内的实现)的时间复杂度:

    \[T(n)=log{n}*O(1)=O(log{n}) \]

  2. 所有递归外代码的时间复杂度:

    \[T(n)=(log{n}+1)*O(1)=O(log{n}) \]

    忽略常量 1

  3. 整体的时间复杂度

    \[T(n)=O(log{n})+O(log{n})=O(2*log{n})=O(log{n}) \]

    忽略常量 2

可以看出,二分查找的时间复杂度主要取决于递归的深度。

2.5 与Master公式的联系

\[T(n) = a*T(n/b) + O(n^d) \]

再回头看Master公式推导时间复杂度的第2种情况:当 d=log~b~^a^ 时,递归时间复杂度为:O(n^d^ * log^n^)

  • 公式中的 O(n^d^) 是每一次子递归方法外代码的时间复杂度,时间复杂度中的 log^n^ 就是递归的深度,而不是子递归方法或递归外代码的执行次数,这一点后面的例子会证明这一点。
  • 再看 d=log~b~^a^ 这个条件,这里没有出现过 log~b~^a^,因此看不出来。

3. 归并排序如何满足Master公式

3.1 方法说明

归并排序(Merge Sort)是一种分而治之的算法,它将数组分成越来越小的部分直到每个部分只有一个元素,然后将这些部分两两合并成有序的数组。归并排序的时间复杂度是 O(n * log^n^),下面就来看看它是怎么得来的。

3.2 上代码

java 复制代码
public class MergeSort {
    // 递归排序函数
    private static void mergeSort(int[] array, int left, int right) {
        if (left < right) {
            // 找到中间点
            int mid = (left + right) / 2;

            // 分别对左右两边进行排序
            mergeSort(array, left, mid);
            mergeSort(array, mid + 1, right);

            // 合并两个有序数组
            merge(array, left, mid, right);
        }
    }

    // 合并两个有序数组
    private static void merge(int[] array, int left, int mid, int right) {
        // 创建临时数组存放合并后的结果
        int[] temp = new int[right - left + 1];
        int i = left, j = mid + 1, k = 0;

        // 比较左右两部分的元素,依次放入temp数组
        while (i <= mid && j <= right) {
            if (array[i] <= array[j]) {
                temp[k++] = array[i++];
            } else {
                temp[k++] = array[j++];
            }
        }

        // 将剩余部分依次放入temp
        while (i <= mid) {
            temp[k++] = array[i++];
        }
        while (j <= right) {
            temp[k++] = array[j++];
        }

        // 将temp数组复制回原数组
        System.arraycopy(temp, 0, array, left, temp.length);
    }
}

3.3 代入Master公式

\[T(n) = a*T(n/b) + O(n^d) \]

  1. 确定a/b/d的值
    a=2 :每次递归执行mergeSort()方法时,会执行2次
    b=2 :每次递归处理的数据量是原来的1/2
    d=1 :每次递归都需要遍历传入的下标范围内每一个元素,因此时间复杂度是O(n),即n^1^=n

  2. 推导时间复杂度
    log~b~^a^ = log~2~^2^ = 1 = d ,因此满足 d=log~b~^a^ ,那么时间复杂度为:O(n^d^ * log^n^) = O(n^1^ * log^n^) = O(n * log^n^)

3.4 暴力分析时间复杂度

3.4.1 暴力枚举

前提:根据代码可知,调用递归方法这行代码(不考虑方法内的实现)的时间复杂度为O(1),执行递归方法外代码(包括计算中间索引和合并有序数组等代码)的时间复杂度为O(n)

  1. 当数组大小为1时
tex 复制代码
n=1
子递归方法执行次数:0
递归外代码执行次数:0
时间复杂度:O(1)

此时left=right=0,进不去if条件。执行空方法的时间复杂度就是O(1),常量级的

  1. 当数组大小为2时
tex 复制代码
n=2
子递归方法执行次数:2
递归外代码执行次数:1
时间复杂度:2*O(1) + 1*O(2)
  1. 当数组大小为4时
tex 复制代码
n=4
子递归方法执行次数:6
递归外代码执行次数:3
时间复杂度:6*O(1) + O(4) + 2*O(2)

因为每次执行递归方法外代码的时间复杂度为O(n),所以这里3次递归外代码的时间复杂度不一样。主递归方法中会遍历4次,是O(4);2个子递归方法中会遍历2次,都是O(2)

  1. 当数组大小为8时
tex 复制代码
n=8
子递归方法执行次数:14
递归外代码执行次数:7
时间复杂度:14*O(1) + O(8) + 2*O(4) + 4*O(2)

子递归方法执行次数=箭头的数量

递归外代码执行次数=非灰色的额外块数量

3.4.2 递归的深度

每次执行子递归方法时,数组的大小也是缩至原来的一半,一直到缩至1为止。同理递归的深度就是 log^n^

3.4.3 子递归方法执行次数

上图中子递归方法执行次数依次为:0、2、6、14...

找一下规律:假设父递归方法中所有子递归次数对应的函数为f(n),由于父递归处理的数据规模是子递归的2倍,因此子递归方法中所所有子递归次数对应的函数为f(n/2),父递归方法会执行2次子递归方法,那么这2次子递归方法中的所有子递归次数就是2*f(n/2),父递归方法中执行的2次子递归方法,也要加进去,那么可得:f(n)=2*f(n/2)+2

验证一下:

f(1)=0

f(2)=2*0 + 2 = 2

f(4)=2*2*0 + 2*2 + 2 = 6

f(8)=2*2*2*0 + 2*2*2 + 2*2 + 2 = 14

可以推导出:f(2^x^) = 2^x^ + 2^x-1^ + ... + 2^1^(x=log^n^)。

可以看出,每一项都是后一项的2倍,所以这些因子项就是一个等比数列。等比数列的通项为:

\[a_n=a_1*q^{n-1} \]

那么可推导出这个等比数列是:

\[a_n=2*2^{n-1} \]

根据等比数列求和公式:

\[S_n=a_1*(1-q^n)/(1-q) \]

可以推导出:

\[S_n=2*(1-2^n)/(1-2)=2*(2^n-1) \]

由于 f(2^x^)=S(x),因此 f(n) = S(log^n^),代入可得子递归方法执行次数:

\[f(n)=2*(2^{log{n}}-1)=2*(n-1) \]

3.4.4 递归方法外代码的执行次数

每个子递归方法都要执行1次递归外代码,父递归方法也要执行1次递归外代码,但是叶子递归节点(n=1)不需要执行递归外代码,从图中可以看出一共有n个叶子递归节点,所以递归方法外代码的执行次数就是:

\[f(n)=2*(n-1)+1-n=n-1 \]

3.4.5 递归方法的时间复杂度

  1. 执行所有子递归方法(不考虑方法内的实现)的时间复杂度:

    \[T(n)=2*(n-1)*(1)=O(n) \]

    忽略常量项2和1

  2. 所有递归外代码的时间复杂度:

    这里还不能简单的用(n-1) * O(n)得到时间复杂度,这种方式仅适用于时间复杂度为O(1)的情况。从上图里可以看出,每一层执行递归外代码的时间复杂度都不一样,和这一层的n有关。将每一层的时间复杂度累加,可得:

    \[T(n)=O(n)+2*O(n/2) + 2*2*O(n/2/2) + ... \]

    可以看出每一项的结果都是O(n),只要得出有多少项即可。这里的每一项其实就对应着上图中的每一层,因此这里的项数其实就是递归的深度 log^n^。因此递归外代码的时间复杂度就是:

    \[T(n)=O(n*log{n}) \]

  3. 整体的时间复杂度:

    \[T(n)=O(n)+O(n*log{n})=O(n*log{n}) \]

    O(n) 远小于 O(n * log^n^),可以直接忽略

3.5 与Master公式的联系

\[T(n) = a*T(n/b) + O(n^d) \]

再回头看Master公式推导时间复杂度的第2种情况:当 d=log~b~^a^ 时,递归时间复杂度为:O(n^d^ * log^n^)

  • 公式中的 O(n^d^) 是每一次子递归方法外代码的时间复杂度,时间复杂度中的 log^n^ 就是递归的深度。
  • 再看 d=log~b~^a^ 这个条件, log~b~^a^ 也还是没有出现,不确定它怎么来的。

4. 疯子版二分查找如何满足Master公式

因为上面两个例子都匹配上 d=log~b~^a^ 这个条件,这里再举一个不一样的例子。这个例子可以快速地浏览。

4.1 方法说明

疯子版二分查找,是在原来的基础上,增加一个for循环,仅仅是为了增加递归外代码的时间复杂度,改变Master公式中d的值。

4.2 上代码

java 复制代码
public class BinarySearch {
	private static int binarySearch(int[] array, int target, int low, int high) {
		if (low > high) {
			// 如果搜索范围为空,表示未找到目标
			return -1;
		}

		// 无意义的for循环,为了提升递归外代码的时间复杂度
		for (int i = low; i < high + 1; i++) {
			System.out.println(array[i]);
		}

		// 计算中间索引
		int mid = low + (high - low) / 2;

		// 如果中间元素等于目标,返回索引
		if (array[mid] == target) {
			return mid;
		}
		// 如果中间元素大于目标,递归搜索左半部分
		else if (array[mid] > target) {
			return binarySearch(array, target, low, mid - 1);
		}
		// 如果中间元素小于目标,递归搜索右半部分
		else {
			return binarySearch(array, target, mid + 1, high);
		}
	}
}

4.3 代入Master公式

\[T(n) = a*T(n/b) + O(n^d) \]

  1. 确定a/b/d的值
    a=1 :每次递归执行binarySearch()方法时,只会执行1次,要么递归搜索左半部分,要么递归搜索右半部分
    b=2 :每次递归处理的数据量是原来的1/2
    d=1 :除了调用递归方法外,还有个for循环逻辑,因此时间复杂度是O(n),即 n^d^=1

  2. 推导时间复杂度
    log~b~^a^ = log~2~^1^ = 0 < d ,因此满足 d>log~b~^a^ ,那么时间复杂度为:O(n^d^) = O(n)

4.4 暴力分析时间复杂度

下面的示例是考虑最坏的情况,即递归到只剩下最后1个数时才能找到。

4.4.1 暴力枚举

前提:根据代码可知,调用递归方法这行代码(不考虑方法内的实现)的时间复杂度为O(1),执行递归方法外代码(包括for循环打印等代码)的时间复杂度为O(n)

  1. 当数组大小为1时
tex 复制代码
n=1
子递归方法执行次数:0
递归外代码执行次数:1
时间复杂度:O(1)
  1. 当数组大小为2时
tex 复制代码
n=2
子递归方法执行次数:1
递归外代码执行次数:2
时间复杂度:1*O(1) + O(2) + O(1)
  1. 当数组大小为4时
tex 复制代码
n=4
子递归方法执行次数:2
递归外代码执行次数:3
时间复杂度:2*O(1) + O(4) + O(2) + O(1)
  1. 当数组大小为8时
tex 复制代码
n=8
子递归方法执行次数:3
递归外代码执行次数:4
时间复杂度:3*O(1) + O(8) + O(4) + O(2) + O(1)

4.4.2 递归的深度

这里递归深度还是 x=log^n^

4.4.3 子递归方法执行次数

子递归方法执行次数和递归的深度一样,是 log^n^

4.4.4 递归方法外代码的执行次数

递归外代码的执行次数是 log^n^ + 1

4.4.5 递归方法的时间复杂度

  1. 执行所有子递归方法(不考虑方法内的实现)的时间复杂度:

    \[T(n)=log{n}*O(1)=O(log{n}) \]

  2. 所有递归外代码的时间复杂度:

    这里也不能简单的用 (log^n^ + 1) * O(n) 得到时间复杂度,从上图里可以看出,每一层执行递归外代码的时间复杂度都不一样,和这一层的n有关。时间复杂度应该是:

    \[T(n)=O(n)+O(n/2)+O(n/2/2)+... \]

    可以看出前后项之间都是2倍的关系,其实就是对等比数列求和。前面的3.4.3 递归方法执行次数的推导结论可以直接复用,即这里的时间复杂度就是:

    \[T(n)=O(n) \]

  3. 整体的时间复杂度:

    \[T(n)=O(log{n})+O(n)=O(n) \]

    因为 log^n^n 面前就是个弟弟,可以直接忽略

可以看出,这个例子的时间复杂度主要取决于执行所有子递归方法和所有递归外代码的时间复杂度谁大。

4.5 与Master公式的联系

\[T(n) = a*T(n/b) + O(n^d) \]

再回头看Master公式推导时间复杂度的第3种情况:当 d>log~b~^a^ 时,递归时间复杂度为:O(n^d^)

  • 公式中的 O(n^d^) 是每一次子递归方法外代码的时间复杂度。
  • 再看 d>log~b~^a^ 这个条件,这里依然看不出来,只能在后面的推导过程中验证了。

5. 代入公式中的参数来分析

\[T(n) = a*T(n/b) + O(n^d) \]

5.1 递归的深度

b是子问题的规模缩小的比例,因此递归的深度和b有关。每一次递归都需要除以b,一直除到等于1为止。反过来说,就是b * b * b...一直乘到等于n为止,b相乘的个数就是递归的深度。设深度为x,那么n=b^x^,x=log~b~n。

因此递归的深度就是 log~b~^n^

5.2 子递归方法执行次数

递归方法执行次数其实和两个变量有关,递归的深度和每次递归时调用子递归的次数。

  • 当每次递归时调用子递归的次数等于1时:

    递归方法执行次数就是递归的深度,即:

    \[f(n)=log_b{n} \]

  • 当每次递归时调用子递归的次数大于1时:

    (1)假设父递归方法中递归次数对应的函数为f(n),由于父递归处理的数据规模是子递归的b倍,因此子递归方法中递归次数对应的函数为f(n/b),执行a次子递归方法,这a次子递归方法中的总递归次数就是a*f(n/b),父递归方法中执行的a次子递归方法也要加进去,那么可得:f(n)=a*f(n/b)+a

    (2)枚举n的值来找规律:

    正常情况下,当n=1时,f(1)=0(当数据规模只有1个时,不需要执行子递归方法)。

    当n=b时,f(b)= a * 0 + a

    当n=b^2^时,f(b^2^)= a^2^ * 0 + a^2^ + a

    当n=b^3^时,f(b^3^)= a^3^ * 0 + a^3^ + a^2^ + a

    当n=b^x^时,f(b^x^)= a^x^ + a^x-1^ + ... + a

    去掉求和因子中的第一项(因为第一项等于0),剩下的那些项(a^3^/a^2^/a)其实就是个等比数列。可推导出这个等比数列是:

    \[a_n=a*a^{n-1} \]

    这个等比数列对应的求和公式是:

    \[S_n=a*(1-a^{n})/(1-a) \]

    由于 f(b^x^)=S(x),因此 f(n) = S(log~b~^n^),代入可得:

    \[f(n)=a*(a^{log_b{n}}-1)(a-1) \]

    (3)化简公式:

    这里主要简化一下 a^log~b~^n^^,因为它包含n。根据对数的换底公式:

    \[log_{a}b = log_{c}b/log_{c}a \]

    可得:

    \[log_b{n}=log_a{n}/log_a{b} \]

    根据指数运算法则:

    \[a^{mn}=(a^m)^n \]

    可得:

    \[a^{log_b{n}}=a^{log_a{n}/log_a{b}}=(a^{log_a{n}})^{1/log_a{b}}=n^{1/log_a{b}}=n^{log_a{a}/log_a{b}}=n^{log_b{a}} \]

    推到这里,醍醐灌顶!恍然大悟!!原来 log~b~^a^ 藏在这里!!!

    (4)综上,子递归方法执行次数为:

    \[\begin{cases} f(n)=log_b{n} & a=1 \\ \\ f(n)=a*(n^{log_b{a}}-1)(a-1) & a>1 \\ \end{cases} \]

5.3 递归方法外代码的执行次数

每个子递归方法都要执行1次递归外代码,父递归方法也要执行1次递归外代码,因此递归外代码的执行次数是递归方法执行次数+1

不过呢,递归方法外代码的时间复杂度并不能简单地用执行次数乘以单次的时间复杂度,这一点从归并排序的例子中可以看出来。但是如果单次递归外代码的时间复杂度是O(1)时,则递归方法外代码的时间复杂度就取决于归外代码的执行次数了。这一点在下面的5.4.2小节中分成2种情况来讨论。

5.4 递归方法的时间复杂度

5.4.1 所有子递归方法的时间复杂度

不考虑递归方法内部的实现,仅考虑所有只调用子递归方法这一行代码的时间复杂度时,调用单行代码的时间复杂度为:O(1)。所有子递归方法(不考虑递归方法内部的实现)的时间复杂度=单行子递归方法的时间复杂度*子递归方法执行次数。因此可得:

\[T(n)=\begin{cases} O(log_{b}n) & a=1,b>1 \\ \\ a * (n^{log_{b}a} - 1) / (a-1) = O(n^{log_{b}a}) & a>1,b>1 \\ \end{cases} \]

常数项a和1可以忽略

5.4.2 所有递归外代码的时间复杂度

  • 当d=0时,单次递归外代码的时间复杂度是 O(n^d^) = O(1),因此时间复杂度主要取决于递归外代码执行次数(和所有子递归方法的时间复杂度一样):

    \[T(n)=\begin{cases} O(log_{b}n)=O(n^d*log{n}) & a=1,b>1,d=0,log_{b}a=d \\ \\ O(n^{log_{b}a}) & a>1,b>1,d=0,log_{b}a>d \\ \end{cases} \]

    根据对数的换底公式可知, log~b~^n^=log^n^/log^b^,而常数项 log^b^ 可以忽略,因此可以 O(log~b~^n^) 直接写成 O(log^n^)。

    当d=0时,n^d^=1,因此第一项时间复杂度乘以 n^d^ 也不影响整体结果,且离推导结果更近了一步。

  • 当d>0时,单次递归外代码的时间复杂度是 O(n^d^),下一层的单次子递归外代码的时间复杂度是 O((n/d)^d^),将每一层累加可得到时间复杂度:

    \[T(n) = O(n^d) + a * O((n/b)^d) + a^2 * O((n/b^2)^d) + ... \]

    推导一下最后一项的值:从上往下,第二层有a个子递归方法,第三层有a*a个子递归方法,因此第x层有a^x^个子递归方法。第二层n除以了b,第三层n除以了b^2^,和a的指数一样,因此第x层n除以了b^x^。

    那么最后一层对应的x是多少呢?每向下一层,x就+1,因此这个x其实就是递归的深度 log ^n^。那么最后一项就是:a^log^n^^ * O((n/b^log^n^^)^d^)。综上可得:

    \[T(n) = O(n^d) + (a/b^d)*O(n^d) + (a/b^d)^2*O(n^d) + ... + (a/b^d)^{log_{b}n} * O(n^d) \]

    最后一项,因为相乘的两个因子中都包含n,为了消去其中一个n,分为以下两种情况来讨论:

    (1)当 (a/b^d^)=1 时,即 log~b~^a^=d 时,上式中所有的 (a/b^d^)^x^ 结果都为1,可以消掉。累加的因子数量其实就是递归的深度:log~b~^n^。因此时间复杂度就是:

    \[T(n)=O(n^d*log_{b}n) [条件:log_{b}a=d,a>1,b>1,d>0] \]

    因为d>0,所以一定有a>1。因为a=1时,log~b~^a^=0,那么log~b~^a^=d就不成立了。

    (2)当 (a/b^d^)!=1 时,再化简下上面的公式:

    \[T(n) = O(n^d)*(a/b^d + (a/b^d)^2 + ... + (a/b^d)^{log_{b}n}) \]

    可以看出这些项(1、a/b^d^、(a/b^d^)^2^、(a/b^d^)^log~b~^n^^)其实就是个等比数列。等比数列的第一项是 a~1~=1,可推导出这个等比数列是:

    \[a_n=(a/b^d)^{n-1} \]

    这个等比数列对应的求和公式是:

    \[S_n=(1-(a/b^d)^{n})/(1-a/b^d) \]

    从(2)中化简后的公式可以看出,T(n) 中求和的因子个数是 log~b~^n^,因此 T(n) = n^d^ * S(log~b~^n^)。

    \[S(log_{b}n)=(1-(a/b^d)^{log_{b}n)})/(1-a/b^d) \\ = (1-a^{log_b{n}}/(b^d)^{log_b{n}})/(1-a/b^d) \\ = (n^{log_b{a}}/n^d-1)/(a/b^d-1) \]

    前面已经论证过:a^log~b~^n^^=n^log~b~^a^^

    代入可得:

    \[T(n) = O(n^d * S(log_{b}n)) = O(n^d * (n^{log_b{a}}/n^d-1)/(a/b^d-1)) \\ = O((n^{log_b{a}} - n^d)/(a/b^d-1)) \]

    根据 (a/b^d^)<1 和 (a/b^d^)>1,将上式分为两种情况,可得:

    \[T(n) = \begin{cases} O((n^{log_b{a}} - n^d)/(a/b^d-1)) = O(n^{log_b{a}}) & a/b^d>1,log_b{a}>d \\ \\ O((n^{log_b{a}} - n^d)/(a/b^d-1)) = O(n^d) & a/b^d<1,log_b{a}<d \\ \end{cases} \]

    综合上面两种情况 (a/b^d^)=1 和 (a/b^d^)!=1 ,d>0 时的时间复杂度为:

    \[T(n)=\begin{cases} O(n^d*log_{b}n) = O(n^d*log{n}) & log_{b}a=d,a>1,b>1,d>0 \\ \\ O(n^d) & log_{b}a<d,a>=1,b>1,d>0 \\ \\ O(n^{log_{b}a}) & log_{b}a>d,a>1,b>1,d>0 \\ \end{cases} \]

  • 将d=0和d>0合并,所有递归外代码的时间复杂度为:

    \[T(n)=\begin{cases} O(n^d*logn) & log_{b}a=d,a>=1,b>1,d>=0 \\ \\ O(n^d) & log_{b}a<d,a>=1,b>1,d>0 \\ \\ O(n^{log_{b}a}) & log_{b}a>d,a>1,b>1,d>=0 \\ \end{cases} \]

    可以看出,这就是根据Master公式推导的递归方法的时间复杂度。

5.4.3 递归方法的整体时间复杂度

递归方法的整体时间复杂度=所有子递归方法的时间复杂度+所有递归外代码的时间复杂度(两个时间复杂度相加,小的那一个可以直接忽略)。

\[T(n)=\begin{cases} O(logn) & a=1,b>1 \\ \\ O(n^{log_{b}a}) & a>1,b>1 \\ \end{cases} \]

上面是所有子递归方法的时间复杂度,它的时间复杂度比递归外代码的时间复杂度差远了,可以忽略。因此递归方法的整体时间复杂度主要取决于所有递归外代码的时间复杂度。

递归方法的整体时间复杂度:

\[T(n)=\begin{cases} O(n^d*logn) & log_{b}a=d \\ \\ O(n^d) & log_{b}a<d \\ \\ O(n^{log_{b}a}) & log_{b}a>d \\ \end{cases} \]

这就和Master公式推导的递归方法的时间复杂度完全吻合了:

  1. d<log~b~^a^ 时,递归时间复杂度为:O(n^log~b~^a^^)
  2. d=log~b~^a^ 时,递归时间复杂度为:O(n^d^ * log^n^)
  3. d>log~b~^a^ 时,递归时间复杂度为:O(n^d^)