Quelltext der Seite Well Equidistributed Long-period Linear

Der '''Well Equidistributed Long-period Linear''' (kurz: '''WELL''') ist ein [[Pseudozufallszahlengenerator]], der 2006 von François Panneton und Pierre L’Ecuyer entwickelt wurde. Er wurde konzipiert, um schnell [[Gleichverteilung|gleichverteilte]] Pseudozufallszahlen mit extrem langer Periode zu generieren und basiert auf [[Lineare Differenzengleichung|linearen Rekursionsgleichungen]].<ref name="well_paper" />

== Eigenschaften ==

WELL-Zufallszahlengeneratoren haben mit Periodenlängen von <math>2^k - 1</math> (mit ''k'' ∈ {512, 607, 800, 1024, 19937, 21701, 23209, 44497})
bei geringem Aufwand sehr lange Periodenlängen (in Potenzschreibweise zwischen etwa 10<sup>154</sup> und etwa 10<sup>13395</sup>).
Sie generieren hochgradig gleichverteilte Sequenzen. Diesbezüglich haben die erzeugten Zufallszahlen sogar eine höhere Qualität als die des [[Mersenne-Twister]]s,<ref name="mt_homepage" /><ref name="well_paper" /> wobei auch WELL ähnlich schnell wie der Mersenne-Twister Zufallszahlen liefert.

Seine Eigenschaften prädestinieren WELL insbesondere zur Verwendung in statistischen Simulationen (z. B. [[Monte-Carlo-Simulation]]). Hingegen ist der WELL genauso wie der Mersenne-Twister (und ''alle'' anderen LRGs) für kryptographische Anwendungen nicht direkt geeignet. Bei vergleichsweise kurzer Beobachtung seiner Ausgaben kann sein interner Zustand ermittelt werden und so alle zukünftigen Zahlen vorhergesagt werden. Dieses Problem kann umgangen werden, indem man mehrere Ausgabeworte in einem Block sammelt und auf diesen dann eine [[Kryptologische Hashfunktion|sichere Hashfunktion]] anwendet (z. B. [[Secure Hash Algorithm|SHA-256]]).<ref name="mt_faq" />

== Algorithmus ==

<math>z_0 \leftarrow rot_p ( v^T_{i,r-2}, v^T_{i,r-1} )^T;</math>

<math>z_1 \leftarrow T_0 v_{i,0} \oplus T_1 v_{i,m_1};</math>

<math>z_2 \leftarrow T_2 v_{i,m_2} \oplus T_3 v_{i,m_3}</math>

<math>z_3 \leftarrow z_1 \oplus z_2</math>

<math>v_{i+1,r-1} \leftarrow v_{i,r-2} \wedge m_p</math>

<math>\begin{align}
\text {for}~ &j := r-2, \dots, 2 \quad \text {do} \\
\quad & v_{i+1,j} \leftarrow v_{i,j-1}
\end{align}</math>

<math>v_{i+1,1} \leftarrow z_3</math>

<math>v_{i+1,0} \leftarrow z_4</math>

Ausgabe: <math>y_i = v_{i,1}</math> oder <math>y_i = v_{i,0}</math>.

== Initialisierung ==

Zur Initialisierung wird das Zustandsarray auf beliebige (zufällige) Werte gesetzt. Diese initialen Werte stellen in erster Linie nur eine Position in der <math>2^k-1</math> langen Bit-Sequenz dar, bei der der Generator startet.

Das Initialisieren mit nur Nullen führt zur konstanten Ausgabe des Wertes 0 (das ist der zweite mögliche Zyklus des Zufallszahlengenerators mit der Periodenlänge 1). Sind dagegen nur viele (aber nicht alle) Bits des Zustandswortes „0“, liefert der WELL wie auch der Mersenne-Twister (und alle(!) anderen LRGs) anfänglich keine gleichverteilten Zufallszahlen mehr. Dieser Fall kann auftreten, wenn schlecht initialisiert wurde.

Gerade hier erweisen sich die WELL-Generatoren gegenüber dem [[Mersenne-Twister]] und dessen kleinem Bruder, dem [[Mersenne-Twister#TT800|TT800]], als überlegen: Sie liefern bereits nach einigen hundert Schritten (z. B. 700 für den WELL-19937) wieder eine gleichverteilte Bit-Sequenz. Der Mersenne-Twister benötigt hier bis zu 700.000 Schritte und der TT800 immer noch mehr als 60.000.<ref name="well_paper" />

== Periodenlänge ==

Die WELL-Generatoren sind so entworfen, dass sie eine für linear rückgekoppelte Generatoren maximale Periodenlänge besitzen, d. h. den gesamten Zustandsraum (außer der 0) durchlaufen. Die Periodendauer beträgt 2<sup>k</sup>-1, in Potenzschreibweise etwa 10<sup>0,3·k</sup>.
''k'' ist hierbei die Ordnung des charakteristischen Polynoms ''P(z)'' der Transitionsmatrix ''A''.

== Implementierung in C ==

Hier ist beispielhaft die Implementierung in C für den WELL1024a dargestellt.<ref name="well_homepage" /> Der Generator liefert gleichverteilte Zufallszahlen auf dem Intervall [0, 2<sup>32</sup>-1].

<syntaxhighlight lang="C">
#include <stdint.h>

#define R   32      /* Anzahl der Worte im Zustandsregister */

#define M1   3
#define M2  24
#define M3  10

#define MAT0POS(t,v)  (v ^ (v >>  (t)))
#define MAT0NEG(t,v)  (v ^ (v << -(t)))
#define Identity(v)   (v)

#define V0            State[ i         ]
#define VM1           State[(i+M1)  % R]
#define VM2           State[(i+M2)  % R]
#define VM3           State[(i+M3)  % R]
#define VRm1          State[(i+R-1) % R]

#define newV0         State[(i+R-1) % R]
#define newV1         State[ i         ]

/* Der Zustandsvektor muss mit (pseudo-)zufälligen Werten initialisiert werden. */
static uint32_t State[R];

uint32_t WELL1024()
{
  static uint32_t i = 0;
  uint32_t        z0;
  uint32_t        z1;
  uint32_t        z2;

  z0    = VRm1;
  z1    = Identity( V0)      ^ MAT0POS ( +8, VM1);
  z2    = MAT0NEG (-19, VM2) ^ MAT0NEG (-14, VM3);
  newV1 = z1                 ^ z2;
  newV0 = MAT0NEG (-11,  z0) ^ MAT0NEG ( -7,  z1) ^ MAT0NEG (-13,  z2);
  i     = (i + R - 1) % R;

  return State[i];
}
</syntaxhighlight>

== Siehe auch ==

* [[Liste von Zufallszahlengeneratoren]]

== Weblinks ==

* [http://www.iro.umontreal.ca/~panneton/WELLRNG.html Implementierung der Autoren ''(k=512, 1024, 19937, 44497)'']
* [https://github.com/sergiud/random/blob/master/well.hpp Implementierungen anderer WELL]

== Einzelnachweise ==
<references>
<ref name="well_paper">F. Panneton, P. L'Ecuyer: ''[http://www.iro.umontreal.ca/~lecuyer/myftp/papers/lfsr04.pdf Improved Long-Period Generators Base on Linear Recurrences Modulo 2] (PDF; 301&nbsp;kB)''.</ref>
<ref name="well_homepage">F. Panneton, P. L'Ecuyer: ''[http://www.iro.umontreal.ca/~panneton/WELLRNG.html Homepage des WELL RNG]''</ref>
<ref name="mt_homepage">M. Matsumoto: ''[http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/emt.html Mersenne-Twister Homepage]''</ref>
<ref name="mt_faq">M. Matsumoto: ''[http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/efaq.html Mersenne-Twister-FAQ]''</ref>
</references>


[[Kategorie:Pseudozufallszahlengenerator]]