Codeforces2000分左右DP泛刷

乱七八糟的DP题随便刷刷

CF148E - Porcelain

题意：

• 有 $n$ 层货架，每层上有 $k_i$ 个东西，每个东西存在一个价值 $v_i$。
• 现在至多可以拿 $m$ 个东西，每一次只能从货架的最左或最右端拿走，求可以拿到的最大价值
• $n,k,v_i\le 100,m\le 10000$

思路：

• 首先可以明确，第 $i$ 层拿 $j$ 个东西的最优价值都是确定的，我们只需要 $O(n^3)$ 枚举当前第 $i$ 层拿 $j$ 个东西，左边选了 $k$ 个即可。

• 接着我们可以把第 $i$ 层的 $k_i$ 个东西看一组物品，那么就变成了以选取物品个数为体积，物品价值为重量的一个分组背包问题，复杂度 $O(nmk)$
  注意分组背包先枚举第几组，再倒序循环体积，最后在枚举组内物品

CF1131D - Gourmet choice

题意：

• 有两个正整数序列 $a,b$，长度分别为 $n,m$，现在给出给出所有 $a_i$ 与 $b_j$ 的大小关系，构造出最大元素最小的方案
• 其中大小关系包含大于，小于以及等于
• $n,m\le 1000$

思路：

• 如果大小关系中没有等于，我们很容易想到直接在 $DAG$ 上做 $dp$，令 $f[u]$ 代表点 $u$ 的最终答案，则 $f[to]=max(f[to],f[u]+1)$，并且通过出队列数判断是否无解

• 那么现在的问题就是考虑：如果解除等于这一关系限制？
  考虑到没法直接连边，但是把相当的点看作一个点集，那么这个点集与此外其他点的关系就很好处理了，并且一个点集内的相互关系我们可以不用处理。于是我们可以使用缩点来处理所有值相等的点

• 我一开始是用并查集直接维护一个点集的最大值，零入度的点个数以及点集个数，然后整个点集的点都符合零入度了就一起得到最终答案并且入队列。。。。。这样显然很麻烦，可以在一开始就把他们缩成一个点，然后直接 $DAG$ 上 $dp$ 即可，非常无脑

CF629C - Famil Door and Brackets

题意：

• 给出一个长度为 $m$ 的只包含 ${}^{\prime }{(}^{\prime }$ 和 ${}^{\prime }{)}^{\prime }$ 的序列 $S$，要求构造只包含 ${}^{\prime }{(}^{\prime }$ 和 ${}^{\prime }{)}^{\prime }$ 的序列 $P,Q$，使得按照 $P,S,Q$ 顺次连接得到长度为 $n$ 的合法括号序列 $S^{\prime }$，其中 $P,Q$ 都可以为空
• $1\le m\le n\le 10^5,n-m\le 2000$

思路：

• 设平衡度为左括号与右括号的个数之差，考虑到 $n-m\le 2000$ ，我们枚举第一个序列 $P$ 的长度与平衡度，那么 $Q$ 的状态也已经知道了，我们利用乘法原理求出方案数即可

• 序列 $P$ 需要满足的要求：
  1.所有位置的平衡度都要恒大于 $0$
  2.如果序列 $S$ 所有位置的最小平衡度 $b$ 小于 $0$，那么序列 $P$ 的整体平衡度必须大于 $P$，相当于给 $S$ 作铺垫以保证最终 $S^{\prime }$ 是合法序列

• 序列 $Q$ 需要满足的要求：
  1.所有位置的平衡度都要恒大于 $P+S$ 最终的平衡度的相反数
  2.$P+S+Q$ 最终的平衡度为 $0$

• 显然对于 $P$，我们只需要按照构造合法括号序列的方法，设 $dp[i][j]$ 代表前 $i$ 个平衡度为 $j$ 的方案数，$ez:dp[i][j]=dp[i-1][j-1]+dp[i-1][j+1]$，显然 $P$ 的方案数就是 $dp[i][j]$。

• 那么对于 $Q$，如果正着看显然每次都要按照 $P+S$ 最终的平衡度做一次dp，但是如果我们把原串反转过来，把前缀的定义也反转，那么方案数就是 $dp[n-m-i][j+cnt]$ 其中 $cnt$ 为 $S$ 的平衡度。这里没有具体的什么证明解释，感性理解就好hh。

CF895C - Square Subsets

题意：

• 对于一个长度为 $n$ 的数组 $a$，求从 $a$ 中选择一个非空子集满足两两乘积为平方数的方案数
• $1\le n\le 10^5,1\le a_i\le 70$

思路：

看到 $a_i\le 70$ 质因子就 $19$ 个，第一眼状压dp。。。

具体来说，平方数的每个质因子个数都为偶数，那我们只需要判断子集的质因子的奇偶即可。

我们设二进制数 $mask$ 代表一个集合的质因子的奇偶性，那么第 $i$ 个质因子为奇数则设为 $1$，那么显然根据奇偶关系，两个集合合并 $mask$ 应该做异或操作。

设前 $f_{i,mask}$ 为前 $i$ 个数中质因子奇偶情况为 $mask$ 的方案数，则 $f_{i,mask\oplus x}=f_{i,mask\oplus x}+f_{i-1,mask}$，其中 $x$ 代表第 $i$ 个数的质因子奇偶情况。但是这么做复杂度显然 $O(10^5\times 10^6)$ 太夸张了，完全没必要一个一个数去枚举，因为值域只有 $70$，且子集方案数与顺序无关，我们直接枚举值即可。

那么新问题又来了。。对于值 $val$，有 $k$ 个这样的数加入到之前的的子集中，由于遵循异或的规律，那么加入奇偶个数的数结果都不同，也就是说大致分成以下两种情况：

• ${\sum }_{i\le k,i\equiv 1(mod2)}{C}_k^i=2^{k-1}$ （$mask$ 异或上 $val$ 的奇偶情况 $x$）
• ${\sum }_{i\le k,i\equiv 0(mod2)}{C}_k^i=2^{k-1}$ （$mask$ 不变）

综上得到转移方程
$$\{\begin{array}{r}{f}_{i,mask}=f_{i,mask}+f_{i-1,mask}\ast 2^{k-1}\\ f_{i,mask}=f_{i,mask}+f_{i-1,mask\oplus x}\ast 2^{k-1}\end{array}$$

CF1012C - Hills

题目描述：

给出一个长度为 $n$ 的序列，现在每次操作可以使某一位置的数减一（可以减为负数）。目标是求出使序列至少有 $k$ 个数满足严格大于它旁边的两个数（第 $1$ 个数只用严格大于第 $2$ 个数，第 $n$ 个数只用严格大于第 $n-1$ 个数）的最小操作数

现在求对于 $k\in [1,\lceil \frac{n}{2}\rceil ]$ 时的答案

$1\le n\le 5000$

solution:

我们需要求出任意 $k$ 下的最小操作数，那么很明显的一个方向就是设置一维记录满足要求的个数去做DP，这题的状态比较灵活，这里以其中一种为例作介绍

首先根据题意，想想为什么 $k$ 的上界是 $\lceil \frac{n}{2}\rceil$，因为严格的偏序关系在相邻两数之中至多只能有一个数字满足，那么最好情况就是隔一个满足一个。

那么明确了这一点，我们可以开始设置转移状态。

首先 $f(i,j)$ 代表前 $i$ 个数中有 $j$ 个数满足关系，然而在想转移方程的时候我们发现这样没法保证偏序关系的合法性，并且由于我们不知道前面一个数有没有操作过，我们根本没法转移

那么我们只需要多设置一维，把之前的情况用状态描述清楚即可。

这里又有很多种设置方法，我们设 $f(i,j,k)$ 代表前 $i$ 个数中有 $j$ 个数满足关系，并且用 $k$ 来描述 $a_i$ 和 $a_{i-1}$ 的状态，具体的：

• 当 $k=0$ 时代表 $a_{i-1}$ 与 $a_i$ 都不满足
• 当 $k=1$ 时代表 $a_i$ 满足，$a_{i-1}$ 不满足
• 当 $k=2$ 时代表 $a_{i-1}$ 满足，$a_i$ 不满足

转移方程：

如果当前 $k=0$，显然必须从 $a_{i-1}$ 不满足的状态转移过来

f ( i , j , 0 ) = m i n { f ( i − 1 , j , 0 ) , f ( i − 1 , j , 2 ) } f(i,j,0)=min \{ f(i-1,j,0),f(i-1,j,2) \} f(i,j,0)=min{ f(i−1,j,0),f(i−1,j,2)}

如果当前 $k=1$，那么也必须从 $a_{i-1}$ 不满足条件的的状态转移过来，并且要使 $a_{i-1}$ 的值严格小于 $a_i$，根据几种情况，$a_{i-1}$ 的值肯定为了使 $a_{i-2}$ 满足条件而减少，所以我们需要判断：

f ( i , j , 1 ) = m i n { f ( i − 1 , j − 1 , 0 ) + m a x ( 0 , a i − 1 − a i + 1 ) , f ( i − 1 , j − 1 , 2 ) + m a x ( 0 , m i n ( a i − 2 − 1 , a i − 1 ) − a i + 1 ) } f(i,j,1)=min \{ f(i-1,j-1,0)+max(0,a_{i-1}-a_i+1),f(i-1,j-1,2)+max(0,min(a_{i-2}-1,a_{i-1})-a_i+1) \} f(i,j,1)=min{ f(i−1,j−1,0)+max(0,ai−1​−ai​+1),f(i−1,j−1,2)+max(0,min(ai−2​−1,ai−1​)−ai​+1)}

如果当前 $k=2$，显然必须从 $a_i$ 满足的状态转移过来

$f(i,j,2)=f(i-1,j,1)+max(0,a_{i-1}-a_i-1)$

综上，我们可以对于最后的 $k$，只需取 m i n { f ( n , k , 0 ) , f ( n , k , 1 ) , f ( n , k , 2 ) } min \{ f(n,k,0),f(n,k,1),f(n,k,2) \} min{ f(n,k,0),f(n,k,1),f(n,k,2)} 即可。

转移时可以先把 $i=1$ 时的情况手动转移，然后就不需要特判一些边界了。并且为了节省空间这题显然可以滚动数组，甚至不需要滚，可以省略一维，然后根据 $k$ 的具体转移要求将 j j