Enunciado

É interessante observar que a adição em aritmética de ponto flutuante nem sempre é associativa. Prova-se que dados n números xl' x2, ... , xn representados exatamente, o limite do erro total devido ao arredondamento na soma S = x1 + x2 + ... xn é:

| E A s |   ≤   [ ( n - 1 ) x 1 + ( n - 1 ) x 2 + ( n - 2 ) x 3 + . . . + 2 x n - 1 + x n ] × 1 2 × 1 0 - t + 1

  1. Faça n = 5 e prove que esta relação é verdadeira.
  2. Analise cuidadosamente a expressão acima e verifique que, dados n números, o erro total será menor se forem ordenados em ordem crescente antes de serem somados.

Passo 1

letra a:

Vamos começar fazendo essa soma na ordem mais natural!

E A x 1 + x 2 = E A x 1 + E A x 2 + E A O P = E A x 1 + E A x 2 + 1 0 - t + 1 2 ( x 1 + x 2 )

E A x 1 + x 2 + x 3 = E A x 1 + x 2 + E A x 3 + E A O P = E A x 1 + E A x 2 + 1 0 - t + 1 2 ( x 1 + x 2 ) + E A x 3 + 1 0 - t + 1 2 ( x 1 + x 2 + x 3 ) =

= E A x 1 + E A x 2 + E A x 3 + 1 0 - t + 1 2 ( 2 x 1 + 2 x 2 + x 3 )

E A x 1 + x 2 + x 3 + x 4 = E A x 1 + x 2 + x 3 + E A x 4 + E A O P

= E A x 1 + E A x 2 + E A x 3 + 1 0 - t + 1 2 ( 2 x 1 + 2 x 2 + x 3 ) + E A x 4 + 1 0 - t + 1 2 ( x 1 + x 2 + x 3 + x 4 ) =

= E A x 1 + E A x 2 + E A x 3 + E A x 4 + 1 0 - t + 1 2 ( 3 x 1 + 3 x 2 + 2 x 3 + x 4 )

E A x 1 + x 2 + x 3 + x 4 + x 5 = E A x 1 + x 2 + x 3 + x 4 + E A x 5 + E A O P

= E A x 1 + E A x 2 + E A x 3 + E A x 4 + 1 0 - t + 1 2 ( 3 x 1 + 3 x 2 + 2 x 3 + x 4 ) + E A x 5 + 1 0 - t + 1 2 ( x 1 + x 2 + x 3 + x 4 + x 5 ) =

= E A x 1 + E A x 2 + E A x 3 + E A x 4 + E A x 5 + 1 0 - t + 1 2 ( 4 x 1 + 4 x 2 + 3 x 3 + 2 x 4 + x 5 )

Como os números são representados exatamente, E A x 1 = E A x 2 = E A x 3 = E A x 4 = E A x 5 = 0 .

Daí a gente tira que,

| E A s |   ≤ 1 0 - t + 1 2 ( 4 x 1 + 4 x 2 + 3 x 3 + 2 x 4 + x 5 ) =   [ ( n - 1 ) x 1 + ( n - 1 ) x 2 + ( n - 2 ) x 3 + . . . + 2 x n - 1 + x n ] × 1 2 × 1 0 - t + 1

, para n=5.

Passo 2

Da equação

| E A s |   ≤   [ ( n - 1 ) x 1 + ( n - 1 ) x 2 + ( n - 2 ) x 3 + . . . + 2 x n - 1 + x n ] × 1 2 × 1 0 - t + 1

A gente pode verificar que os primeiros dois termos a serem somados têm seus valores multiplicados pelo número de operações que no caso seria n - 1 .

Os que são somados a seguir vão tendo esse termo multiplicativo subtraído de um em um até que atingem o valor de 1 no x n .

Se tivéssemos os números x 1 = 1 ,   x 2 = 2 ,   x 3 = 3 , o resultado ficaria assim:

| E A x 1 + x 2 + x 3 |   ≤   1 0 - t + 1 2 ( 2 + 4 + 3 ) = 4.5 × 1 0 - t + 1

Podemos observar que somando na ordem ( 3 + 2 ) + 1 :

| E A x 3 + x 2 + x 1 |   ≤   1 0 - t + 1 2 ( 2 × 3 + 2 × 2 + 1 ) = 5.5 × 1 0 - t + 1

Evidenciando a falta da associatividade.

Resposta

  1. | E A s |   ≤ 1 0 - t + 1 2 ( 4 x 1 + 4 x 2 + 3 x 3 + 2 x 4 + x 5 )
  2. | E A x 1 + x 2 + x 3 |   ≠   | E A x 3 + x 2 + x 1 |
Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Supondo que x é representado num computador por x _ , onde x _ é obtido por arredondamento, obtenha os limites superiores para os erros relativos de u = 2 x _ e w = x _ + x _ .
Idem para u = 3 x _ew = x _ + x _ + x _ .
Sejam x e y as representações de x e y obtidas por arredondamento em um computador. Deduza expressões de limitante de erro para mostrar que o limitante do erro relativo de u = 3 x y é menor que o de v
Faça J 10 1 = 0 e J 9 1 = μ . Use a formula do exercício anterior, na forma: J n - 1 1 = 2 n J n 1 - J n + 1 ( 1 ) E calcule J 8 ( 1 ) , ( 7 ) ,.... Encontre μ através da identidade: J 0 x + 2 J 2 x +
A função de Bessel satisfaz a seguintes relações de recorrência: J n + 1 x - 2 n xj n x + j n - 1 x = 0 Se x = 1 , J 0 1 = 0,7652 e J 1 1 = 0,4401 , calcule J n 1 para n = 2 ,3 ,… ,10 . Refaça os cálc