PAT A1065 A+B and C (64bit)

题目描述

---

分析：

由于 long long 的范围是$[-2^{63}$, $2^{63})$，因此题目中给出的两个整数相加有可能会溢出（正溢出或负溢出），直接进行大小判断会造成错误。对于溢出后的具体范围，可以进行如下分析：

① 当 $A+B\ge 2^{63}$时，显然有 $A+B>C$ 成立，但 $A+B$ 会因超过 long long 的正向最大值而发生正溢出。由于题目给定的 $A$ 和 $B$ 最大均为 $2^{63}-1$，故 $A+B$ 最大为 $2^{64}-2$，因此使用 long long 存储正溢出后的值的区间为 $[-2^{63}$, $2]$。所以当 $A＞0，B＞0，A+B＜0$ 时为正溢出，输出 true。

② 当 $A+B＜-2^{63}$时，显然有 $A+B<C$ 成立，但 $A+B$ 会因超过 long long 的负向最小值而发生负溢出。由于题目给定的 $A$ 和 $B$ 最小均为 $-2^{63}$，故 $A+B$ 最小为 $-2^{64}$，因此使用 long long 存储正溢出后的值的区间为 $[0$, $2^{63})$。所以当 $A<0，B<0，A+B\ge 0$ 时为负溢出，输出 false。

③ 在没有溢出的情况下，当 $A+B>C$ 时，输出 true；当 $A+B\le C$ 时，输出false。

---

代码(C++)

#include <iostream>

using namespace std;

int main()
{
    int T;
    cin >> T;
    bool flag;
    int i = 1;
    while (T --)
    {

        long long a, b, c;
        scanf("%lld%lld%lld", &a, &b, &c);
//         cin >> a >> b >> c;  这里不要用 cin 输入，有一组数据会过不去
        long long sum = a + b;  

        if (a > 0 && b > 0 && sum < 0) flag = true; // 正溢出为 true
        else if (a < 0 && b < 0 && sum >= 0) flag = false; // 负溢出为 false
        else if (sum > c) flag = true; // 无溢出 判断 A + B
        else if (sum <= c) flag = false;
        
        if (flag == true) cout << "Case #" << i ++ << ": true" << endl;
        else cout << "Case #" << i ++ << ": false" << endl;
    }
}

---