Salut,

On 2005-03-09 22:21:49 +0100, Le Farfadet Spatial wrote:
> Vincent Lefevre a �crit :
> >Garanti = prouv�. M�me 100% de chance est une condition trop faible.
> >C'est le "garanti" d'un point de vue math�matique, pas d'un point de
> >vue commercial. :)
> 
> Ah ben non. Si tu as une probabilit� de 1 qu'un �v�nement arrive,
> c'est qu'il arrive, c'est garanti. Maintenant, si un �v�nement a une
> probabilit� de 0,99, l� je suis d'accord : il n'est pas
> math�matiquement garanti.

Avec une impl�mentation sur une machine � m�moire born�e, oui. Mais
si tu consid�res le probl�me au niveau th�orique, par exemple un algo
dont l'entr�e peut potentiellement avoir une infinit� de valeurs
(genre un r�el entre 0 et 1 avec n d�cimales et on fait tendre n vers
l'infini), alors tu peux obtenir une probabilit� de 1 que l'algo
fonctionne, bien qu'il �choue sur des valeurs particuli�res.

> >Un petit exemple... exp(Pi*sqrt(163)). Quelle �tait la probabilit�
> >d'obtenir un nombre aussi proche d'un entier?
> 
> Sur les r�els : 0. Maintenant, sur les flottants, ensemble fini, 
> c'est une autre affaire.

Tu as d� mal comprendre (par "aussi proche", j'entends � une distance <=).

-- 
Vincent Lef�vre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / SPACES project at LORIA

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Répondre à