std:: mersenne_twister_engine

mersenne_twister_engine est un générateur de nombres aléatoires basé sur l'algorithme Mersenne Twister . Il produit des nombres aléatoires non signés de type UIntType de haute qualité, mais non cryptographiquement sûrs, sur l'intervalle \(\scriptsize {[0,2^w)}\) [0, 2 w
) .

Paramètres du modèle

Si l'une des restrictions suivantes est violée, le programme est mal formé :

• m est dans [ 1 , n ] .
• Les expressions suivantes sont toutes true :

• w >= 3
• w >= r
• w >= u
• w >= s
• w >= t
• w >= l
• w <= std:: numeric_limits < UIntType > :: digits

`, et `$`.\; Tous\; les\; éléments\; présents\; sont\; soit\; :\; -\; Des\; balises\; HTML\; et\; attributs\; (non\; traduits\; selon\; les\; instructions)\; -\; Du\; code\; C++\; dans\; des\; balises\; `$` (non traduit selon les instructions)
- Des variables et termes spécifiques au C++ (non traduits selon les instructions)
Par conséquent, le document HTML reste identique dans la version française.

• Étant donné ( 1u << w ) - 1u comme w1 , les expressions suivantes sont toutes true :

• a <= w1
• b <= w1
• c <= w1
• d <= w1
• f <= w1

Propriétés du générateur

La taille des états du mersenne_twister_engine est n , chacun d'eux consiste en une séquence X de n valeurs de type result_type . \(\scriptsize X_j\) X j représente la \(\scriptsize j\mod n\) j mod n ième valeur (en commençant à 0) de X .

Étant donné les notations d'opérations bit à bit suivantes :

• \(\scriptsize \mathsf{bitand}\) bitand , intégré ET binaire .
• \(\scriptsize \mathsf{xor}\) xor , intégré OU exclusif binaire .
• \(\scriptsize \mathsf{lshift}\) lshift , intégré décalage binaire vers la gauche .
• \(\scriptsize \mathsf{rshift}\) rshift , intégré décalage binaire vers la droite .

L' algorithme de transition du mersenne_twister_engine ( \(\scriptsize TA(x_i)\) TA(x i ) ) est défini comme suit :

1. Concaténer les w - r bits supérieurs de \(\scriptsize X_{i-n}\) X i-n avec les r bits inférieurs de \(\scriptsize X_{i+1-n}\) X i+1-n pour obtenir une valeur entière non signée Y .
2. Soit y égal à \(\scriptsize a \cdot (Y\ \mathsf{bitand}\ 1)\) a·(Y bitand 1) , et définir \(\scriptsize X_i\) X i comme \(\scriptsize X_{i+m−n}\ \mathsf{xor}\ (Y\ \mathsf{rshift}\ 1)\ \mathsf{xor}\ y\) X i+m−n xor (Y rshift 1) xor y .

L' algorithme de génération de mersenne_twister_engine ( \(\scriptsize GA(x_i)\) GA(x i ) ) est défini comme suit :

1. Soit \(\scriptsize z_1\) z 1 égal à \(\scriptsize X_i\ \mathsf{xor}\ ((X_i\ \mathsf{rshift}\ u)\ \mathsf{bitand}\ d)\) X i xor ((X i rshift u) bitand d) .
2. Soit \(\scriptsize z_2\) z 2 égal à \(\scriptsize z_1\ \mathsf{xor}\ (((z_1\ \mathsf{lshift}\ s)\mod 2^w)\ \mathsf{bitand}\ b)\) X i xor (((X i lshift s) mod 2 w
   ) bitand b) .
3. Soit \(\scriptsize z_3\) z 3 égal à \(\scriptsize z_2\ \mathsf{xor}\ (((z_2\ \mathsf{lshift}\ t)\mod 2^w)\ \mathsf{bitand}\ c)\) X i xor (((X i lshift t) mod 2 w
   ) bitand c) .
4. Soit \(\scriptsize z_4\) z 4 égal à \(\scriptsize z_3\ \mathsf{xor}\ (z_3\ \mathsf{rshift}\ l)\) z 3 xor (z 3 rshift l) .
5. Retourner \(\scriptsize z_4\) z 4 comme résultat (c'est-à-dire \(\scriptsize GA(x_i)=z_4\) GA(x i )=z 4 ).

Spécialisations prédéfinies

Les spécialisations suivantes définissent le moteur de nombres aléatoires avec deux ensembles de paramètres couramment utilisés :

Types imbriqués

Membres de données

Fonctions membres

Fonctions non membres

Exemple