Herausforderung
Bei einem Polynom p
mit reellen Koeffizienten der Ordnung 1
und der Grad n
, finden ein anderes Polynom q
vom Grad höchstens n
so dass (p∘q)(X) = p(q(X)) ≡ X mod X^(n+1)
, oder mit anderen Worten, dass , p(q(X)) = X + h(X)
wo h
ein beliebiges Polynom mit ord(h) ≥ n+1
. Das Polynom q
wird eindeutig bestimmt durch p
.
Für ein Polynom , p(X) = a(n)*X^n + a(n+1)*X^(n+1) + ... + a(m)*X^m
wo n <= m
und a(n) ≠ 0
, a(m) ≠ 0
sagen wir, n
ist die Reihenfolge der p
und m
ist der Grad der p
.
Vereinfachung : Sie können davon ausgehen, dass p
es ganzzahlige Koeffizienten gibt, und a(1)=1
(so p(X) = X + [some integral polynomial of order 2]
). In diesem Fall q
hat auch Integralkoeffizienten.
Der Zweck dieser Vereinfachung besteht darin, die Probleme mit Gleitkommazahlen zu vermeiden. Es gibt jedoch ein nicht einstückiges Beispiel zu Illustrationszwecken.
Beispiele
- Betrachten Sie die Taylor-Reihe von
exp(x)-1 = x + x^2/2 + x^3/6 + x^4/24 + ...
undln(x+1) = x - x^2/2 + x^3/3 - x^4/4 + ...
dann offensichtlichln(exp(x)-1+1)= x
. Betrachtet man nur die Taylor-Polynome vom Grad 4 dieser beiden Funktionen, so erhält man die Notation von unten (siehe Testfälle)p = [-1/4,1/3,-1/2,1,0]
undq = [1/24, 1/6, 1/2, 1,0]
und(p∘q)(X) ≡ X mod X^5
Betrachten Sie das Polynom
p(X) = X + X^2 + X^3 + X^4
. Dannq(X) = X - X^2 + X^3 - X^4
bekommen wir(p∘q)(X) = p(q(X)) = X - 2X^5 + 3X^6 - 10X^7 +...+ X^16 ≡ X mod X^5
Testfälle
Hier werden die Eingangs- und Ausgangspolynome als Koeffizientenlisten geschrieben (wobei der Koeffizient des Monoms höchsten Grades zuerst und der konstante Term zuletzt):
p = [4,3,2,0]; q=[0.3125,-.375,0.5,0]
Integrale Testfälle:
p = [1,0]; q = [1,0]
p = [9,8,7,6,5,4,3,2,1,0]; q = [4862,-1430,429,-132,42,-14,5,-2,1,0]
p = [-1,3,-3,1,0]; q = [91,15,3,1,0]
quelle