Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
103 changes: 103 additions & 0 deletions maths/fibonacci_fast.py
Original file line number Diff line number Diff line change
@@ -0,0 +1,103 @@
"""
Fibonacci sequence via matrix exponentiation — O(log n) time complexity.

The standard recursive Fibonacci runs in O(2^n) time. Using matrix exponentiation
we can compute the n-th Fibonacci number in O(log n) multiplications.

The key identity is:
| F(n+1) F(n) | | 1 1 | ^ n
| F(n) F(n-1) | = | 1 0 |

So F(n) = (M^n)[0][1] where M = [[1, 1], [1, 0]].

References:
- https://en.wikipedia.org/wiki/Fibonacci_number#Matrix_form
"""


def _mat_mul(mat_a: list[list[int]], mat_b: list[list[int]]) -> list[list[int]]:
"""Multiply two 2x2 integer matrices.

>>> _mat_mul([[1, 1], [1, 0]], [[1, 0], [0, 1]])
[[1, 1], [1, 0]]
"""
return [
[
mat_a[0][0] * mat_b[0][0] + mat_a[0][1] * mat_b[1][0],
mat_a[0][0] * mat_b[0][1] + mat_a[0][1] * mat_b[1][1],
],
[
mat_a[1][0] * mat_b[0][0] + mat_a[1][1] * mat_b[1][0],
mat_a[1][0] * mat_b[0][1] + mat_a[1][1] * mat_b[1][1],
],
]


def _mat_pow(matrix: list[list[int]], power: int) -> list[list[int]]:
"""Raise a 2x2 integer matrix to a non-negative integer power using
fast exponentiation (repeated squaring).

:param matrix: A 2x2 matrix represented as a list of lists.
:param power: Non-negative integer exponent.
:return: matrix ** power

>>> _mat_pow([[1, 1], [1, 0]], 0)
[[1, 0], [0, 1]]
>>> _mat_pow([[1, 1], [1, 0]], 1)
[[1, 1], [1, 0]]
>>> _mat_pow([[1, 1], [1, 0]], 2)
[[2, 1], [1, 1]]
"""
# Identity matrix
result: list[list[int]] = [[1, 0], [0, 1]]
while power:
if power % 2 == 1:
result = _mat_mul(result, matrix)
matrix = _mat_mul(matrix, matrix)
power //= 2
return result


def fibonacci(index: int) -> int:
"""Return the n-th Fibonacci number using matrix exponentiation.

Time complexity: O(log n)
Space complexity: O(log n) due to the call stack of _mat_pow

:param index: Non-negative integer index into the Fibonacci sequence
(0-indexed: F(0)=0, F(1)=1, F(2)=1, ...).
:raises ValueError: If *index* is negative.
:return: The Fibonacci number at the given index.

>>> fibonacci(0)
0
>>> fibonacci(1)
1
>>> fibonacci(2)
1
>>> fibonacci(10)
55
>>> fibonacci(20)
6765
>>> fibonacci(50)
12586269025
>>> fibonacci(-1)
Traceback (most recent call last):
...
ValueError: fibonacci() only accepts non-negative integers
"""
if index < 0:
raise ValueError("fibonacci() only accepts non-negative integers")
if index == 0:
return 0
mat: list[list[int]] = [[1, 1], [1, 0]]
return _mat_pow(mat, index)[0][1]


if __name__ == "__main__":
import doctest

doctest.testmod()

for i in range(15):
print(f"fibonacci({i}) = {fibonacci(i)}")