算法的本质
算法(algorithm)的本质是将问题划分为一系列可执行的步骤,并通过合理的计算和操作来达到预期的结果。同一个问题可以使用不同算法解决,但计算过程中消耗的时间和资源可能千差万别。
那如何比较不同算法之间的优劣呢?目前分析算法主要从时间和空间两个维度进行。
- 时间维度:时间复杂度(time complexity),算法需要消耗的时间。
- 空间维度:空间复杂度(space complexity),算法需要占用的内存空间。
因此,分析算法利弊主要从时间复杂度和空间复杂度进行。大多时候二者不可兼得,有时用时间换空间,有时用空间换时间,来满足所在场景需要!
1. 时间复杂度 Time Complexity
时间复杂度是衡量算法执行时间的增长率,表示算法在处理输入规模增大时所需的时间。时间复杂度通常用大O符号(O)表示,后跟一个表示增长率的函数.常见的时间复杂度有:O(1)、O(log n)、O(n)、O(n log n)、O(n^2)等。
O(1) (常数时间 Contant Time)
常数时间算法不会随数据量变化而变,时间固定。如下算法:
1 | /** |
该函数执行所需时间与 $array
数组大小无关。无论数组有十个元素,还是一万个元素,该函数都只检查数组第一个元素。数据量变大时,算法所需时间保持不变。
为简便起见,用O(1)
来表示常数时间。
O(n)(线性时间 Linear Time)
线性时间复杂度是最好理解的。随着数据量增加,耗费时间同步增加。如下算法:
1 | /** |
为简便起见,用O(n)
表示线性时间复杂度。
O(n^2)(平方时间 Quadratic Time)
平方时间(Quadratic Time)也称为n的平方,平方时间复杂度算法耗费时间是数据量的平方。参考以下代码:
1 | function array_multiplication(array $array) { |
上述代码中,array_multiplication
函数接受一个数组作为输入,并计算数组中每两个元素的乘积,并将乘积存储在结果数组中。算法使用了嵌套的foreach循环来遍历数组中的每个元素,因此算法的执行时间与输入数组大小的平方成正比。所以它的时间复杂度是O(n^2),即平方时间复杂度。
常规来讲同一问题下线性时间复杂度要好于平方时间复杂度。
O(log n)(对数时间 Logarithmic Time)
对数时间(Logarithmic Time)也称为n的对数,对数时间复杂度算法耗费时间与数据量呈现对数走势。参考以下代码:
1 | function array_add_log(int $n) { |
上述代码中,array_add_log
函数接受一个整数n作为输入,并使用一个循环来以2的幂次递增的方式遍历从1到n的范围。在每次循环迭代中,$i的值将乘以2。算法的循环次数取决于$i的增长速度,即取决于n的对数走势。因此,该算法的时间复杂度是O(log n),即对数时间复杂度。
O(n log n)( 准线性时间 Quasilinear Time)
准线性时间算法比线性时间算法效率低,但比平方时间算法效率高。如下代码:
1 | function array_add_near_line(array $array) { |
上述代码中,array_add_near_line
函数接受一个数组作为输入,并遍历数组中的每个元素,将它们累加到结果中。该算法的执行时间与输入数组的大小成正比,因此它的时间复杂度可视为准线性时间复杂度。
2. 空间复杂度 Space Complexity
空间复杂度是衡量算法在执行过程中所需的额外空间的度量方式。它描述了算法在处理输入规模增大时所需的额外内存空间。
空间复杂度通常用大O符号(O)表示,后跟一个表示空间占用的函数。它表示算法所需的额外空间随着输入规模的增加而增加的趋势, 常见的空间复杂度有:
O(1)、O(n)、O(n^2)、O(log n)。从名字看出空间复杂度和时间复杂度表示差不多,即:常数复杂度、线性复杂度、平方复杂度、指数复杂度。
O(1) (常数空间 Contant Space)
常数空间复杂度算法内存占用不会随数据量变化而变,占用空间固定。如下算法:
1 | function array_sum_contant(int $n) { |
在上面的代码中,array_sum_contant
函数接受一个整数n作为输入,并计算从1到n的所有数字的总和。该算法只使用了一个额外的变量$sum来存储计算结果,而不随着输入规模的增加而增加额外的空间。因此,该算法的空间复杂度是O(1),即常数空间复杂度。
O(n)(线性空间 Linear Spance)
线性空间复杂度是最好理解的。随着计算数据量增加,耗费空间同步线性增加。如下算法:
1 | function array_linear(int $n) { |
上面的代码中,array_linear
函数接受一个整数n作为输入,并生成一个包含从1到n的所有数字的数组。该算法使用了一个额外的数组$result来存储生成的数字,其大小与输入规模n成正比。因此,该算法的空间复杂度是O(n),即线性空间复杂度。。
O(n^2)(平方空间 Quadratic Space)
平方空间(Quadratic Space)也称为n的平方,随着计算数据量增加,占用空间是增加数量平方。参考以下代码:
1 | function array_square(int $n) { |
上面的代码中,array_square
函数接受一个整数n作为输入,并生成一个包含从1到n的所有数字的平方的数组。该算法使用了一个额外的数组$result来存储生成的结果,其大小与输入规模n的平方成正比。因此,该算法的空间复杂度是O(n^2),即平方空间复杂度。
O(log n)(对数空间 Logarithmic Space)
1 | function array_space_log(int $n) { |
上述代码中,array_space_log
函数接受一个整数n作为输入,并生成一个包含从1到n之间的所有2的幂次的数组。该算法使用了一个额外的数组$result来存储生成的结果,其大小与输入规模n的对数成正比。因此,该算法的空间复杂度是O(log n),即对数空间复杂度。