著名的快速排序算法里有一个经典的划分过程:我们通常采用某种方法取一个元素作为主元,通过交换,把比主元小的元素放到它的左边,比主元大的元素放到它的右边。 给定划分后的 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
解题思路:笔者首先的思路是:使用结构体数组保存序列及其初始位置,将序列进行快排,如果数组中的数字排序后的位置和排序前的位置相同,则为完全数。自信满满地提交发现WA了。。(尴尬),后来适用了 5 4 3 2 1的测试用例发现了问题所在(3不符合题意),因此笔者修改了结构体,添加了max成员变量用于保存前i项的最大值(理由:在第一个条件成立的基础上加上这个数为前i项的最大值即可推出其为完全数),而且max的赋值在结构体数组初始化的时候就能办到,不需要再次遍历。
另外还有一个小问题时当没有完全数也要输出一个换行,虽然不知道为啥,但还好不是什么思维上的问题。。
AC代码:
#include <stdio.h>
#include <stdlib.h>
typedef struct num
{
int prei;
int number;
int max;
}Num;
int cmp(const void *a, const void *b)
{
if((*(Num*)a).number>(*(Num*)b).number)
return 1;
else
return -1;
}
int cmp1(const void *a, const void *b)
{
return *(int*)a - *(int*)b;
}
int main(void)
{
Num *num;
int *p;
int n;
int *max;
int i, j = 0;
scanf("%d",&n);
num = (Num*)calloc(n,sizeof(Num));
p = (int*)calloc(n,sizeof(int));
for(i=0;i<n;i++)
{
num[i].prei = i;
scanf("%d",&num[i].number);
num[i].max = (i==0)?num[i].number:(num[i].number>num[i-1].max)?num[i].number:num[i-1].max;
}
qsort(num,n,sizeof(Num),cmp);
for(i=0;i<n;i++)
if(num[i].prei==i&&num[i].number==num[i].max)
p[j++] = num[i].number;
printf("%d\n",j);
for(i=0;i<j;i++)
{
if(i>0)
printf(" ");
printf("%d",p[i]);
}
printf("\n");
}