Problem

You are climbing a staircase. It takes n steps to reach the top.

Each time you can either climb 1 or 2 steps. In how many distinct ways can you climb to the top?

https://leetcode.com/problems/climbing-stairs/

Example 1:

Input: n = 2
Output: 2
Explanation: There are two ways to climb to the top.

  1. 1 step + 1 step
  2. 2 steps

Example 2:

Input: n = 3
Output: 3
Explanation: There are three ways to climb to the top.

  1. 1 step + 1 step + 1 step
  2. 1 step + 2 steps
  3. 2 steps + 1 step

Constraints:

  • 1 <= n <= 45

Test Cases

1
2
class Solution:
def climbStairs(self, n: int) -> int:
solution_test.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
import pytest

from solution import Solution
from solution_log import Solution as SolutionLog


@pytest.mark.parametrize('n, expected', [
(2, 2),
(3, 3),

(15, 987),
(45, 1836311903),
])
class Test:
def test_solution(self, n, expected):
sol = Solution()
assert sol.climbStairs(n) == expected

def test_solution(self, n, expected):
sol = SolutionLog()
assert sol.climbStairs(n) == expected

Thoughts

要走到第 n 个台阶,最后一步可能是上了一级或者两级,也就是要先走到 n - 1n - 2 处。如果走到 n - 1 共有 w[n-1] 种不同的走法,走到 n - 2 共有 w[n-2] 种不同的走法,那么显然 w[n] = w[n-1] + w[n-2]

初始值 w[1] = 1,并定义 w[0] = 1(一步不动也算一种方案)。

直接递推计算即可。时间复杂度 O(n),空间复杂度 O(1)

Code

solution.py
1
2
3
4
5
6
7
class Solution:
def climbStairs(self, n: int) -> int:
pp, p = 0, 1
for _ in range(1, n + 1):
pp, p = p, p + pp

return p

O(log n)

斐波那契数列的定义是:

{F0=0F1=1Fn=Fn1+Fn2\begin{cases} F_0=0 \\ F_1=1 \\ F_n=F_{n-1}+F_{n-2} \end{cases}

可见 w 跟斐波那契数列刚好错一位,即 w[i]=Fi+1w[i]=F_{i+1}

斐波那契数列有基于矩阵幂运算的对数时间算法。

FnF_nFn1F_{n-1} 写成 2 x 1 大小的矩阵,代入递推公式可得:

[FnFn1]=[Fn1+Fn2Fn1]=[1110]×[Fn1Fn2]\begin{bmatrix} F_n \\ F_{n-1} \end{bmatrix} =\begin{bmatrix} F_{n-1}+F_{n-2} \\ F_{n-1} \end{bmatrix} =\begin{bmatrix} 1 & 1 \\ 1 & 0 \end{bmatrix} \times\begin{bmatrix} F_{n-1} \\ F_{n-2} \end{bmatrix}

递推展开可得:

[FnFn1]=[1110]n1×[F1F0]=[1110]n1×[10]\begin{bmatrix} F_n \\ F_{n-1} \end{bmatrix} =\begin{bmatrix} 1 & 1 \\ 1 & 0 \end{bmatrix}^{n-1} \times\begin{bmatrix} F_1 \\ F_0 \end{bmatrix} =\begin{bmatrix} 1 & 1 \\ 1 & 0 \end{bmatrix}^{n-1} \times\begin{bmatrix} 1 \\ 0 \end{bmatrix}

所以:

w[n]=Fn+1=[1110]n1,1w[n]=F_{n+1}={\begin{bmatrix} 1 & 1 \\ 1 & 0 \end{bmatrix}^n}_{1,1}

幂运算可以用二分法加速,计算 n 次方的时间复杂度是 O(log n)

an={(an/2)2if n0(mod2)(a(n1)/2)2×aotherwisea^n=\begin{cases} (a^{n/2})^2 & \text{if }n\equiv 0\pmod{2} \\ (a^{(n-1)/2})^2\times a & \text{otherwise} \end{cases}

solution_log.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
def prod(a, b): return ((
a[0][0] * b[0][0] + a[0][1] * b[1][0],
a[0][0] * b[0][1] + a[0][1] * b[1][1],
), (
a[1][0] * b[0][0] + a[1][1] * b[1][0],
a[1][0] * b[0][1] + a[1][1] * b[1][1],
))


class Solution:
def climbStairs(self, n: int) -> int:
if n < 2:
return n

mask = 1
n1 = n
while n1 := n1 >> 1:
mask <<= 1

m = ((1, 1), (1, 0))
res = m
while mask := mask >> 1:
res = prod(res, res)
if n & mask:
res = prod(res, m)

return res[0][0]

线性复杂度和对数复杂度实际运算时间对比:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
[linear] n =    30:    1.393298 μs
[log(n)] n = 30: 7.942997 μs

[linear] n = 100: 4.241294 μs
[log(n)] n = 100: 10.184404 μs

[linear] n = 300: 12.726097 μs
[log(n)] n = 300: 14.227924 μs

[linear] n = 1000: 50.849684 μs
[log(n)] n = 1000: 20.762356 μs

[linear] n = 3000: 203.985965 μs
[log(n)] n = 3000: 35.360243 μs

[linear] n = 10000: 1754.791485 μs
[log(n)] n = 10000: 128.549821 μs

FnF_n 的二进制位数的增长趋势也是 O(n),对于大一些的 n,递推法的时间复杂度实际是 O(n²),基于矩阵幂运算方法的时间复杂度大约是 O(n^1.6)