到底什么才是真正的空间复杂度？

前言

本篇文章收录于专辑：http://dwz.win/HjK，点击解锁更多数据结构与算法的知识。

你好，我是彤哥，一个每天爬二十六层楼还不忘读源码的硬核男人。

上一节，我们一起学习了复杂度分析的套路和常见的复杂度。

但是，我们的案例基本都是以时间复杂度为主，很少接触到空间复杂度。

那么，到底什么才是真正的空间复杂度呢？在空间与时间发生冲突时又该如何权衡呢？

本节，我们就来解决这两个问题。

来个例子

现在有一个算法是这样的，给定一个数组，将数组中每个元素都乘以2返回，我实现了下面两种形式：

private static int[] multi1(int[] array) {
    int[] newArray = new int[array.length];
    for (int i = 0; i < array.length; i++) {
        newArray[i] = array[i] * 2;
    }
    return newArray;
}

private static int[] multi2(int[] array) {
    for (int i = 0; i < array.length; i++) {
        array[i] = array[i] * 2;
    }
    return array;
}

暂且不论这两个算法孰好孰坏，你来猜猜他们的空间复杂度各是多少？

你可能会说第一个算法的空间复杂度为O(n)，第二个算法的空间复杂度为O(1)。

错！两个算法的空间复杂度都是O(n)。

也不能说你完全错了，因为大部分书籍或者资料都弄错了。

是时候了解真正的空间复杂度了。

空间复杂度与额外空间复杂度

空间复杂度，是指一个算法运行的过程占用的空间，这个空间包括输入参数的占用空间和额外申请的空间。

所以，针对上面两个算法：

• 第一个算法，输入参数n，额外空间n，两者相加为2n，去除常数项，空间复杂度为O(n)；
• 第二个算法，输入参数n，额外空间0，两者相加为n，空间复杂度为O(n)。

可以看到，使用空间复杂度很难判断这两个算法的好坏，所以，诞生了另一个概念——额外空间复杂度。

额外空间复杂度，是指一个算法运行过程中额外申请的空间。

使用额外空间复杂度，针对上面两个算法：

• 第一个算法，额外空间为n，额外空间复杂度为O(n)；
• 第二个算法，额外空间为0，额外空间复杂度为O(1)；

似乎没见过有O(0)这种写法。

可以看到，使用额外空间复杂度能够很轻易地判断两个算法的好坏（从空间占用的角度）。

所以，是时候纠正错误的概念了，以后与人交流的时候请使用“额外空间复杂度”这个概念。

时间与空间的权衡

时间与空间往往是一组纠缠在一起的概念，就像很多小说中写的一样，主角最终领悟了时空法则，成为了最强者，小说结束。

在数据结构与算法中也是一样，时间与空间往往同时出现，而且经常朝着相反的方向运动。

比如，对于排序算法：

• 冒泡排序，时间复杂度O(n^2)，空间复杂度O(1)
• 归并排序，时间复杂度O(nlogn)，空间复杂度O(n)

所以，有两种思想：以时间换空间，以空间换时间。

那么，哪种算法更好呢？

我认为，如果有时间、空间同时比较小的为最好，退而求其次，我选择以空间换时间，毕竟，随着计算机硬件技术地不断发展，空间越来越不值钱，而时间却越来越值钱，所以，以空间换时间也是一种常用的思想，在我们后续的课程中会出现大量以空间换时间的案例。

想知道冒泡排序和归并排序算法的复杂度如何计算吗？来呀，关注我吧。

后记

本节，我们从一个小例子入手，分析了两种算法的空间复杂度，并引出空间复杂度的真身——额外空间复杂度，最后，通过对比冒泡排序和归并排序的时间复杂度和空间复杂度，得出了以空间换时间的思想。

到这里，关于复杂度相关的章节就写完了，从下一节开始，我们将进入常用数据结构与算法的学习中，敬请期待。

P.S. 下周将进行晋升答辩，会停更几天，敬请谅解。

关注公号主“彤哥读源码”，解锁更多源码、基础、架构知识。