PAT乙级 1045 快速排序(贪心，带解析，带测试点2的小坑)

题目：

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

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

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

因此，有 3 个元素可能是主元。

输入格式：

输入在第 1 行中给出一个正整数 N（≤105）； 第 2 行是空格分隔的 N 个不同的正整数，每个数不超过 109。

输出格式：

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

输入样例：

5
1 3 2 4 5

输出样例：

3
1 4 5

---

 解析:

数据的数量级是10的5次方，时间显示800毫秒，表明至少需要O(nlogn)的时间复杂度才能不超时，这也注定暴力的方法不可取。

主元左边没有比他大的，右边没有比他小的，而排序过后的数组刚好满足这个条件,只需把数组复制出一份，给他排序，看看对应下标的数字是否相同，如果相同，就是主元：

一开始是这么想的，只需要一个nlogn的排序即可，但是会出现如下图的情况：

按照这种方法1和4是主元，但实际上4不是。所以我们还要加一个限制条件：相同下标的两个数组对应的数字相等并且之前那些数字中没有比这个数字大的才是主元。这样只需要随时更新max值就能实现。

---

代码：

#include<iostream>
#include<algorithm>
using namespace std;
const int N = 1e5+5;
int a[N];
int t[N];
int main()
{
	int n;
	cin>>n;
	for(int i=0;i<n;i++)
	{
		cin>>a[i];
		t[i] = a[i];
	}
	sort(a,a+n);
	int num = 0;
	int ans[N];
	int maxa = 0;//表示i之前的那些数的最大值
	for(int i=0;i<n;i++)
	{
		if(t[i]>maxa)//i之前的最大值不能大于t【i】才能算是主元
			maxa = t[i];
		if(a[i]==t[i]&&a[i]>=maxa)
			ans[num++] = a[i];
	}
	cout<<num<<'\n';
    if(num==0)
        cout<<'\n';
	for(int i=0;i<num;i++)
	{
		cout<<ans[i];
		if(i!=num-1)
			cout<<" ";
	}
}

---

测试点2的坑：

因为题目要求输出两行，测试点2中给出的主元有0个，这样第二行就不会输出，需要单独再输出一个空行，如下：