[每日一题] 3. 排序子序列--编程题(贪心+模拟+思维）

1. 题目来源

链接：排序子序列
来源：牛客网

2. 题目说明

牛牛定义排序子序列为一个数组中一段连续的子序列,并且这段子序列是非递增或者非递减排序的。牛牛有一个长度为n的整数数组A,他现在有一个任务是把数组A分为若干段排序子序列,牛牛想知道他最少可以把这个数组分为几段排序子序列.
如样例所示,牛牛可以把数组A划分为[1,2,3]和[2,2,1]两个排序子序列,至少需要划分为2个排序子序列,所以输出2

输入描述:

输入的第一行为一个正整数n(1 ≤ n ≤ 10^5)
第二行包括n个整数A_i(1 ≤ A_i ≤ 10^9),表示数组A的每个数字。

输出描述:

输出一个整数表示牛牛可以将A最少划分为多少段排序子序列

示例1

输入
6
1 2 3 2 2 1
输出
2

3. 题目解析

本题要求求解排序子序列，主要需要理解“非递增、非递减”这个概念，不需要纠结这个概念。非递减就是：a[i]<=a[i+1]，递减就是a[i]>a[i+1]，同理非递增就是a[i]>=a[i+1]，递增就是a[i]<a[i+1]。对于这个确定的概念没什么好讲的，不理解时上网查找补充该概念即可。

该部分是之前参照题解区代码+自行理解写的，出了很严重的错误和 bug，首先 ((a[i]>a[i-1]&&a[i]>a[i+1]) || (a[i]<a[i-1]&&a[i]<a[i+1])) 这个只能判断得到严格的波峰和波谷，针对 3 2 1 1 2 3 的非严格情况一个都判断不出来。其次针对 1 2 1 2 以及 1 2 1 2 1 这两种特殊情况来讲也不能做很好的判断，故采用波峰波谷的思想来考虑本问题并不是一个好的方法！

以下引用部分是之前的错误理解，留在这警示自己！

当理解排序子序列后，可以将这些数值画到一个坐标图纸中，本质就是去找这里面的非相邻波峰和波谷的个数，一个波峰会将不在排序子序列中的元素向左包含，碰到首元素、波谷停止包含。一个波谷会将不在排序子序列中的元素向右包含，碰到波峰、尾元素停止。非相邻的波峰波谷像道路种树一样，两棵树会将道路分成3部分，即会产生3个排序子序列，结果即为非相邻波峰和波谷的个数再加1。

总结来讲： 最终进行波峰/波谷求解判断的for循环中vector向量下标从1到n-2，统计非相邻波峰/波谷((a[i]>a[i-1]&&a[i]>a[i+1]) || (a[i]<a[i-1]&&a[i]<a[i+1]))的个数ret。

值得注意的是当上述循环最后一个波峰/波谷下标为n-3(倒数第三个元素)时，需要判断下标为n-2(倒数第2个元素)的数是否为波峰/波谷，如果是ret+=1 最后输出ret+1。

常见误区：

1. 不考虑非相邻波峰波谷时会导致在特殊情况下重复计算，如序列1 2 1 2 1 2 1 2 1，其正确输出为5，但错误输出为8。
2. 不考虑"值得注意情况时"会产生结果少1的错误答案。由于计算的是非相邻波峰波谷，中间会添加一个i++的操作，即判断波峰波谷的元素总是第2 个、第4个，中间会跳出一个元素避免重复运算，由于第一个、最后一个元素没办法进行波峰波谷的计算，当倒数第三个元素为波峰波谷时，进行i++操作，加上for循环内部i++不会判断最后一个元素而直接结束循环，但后面3个元素不一定做到整体有序，无法整体构成一个排序子序列，需要判断倒数第二个元素是否为波峰波谷，即若倒数第三元素为波峰，倒数第二元素为波谷时有效，反之亦然，此时需要将三个元素进行两两分解，会多一个子序列。如果不考虑情况二的话，会在一定情况下产生排序子序列比正确答案少1的错误答案。

---

正解， 可能是正解
解题思路：

1. 依次比较整个数组
2. a[i+1]>a[i] ，则进入非递增序列判断，直到遍历到下一个值不大于等于为止， count ++，然后进行下一位置的判断。
3. a[i+1]<a[i]，则进入非递增序列判断，直到遍历到下一个值不小于等于为止， count ++，然后进行下一位置的判断。
4. a[i+1] == a[i] 不进行操作，直接 i ++ 进行下一位置遍历，因为相等既可以属于非递增序列，也可以属于非递减序列。

本题注意点： 本题开始比较 a[i+1] 与 a[i] 进行比较，为了避免越界，数组定义为 n+1 个，同时给 a[n] = 0;，至于 a[n] = 0 带来的影响，我们分为三种情况讨论：

1. 若到 a[n-1] 的最后一组是非递减序列，当 i==n-1，a[i] > a[i+1]，因为前面的数都是大于 0 的，这个输入条件已经说明了(去看看题目输入条件描述)，里面的循环结束，i ++，count ++，i == n，外面的循环结束。
2. 若到 a[n-1] 的最后一组是非递增序列，当 i == n-1，a[i] > a[i+1]，因为前面的数都是大于 0 的，这个输入条件已经说明了(去看看题目输入条件描述)，循环再走一次，i++， i== n，里面的循环结束，i++，count++，i==n+1，外面的循环结束。
3. 第三种情况 1 2 1 2 1 最后一个数是单独的情况，后面补个 0，序列变成 1 2 1 2 1 0，当走完全面的序列 i==n-1 时，a[i] > a[i+1]，进入判断出一个非递增序列，count ++，i ++ ，循环结束。
4. 也就是说数组最后一个位置多增加一个 0，不会影响第1、2情况的判断，主要是帮助第3情况的正确判断。

4. 代码展示

正解代码！

#include <iostream>
#include <vector>

using namespace std;

int main() {
    int n;
    cin >> n;
    vector<int> a;
    a.resize(n + 1);
    a[n] = 0;  

    for (int i = 0; i < n; i ++ ) cin >> a[i];

    int count = 0;
    for (int i = 0; i < n; ) {
        // 非递减子序列
        if (a[i] < a[i + 1]) {
            while (i < n && a[i] <= a[i + 1]) i ++ ;

            count ++;
            i ++;
        }
        else if (a[i] == a[i + 1]) i ++ ;
        else { // 非递增子序列
            while (i < n && a[i] >= a[i + 1]) i ++ ;
            
            count ++;
            i ++;
        }
    }
    cout << count << endl;

    return 0;
}

错误代码！

#include <iostream>
#include <vector>

using namespace std;

int main(){
    int n;
    cin >> n;
    vector<int> myv;   //vector在堆上开辟内存，避免普通数组在栈上溢出
    myv.resize(n);
    for(int i = 0; i < n; ++i)
        cin >> myv[i];
    int ret = 1;
    for(int i = 1; i < n-1; i++){
        // 找出波谷波峰
        if((myv[i-1] < myv[i] && myv[i] > myv[i + 1])
          || (myv[i-1] > myv[i] && myv[i] < myv[i+1])){
            ret++;
            // 这里处理上面的情况二
            if(i != n-3)
                i++;
        }
    }
    cout << ret << endl;
    return 0;
}