CCF 非零段划分（满分代码 + 解题思路 + 技巧总结） 202109-2

技巧总结

• 有时候双for循环会超时时，考虑一下循环能否拆开
• 有时候题目不太好解决时，可以根据解题过程想一个现实模型，更便于理解，比如：水淹岛屿模型
• unqiue对数组中相邻相同的数进行去重，返回数组的后一空位
• 有时候循环中要使用a[i - 1] 和 a[i] 和 a[i + 1]时，可以添加一个a[0] 和 a[n + 1]解决数组越界问题

解题思路

将题目中给出的数画一个曲线图，题目的意思就是在曲线图上水平切一刀，水平线上面的部分最多能被分成几部分
可以想象成水平面淹没山峰的场景
假设上平面一开始淹没所有山，露出的山峰为0
当水平面下降，会有山峰露出，露出的山峰数量增加，也会有山谷露出，使两座已露出的山峰合并为一座山，露出的山峰数量减少
所以解题思路是可以先统计题目中给出的山峰对应水平高度对露出山峰数量的贡献（就是水平面如果降到y时，题目中的山峰对已露出的山峰数量的影响）
然后从10000开始向下模拟水平面下降，依次计算当前水平面能露出的山峰数量，记录最大值
注意：只能先计算每个高度的山谷山峰对已露出山峰数量的贡献，再枚举水平面的下降
如果枚举每一个水平面时，计算当前露出山峰数量，根据数据范围，500000 * 10000，会超时

代码实现

#include <iostream>
#include <cstring>
#include <algorithm>

using namespace std;

const int N = 500010;

int a[N], cnt[N]; //a记录每座山峰的高度，cnt记录高度为i的山峰对答案的贡献
int n;

int main()
{
    cin >> n;

    for (int i = 1; i <= n; i ++)
    {
        cin >> a[i];
    }

    n = unique(a + 1, a + 1 + n) - a - 1; //unqiue对数组中相邻相同的数进行去重，返回数组的后一空位
    a[0] = a[n + 1] = 0; //添加两个边界，防止越界

    for (int i = 1; i <= n; i ++) //遍历一遍山峰
    {
        int x = a[i - 1], y = a[i], z = a[i + 1];
        if (x < y && y > z) cnt[y] ++; //如果y是山峰，则水平面降到y时，多一座山，答案加一
        if (x > y && y < z) cnt[y] --; //如果y是山谷，则水平面降到y时，两山并为一山，答案减一
    }

    int sum = 0;
    int res = 0;
    for (int i = 10000; i >= 0; i --) //水平面从最高处开始下降
    {
        sum += cnt[i]; //sum记录水平面为i时山的数量
        res = max(res, sum); //res保留数量的最大值
    }
    cout << res;
    return 0;
}