彤哥读源码 · 2020年07月26日

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

前言

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

关注公号主“彤哥读源码”,解锁更多源码、基础、架构知识。
推荐阅读
关注数
0
内容数
7
目录
极术微信服务号
关注极术微信号
实时接收点赞提醒和评论通知
安谋科技学堂公众号
关注安谋科技学堂
实时获取安谋科技及 Arm 教学资源
安谋科技招聘公众号
关注安谋科技招聘
实时获取安谋科技中国职位信息