Al comparar flotadores, ¿cómo se llama el umbral de diferencia?

Estoy comparando flotantes en Java en este momento y la fórmula más simple es:

Math.abs(a - b) < THRESHOLD

Al nombrar su variable para el umbral de diferencia, ¿debería nombrarla delta o epsilon ? Específicamente, ¿cuál de los dos es el término correcto para el valor más pequeño que puede representar un número de coma flotante?

¿Es el término lenguaje de programación específico, o es universal en todos los idiomas?

Epsilon en matemáticas e ingeniería

En matemáticas e ingeniería en general:

• Delta se usa generalmente para referirse a una diferencia, que puede ser de cualquier escala.
• Epsilon se usa generalmente para referirse a una cantidad insignificante.

y épsilon parece más apropiado en su caso.

Epsilon en informática

En ciencia de la computación en particular, el término épsilon también se refiere a la máquina espilón que mide la diferencia entre 1.0fy el flotador más pequeño que es estrictamente mayor que 1.0f. Ese último número es 1.00000011920928955078125fpara flotantes en Java y se puede calcular con:

float f = Float.intBitsToFloat(Float.floatToIntBits(1f) + 1);

La definición de máquina épsilon es consistente con el uso general de épsilon descrito anteriormente.

Comparar flotadores

Sin embargo, tenga en cuenta que antes de comparar flotadores para "proximidad", debe tener una idea de su escala. Dos flotadores muy grandes y supuestamente muy diferentes pueden ser iguales:

9223372036854775808f == 9223372036854775808f + 1000000000f; //this is true!

E inversamente, puede haber muchos valores de flotación posibles (y varios órdenes de magnitud) entre dos flotadores pequeños que difieren según la máquina épsilon "solo". En el ejemplo a continuación, hay 10,000,000 valores flotantes disponibles entre smally f, pero su diferencia todavía está muy por debajo del épsilon de la máquina:

float small = Float.MIN_VALUE; // small = 1.4E-45
float f = Float.intBitsToFloat(Float.floatToIntBits(small) + 100000000); // f = 2.3122343E-35
boolean b = (f - small < 0.00000011920928955078125f); //true!

El artículo vinculado en la respuesta de GlenH7 investiga aún más la comparación de flotación y propone varias soluciones para superar estos problemas.

En matemáticas, delta se usa para representar alguna diferencia de un valor, epsilon se usa para representar un valor de error arbitrario. En este caso, épsilon sería el nombre convencional.

Para responder directamente a su pregunta, desea utilizar el término epsilon. Más exactamente, es machine epsilonpero el uso común cae "máquina" y solo usa epsilon.

Mirando en mi copia local de float.hveo:

#define DBL_EPSILON     2.2204460492503131e-016 /* smallest such that 1.0+DBL_EPSILON != 1.0 */  
#define FLT_EPSILON     1.192092896e-07F        /* smallest such that 1.0+FLT_EPSILON != 1.0 */  
#define LDBL_EPSILON    DBL_EPSILON             /* smallest such that 1.0+LDBL_EPSILON != 1.0 */

Y los comentarios asociados dejan en claro que épsilon es el término al que se refiere.

Pero también podemos confiar en otras referencias externas para verificar que epsilones el término correcto. Vea aquí , aquí , aquí y finalmente esta combinación de etiquetas de consulta SO . No pude encontrar una referencia directa al estándar IEEE 754 para citar.

Eche un vistazo a este artículo de blog de Bruce Dawson de Valve sobre la comparación de valores de coma flotante para obtener una idea de por qué no desea utilizar la comparación que sugirió.

Hay bastante información incluida en ese artículo, pero este es el fragmento más relevante a partir de ahí:

Si comparar flotantes para igualdad es una mala idea, entonces, ¿qué hay de verificar si su diferencia está dentro de algunos límites de error o valor de épsilon, como este:

bool isEqual = fabs(f1 – f2) <= epsilon;

Con este cálculo podemos expresar el concepto de dos flotadores que están lo suficientemente cerca que queremos considerarlos iguales. Pero, ¿qué valor debemos usar para epsilon?
Dada nuestra experimentación anterior, podríamos sentir la tentación de usar el error en nuestra suma, que fue aproximadamente 1.19e-7f. De hecho, incluso hay una definición en float.h con ese valor exacto, y se llama FLT_EPSILON.
Claramente eso es todo. ¡Los dioses del archivo de encabezado han hablado y FLT_EPSILON es el único épsilon verdadero!
Excepto que eso es basura. Para números entre 1.0 y 2.0, FLT_EPSILON representa la diferencia entre flotadores adyacentes. Para números menores que 1.0, un épsilon de FLT_EPSILON se vuelve demasiado grande rápidamente, y con números lo suficientemente pequeños, ¡FLT_EPSILON puede ser más grande que los números que está comparando!

Dawson repasa algunas otras consideraciones sobre las complejidades involucradas al comparar carrozas y tratar con valores muy pequeños como este, por lo que le recomendaría que lea el resto de su publicación.

Esta es una función de error; El error absoluto generalmente se llama ε (epsilon) o Δ x para alguna cantidad x:

ε = | esperado - real |

Δ x = | x ₀ - x  |

El error relativo a veces se llama η (eta):

η = | 1 - real / esperado |

Para fines de programación, absoluteErrory relativeError(o algunas abreviaturas de los mismos) son más descriptivos. Si desea afirmar que el error es menor que un cierto valor, ese valor simplemente se llamará umbral o tolerancia .

Ver:

• Error absoluto en Wolfram MathWorld

• Error de aproximación en Wikipedia

Yo lo llamaría "tolerancia".

Tal vez ese no sea el término matemáticamente correcto, pero el simple hecho de que haga la pregunta implica que ni "delta" ni "épsilon" serían un buen nombre variable para usar.

En mi experiencia, es mejor usar nombres de identificadores que tengan sentido para aquellos que realmente leerán el código. ¿De qué sirve un nombre perfectamente correcto si significa que el lector necesita buscarlo en Wikipedia para entender lo que significa?