原题:
著名的快速排序算法里有一个经典的划分过程:我们通常采用某种方法取一个元素作为主元,通过交换,把比主元小的元素放到它的左边,比主元大的元素放到它的右边。 给定划分后的 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
另外:对于非java语言,限制200ms。
好怪的题啊,题目名字叫快速排序,考的实际上却并不是快排本身,而是里面的维护点——主元。
网上并不能找到从快排算法本身下手的代码,我试了一下背的快排代码,但是在想不出怎样把只主元输出来,所以我直接从定义下手了:
元素比左边所有都大,比右边所有都小。也就是说只要用for滚两遍就能把主元滚出来。
问题其实就是,怎么滚?
其实这个思想很简单,但问题就在于常规方式乱滚的时间复杂度高达O(n^2)(据说,没实践过),时间还卡了200,所以肯定不行。目前大多数做法都是效法柳神的,也就是复制一个新数组,随后对原数组sort,然后如果排序前后,元素本身不变,且是当前的最大值就视为成立。
不过我还有一种算法,也就是类计数排序的map算法,两遍循环,如果其是当前最大,就为map[元素]++;第二遍如果是当前最小,且map[元素]==1,就再++。最后对map进行遍历,只要map[元素]==2,它就是主元。时间复杂度是O(2*(n+k))
但是之所以时间复杂度极其优越的计数排序是非主流算法,主要原因就是它的空间复杂度==时间复杂度,除此之外就是达到阈值之后常规算法会比计排更快,而且算法2的占用空间大约是算法1的两倍,不过众所周知算法题只锁时间不锁空间,所以只要可以对就是好方法。
关于测试点:
2——整了个0元素的空数组,要求是空输出一行,纯粹卡格式的玩意,这种卡一行输出空格的题因一般没有换行的意义,所以测试点2就是意义。
3、4、5卡了同数据怎么处理的问题,这个算法是免疫这种问题的,除非你往max和min上不小心放了个等于号。除此之外还有一些特大数据,因为我写代码偷懒max和min是通过题目数据范围外特大值直接初始化的,而不是特判,所以因为少了一个0的缘故发现了这一点...
代码:
//这个算法其实是不如算法一的,仅提供另一种方向的思考
#include<bits/stdc++.h>
using namespace std;
map<int, int>bucket;
vector<int>li;//可以不用vector,只是我比较喜欢玩stl容器
int main()
{
int n, x,count=0;
int max= -1000000007, min=1000000007;//这只是偷懒的初始化方法,其实建议你改改
cin >> n;
for (int i = 0; i < n; i++)
{
cin >> x;
li.emplace_back(x);
}
for (int i = 0; i < n; i++)
{
if (li[i] > max)
{
max = li[i];
bucket[li[i]]++;
}
}
for (int i = n-1; i >=0; i--)
{
if (li[i]<min)
{
min = li[i];
if (bucket[li[i]] == 1)//如果之前已经不成立了,就算条件二成立也没意义
{
bucket[li[i]]++;
count++;
}
}
}
bool first = 0;
cout<<count<<endl;
for (auto it = bucket.begin(); it != bucket.end(); it++)
{
if (it->second == 2)
{
if (first) cout << " ";
cout << it->first;
first = 1;
}
}
cout<<endl;
return 0;
}