Por que os números decimais não podem ser representados exatamente em binário?

284

Houve várias perguntas postadas no SO sobre representação de ponto flutuante. Por exemplo, o número decimal 0.1 não tem uma representação binária exata, portanto, é perigoso usar o operador == para compará-lo com outro número de ponto flutuante. Entendo os princípios por trás da representação em ponto flutuante.

O que não entendo é por que, do ponto de vista matemático, os números à direita da casa decimal são mais "especiais" que os da esquerda?

Por exemplo, o número 61.0 tem uma representação binária exata porque a parte integrante de qualquer número é sempre exata. Mas o número 6.10 não é exato. Tudo o que fiz foi mover a casa decimal e de repente fui da Exactopia para Inexactville. Matematicamente, não deve haver diferença intrínseca entre os dois números - são apenas números.

Por outro lado, se eu mover o decimal uma casa na outra direção para produzir o número 610, ainda estou na Exactopia. Eu posso continuar nessa direção (6100, 610000000, 610000000000000) e eles ainda são exatos, exatos, exatos. Mas assim que o decimal cruzar algum limite, os números não serão mais exatos.

O que está acontecendo?

Editar: para esclarecer, quero ficar longe da discussão sobre representações padrão da indústria, como o IEEE, e manter o que acredito ser a maneira matematicamente "pura". Na base 10, os valores posicionais são:

... 1000  100   10    1   1/10  1/100 ...

Em binário, eles seriam:

... 8    4    2    1    1/2  1/4  1/8 ...

Também não há limites arbitrários para esses números. As posições aumentam indefinidamente para a esquerda e para a direita.

Barry Brown
fonte
2
Você pode achar útil entender exatamente o que está acontecendo dentro de um nubmber de ponto flutuante: Anatomia de um número de ponto flutuante .
3111 John D. Cook
57
Em binário, o número 3 é representado como 2¹ + 2 ° = 2 + 1. Legal e fácil. Agora, dê uma olhada em 1/3. Como você representaria isso, usando potências negativas de 2? Experimente um pouco e você verá que 1/3 é igual à soma da sequência infinita 2 ^ -2 + 2 ^ -4 + 2 ^ -6 + 2 ^ -8 + ..., ie. não é tão fácil de representar exato em binário.
Lars Haugseth,
21
Jon Skeet responde muito bem à pergunta em seu corpo. Uma coisa que falta é que você realmente faça duas perguntas diferentes. A pergunta do título é "por que os números decimais não podem ser representados exatamente em binário?" A resposta é: eles podem ser. Entre o título e o corpo, você confunde a idéia de "binário" e a idéia de "representação de ponto flutuante". O ponto flutuante é uma maneira de expressar números decimais em um número fixo de dígitos binários ao custo da precisão. O binário é apenas uma base diferente para a contagem e pode expressar qualquer número decimal, dado um número infinito de dígitos.
22630 Chris Blackwell
3
Existem vários sistemas que possuem representação decimal exata. Funciona da mesma maneira que você descreve. O tipo decimal SQL é um exemplo. As linguagens LISP estão integradas. Existem várias bibliotecas comerciais e de código aberto para o uso de cálculos decimais exatos. É que não há suporte de hardware para isso, e apenas a maioria dos idiomas e hardwares implementam os padrões IEEE para representar uma quantidade infinita de números em 32 ou 64 bits.
Nos
1
Esta questão parece ser off-topic, porque é sobre Math (mesmo que seja programação matemática relacionada) e seria melhor em Matemática
Cole Johnson

Respostas:

360

Os números decimais podem ser representados exatamente, se você tiver espaço suficiente - mas não flutuando números de pontos binários . Se você usar um tipo de ponto decimal flutuante (por exemplo, System.Decimalno .NET), muitos valores que não podem ser representados exatamente no ponto flutuante binário podem ser exatamente representados.

Vejamos de outra maneira - na base 10 com a qual você provavelmente se sentirá confortável, não poderá expressar 1/3 exatamente. É 0,3333333 ... (recorrente). O motivo pelo qual você não pode representar 0,1 como um número de ponto flutuante binário é exatamente pelo mesmo motivo. Você pode representar 3, 9 e 27 exatamente - mas não 1/3, 1/9 ou 1/27.

O problema é que 3 é um número primo que não é um fator de 10. Isso não é um problema quando você deseja multiplicar um número por 3: você sempre pode multiplicar por um número inteiro sem ter problemas. Mas quando você divide por um número que é primo e não é um fator de sua base, você pode ter problemas (e o fará se tentar dividir 1 por esse número).

Embora 0,1 seja normalmente usado como o exemplo mais simples de um número decimal exato que não possa ser representado exatamente no ponto flutuante binário, indiscutivelmente 0,2 é um exemplo mais simples, pois é 1/5 - e 5 é o primo que causa problemas entre decimal e binário .


Nota lateral para lidar com o problema das representações finitas:

Alguns tipos de ponto decimal flutuante têm um tamanho fixo, enquanto System.Decimaloutros java.math.BigDecimalsão "arbitrariamente grandes" - mas atingem um limite em algum momento, seja na memória do sistema ou no tamanho máximo teórico de uma matriz. Este é um ponto totalmente separado do principal desta resposta, no entanto. Mesmo se você tivesse um número genuinamente arbitrariamente grande de bits para jogar, ainda assim não poderia representar o decimal 0,1 exatamente em uma representação de ponto binário flutuante. Compare isso com o contrário: dado um número arbitrário de dígitos decimais, você pode representar exatamente qualquer número que seja exatamente representável como um ponto binário flutuante.

Jon Skeet
fonte
8
Esse é um ótimo exemplo, senhor!
6119 Tom Ritter
5
... gostaria de poder votar isso duas vezes. Já me perguntaram sobre isso muitas vezes. É quase como se as pessoas não podem pensar fora da base 10. hehe
Justin Niessner
38
Sim, existem 10 tipos de pessoas no mundo - aqueles que entendem binário e aqueles que não.
6119 duffymo
83
@ JonSkeet: Ctrl + Alt + Delete pareceria estranho com apenas dois dedos.
Lars Haugseth,
20
@muusbolla: Não. Os números representados pela representação decimal 1e pela representação decimal 0.9...(repetição infinita de 9s após o ponto decimal) são iguais. Talvez a maneira mais fácil de ver isso seja a seguinte: Seja x = 0.9.... Note isso 10x = 9.9..... Portanto, 9x = 10x - x = 9.9... - 0.9... = 9para que 9x = 9e x = 1. Existem outras maneiras de ver isso, mas acredito que seja o mais simples.
jason
25

Por exemplo, o número 61.0 tem uma representação binária exata porque a parte integrante de qualquer número é sempre exata. Mas o número 6.10 não é exato. Tudo o que fiz foi mover a casa decimal e de repente fui da Exactopia para Inexactville. Matematicamente, não deve haver diferença intrínseca entre os dois números - são apenas números .

Vamos nos afastar por um momento dos detalhes das bases 10 e 2. Vamos perguntar - na base b, quais números têm representações terminantes e quais não têm? O pensamento de um momento nos diz que um número xtem uma brepresentação final se, e somente se, existe um número inteiro ncomo x b^num número inteiro.

Então, por exemplo, x = 11/500tem uma representação final de 10, porque podemos escolher n = 3e x b^n = 22, em seguida , um número inteiro. No entanto x = 1/3, não, porque o nque escolhemos, não seremos capazes de nos livrar dos 3.

Este segundo exemplo nos leva a pensar em fatores, e podemos ver que, para qualquer racional x = p/q (supostamente em termos mais baixos), podemos responder à pergunta comparando as principais fatorações de be q. Se qhouver algum fator primordial que não esteja na fatoração primordial de b, nunca conseguiremos encontrar um adequado npara se livrar desses fatores.

Assim, para a base 10, qualquer um p/q que qpossua fatores primos diferentes de 2 ou 5 não terá uma representação final.

Então, agora voltando às bases 10 e 2, vemos que qualquer racional com uma representação 10 terminante terá a forma p/qexatamente quando qtiver apenas 2s e 5s em sua fatoração primária; e esse mesmo número terá uma representação 2 final exatamente quando qtiver apenas 2s em sua fatoração primária.

Mas um desses casos é um subconjunto do outro! Sempre que

qtem apenas 2s em sua fatoração principal

obviamente também é verdade que

qpossui apenas 2s e 5s em sua principal fatoração

ou, dito de outra maneira, sempre que p/qtiver uma representação 2 final, p/qtenha uma representação 10 final . O inverso, no entanto, não se aplica - sempre que qhouver um 5 em sua fatoração primária, ele terá uma representação 10 final, mas não uma representação 2 final. Este é o 0.1exemplo mencionado por outras respostas.

Portanto, temos a resposta para sua pergunta - porque os fatores primos de 2 são um subconjunto dos fatores primos de 10, todos os números com 2 terminais são números com 10, mas não vice-versa. Não se trata de 61 versus 6,1 - é de cerca de 10 versus 2.

Como uma nota de fechamento, se por algumas pessoas Quirk usados (digamos) de base 17, mas nossos computadores usados base 5, a sua intuição nunca teriam sido desviados por isso - não haveria nenhum (não-zero, não-inteiros) números que terminou em ambos os casos!

AakashM
fonte
Então, por que "alert (0,15 * 0,15)" exibe "0,0225"?
Michael Geiser
5
Resposta curta @MichaelGeiser: arredondamento no ponto de exibição. 0.15Na verdade, o que você pensa é que (quando armazenado como um IEEE duplo) `0.149999999999999994448884876874`. Veja jsfiddle .
AakashM
Bom exemplo claro de código de ponto! Eu gostaria de poder dar um voto positivo para isso! Eu tenho que jogar com algumas funções para explorar onde ocorre o corte arredondado. Ainda estou surpreso que tenhamos realmente que lidar com esse lixo; como as pessoas trabalham na base dez quase 100% do tempo e usamos não-inteiros a maior parte do tempo que você pensaria que a implementação padrão da matemática de ponto flutuante lidaria com esse absurdo.
Michael Geiser
1
@MichaelGeiser os circuitos para trabalhar com a base 2 são menores, mais rápidos e mais eficientes em termos de energia do que os que trabalham com a base 10. Hoje podemos justificar a sobrecarga, mas na década de 1970, quando os padrões estavam sendo estabelecidos, era grande negócio. Tentar fazê-lo sem o apoio direto dos circuitos do processador é ainda pior, espere diferenças de ordem de magnitude na velocidade.
Mark Ransom
Esta resposta explica melhor do que o próprio Jon Skeet!
goelakash
16

A razão raiz (matemática) é que, quando você lida com números inteiros, eles são contados infinitamente .

O que significa que, embora haja uma quantidade infinita deles, poderíamos "contar" todos os itens da sequência, sem pular nenhum. Isso significa que, se queremos colocar o item na 610000000000000posição th da lista, podemos descobrir isso através de uma fórmula.

No entanto, números reais são incontáveis ​​e infinitos . Você não pode dizer "me dê o número real na posição 610000000000000" e receba de volta uma resposta. O motivo é que, mesmo entre 0e 1, há um número infinito de valores, quando você considera valores de ponto flutuante. O mesmo vale para dois números de ponto flutuante.

Mais informações:

http://en.wikipedia.org/wiki/Countable_set

http://en.wikipedia.org/wiki/Uncountable_set

Atualização: desculpas, parece que eu interpretei incorretamente a pergunta. Minha resposta é sobre por que não podemos representar todo valor real ; eu não tinha percebido que o ponto flutuante era automaticamente classificado como racional.

TM.
fonte
6
Na verdade, números racionais são contados infinitamente. Mas nem todo número real é um número racional. Certamente, posso produzir uma sequência de números decimais exatos que atingirão qualquer número decimal exato que você queira me fornecer eventualmente. É se você precisar lidar com números irracionais e entrar em conjuntos incontáveis ​​e infinitos.
9139 Jon Skeet
É verdade que eu deveria estar dizendo "real", não "ponto flutuante". Vai esclarecer.
TM.
1
Nesse ponto, a lógica se torna menos aplicável, IMO - porque não apenas não podemos lidar com todos os números reais usando ponto flutuante binário, mas também não podemos lidar com todos os números racionais (como 0,1). Em outras palavras, eu não acho que é realmente a ver com countability em todos os :)
Jon Skeet
@jonskeet Eu sei que discordar de Jon Skeet violaria uma lei fundamental da natureza, então é claro que não o farei :) No entanto, acho que não há problema em pensar na representação interna dos números como índices para um conjunto dos valores que você deseja representar externamente. Com essa linha de raciocínio, você pode ver que, não importa quão grande seja sua lista de índices (mesmo que você tenha dito, infinitos bits de precisão), você ainda não seria capaz de representar todos os números reais.
TM.
3
@TM: Mas o OP não está tentando representar todos os números reais. Ele está tentando representar todos os números decimais exatos , que é um subconjunto dos números racionais e, portanto, apenas infinitamente contável. Se ele estivesse usando um conjunto infinito de bits como um tipo de ponto flutuante decimal , ele ficaria bem. Ele está usando esses bits como um tipo de ponto flutuante binário que causa problemas com números decimais.
9139 Jon Skeet
10

Para repetir o que eu disse no meu comentário ao Sr. Skeet: nós pode representar 1/3, 1/9, 1/27, ou qualquer racional em notação decimal. Fazemos isso adicionando um símbolo extra. Por exemplo, uma linha sobre os dígitos que se repetem na expansão decimal do número. O que precisamos para representar números decimais como uma sequência de números binários é 1) uma sequência de números binários, 2) um ponto de raiz e 3) algum outro símbolo para indicar a parte repetida da sequência.

A notação de citação de Hehner é uma maneira de fazer isso. Ele usa um símbolo de cotação para representar a parte repetida da sequência. O artigo: http://www.cs.toronto.edu/~hehner/ratno.pdf e a entrada da Wikipedia: http://en.wikipedia.org/wiki/Quote_notation .

Não há nada que diga que não podemos adicionar um símbolo ao nosso sistema de representação; portanto, podemos representar racionais decimais exatamente usando a notação de aspas binárias e vice-versa.

Ntownsend
fonte
Esse sistema de notação funciona se soubermos onde o ciclo começa e termina. Os seres humanos são muito bons em detectar ciclos. Mas, em geral, os computadores não são. Para poder usar efetivamente um símbolo de repetição, o computador precisaria descobrir onde estão os ciclos depois de fazer um cálculo. Para o número 1/3, por exemplo, o ciclo começa imediatamente. Mas para o número 1/97, o ciclo não aparece até que você tenha respondido a pelo menos 96 dígitos. (Na verdade, você precisa de 96 * 2 + 1 = 193 dígitos para ter certeza.)
Barry Brown
4
Na verdade, não é difícil para o computador detectar o ciclo. Se você ler o artigo de Hehner, ele descreve como detectar os ciclos para as várias operações aritméticas. Por exemplo, no algoritmo de divisão, que usa subtração repetida, você sabe onde o ciclo começa quando vê uma diferença que você já viu antes.
Ntownsend 28/09/09
3
Além disso, a pergunta era sobre representar números exatamente. Às vezes, a representação exata significa muitos bits. A vantagem da notação de cotação é que a Hehner demonstra que, em média, há uma economia de 31% no tamanho da representação em comparação com a representação de comprimento fixo padrão de 32 bits.
Ntownsend 28/09/09
6

BCD - Decimal com código binário - as representações são exatas. Eles não são muito eficientes em termos de espaço, mas é uma troca que você precisa fazer com precisão neste caso.

Alan
fonte
1
O BCD não é mais ou menos exato do que qualquer outra base. Exemplo: como você representa 1/3 exatamente no BCD? Você não pode.
Jörg W Mittag
12
BCD é uma representação exata de um DECIMAL, portanto, a parte "um" "decimal" de seu nome. Também não há representação decimal exata de 1/3.
Alan
4

É o mesmo motivo pelo qual você não pode representar 1/3 exatamente na base 10, é preciso dizer 0,33333 (3). Em binário, é o mesmo tipo de problema, mas ocorre apenas para diferentes conjuntos de números.

James
fonte
4

(Nota: acrescentarei 'b' para indicar números binários aqui. Todos os outros números são dados em decimal)

Uma maneira de pensar sobre as coisas é em termos de algo como notação científica. Estamos acostumados a ver números expressos em notação científica como 6.022141 * 10 ^ 23. Os números de ponto flutuante são armazenados internamente usando um formato semelhante - mantissa e expoente, mas usando potências de dois em vez de dez.

Seu 61.0 pode ser reescrito como 1.90625 * 2 ^ 5 ou 1.11101b * 2 ^ 101b com a mantissa e os expoentes. Para multiplicar por dez e (mover o ponto decimal), podemos fazer:

(1,90625 * 2 ^ 5) * (1,25 * 2 ^ 3) = (2,3828125 * 2 ^ 8) = (1,19140625 * 2 ^ 9)

ou com a mantissa e expoentes em binário:

(1.11101b * 2 ^ 101b) * (1.01b * 2 ^ 11b) = (10.0110001b * 2 ^ 1000b) = (1.00110001b * 2 ^ 1001b)

Observe o que fizemos lá para multiplicar os números. Nós multiplicamos as mantissas e adicionamos os expoentes. Então, como a mantissa terminou acima de dois, normalizamos o resultado batendo no expoente. É como quando ajustamos o expoente após fazer uma operação em números em notação científica decimal. Em cada caso, os valores com os quais trabalhamos tinham uma representação finita em binário e, portanto, os valores gerados pelas operações básicas de multiplicação e adição também produziam valores com uma representação finita.

Agora, considere como dividiríamos 61 por 10. Começaríamos dividindo as mantissas, 1,90625 e 1,25. Em decimal, isso dá 1,525, um bom número curto. Mas o que é isso se o convertermos em binário? Faremos isso da maneira usual - subtraindo a maior potência de duas sempre que possível, assim como converter decimais inteiros em binários, mas usaremos potências negativas de duas:

1,525 - 1 * 2 ^ 0 -> 1
0,525 - 1 * 2 ^ -1 -> 1
0,025 - 0 * 2 ^ -2 -> 0
0,025 - 0 * 2 ^ -3 -> 0
0,025 - 0 * 2 ^ -4 -> 0
0,025 - 0 * 2 ^ -5 -> 0
0,025 - 1 * 2 ^ -6 -> 1
0,009375 - 1 * 2 ^ -7 -> 1
0,0015625 - 0 * 2 ^ -8 -> 0
0,0015625 - 0 * 2 ^ -9 -> 0
0,0015625 - 1 * 2 ^ -10 -> 1
0,0005859375 - 1 * 2 ^ -11 -> 1
0,00009765625 ...

Ah, oh. Agora estamos com problemas. Acontece que 1.90625 / 1.25 = 1.525, é uma fração repetida quando expressa em binário: 1.11101b / 1.01b = 1.10000110011 ... b Nossas máquinas só têm tantos bits para manter essa mantissa e, portanto, arredondam a fração e assuma zeros além de um certo ponto. O erro que você vê ao dividir 61 por 10 é a diferença entre:

1.100001100110011001100110011001100110011 ... b * 2 ^ 10b
e, digamos:
1.100001100110011001100110b * 2 ^ 10b

É esse arredondamento da mantissa que leva à perda de precisão que associamos aos valores de ponto flutuante. Mesmo quando a mantissa pode ser expressa exatamente (por exemplo, ao adicionar apenas dois números), ainda podemos obter perdas numéricas se a mantissa precisar de muitos dígitos para ajustar após a normalização do expoente.

Na verdade, fazemos esse tipo de coisa o tempo todo quando arredondamos números decimais para um tamanho gerenciável e apenas fornecemos os primeiros dígitos. Como expressamos o resultado em decimal, parece natural. Mas se arredondássemos um decimal e depois o convertêssemos em uma base diferente, ficaria tão feio quanto os decimais que obtemos devido ao arredondamento do ponto flutuante.

Boojum
fonte
4

Essa é uma boa pergunta.

Toda a sua pergunta é baseada em "como representamos um número?"

TODOS os números podem ser representados com representação decimal ou com representação binária (complemento de 2). Todos eles !!

MAS alguns (a maioria deles) requerem um número infinito de elementos ("0" ou "1" para a posição binária ou "0", "1" a "9" para a representação decimal).

Como 1/3 na representação decimal (1/3 = 0,3333333 ... <- com um número infinito de "3")

Como 0,1 no binário (0,1 = 0,00011001100110011 .... <- com um número infinito de "0011")

Tudo está nesse conceito. Como o seu computador pode considerar apenas finitos conjunto de dígitos (decimal ou binário), apenas alguns números podem ser exatamente representados no seu computador ...

E como disse Jon, 3 é um número primo que não é um fator de 10, portanto 1/3 não pode ser representado com um número finito número de elementos na base 10.

Mesmo com aritmética com precisão arbitrária, o sistema de posição de numeração na base 2 não é capaz de descrever completamente 6.1, embora possa representar 61.

Para 6.1, devemos usar outra representação (como representação decimal ou IEEE 854 que permite a base 2 ou a base 10 para a representação de valores de ponto flutuante)

ThibThib
fonte
Você pode representar 1/3 como a própria fração. Você não precisa de uma quantidade infinita de bits para representá-lo. Você apenas o representa como a fração 1/3, em vez do resultado de pegar 1 e dividir por 3. Vários sistemas funcionam dessa maneira. Você precisa de uma maneira de usar os operadores padrão / * + - e similares para trabalhar na representação de frações, mas isso é muito fácil - você pode fazer essas operações com caneta e papel, ensinar um computador a fazer isso não é grande coisa. .
Nos
Eu estava falando sobre "representação binária (complemento do 2)". Porque, claro, usando uma outra representação pode ajudá-lo a representar algum número com número finito de elementos (e você precisará número infinito de elementos para alguns outros)
ThibThib
3

Se você criar um número grande o suficiente com ponto flutuante (como pode fazer expoentes), também terminará com inexatidão na frente do ponto decimal. Portanto, não acho que sua pergunta seja totalmente válida porque a premissa está errada; não é o caso que mudar para 10 sempre criará mais precisão, porque em algum momento o número do ponto flutuante precisará usar expoentes para representar a amplitude do número e perderá também alguma precisão dessa maneira.

Dan Lew
fonte
3

Estou surpreso que ninguém tenha declarado isso ainda: use frações contínuas . Qualquer número racional pode ser representado finitamente em binário dessa maneira.

Alguns exemplos:

1/3 (0,3333 ...)

0; 3

5/9 (0,5555 ...)

0; 1, 1, 4

10/43 (0,232558139534883720930 ...)

0; 4, 3, 3

9093/18478 (0.49209871198181621387596060179673 ...)

0; 2, 31, 7, 8, 5

A partir daqui, há várias maneiras conhecidas de armazenar uma sequência de números inteiros na memória.

Além de armazenar seu número com precisão perfeita, as frações continuadas também têm outros benefícios, como a melhor aproximação racional. Se você decidir encerrar a sequência de números em uma fração contínua mais cedo, os dígitos restantes (quando recombinados em uma fração) fornecerão a melhor fração possível. É assim que as aproximações de pi são encontradas:

Fração continuada de Pi:

3; 7, 15, 1, 292 ...

Terminando a sequência em 1, isso fornece a fração:

355/113

o que é uma excelente aproximação racional.

usuario
fonte
Mas como você representaria isso em binário? Por exemplo, 15 exige que 4 bits sejam representados, mas 292 exige 9. Como o hardware (ou mesmo o software) sabe onde estão os limites de bits entre cada um? É a troca entre eficiência e precisão.
ardent
2

Na equação

2^x = y ;  
x = log(y) / log(2)

Por isso, eu estava me perguntando se poderíamos ter um sistema de base logarítmica para binários como,

 2^1, 2^0, 2^(log(1/2) / log(2)), 2^(log(1/4) / log(2)), 2^(log(1/8) / log(2)),2^(log(1/16) / log(2)) ........

Isso pode resolver o problema; portanto, se você quiser escrever algo como 32,41 em binário, seria

2^5 + 2^(log(0.4) / log(2)) + 2^(log(0.01) / log(2))

Ou

2^5 + 2^(log(0.41) / log(2))
rachit_verma
fonte
1

O problema é que você realmente não sabe se o número é exatamente 61,0. Considere isto:


float a = 60;
float b = 0.1;
float c = a + b * 10;

Qual é o valor de c? Não é exatamente 61, porque b não é realmente .1 porque .1 não tem uma representação binária exata.

Dima
fonte
1

Há um limite porque o significado do dígito passou de inteiro para não inteiro. Para representar 61, você tem 6 * 10 ^ 1 + 1 * 10 ^ 0; 10 ^ 1 e 10 ^ 0 são ambos números inteiros. 6.1 é 6 * 10 ^ 0 + 1 * 10 ^ -1, mas 10 ^ -1 é 1/10, o que definitivamente não é um número inteiro. É assim que você acaba em Inexactville.

Mark Ransom
fonte
1

Um paralelo pode ser feito de frações e números inteiros. Algumas frações, por exemplo, 1/7 não podem ser representadas na forma decimal sem lotes e lotes de decimais. Como o ponto flutuante é baseado em binário, os casos especiais mudam, mas o mesmo tipo de problema de precisão se apresenta.

mP.
fonte
0

Há um número infinito de números racionais e um número finito de bits para representá-los. Veja http://en.wikipedia.org/wiki/Floating_point#Accuracy_problems .

zpasternack
fonte
Mas mesmo com um número infinito de bits, se você usasse um ponto binário flutuante , ainda não seria capaz de representar 0,1 exatamente, assim como não é possível representar 1/3 exatamente em decimal, mesmo com um número infinito de bits.
9139 Jon Skeet
3
@ Jon Isso é falso: com um número infinito de casas decimais, por exemplo , posso expressar 'um terço' exatamente . O problema do mundo real é que não é fisicamente possível ter "um número infinito" de casas decimais ou de bits.
21420 ChrisW
0

O número 61.0 realmente tem uma operação exata de ponto flutuante - mas isso não é verdade para todos os números inteiros. Se você escrevesse um loop que adicionasse um a um número de ponto flutuante de precisão dupla e a um número inteiro de 64 bits, chegaria a um ponto em que o número inteiro de 64 bits representa perfeitamente um número, mas o ponto flutuante não - porque não há bits significativos suficientes.

É muito mais fácil alcançar o ponto de aproximação no lado direito do ponto decimal. Se você começasse a escrever todos os números no ponto flutuante binário, faria mais sentido.

Outra maneira de pensar sobre isso é que, quando você nota que 61.0 é perfeitamente representável na base 10, e mudar o ponto decimal ao redor não muda isso, você está realizando a multiplicação por potências de dez (10 ^ 1, 10 ^ -1 ) No ponto flutuante, a multiplicação por potências de dois não afeta a precisão do número. Tente pegar o 61.0 e dividi-lo por três repetidamente para ilustrar como um número perfeitamente preciso pode perder sua representação precisa.

John Calsbeek
fonte
0

você sabe números inteiros certo? cada bit representa 2 ^ n


2 ^ 4 = 16
2 ^ 3 = 8
2 ^ 2 = 4
2 ^ 1 = 2
2 ^ 0 = 1

bem, é o mesmo para ponto flutuante (com algumas distinções), mas os bits representam 2 ^ -n 2 ^ -1 = 1/2 = 0,5
2 ^ -2 = 1 / (2 * 2) = 0,25
2 ^ -3 = 0,125
2 ^ -4 = 0,0625

Representação binária de ponto flutuante:

assina Fração do expoente (acho que 1 invisível é anexado à fração)
B11 B10 B9 B8 B7 B6 B5 B4 B3 B2 B1 B0

yan bellavance
fonte
0

A resposta de alta pontuação acima acertou em cheio.

Primeiro você estava misturando a base 2 e a base 10 na sua pergunta; depois, quando você coloca um número no lado direito que não é divisível na base, você tem problemas. Como 1/3 em decimal, porque 3 não entra em uma potência de 10 ou 1/5 em binário, o que não entra em uma potência de 2.

Outro comentário, embora NUNCA use igual a números de ponto flutuante, ponto final. Mesmo se for uma representação exata, existem alguns números em alguns sistemas de ponto flutuante que podem ser representados com precisão de mais de uma maneira (o IEEE é ruim nisso, é uma especificação horrível de ponto flutuante para começar, portanto, espere dores de cabeça). Não é diferente aqui 1/3 não é igual ao número da sua calculadora 0,3333333, não importa quantos 3's existam à direita do ponto decimal. É ou pode estar perto o suficiente, mas não é igual. então você esperaria que algo como 2 * 1/3 não fosse igual a 2/3, dependendo do arredondamento. Nunca use igual ao ponto flutuante.

old_timer
fonte
0

Como discutimos, na aritmética de ponto flutuante, o decimal 0,1 não pode ser perfeitamente representado em binário.

As representações de ponto flutuante e número inteiro fornecem grades ou treliças para os números representados. À medida que a aritmética é feita, os resultados caem da grade e precisam ser colocados de volta na grade por arredondamento. O exemplo é 1/10 em uma grade binária.

Se usarmos a representação decimal codificada em binário, como sugeriu um cavalheiro, seremos capazes de manter os números na grade?

Joe
fonte
1
Números decimais, com certeza. Mas isso é apenas por definição. Você não pode representar 1/3 em decimal, assim como não pode representar 0,1 em binário. Qualquer esquema de quantização falha para um conjunto infinitamente grande de números.
Kylotan