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