【算法】复杂度分析

原创

已于 2024-02-27 16:13:55 修改 · 805 阅读

17 ·

CC 4.0 BY-SA版权

文章标签：

#算法

于 2024-02-21 16:50:21 首次发布

本文围绕代码复杂度分析展开，介绍了时间复杂度和空间复杂度分析的意义，阐述了大O复杂度表示法，讲解了时间复杂度分析的加法和乘法法则，列举了常见时间复杂度量级。还深入探讨了最好、最坏、平均、均摊4种时间复杂度，帮助开发者评估算法执行效率。

第一章、如何分析代码的执行效率和资源消耗

我们知道，数据结构和算法解决的是“快”和“省”的问题，也就是如何让代码运行得更快，一级如何让代码更节省计算机的存储空间。因此，执行效率是评价算法好坏的一个非常重要的指标。那么，如何衡量算法的执行效率尼？这里就要用到我们本节要讲的内容：时间复杂度分析和空间复杂度分析。

一、复杂度分析的意义

我们把代码运行一遍，通过监控和统计手段，就能得到算法执行的时间和占用的内存大小，为什么还要做时间复杂度分析，空间复杂度分析呢？这种“纸上谈兵”似的分析方法比实实在在地运行一遍代码得到的数据更准确吗？

实际上，这是两种不同的评估算法执行效率的方式。对于运行代码来统计复杂度的方法，很多有关数据结构和算法的图书还给它起了一个名字：事后统计法。这种统计方法看似可以给出非常精确的数值，但是却有非常大的局限性。

1、测试结果受测试环境的影响很大

在测试环境中，硬件的不同得到的测试结果会有很大的差异。例如，我们用同样一段代码分别在安装了Intel Core i9处理器（CPU）和Intel Core i3处理器的计算机上运行，显然，代码在安装了Intel Core i9处理器的计算机上要比在安装了Intel Core i3处理器的计算机上的执行速度快得多。又如，在某台机器上，a代码执行的速度比b代码快，当我们换到另外一台配置不同的机器上时，可能会得到截然相反的运行结果。

2、测试结果受测试数据的影响很大

我们会在后续章节详细讲解排序算法，这里用它进行举例说明。对同一种排序算法，待排序数据的有序度不一样，排序执行的时间会有很大的差别。在极端情况下，如果数据已经是有序的，那么有些排序算法不需要做任何操作，执行排序的时间就会非常短。除此之外，如果测试数据规模太小，那么测试结果可能无法真实地反应算法的性能。例如，对于小规模的数据排序，插入排序反而比快速排序快！

因此，我们需要一种不依赖具体的测试环境和测试数据就可以粗略地估计算法执行效率的方法。这就是本节要介绍的时间复杂度分析和空间复杂度分析。

二、大O复杂度表示法

如何在不运行代码的情况下，用“肉眼”分析代码后得到一段的执行时间尼？下面用一段非常简单的代码来举例，看一下如何估算代码的执行时间。求1~n的累加和的代码如下所示：

public static int cumulativeSum(int n){
        int result = 0;
        for (int i = 1; i <= n; i++){
            result += i;
        }
        return result;
}

从在CPU上运行的角度来看，这段代码的每一条语句执行类似的操作：读数据--运算--写数据。尽管每一条语句对应的执行时间不一样，但是，这里只是粗略估计，我们可以假设每条语句执行的时间一样，为unit_time。在这个假设的基础上，这段代码的总执行时间是多少尼？

执行第2，6行代码分别需要1个unit_time的执行时间；第3，4行代码循环运行了n遍，需要 2n x unit_time的执行时间。因此，这段代码的总执行时间为(2n + 2) x unit_time的执行时间。通过上面的举例分析，我们得到一个规律：一段代码的总的执行时间为T(n)（例子中的(2n + 2) x unit_time）与每一条语句的执行次数（累加数）（例子中的2n + 2）成正比。

按照这个分析思路，我们再来看另一段代码，如下所示：

public static int cal(int n){
        int sum = 0;
        int i = 1;
        int j;
        for (; i <= n; i++){
            j = 1;
            for (; j <= n; j++){
                sum = sum + (i * j);
            }
        }
        return sum;
}

依旧假设每条语句的执行时间为unit_time，那么这段代码的总的执行时间是多少尼？

对于第2，3，4，11行代码，每行代码需要1个unit_time的执行时间。第5，6行代码循环执行了n遍，需要2n x unit_time的执行时间。第7，8行代码循环执行了n²遍，需要2n² x unit_time的执行时间。因此，整段代码总的执行时间为T(n) = (2n² + 2n + 4) x unit_time。尽管我们不知道unit_timede 具体值，而且，每一条语句执行时间unit_time可能都不尽相同，但是，通过这两段代码执行时间的推导过程，可以得到一个非常重要的规律：

一段代码的执行时间T(n)与每一条语句总的执行次数（累加数）成正比。

我们可以把这个规律总结成一个公式，如下所示：

T(n) = O(f(n))

下面具体解释一下公式。其中，T(n)表示代码执行的总时间；n表示数据规模；f(n)表示每条语句执行次数的累加和，这个值与n有关，因此用f(n)这样一个表达式来表示；公式中的O这个符号，表示代码的执行时间T(n) 与 f(n)成正比。

套用这个大O表示法，第一个例子中的T(n) = (2n + 2) x unit_time = O(2n + 2)，第二个例子中的T(n) = (2n² + 2n + 4) x unit_time = O(2n² + 2n + 4)。实际上，大O时间复杂度并不具体表示代码真正的执行时间，而是表示代码执行时间随着数据规模增大的变化趋势，因此，也称为渐进时间复杂度（asymptotic time complexity），简称时间复杂度。

当n很大时，读者可以把它想象成10000,100000，公式中的低阶，常量，系数3部分并不控制增长趋势，因此可以忽略。我们只需要记录一个最大量级。如果用大O表示法表示上面的两段代码的时间复杂度，就可以记为：T(n) = O(n) 和 T(n) = O(n²)。

补充知识：

在数学中，我们经常会听到关于“高阶”、“低阶”、“常量”和“系数”的术语。让我来解释一下：

高阶（High-order）：在多项式或函数中，高阶项是指指数较高的项。例如，在多项式 ax^n+bx^(n−1)+cx^(n−2)+… +d 中，ax^n 就是高阶项，n 是高阶项的指数。通常来说，当 n 越大，该项的影响就越显著，因此被称为“高阶”。

低阶（Low-order）：与高阶相对应，低阶项是指指数较低的项。在上面的多项式中，bx^(n−1) 和 cx^(n−2) 就是低阶项。这些项的影响相对较小，因为它们的指数较低。

常量（Constant）：常量是没有包含任何变量的项，它们是数学表达式中的固定值。在多项式 ax^n+bx^(n−1)+cx^(n−2)+… +d 中，d 就是常量项。

系数（Coefficient）：系数是与变量相乘的数字或参数。在多项式 ax^n+bx^(n−1)+cx^(n−2)+… +d 中，a、b 和 c 都是各自项的系数。系数决定了每个变量项的影响程度，它们可以是实数、复数或其他数学结构的成员。

在一个多项式中，通常高阶项对函数的整体形状和行为有着更显著的影响，而低阶项和常量则在更小的尺度上调整函数的细节。系数则决定了每个项的具体贡献。系数决定了变量的比例关系和对整个公式的影响程度。它们可以改变公式的斜率、曲线形状和整体大小。