计算机中的浮点数

  计算机中以固定长度存储浮点数的方式，造成了浮点数运算过程容易产生上溢和下溢。以float32为例, 其标记位占1bit,指数位占8bit,小数部分占23bit

经典下溢场景

  不满足精度导致截断误差

#include <iostream>
#include <iomanip>
using namespace std;
int main() {
    float a = 1.f;
    float eps = 1e-8f;
    float c = a + eps;
    cout << setprecision(16) << a << "+" << eps << "=" << c << endl;
    return 0;
}

微小的误差很容易被放大

  这里以二元一次方程的求根为例
  $a{x}^2+bx+c=0$
  根据基础数学知识,你会给出这样一个解决方案
  $x_{1,2}=\frac{-b\pm \sqrt{b^2-4ac}}{2a}$
  由此设计程序

#include<iostream>
#include<cmath>
using namespace std;

int main() {
    float a, b, c;
    float temp, root, r1, r2;
    cout << "该程序用于求一元二次方程ax^2+bx+c=0的解" << endl;
    cout << "请依次输入a b c的值（a不要为0）" << endl;
    cin >> a >> b >> c;
    temp = b * b - 4 * a * c;
    root = sqrt(temp);
    if (temp < 0) {
        cout << "改方程无解\n";
        return -1;
    }
    r1 = (-b + root) / 2.0 / a;
    r2 = (-b - root) / 2.0 / a;
    cout << "一元二次方程的解为：" << r1 << " , " << r2 << endl;
    return 0;
}

  使用这段程序输入 $0.01,1000,1$
  输出$-0.00305176,-100000$
  而保留小数点后六位有效数字应该是$-0.001000,-99999.990000$
  此时，第一项的相对误差为百分之两百，而第二项的相对误差为千万分之一。
  显然，两个相近的数相减会使得运算后的有效位数变少，也就是在$a,c$的值很小时， $ -b + \sqrt {b^2-4ac}$ 这一操作过后，使得实际结果的有效位变低了(或者说引入了较大的误差)，并且这个误差会在后续的运算中被放大。
  这时可以通过数学手段减少误差
  既然 $x_{1,2}=\frac{-b\pm \sqrt{b^2-4ac}}{2a}$
  分子分母同时乘以 $-b-\sqrt{b^2-4ac},-b+\sqrt{b^2-4ac}$ 可得
  $x_{1} = \frac{2c}{-b - \sqrt {b^2-4ac}} , x_{2} =\frac{2c}{-b + \sqrt {b^2-4ac}} $
  根据b 的正负性，两个求根公式各取一半得到新的算法
  新算法的结果为$-0.001,-10000$

#include<iostream>
#include<cmath>
using namespace std;

int main() {
    float a, b, c;
    float temp, root, r1, r2;
    cout << "该程序用于求一元二次方程ax^2+bx+c=0的解" << endl;
    cout << "请依次输入a b c的值（a不要为0）" << endl;
    cin >> a >> b >> c;
    temp = b * b - 4 * a * c;
    root = sqrt(temp);
    if (temp < 0) {
        cout << "改方程无解\n";
        return -1;
    }

    if (b > 0) {
        r1 = 2 * c / (-b - root);
        r2 = (-b - root) / 2 / a;
    }
    else if (b < 0) {
        r1 = (-b + root) / 2 / a;
        r2 = 2 * c / (-b + root);
    }
    else {
        temp = c / a;
        r1 = sqrt(-temp);
        r2 = -sqrt(-temp);
    }
    cout << "一元二次方程的解为：" << r1 << " , " << r2 << endl;
    return 0;
}