PAT(basic level) 1045 快速排序(25)

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

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

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

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

  输入格式：

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

  输出格式：

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

  输入样例：

  5
  1 3 2 4 5
  

  输出样例：

  3
  1 4 5
  

//提交只得23（待解决）
//本题可看为 寻找递增序列
#include <iostream>
#include <algorithm>
using namespace std;

int main()
{
	int n;
	cin >> n;
	long long a[n];
	for(int i = 0; i < n; i ++)
		cin >> a[i];
		
	int mark[100010] = {0};   //假设所有数都是主元，标记为0 
	long long l = a[0];   //标记为左边元素 
	for(int i = 1; i < n; i ++){
		if(a[i] > a[i-1] && a[i] > l) l = a[i];   //遍历数组，若当前元素大于相邻左边元素，且大于L，则将当前元素更新为L
		else mark[i] = mark[i-1] = 1;   //否则，说明不符合，则当前元素与相邻左边元素不为主元，标记为1 
	}
	long long fin[100010];
	int k = 0;
	for(int i = 0; i < n; i ++){   //将所有主元存入数组fin 
		if(mark[i] == 0) fin[k++] = a[i];   
	}
	sort(fin, fin+k);   //排序 
	cout << k << endl;
	if(k == 0) {cout << endl; return 0;}  //若个数为零，则结束（*需在输出换行，否则格式错误） 
	cout << fin[0];    //否则按顺序输出 
	for(int i = 1; i < k; i ++)
		cout << " " << fin[i];
	cout << endl;
	return 0;	
}