Notas em Matemática Aplicada 36 - Laboratório de Matemática ...
Notas em Matemática Aplicada 36 - Laboratório de Matemática ...
Notas em Matemática Aplicada 36 - Laboratório de Matemática ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
32 AULA 2. A ITERAÇÃO DE GRÄFFE, DANDELIN OU LOBACHEVSKIIAté a invenção do computador digital, a iteração <strong>de</strong> Gräe-Dan<strong>de</strong>lin-Lobachevskii e suas variantes eram o algoritmo escolhido para resolver polinômios.Isso mudou radicalmente com o advento do computador digital. Apósas primeiras experiências numéricas, cou claro que o expoente estouravarapidamente (Fig 1.1).Por ex<strong>em</strong>plo, se começamos com coecientes da ord<strong>em</strong> <strong>de</strong> 2, <strong>em</strong> 10iterações apenas ter<strong>em</strong>os coecientes da ord<strong>em</strong> <strong>de</strong> 2 21 0, que precisam <strong>de</strong> 2 1 0bits <strong>em</strong> representação inteira exata, e <strong>de</strong> <strong>em</strong> torno <strong>de</strong> 10 bits <strong>de</strong> expoente<strong>em</strong> representação mantissa-potência <strong>de</strong> dois. Hoje utilizamos <strong>em</strong> torno <strong>de</strong>10 bits <strong>de</strong> expoente.Como apareceram algoritmos mais simples <strong>de</strong> impl<strong>em</strong>entar (ou impl<strong>em</strong>entadospor outras razões), o algoritmo cou esquecido.Utilizando a idéia <strong>de</strong> renormalização, não ocorre estouro do expoente,e a cada passo pod<strong>em</strong>os fazer contas renormalizadas da maneira seguinte:Representação usual: Renormalização <strong>de</strong> ord<strong>em</strong> N:x = e 2N r+iα(r, α)y = e 2N s+iβ(s, β)x + y = e 2N t+iγ(t, γ) = (r, α) + k(s, β)xy = e 2N u+iδ(u, δ) = (r, α) + (s, β)On<strong>de</strong> (assumindo r ≥ s:)t = 2 −N ∣log ∣e 2N r+iα + e 2N s+iβ∣∣= r log ∣1 + e 2N (s−r)+i(β−α)∣Note quee 2N (s−r)+i(β−α) =e i(β−α)1 + 2 N (r − s) + 1 2 22N (r − s) 2 + · · · .A soma renormalizada po<strong>de</strong> ser calculada <strong>de</strong> maneira estável. Quando2 N ≫ |r − s|, po<strong>de</strong>-se até aproximar (r, α) + k(s, β) pelo limite,⎧⎨ (r, α) Se r > s(r, α) + ∞(s, β) = (s, β) Se s < r .⎩(r, In<strong>de</strong>nido) Se r = sA primeira coor<strong>de</strong>nada <strong>de</strong>sse limite é conhecida hoje como soma tropical<strong>de</strong> r e s.Denição 2.1. O s<strong>em</strong>ianel tropical é o anel R ∪ −∞ munido das operações<strong>de</strong> soma tropical r + s = max(r, s) e produto tropical r × s = r + s.