1005 继续(3n+1)猜想-PAT乙级真题-极简代码-C++

卡拉兹(Callatz)猜想已经在1001中给出了描述。在这个题目里，情况稍微有些复杂。

当我们验证卡拉兹猜想的时候，为了避免重复计算，可以记录下递推过程中遇到的每一个数。例如对 n=3 进行验证的时候，我们需要计算 3、5、8、4、2、1，则当我们对 n=5、8、4、2 进行验证的时候，就可以直接判定卡拉兹猜想的真伪，而不需要重复计算，因为这 4 个数已经在验证3的时候遇到过了，我们称 5、8、4、2 是被 3“覆盖”的数。我们称一个数列中的某个数 n 为“关键数”，如果 n 不能被数列中的其他数字所覆盖。

现在给定一系列待验证的数字，我们只需要验证其中的几个关键数，就可以不必再重复验证余下的数字。你的任务就是找出这些关键数字，并按从大到小的顺序输出它们。

输入格式：

每个测试输入包含 1 个测试用例，第 1 行给出一个正整数 K (<100)，第 2 行给出 K 个互不相同的待验证的正整数 n (1<n≤100)的值，数字间用空格隔开。

输出格式：

每个测试用例的输出占一行，按从大到小的顺序输出关键数字。数字间用 1 个空格隔开，但一行中最后一个数字后没有空格。

输入样例：

6
3 5 6 7 8 11

输出样例：

7 6

思考

这一题是连着1002题的的，具体的(3n+1)猜想不再赘述。根据之前对(3n+1)猜想的理解，我们可以到发现，(3n+1)猜想的序列，有点像是有公共部分的链表，例如如下两个序列，在节点5处开始有公共点。

7 11 17 26 13 20 10 5 8 4 2 1
6 3 5 8 4 2 1

那么我们开始思考，题目给出的序列，哪些是可以覆盖所有数字的，覆盖的数字和被覆盖的数字有什么特征？

可以发现，例如从6开始，在验证(3n+1)猜想的过程中，如果验证3，则3及以后的数字会被遍历一遍，如果验证6，6及以后的数字又会被验证一次，这其中就包括3后面的数字。6是“最左边的数字”，仅仅第一次会被验证。所以我们发现了覆盖序列的数字的一个特征，就是只会被遍历一次。那么题目就很简单了。

用b[100]来接受待验证数字，只需要依次验证每个数字是不是符合(3n+1)猜想，并且在过程中用一个a[101]数组记录被验证的数字，让数字和角标一一对应，每次遇到这个数字，则其记录+1，最后在遍历一次，只要其记录数字为1，则这个数字是关键数字。

注意事项

有一些细节需要注意，序列验证过程中，可能会出现超过100的数字，例如验证99的序列如下，跳过即可，只记录小于等于100的数字。

99 149 224 112 56 28 14 7 11 17 26 13 20 10 5 8 4 2 1

在遍历记录次数的数组a[101]之前，需要对题目给出的待验证的正整数序列b[100]进行排序，这样才能满足题目从大到小输出的要求，默认排序是从小到大，从N-1开始到0遍历即可，可以少写一个自定义排序函数。

最后输出的时候，不能有多余的空格，用一个flag控制空格。

 代码

#include<iostream>
#include<algorithm>
using namespace std;
int main() {
    int a[101] = { 0 }, b[100] = { 0 };
    int N, flag = 0;
    cin >> N;
    for (int i = 0; i < N; i++) {
        cin >> b[i];
        int n = b[i];
        while (n != 1) {
            if (n <= 100)
                a[n]++;
            if (n % 2 == 0)
                n = n / 2;
            else
                n = (3 * n + 1) / 2;
        }
    }
    sort(b, b + N);
    for (int i = N-1; i >=0; i--) {   
        if (a[b[i]] == 1)
        {
            if (flag != 0)
                cout << " ";
            cout << b[i];
            flag = 1;
        }
    }
    return 0;
}

附

在此给出一个等效序列图，方便各位验证代码，所谓等效如下，例如验证99时的序列，将其大于100的数字全部剔除掉6此图不唯一。

99 149 224 112 56 28 14 7 11 17 26 13 20 10 5 8 4 2 1

99 56 28 14 7 11 17 26 13 20 10 5 8 4 2 1