A1065 A+B and C (64bit)

题目描述

A,B,C数据范围为[−2^​63 , 2^63]，判断A+B是否大于C
一开始看到题目，比较难处理A+B超出long long 的情况，后来算法笔记上给出了比较好的解答，只要判断是否溢出就可以了

书上的思路：
 ① 当 A + B ≥ 263 时，显然有 A + B > C 成立，但 A + B 会因超过 long long 的正向最大值而发生正溢出。由于题目给定的 A 和 B 最大均为 263 - 1 ，故 A + B 最大为 264 - 2 ，因此使用 long long 存储正溢出后的值的区间为 [-2^63, -2]（由 ( 2^64 - 2) % (2^64) = -2 可得右边界）。所以，当 A > 0, B > 0, A + B < 0 时为正溢出，输出 true。
  ② 当 A + B < -263 时，显然有 A + B < C 成立，但 A + B 会因超过 long long 的负向最小值而发生负溢出。由于题目给定的 A 和 B 最小均为 -2^63，故 A + B 最小为 -2^64，因此使用 long long 存储负溢出后的值的区间为 [0, 2^63)（由 (-2^64) % 2^64 = 0 可得左边界）。所以，当 A < 0，B < 0，A + B ≥ 0 时为负溢出，输出 false。
  ③ 在没有溢出的情况下，当 A + B > C 时，输出 true；当 A + B ≤ C 时，输出false。

注意   
① 经测试，数据中并没有 A 或 B 取到 263 的情况，因此题目中的数据范围可能是写错了，应该是 [-2^63 , 2^63)才更符合数据，否则就要用带负数的大整数运算了（因为 long long 存储 263 时会自动变成 -263，无法区分左右边界）。   
② A + B必须存放到 long long 型变量中才可与 C 进行比较，而不可以在 if 的条件中直接相加与 C比较，否则会造成后两组数据错误。

代码：

#include <stdio.h>
int main() {
	int T, tcase = 1;
	scanf("%d", &T);
	while(T--) {
		long long a, b, c;
		scanf("%lld%lld%lld", &a, &b, &c);
		long long res = a + b; // res 存放 a + b 的结果 
		bool flag;
		if(a > 0 && b > 0 && res < 0) flag = true; // 正溢出为 true
		else if(a < 0 && b < 0 && res >= 0)  flag = false; // 负溢出为 false
		else if(res > c) flag = true; // 无溢出时， A + B > C时为 true
		else flag = false; // 无溢出时， A + B <= C时为 false
		if(flag == true) {
			printf("Case #%d: true\n", tcase++);
		} else {
			printf("Case #%d: false\n", tcase++);
		}
	}
	return 0;
}