【题解】「NOIP2024模拟赛24 T2」子序列们
【题解】「NOIP2024模拟赛24 T2」子序列们
https://www.becoder.com.cn/contest/5715/problem/2
\(\mathcal{Description}\)
给定一个 0/1 串 \(a\)，你需要生成一个长度为 \(n\) 的序列 \(b\)，其中 \(b_i\) 为 \(a\) 的一个子序列，且满足：
- \(|b_i|=n-i+1\)；
- \(\forall i\in(1,n]\)，\(b_{i}\) 是 \(b_{i-1}\) 的子序列。
求 \(b\) 本质不同的个数。
数据范围：\(1\le n\le 400\)。
\(\mathcal{Solution}\)
题目其实就是要我们确定每个元素的删去时间，这个时间是一个排列。
（当然，我们不能直接用 \(n!\) 然后去重，因为去重的时候仍涉及某个部分的方案数，所以不如直接面对本质不同的方案数。
考虑什么时候会出现重复。
当存在两个相同值的元素相邻的时候就选其中一个和其她是完全相同的。
所以我们钦定，出现这种情况的是后必定先取前面的。
怎么刻画这件事情？
Motivation: 上面这种情况有可能在删去某一个元素后新出现，比如 101 中删去 0。
所以，我们考虑的因素应该包含：删去时间、元素值。
设 \(i\) 的删除时间为 \(t_i\)。
于是，我们钦定的要求也就等价于：对于一个 \(i\)，\(j\) 是 \(i\) 左边第一个 \(t_j>t_i\) 的元素，那么需要满足 \(a_j\ne a_i\)。
考虑 dp。
时间实际上是和 \(|b_i|\) 息息相关的，我们可以不用在状态里面考虑。
考虑区间 dp。
设：\(f_{i,j}\) 表示将 \([i,j]\) 删除到只剩一个元素时，或者说确定了这个区间内所有元素的 \(t_i\)，满足 \(t_{j+1}>t_k,k\in[i,j]\)（将 \(t_{j+1}\) 换成 \(t_{i-1}\) 是等价的。
dp 转移的时候需要满足一些条件？那就在状态里面做手脚。
此时枚举，区间中最后被删去的元素 \(k\)，那么她一定不能等于 \(a_{j+1}\)，剩下就分成了完全独立的两个子区间。
那么这样就有转移：（规定 \(a_{n+1}\ne 0/1\)
