(PHP 8 >= 8.3.0)
Random\Randomizer::getFloat — Obtém um float selecionado uniformemente
$min, float $max, Random\IntervalBoundary $boundary = Random\IntervalBoundary::ClosedOpen): floatRetorna um float uniformemente selecionado e equidistribuído de um intervalo solicitado.
Devido à precisão limitada, nem todos os números reais podem ser representados exatamente como
um número de ponto flutuante.
Se um número não puder ser representado exatamente, ele será arredondado para o
valor exato representável mais próximo.
Além disso, números flutuantes não são igualmente densos em toda a reta numérica.
Como números flutuantes usam um expoente binário, a distância entre dois números flutuantes vizinhos
dobra a cada potência de dois.
Em outras palavras: há o mesmo número de floats representáveis entre
1.0 e 2.0
como entre
2.0 e 4.0,
4.0 e 8.0,
8.0 e 16.0,
e assim por diante.
A amostragem aleatória de um número arbitrário dentro do intervalo solicitado, por exemplo, dividindo dois números inteiros, pode resultar em uma distribuição enviesada por esse motivo. O arredondamento necessário fará com que alguns números flutuantes sejam retornados com mais frequência do que outros, especialmente em torno de potências de dois quando a densidade de números flutuantes muda.
Random\Randomizer::getFloat() implementa um algoritmo que retornará um ponto flutuante selecionado uniformemente do maior conjunto possível de pontos flutuantes exatamente representáveis e equidistribuídos dentro do intervalo solicitado. A distância entre os pontos flutuantes selecionáveis ("tamanho do passo") corresponde à distância entre os pontos flutuantes com a menor densidade, ou seja, a distância entre os pontos flutuantes no limite do intervalo com o maior valor absoluto. Isso significa que nem todos os pontos flutuantes representáveis dentro de um determinado intervalo podem ser retornados se o intervalo cruzar uma ou mais potências de dois. O passo a passo começará a partir do limite do intervalo com o maior valor absoluto para garantir que os passos se alinhem com os pontos flutuantes exatamente representáveis.
Limites de intervalos fechados sempre serão incluídos no conjunto de floats selecionáveis. Portanto, se o tamanho do intervalo não for um múltiplo exato do tamanho do passo e o limite com o menor valor absoluto for um limite fechado, a distância entre esse limite e seu float selecionável mais próximo será menor que o tamanho do passo.
O pós-processamento dos floats retornados provavelmente quebrará a equidistribuição uniforme, porque os floats intermediários dentro de uma operação matemática estão passando por arredondamento implícito. O intervalo solicitado deve corresponder o mais próximo possível ao intervalo desejado e o arredondamento só deve ser realizado como uma operação explícita antes de exibir o número selecionado para um usuário.
Para exemplificar o funcionamento do algoritmo, considere uma representação de ponto flutuante
que utiliza uma mantissa de 3 bits.
Esta representação é capaz de representar 8 valores de ponto flutuante
diferentes entre potências de dois consecutivas.
Isso significa que entre
1.0 e 2.0 todos os passos de tamanho 0.125
são exatamente representáveis e entre 2.0 e 4.0
todos os passos de tamanho 0.25 são exatamente representáveis.
Na realidade, os floats do PHP utilizam uma mantissa de 52 bits e podem representar 252
valores diferentes entre cada potência de dois.
Isso significa que
1.01.1251.251.3751.51.6251.751.8752.02.252.52.753.03.253.53.754.01.0
e 4.0.
Agora, considere que $randomizer->getFloat(1.625, 2.5, IntervalBoundary::ClosedOpen)
é chamado, ou seja, um float aleatório começando em 1.625 até, mas não incluindo,
2.5 ser solicitado.
O algoritmo primeiro determina o tamanho do passo na fronteira com o maior valor absoluto
(2.5). O tamanho do passo nessa fronteira é 0.25.
Observe que o tamanho do intervalo solicitado é 0.875, que
não é um múltiplo exato de 0.25.
Se o algoritmo começasse a avançar no limite inferior 1.625,
encontraria 2.125, que não é exatamente representável e
sofreria arredondamento implícito.
Portanto, o algoritmo começa a avançar no limite superior 2.5.
Os valores selecionáveis são:
2.252.01.751.6252.5 não está incluído, pois o limite superior do intervalo solicitado
é um limite aberto.
1.625 está incluído, embora sua distância até o valor mais próximo
1.75 seja 0.125, que é menor que o
tamanho do passo previamente determinado de 0.25.
O motivo para isso é que o intervalo solicitado é fechado no limite inferior
(1.625) e limites fechados são sempre incluídos.
Por fim, o algoritmo seleciona uniformemente um dos quatro valores selecionáveis aleatoriamente e o retorna.
No exemplo anterior, há oito números de ponto flutuante representáveis
entre cada subintervalo delimitado por uma potência de dois.
Para exemplificar por que dividir dois inteiros não funcionaria bem para gerar
um número flutuante aleatório, considere que há 16 números de ponto flutuante equidistribuídos
no intervalo aberto à direita de 0.0 até, mas não incluindo,
1.0. Metade deles são os oito valores exatamente representáveis
entre 0.5 e 1.0, a outra metade são os
valores entre 0.0 e 1.0 cujo passo
é de 0.0625.
Eles podem ser facilmente gerados dividindo um número inteiro aleatório entre 0
e 15 por 16 para obter um dos seguintes:
0.00.06250.1250.18750.250.31250.3750.43750.50.56250.6250.68750.750.81250.8750.9375
Este float aleatório poderia ser escalado para o intervalo aberto à direita de 1.625
até, mas não incluindo, 2.75, multiplicando-o pelo tamanho
do intervalo (0.875) e adicionando o mínimo 1.625.
Essa chamada transformação afim resultaria nos valores:
1.625 arredondado para 1.6251.679 arredondado para 1.6251.734 arredondado para 1.751.789 arredondado para 1.751.843 arredondado para 1.8751.898 arredondado para 1.8751.953 arredondado para 2.02.007 arredondado para 2.02.062 arredondado para 2.02.117 arredondado para 2.02.171 arredondado para 2.252.226 arredondado para 2.252.281 arredondado para 2.252.335 arredondado para 2.252.390 arredondado para 2.52.445 arredondado para 2.52.5 seria retornado, apesar de
ser um limite aberto e, portanto, excluído.
Observe também como 2.0 e 2.25 têm o dobro
de probabilidade de serem retornados em comparação com os outros valores.
minO limite inferior do intervalo.
maxO limite superior do intervalo.
boundaryEspecifica se os limites do intervalo são valores de retorno possíveis.
Um float uniformemente selecionado e equidistribuído do intervalo especificado por min,
max e boundary.
Se min e max são valores de retorno possíveis depende
do valor de boundary.
min não for finito (is_finite()),
um ValueError será gerado.
max não for finito (is_finite()),
um ValueError será lançado.
Random\Randomizer::$engine subjacente.
Exemplo #1 Exemplo de Random\Randomizer::getFloat()
<?php
$randomizer = new \Random\Randomizer();
// Observe que a granularidade da latitude é o dobro da
// granularidade da longitude.
//
// Para a latitude, o valor pode ser -90 e 90.
// Para a longitude, o valor pode ser 180, mas não -180, porque
// -180 e 180 referem-se à mesma longitude.
printf(
"Lat: %+.6f Lng: %+.6f",
$randomizer->getFloat(-90, 90, \Random\IntervalBoundary::ClosedClosed),
$randomizer->getFloat(-180, 180, \Random\IntervalBoundary::OpenClosed),
);
?>O exemplo acima produzirá algo semelhante a:
Lat: +69.244304 Lng: -53.548951
Nota:
Este método implementa o algoritmo de seção γ, conforme publicado em » Drawing Random Floating-Point Numbers from an Interval. Frédéric Goualard, ACM Trans. Model. Comput. Simul., 32:3, 2022 para obter as propriedades comportamentais desejadas.