Questions marquées «numerical-analysis»

13
Sommation sûre de débordement

Supposons que l'on me donne entiers de largeur fixe (c'est-à-dire qu'ils s'inscrivent dans un registre de largeur w ), a 1 , a 2 , … a n tels que leur somme a 1 + a 2 + ⋯ + a n = S s'inscrit également dans un registre de largeur w .nnnwwwa1,a2,…ana1,a2,…ana_1, a_2, \dots...

13
Arrondi en virgule flottante

Un nombre à virgule flottante IEEE-754 <1 (c'est-à-dire généré avec un générateur de nombres aléatoires qui génère un nombre> = 0,0 et <1,0) peut-il être multiplié par un entier (sous forme de virgule flottante) pour obtenir un nombre égal ou supérieur à cet entier en raison de l'arrondi?...

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...

8
La «recherche ternaire» est-elle un terme approprié pour l'algorithme qui optimise une fonction unimodale sur un intervalle réel?

Supposons que je veuille optimiser une fonction unimodale définie sur un certain intervalle réel. Je peux utiliser l'algorithme bien connu décrit dans Wikipedia sous le nom de recherche ternaire . Dans le cas de l'algorithme qui divise de façon répétée les intervalles par deux, il est courant de...