[线性dp] aw3583. 整数分组(线性dp+dp基础+CF1133E)

1. 题目来源

链接：3583. 整数分组

2. 题目解析

被昨天的贪心题目干扰，以为这也是个贪心题，结果就爆炸了。

贪心思路： 排序，每段不相交，选择最长的 k 段即可。过了所有样例，但是结果还是错了。贪心过于侥幸了。

看下面笔记的反例即可：

这个 dp 从状态定义及转移都没有啥难度，但是中间的性质分析，以及这样的状态转移为何正确是重要的，困难的。 为什么针对第 i 个数选的状态转移需要尽可能大？为什么答案可以直接返回 f[n][k]。这都是需要思考、证明的！

---

时间复杂度：$O(n^2)$

空间复杂度：$O(n^2)$

---

#include <bits/stdc++.h>

using namespace std;

const int N = 5005;

int n, m;
int a[N];
int f[N][N];

int main() {
    scanf("%d%d", &n, &m);
    for (int i = 1; i <= n; i ++ ) scanf("%d", &a[i]);
    
    sort(a + 1, a + 1 + n);
    
    for (int i = 1, k = 1; i <= n; i ++ ) {
        while (a[i] - a[k] > 5) k ++ ;
        for (int j = 1; j <= m; j ++ ) {
            f[i][j] = max(f[i - 1][j], f[k - 1][j - 1] + (i - k + 1));
        }
    }
    
    printf("%d\n", f[n][m]);
    
    return 0;
}