On 2005-03-08 01:05:49 +0100, Le Farfadet Spatial wrote:
> Vincent Lefevre a écrit :
> >Non, si c'est statistique, ce n'est pas garanti.
> 
> Ben, s'il y a 95% de chances que ce soit bien la bonne valeur et 

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. :)

> 10^-6% de chance (je n'ai pas le chiffre exacte en tête) qu'il y ait
> une erreur de plus d'une unité sur le dernier chiffre significatif,
> ce n'est certes pas garantie de manière déterministe mais un
> probabiliste te dira que c'est sûr.

Non, 10^-6 %, c'est énorme, notamment si tu considères l'ensemble
des calculs effectués sur la planète. D'autre part, les calculs
effectués sur ordinateur ne sont que des cas particuliers. Parler
de probabilité est en soi une modélisation... qui peut être fausse.

Petit rappel: quand tu prends un réel au hasard (avec une distribution
raisonnable), il a une probabilité égale à 1 d'être non calculable.

> >Ce n'est pas une question de croire ou pas. C'est juste que ça ne
> >prouve rien.
> 
> Comment ça, ça ne prouve rien ?

Cf ci-dessus.

> >Une borne d'erreur garantie (i.e. prouvée) est généralement préférable
> >si on met un minimum d'intelligence derrière pour que cette borne soit
> >acceptable par l'utilisateur.
> 
> Heu... Pourquoi ? D'ailleurs, je suis intéressé pour une réponse 
> détaillé (en privé bien sûr parce que je pense que les autres membres 
> de la liste s'en tamponnent), si tu en as la possibilité.

C'est toujours mieux d'avoir un résultat acceptable et prouvé qu'un
résultat probabiliste. Ensuite différentes implémentations sont
possibles...

> >Qu'en sais-tu qu'il te donne la bonne valeur?
> 
> Ben, les statistiques...

Les statistiques disent justement que tu n'es pas sûr d'obtenir la
bonne valeur. Tu as même des expressions qui donnent des résultats
surprenants, des approximations qui auraient très peu de chance de
se produire, avec des probabilités beaucoup plus faibles que ton
10^-6 %.

Un petit exemple... exp(Pi*sqrt(163)). Quelle était la probabilité
d'obtenir un nombre aussi proche d'un entier?

Tu as d'autres types d'exemples de "très bonnes approximations" ici:

  http://perso.ens-lyon.fr/jean-michel.muller/Intro-to-TMD.htm

-- 
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 à