12.07.2015 Views

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 ...

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!