浙大 PAT 甲级 1065 A+B and C (64bit) long long方法是错误的

 

网上很多人用long long，通过分类讨论和溢出来判断，其实是不严谨了，可以AC是因为测点给的不到位。

他们的思路是：

如果一正一负，那么直接运算，结果和C比较。

如果都为正，如果结果溢出（为负），那么一定大于C（因为C是long long范围内的数）。如果没有溢出，结果与C正常比较即可。

如果都为负，如果结果溢出（为正），那么一定小于C（因为C是long long范围内的数）。如果没有溢出，结果与C正常比较即可。

这样写只需要仅仅十余行代码，可以AC，但却是不正确的。

题目中正数是可以到2^63的，但是long long最大是2^63-1，很明显就有问题。经过测试，我的编译环境下，超过2^63-1的数通过scanf用long long来保存时，直接保存成long long的最大值。因此9223372036854775808(2^63) -1 9223372036854775806 这个用例是符合题意的，正确结果应该是true，但通过上述看似简单的方法写出来的程序输出的是false，是不严谨的。

下面的代码虽然蠢一些，但除了能够AC以外，也能够经受住更完整的测点的考验。

// 考察大数加减

#include<stdio.h>
#include<string.h>

void add(char* A, char*B, char*ans)
{
    int carry = 0;
    for (int i = 30 - 1; i >= 0; i--)
    {
        int tmp = A[i] + B[i] - '0' - '0' + carry;
        if (tmp < 10)
        {
            ans[i] = tmp + '0';
            carry = 0;
        }
        else
        {
            ans[i] = tmp - 10 + '0';
            carry = 1;
        }
    }
}

void sub(char*A, char*B, char*ans)
{
    int carry = 0;
    for (int i = 30 - 1; i >= 0; i--)
    {
        int tmp = A[i] - B[i] + carry;
        if (tmp >= 0)
        {
            ans[i] = tmp + '0';
            carry = 0;
        }
        else
        {
            ans[i] = tmp + 10 + '0';
            carry = -1;
        }
    }
}

int compare(char*A, char*B)
{
    for (int i = 0; i < 30; i++)
    {
        if (A[i] > B[i])
        {
            return 1;
        }
        if (A[i] < B[i])
        {
            return -1;
        }
    }
    return 0;
}

int main()
{
    char A[30], B[30], C[30];
    bool AF, BF, CF;

    int T;
    scanf("%d", &T);
    for (int i = 0; i < T; i++)
    {
        for (int j = 0; j < 30; j++)
        {
            A[j] = '0';
            B[j] = '0';
            C[j] = '0';
        }
        AF = BF = CF = true;
        char tmp[30];
        // A
        scanf("%s", tmp);
        for (int j = 0; j < strlen(tmp); j++)
        {
            if (tmp[j] == '-')
            {
                AF = false;
                continue;
            }
            A[30 - strlen(tmp) + j] = tmp[j];
        }
        // B
        scanf("%s", tmp);
        for (int j = 0; j < strlen(tmp); j++)
        {
            if (tmp[j] == '-')
            {
                BF = false;
                continue;
            }
            B[30 - strlen(tmp) + j] = tmp[j];
        }
        // C
        scanf("%s", tmp);
        for (int j = 0; j < strlen(tmp); j++)
        {
            if (tmp[j] == '-')
            {
                CF = false;
                continue;
            }
            C[30 - strlen(tmp) + j] = tmp[j];
        }

        printf("Case #%d: ", i + 1);

        // A+B
        if (AF == true && BF == true)
        {
            char ans[30];
            add(A, B, ans);
            if ((CF == false) || (CF == true && compare(ans, C) == 1))
            {
                printf("true\n");
            }
            else
            {
                printf("false\n");
            }
        }
        // A-B
        if (AF == true && BF == false)
        {
            char ans[30];
            if (compare(A, B) >= 0)
            {
                sub(A, B, ans);
                if ((CF == false) || (CF == true && compare(ans, C) == 1))
                {
                    printf("true\n");
                    continue;
                }
            }
            else
            {
                sub(B, A, ans);
                if (CF == false && compare(ans, C) == -1)
                {
                    printf("true\n");
                    continue;
                }
            }
            printf("false\n");
        }
        // B-A
        if (AF == false && BF == true)
        {
            char ans[30];
            if (compare(B, A) >= 0)
            {
                sub(B, A, ans);
                if ((CF == false) || (CF == true && compare(ans, C) == 1))
                {
                    printf("true\n");
                    continue;
                }
            }
            else
            {
                sub(A, B, ans);
                if (CF == false && compare(ans, C) == -1)
                {
                    printf("true\n");
                    continue;
                }
            }
            printf("false\n");
        }

        // -(A+B)
        if (AF == false && BF == false)
        {
            char ans[30];
            add(A, B, ans);
            if (CF == false && compare(ans, C) == -1)
            {
                printf("true\n");
            }
            else
            {
                printf("false\n");
            }
        }
    }
    return 0;
    
}