cf1699D. Almost Triple Deletions（dp）

传送门

题意

给定一个长度为 $n$ 的数组，每次操作可以选择数组中两个相邻但不相等的元素删去，剩余的元素将拼接成新数组。问最后使得整个数组内仅存在相同元素的长度为多少。

若 $a_i=a_j$ ，则使得 $a_i$ 与 $a_j$ 能够拼接起来的条件是：$[i+1,j-1]$ 区间内的元素能够完全删除，即该区间内的元素数量一定需要为偶数，且众数的出现次数不能超过区间的一半。

令 $f[i]$ 表示以 $a_i$ 为结尾的能够获得的最大长度，如果能够满足 $a_i$ 与 $a_j$ 拼接的条件，则状态转移方程为：$f[j]=max(f[j],f[i]+1)$。对于 $f[i]$ 的初始化，若 $i$ 为奇数，且 $i$ 之前的都能够完全删除，则 $f[i]=1$ ，反之为 $0$ 。

转移后，由于 $f[i]$ 的含义是以 $i$ 为结尾，因此还要处理 $i$ 之后的元素是否能够被完全删除。

#include <bits/stdc++.h>
#define int long long
using namespace std;
const int N = 2e5 + 10, mod = 1e9 + 7;

int a[N], f[N], cnt[N];
int n, maxx = 0;

void init() {
    maxx = 0;
    for (int i = 1; i <= n; i++)
        cnt[i] = 0;
}

void solve() {
    cin >> n;
    init();
    for (int i = 1; i <= n; i++)
        f[i] = cnt[i] = 0;
    for (int i = 1; i <= n; i++) {
        cin >> a[i];
        if (i % 2 == 1 && maxx <= (i - 1) / 2)
            f[i] = 1;
        cnt[a[i]]++;
        maxx = max(maxx, cnt[a[i]]);
    }
    for (int i = 1; i <= n; i++) {
        init();
        for (int j = i - 1; j >= 1; j--) {
            if ((i - j - 1) % 2 == 0 && maxx <= (i - j - 1) / 2 && a[i] == a[j] && f[j] != 0)
                f[i] = max(f[i], f[j] + 1);
            cnt[a[j]]++;
            maxx = max(maxx, cnt[a[j]]);
        }
    }

    // for (int i = 1; i <= n; i++) {
    //     cout << f[i] << " ";
    // }
    // cout << endl;

    init();
    int ans = 0;
    for (int i = n; i >= 1; i--) {  //删结尾
        if ((n - i) % 2 == 0 && maxx <= (n - i) / 2) {
            ans = max(ans, f[i]);
        }
        cnt[a[i]]++;
        maxx = max(maxx, cnt[a[i]]);
    }
    cout << ans << endl;
}

signed main() {
    int t = 1;
    cin >> t;
    while (t--)
        solve();
    return 0;
}