Bostan-Mori, Tellegen's Principle, Power series composition
Bostan-Mori algorithm흔히 "선형 점화식의 $N$번째 항"을 구하는 알고리즘으로 알려진 방법이다. 사실은 보다 일반적으로, $P(x)/Q(x)$ 꼴의 rational power series의 $N$차항 계수를 구하는 데 사용할 수 있다.Theorem. $\deg P 어떤 다항식 / power-series의 $N$차항 계수를 $[x^N]f(x)$로 쓴다.$\mathcal{M}(d)$는 $\mathbb{F}[x]$의 두 $d$차 다항식을 곱하는 데 걸리는 시간이다. Computer algebra에서는 sublogarithmic factor를 따지지만, PS 범위에서는 $\mathcal{M}(d) = O(d\log d)$로 생각해도 무방하다.$\mathbb{F}$는 덧셈, 뺄셈, 곱셈, 나눗셈..
2025. 1. 23. 00:47