PAT乙级1045题解

题目详情：

1045 快速排序 (25 分)
著名的快速排序算法里有一个经典的划分过程：我们通常采用某种方法取一个元素作为主元，通过交换，把比主元小的元素放到它的左边，比主元大的元素放到它的右边。 给定划分后的 N 个互不相同的正整数的排列，请问有多少个元素可能是划分前选取的主元？

例如给定 $N=5$, 排列是1、3、2、4、5。则：

1 的左边没有元素，右边的元素都比它大，所以它可能是主元；
尽管 3 的左边元素都比它小，但其右边的 2 比它小，所以它不能是主元；
尽管 2 的右边元素都比它大，但其左边的 3 比它大，所以它不能是主元；
类似原因，4 和 5 都可能是主元。
因此，有 3 个元素可能是主元。

输入格式：
输入在第 1 行中给出一个正整数 N（≤10的​5次方​​）；第 2 行是空格分隔的 N 个不同的正整数，每个数不超过 10的​9次方。

输出格式：
在第 1 行中输出有可能是主元的元素个数；在第 2 行中按递增顺序输出这些元素，其间以 1 个空格分隔，行首尾不得有多余空格。

输入样例：
5
1 3 2 4 5

输出样例：
3
1 4 5

思路：

本题是一道25分的字符串压轴题，是有一定难度的，一如PAT压轴题的风格，难度主要超时上，用一般的思路只能得到一部分分。

就正常思路而言，我们只要用一个循环遍历字符串中的每一个数，再每次循环中再分别遍历这个数的前一部分和后一部分，判断是不是比这部分数都大或都小，进而判断该数是不是主元。显然这种解法时间复杂度达到了n的平方，最终只能过第一个点，其余全部超时。

再说正确的思路，我们要保证时间复杂度尽可能小（至少要小于n的平方）就要尽量避免使用嵌套循环。

就本题而言我们可以很明显的发现，若一个数为主元，那么主元一定是它前一部分数中的最大值，它后一部分数中的最小值，总结一下就是若字符串中的一个数，包括它在内的前一部分数的最大值与后一部分数的最小值相等，那这个数就是主元，若不相等则不是。那我们不妨定义两个数组max和min，分别记录前一部分数的最大值与后一部分数的最小值，最后再判断两者的值是否相等即可。

解答：

#include <iostream>
#include <vector>
using namespace std;

int main()
{
    int n; cin >> n;
    int a[n], max[n] = { -1 }, min[n] = { -1 };
    vector<int> v;
    for (int i = 0; i < n; i++) cin >> a[i];
    max[0] = a[0]; min[n - 1] = a[n - 1];
    for (int i = 1; i < n; i++) {
        if (a[i] > max[i - 1]) max[i] = a[i];
        else max[i] = max[i - 1];
    }
    for (int i = n - 2; i >= 0; i--) {
        if (a[i] < min[i + 1]) min[i] = a[i];
        else min[i] = min[i + 1];
    }
    for (int i = 0; i < n; i++) {
        if (max[i] == min[i]) v.push_back(a[i]);
    }
    cout << v.size() << endl;
    if(v.size() == 0) cout << endl;
    for (int i = 0; i < v.size(); i++) {
        cout << v[i];
        if (i != v.size() - 1) cout << ' ';
    }
    return 0;
}