PAT A1065A+B and C

思路

1. 因为范围在[−2^​63​​,2^​63​​],所以，a,b,c都是long long 型。
2. a+b存在数据溢出的情况，所以需要单独分析
   因为数据正溢出后，从-2⁶³开始，到[(2⁶⁴-2)-2⁶³]-2⁶³（前面是溢出的数据，再减2⁶³是因为从-2⁶³开始。
   所以正溢出的范围为[-2⁶³,-2]
   同理 负溢出的范围为[0,2⁶³]

所以a+b与c的情况可以分三类：
1.a>0 && b>0 && a+b<0,此时为正溢出，a+b>c;
2.a<0 && b<0 && a+b>0,此时为负溢出，a+b<c;
3.排除上面两种情况后，正常比较a+b与c;

AC代码：

#include<cstdio>
#include<iostream>
using namespace std;
int main()
{
    int t;
    int tcase=1;
    scanf("%d",&t);
    long long a,b,c;
    while(t--){
        scanf("%lld %lld %lld",&a,&b,&c);
        long long result=a+b;
        bool flag;
        if(a>0 && b>0 && result<0) flag=true;
        else if(a<0 && b<0 && result>=0) flag=false;
        else if(result>c) flag=true;
        else flag=false;
        if(flag==true){
            printf("Case #%d: true\n",tcase++);
        } else {
            printf("Case #%d: false\n",tcase++);
        }
    }
    return 0;
}