🚶🏾 💆🏾 👩‍👩‍👧 Especialista canadense em PRNG critica autoridades por usar algoritmos antigos do Excel para obter vistos 👨🏼‍🎓 🚉 🌆

O Programa de Reunificação Familiar (Programa de Reunificação Familiar) é um dos três principais programas de assistência a migrantes do Canadá. Permite que imigrantes recém-chegados e canadenses de longa data se reúnam com seus familiares. De acordo com o Regulamento de Imigração e Proteção de Refugiados, as famílias que vivem no exterior recebem assistência financeira, assim como parentes migrantes que vivem no Canadá. Cônjuges, filhos, pais, netos, filhos adotivos etc. podem contar com assistência financeira.

O problema é que o Canadá não pode conceder cidadania imediatamente a todos os parentes de todos os migrantes. Anteriormente, eles eram colocados na fila e a consideração do aplicativo era esperada por anos. Para acelerar o processo, os liberais propuseram uma loteria. Então, desde 2017, uma loteria foi jogada no Canadá, como o American Green Card. Entre as aproximadamente 100.000 inscrições, 10.000 são selecionadas aleatoriamente.Graças a uma resposta oficial a uma solicitação sob a Lei de Acesso à Informação, a publicação canadense The Globe an Mail revelou alguns detalhes técnicos sobre como a loteria é realizada.

Acontece que o governo federal seleciona os vencedores usando o Microsoft Excel. É assim que todo o procedimento é exibido em detalhes.

Etapa 1 O Departamento de Imigração, Refugiados e Cidadania (Imigração, Refugiados e Cidadania do Canadá, IRCC), usando o Microsoft Excel, atribui a cada aplicativo um número em ordem.
Etapa 2 Cada aplicativo com um número de série recebe um número aleatório de 100.000 a 9.999.999 usando a função RANDOMBETWEEN no Microsoft Excel.
Etapa 3 A planilha do Excel é classificada por coluna com números aleatórios do menor para o maior - e as primeiras 10.000 entradas são selecionadas como ganhadoras da loteria.

Este esquema foi criticado por alguns especialistas. O mais famoso especialista em geração de números aleatórios, o professor Pierre L'Ecuyer, da Universidade de Montreal, autor de muitos trabalhos científicos sobre a RNG, considera esta abordagem muito ruim: "Este é um gerador muito antigo, realmente não pode ser chamado de moderno". ele é Um estudo do professor L'Ecuille mostrou que o gerador de números pseudo-aleatórios do Excel não passa em certos testes estatísticos. Embora para esta aplicação seja suficiente, nada impede o IRCC de simplesmente pegar e usar um PRNG moderno e normal.

O Excel usa algoritmos matemáticos com um resultado determinístico como um PRNG, que depende de uma única semente. No caso do Excel, esse valor inicial é criado automaticamente pelo aplicativo. Se você souber um número na primeira etapa, poderá calcular todos os outros números na sequência. E algo semelhante havia acontecido antes, escreve um jornal canadense. Em 1994, o consultor de TI Daniel Corriveau descobriu esse padrão em Keno - e ganhou 600.000 CAD em uma noite no cassino de Montreal em Montreal. Ele adivinhou 19 dos 20 números vencedores três vezes seguidas .

Uma investigação mostrou que o cassino usava o mesmo PRNG antigo do Excel. No início de cada dia, um valor aleatório foi selecionado e outros dígitos durante o dia foram números dessa sequência previsível.

Então, em 1994, o professor L'Ecouillet propôs uma estrutura para PRNGs determinísticos

(m a t h c a l S, m u, f, m a t h c a l U, g)

$(\ mathcal {S}, \ mu, f, \ mathcal {U}, g)$ onde

m a t h c a l S

$\ mathcal {S}$ É um conjunto finito de estados,

m u

$\ mu$ - distribuição de probabilidade no espaço de estados

m a t h c a l S

$\ mathcal {S}$ usado para selecionar o estado inicial

m a t h c a l s_{0}

$\ mathcal {s_ {0}}$ (semente)

f : m a t h c a l S r i g h t a r r o w m a t h c a l S

$f: \ mathcal {S} \ rightarrow \ mathcal {S}$ - função de transição,

m a t h c a l U

$\ mathcal {U}$ - espaço dos valores de saída,

g : m a t h c a l S r i g h t a r r o w m a t h c a l U

$g: \ mathcal {S} \ rightarrow \ mathcal {U}$ .

Normalmente

m a t h c a l U = (0, 1)

$\ mathcal {U} = (0,1)$ , e o estado do gerador é dado pela fórmula de recorrência

s_{i} = f (s_{i - 1})

$s_ {i} = f \ (s_ {i-1})$ para

i g e q 1

$i \ geq 1$ . Valor de saída do gerador

u_{i} = g (s_{i}) i n m a t h c a l U

$u_ {i} = g \ (s_ {i}) \ in \ mathcal {U}$ ;

u_{0}, u_{1}, u_{2} . . .

$u_ {0}, \ u_ {1}, \ u_ {2} \ ...$ - uma sequência de números pseudo-aleatórios. Esta é uma sequência periódica, e o "período" é chamado de mínimo positivo

j

$j$ .

Entre os PRNGs, os mais comuns são o método congruente linear, o método de Fibonacci com atrasos, o registro de turnos com feedback linear, o registro de turnos com feedback generalizado. Dos PRNGs modernos, o vórtice de Mersenna, proposto em 1997 por Matsumoto e Nishimura, também foi amplamente utilizado. Suas vantagens são um período colossal (2 ^19937-1 ) e uma distribuição uniforme em 623 dimensões (o método congruente linear fornece uma distribuição mais ou menos uniforme em no máximo cinco dimensões), bem como a rápida geração de números aleatórios.

O professor L'Ecuille acredita que as autoridades agem muito estupidamente usando o PRNG do Excel, porque os PRNGs criptográficos confiáveis são facilmente acessíveis e não custam nada: “Os geradores criptográficos são gratuitos. Eles estão na internet ”, afirmou o professor. "Basta escolher um e todos." Não é nada difícil. "

No entanto, a Comissão Governamental do IRCC parece satisfeita com o uso do Excel. Em um comunicado por e-mail, a porta-voz Shannon Ker escreveu: "Apoiamos esse processo de seleção aleatória como uma ferramenta de igualdade de oportunidades suficiente para quem deseja expressar interesse em patrocinar seus pais e avós".

Especialista canadense em PRNG critica autoridades por usar algoritmos antigos do Excel para obter vistos

More articles: