Introduction
La méthode de rejet est utilisée pour engendrer indirectement une variable aléatoire 


Soit 



Autrement dit,
fX(x) = fY(x | M).
Pour simuler une suite de variables aléatoires réelles 



La méthode de rejet est utilisée pour engendrer indirectement une variable aléatoire 


Soit 



Autrement dit,
fX(x) = fY(x | M).
Pour simuler une suite de variables aléatoires réelles 




La méthode de rejet
On voudrait simuler une variable aléatoire réelle 





La version basique de la méthode de rejet prend la forme suivante:




On remarque que l'algorithme comporte une boucle dont la condition porte sur des variables aléatoires. Le nombre d'itérations, notons-le est donc lui-même aléatoire. On peut montrer que 
En effet,
est la probabilité, lors d'une itération, de terminer la boucle, et, par conséquent, d'accepter Y. Par suite, l'espérance de 
On a donc tout intérêt à choisir c le plus petit possible. En pratique, une fois la fonction g choisie, le meilleur choix de c est donc la plus petite constante qui majore le ratio f/g, c'est-à-dire:
Notons que, soit c est supérieur strict à 1, soit f=g, la deuxième alternative étant assez théorique : en effet, comme
On a donc intérêt à choisir c le plus proche de 1 possible, pour que le nombre d'itérations moyen soit proche de 1 lui aussi. Bref, le choix de l'enveloppe g est primordial:
Les deux derniers points conduisent à rechercher une fonction g dont le graphe "épouse" étroitement celui de f.
Le fait que peut être re-écrit comme f(x) = c**g(x)h(x) où h est une fonction à valeurs dans [0;1]. On remplace l'étape 4 de l'algorithme initial par la condition:
Tant que U / h(X) > 1, reprendre en 1;
Une autre généralisation peut être considérée lorsque l'évaluation du ratio f/g est délicate. On cherche alors à encadrer la fonction f par deux fonctions facilement évaluables:
tout en supposant qu'il existe une densité g telle que . Aucune autre hypothèse n'est nécessaire; en particulier, il ne faut pas imposer que . L'algorithme prend alors la forme suivante:
Dans cet algorithme, les fonctions h permettent de recourir à une comparaison à f (et donc son évaluation) que très rarement.