🧔🏿 🕦 🚣🏾 Pakar PRNG Kanada mengkritik pihak berwenang karena menggunakan algoritma Excel kuno untuk menggambar visa 💐 🧑🏻 🈯️

Program Reunifikasi Keluarga (Family Reunification Program) adalah salah satu dari tiga program bantuan migran utama Kanada. Hal ini memungkinkan kedua imigran yang baru tiba dan orang Kanada yang sudah lama mapan untuk bersatu kembali dengan anggota keluarga mereka. Sesuai dengan Peraturan Imigrasi dan Perlindungan Pengungsi, keluarga yang tinggal di luar negeri menerima bantuan keuangan, seperti halnya saudara migran yang tinggal di Kanada. Pasangan, anak-anak, orang tua, cucu, anak angkat, dll. Dapat mengandalkan bantuan keuangan.

Masalahnya adalah bahwa Kanada tidak dapat segera memberikan kewarganegaraan kepada semua kerabat dari semua migran. Sebelumnya, mereka dimasukkan ke dalam antrian, dan pertimbangan aplikasi harus diharapkan selama bertahun-tahun. Untuk mempercepat proses, kaum liberal mengusulkan lotere. Jadi sejak 2017, lotere telah dimainkan di Kanada seperti Kartu Hijau Amerika. Di antara sekitar 100.000 aplikasi, 10.000 dipilih secara acak. Berkat respons resmi terhadap permintaan berdasarkan Undang-Undang tentang Akses ke Informasi, publikasi Kanada The Globe an Mail telah mengungkapkan beberapa detail teknis tentang bagaimana lotere dilakukan.

Ternyata pemerintah federal memilih pemenang menggunakan Microsoft Excel. Beginilah keseluruhan prosedur terlihat secara terperinci.

Langkah 1 Biro Imigrasi, Pengungsi dan Kewarganegaraan (Imigrasi, Pengungsi dan Kewarganegaraan Kanada, IRCC), menggunakan Microsoft Excel, memberikan setiap aplikasi sejumlah nomor secara berurutan.
Langkah 2 Setiap aplikasi dengan nomor seri diberikan nomor acak dari 100.000 hingga 9.999.999 menggunakan fungsi RANDOMBETWEEN di Microsoft Excel.
Langkah 3 Lembar kerja Excel diurutkan berdasarkan kolom dengan angka acak dari terendah ke tertinggi - dan 10.000 entri pertama dipilih sebagai pemenang lotere.

Skema ini telah dikritik oleh beberapa ahli. Pakar pembangkitan angka acak paling terkenal, Profesor Pierre L'Ecuyer, dari University of Montreal, penulis banyak karya ilmiah di RNG, menyebut pendekatan ini sangat buruk: "Ini adalah generator yang sangat tua, itu benar-benar tidak bisa disebut modern," kata dia adalah. Sebuah studi oleh Profesor L'Ecuille menunjukkan bahwa generator angka pseudo-acak Excel tidak lulus tes statistik tertentu. Meskipun untuk aplikasi ini cukup, tetapi tidak ada yang mencegah IRCC dari hanya mengambil dan menggunakan PRNG modern yang normal.

Excel menggunakan algoritma matematika dengan hasil deterministik sebagai PRNG, yang bergantung pada satu seed. Dalam kasus Excel, nilai awal ini dibuat secara otomatis oleh aplikasi. Jika Anda tahu satu angka di langkah pertama, Anda bisa menghitung semua angka lainnya dalam urutan. Dan hal serupa pernah terjadi sebelumnya, tulis sebuah koran Kanada. Pada tahun 1994, konsultan IT Daniel Corriveau menemukan pola ini di Keno - dan memenangkan 600.000 CAD dalam satu malam di Montreal Casino de Montréal. Dia menebak 19 dari 20 angka yang menang tiga kali berturut-turut .

Investigasi menunjukkan bahwa kasino menggunakan PRNG kuno yang sama seperti di Excel. Pada awal setiap hari, satu nilai acak dipilih, dan angka selanjutnya pada hari itu adalah angka dari urutan yang dapat diprediksi ini.

Kemudian pada tahun 1994, Profesor L'Ecouillet mengusulkan struktur untuk PRNG deterministik

(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)$ dimana

m a t h c a l S

$\ mathcal {S}$ Apakah set negara yang terbatas,

m u

$\ mu$ - distribusi probabilitas di ruang negara

m a t h c a l S

$\ mathcal {S}$ digunakan untuk memilih kondisi awal

m a t h c a l s_{0}

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

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}$ - fungsi transisi,

m a t h c a l U

$\ mathcal {U}$ - ruang nilai output,

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

Biasanya

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

$\ mathcal {U} = (0,1)$ , dan status generator diberikan oleh rumus pengulangan

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

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

i g e q 1

$i \ geq 1$ . Nilai output generator

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} \ ...$ - urutan nomor pseudorandom. Ini adalah urutan periodik, dan "periode" disebut minimum positif

j

$j$ .

Di antara PRNG, yang paling umum adalah metode kongruen linier, metode Fibonacci dengan penundaan, register geser dengan umpan balik linier, register geser dengan umpan balik umum. Dari PRNG modern, pusaran Mersenna, yang diusulkan pada tahun 1997 oleh Matsumoto dan Nishimura, juga banyak digunakan. Keuntungannya adalah periode kolosal (2 ¹⁹⁹³⁷ -1) dan distribusi seragam dalam 623 dimensi (metode kongruen linier memberikan distribusi yang kurang lebih seragam dalam maksimum lima dimensi), serta pembangkitan cepat angka acak.

Profesor L'Ecuille percaya bahwa pihak berwenang bertindak sangat bodoh menggunakan PRNG dari Excel, karena PRNG kriptografi yang andal mudah diakses dan tidak ada biaya: “Generator kriptografi gratis. Mereka ada di Internet, ”kata sang profesor. "Pilih saja semuanya." Sama sekali tidak sulit. "

Namun, Komisi Pemerintah IRCC tampaknya puas dengan penggunaan Excel. Dalam sebuah pernyataan email, juru bicara Shannon Ker menulis: "Kami mendukung proses seleksi acak ini sebagai alat kesempatan yang setara dan setara bagi siapa saja yang ingin menyatakan minat mensponsori orang tua dan kakek-nenek mereka."

Pakar PRNG Kanada mengkritik pihak berwenang karena menggunakan algoritma Excel kuno untuk menggambar visa

More articles: