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

前言

本篇文章收录于专辑：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. 下周将进行晋升答辩，会停更几天，敬请谅解。

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