La réponse de Nick Alger est très bonne, mais je vais la rendre un peu plus mathématique avec un exemple de méthode, la méthode Metropolis-Hastings.
Le scénario que je vais explorer est que vous avez une population d'un. Vous proposez une mutation de l'état à l'état j avec une probabilité Q ( i , j ) , et nous imposons également la condition que Q ( i , j ) = Q ( j , i ) . Nous supposerons également que F ( i ) > 0 pour tout i ; si vous n'avez aucune forme physique dans votre modèle, vous pouvez résoudre ce problème en ajoutant un petit epsilon partout.ijQ(i,j)Q(i,j)=Q(j,i)F(i)>0i
Nous accepterons une transition de à j avec probabilité:ij
min(1,F(j)F(i))
En d'autres termes, si est plus en forme, nous le prenons toujours, mais si j est moins en forme, nous le prenons avec la probabilité F ( j )jj , sinon nous réessayons jusqu'à ce que nous acceptions une mutation.F(j)F(i)
Maintenant, nous aimerions explorer , la probabilité réelle de passer de i à j .P(i,j)ij
C'est clairement:
P( i , j ) = Q ( i , j ) min ( 1 , F( j )F( i ))
Supposons que . Puis min ( 1 , F ( j )F( j ) ≥ F( i )= 1, et donc:min ( 1 , F( j )F( i ))
= F ( i ) Q ( i , j ) min ( 1 , F ( j )
F( i ) P( i , j )
=F(i)Q(i,j)=Q(j,i)min(1,F(i)= F( i ) Q ( i , j ) min ( 1 , F( j )F( i ))
= F( i ) Q ( i , j )
=F(j)P(j,i)=Q(j,i)min(1,F(i)F(j))F(j)
=F(j)P(j,i)
En exécutant l'argument en arrière et en examinant également le cas trivial où , vous pouvez voir que pour tous les i et j :i=jij
F(i)P(i,j)=F(j)P(j,i)
Ceci est remarquable pour plusieurs raisons.
La probabilité de transition est indépendante de . Bien sûr, cela peut nous prendre un certain temps pour finir dans l'attracteur, et cela peut nous prendre un certain temps pour accepter une mutation. Une fois que nous faisons, la probabilité de transition est entièrement dépendante de F , et non sur Q .QFQ
Résumant tout ce que donne:i
∑iF(i)P(i,j)=∑iF(j)P(j,i)
P(j,i)1i1
F(j)=∑iF(i)P(i,j)
F
Bien sûr, ce n'est qu'un exemple parmi tant d'autres; comme je l'ai noté ci-dessous, il s'agit d'une méthode très facile à expliquer. Vous utilisez généralement un GA non pour explorer un pdf, mais pour trouver un extremum, et vous pouvez assouplir certaines des conditions dans ce cas et toujours garantir une convergence éventuelle avec une forte probabilité.