我把荆棘当作铺满鲜花的原野,人间便没有什么能将我折磨。
他们说,击败我即是终结,而我必将归来将之改写。
Difficulty : 2700 \color{green}\text{Difficulty : 2700} Difficulty : 2700
首先有一个
O ( n 3 ) \mathcal{O}(n^3) O ( n 3 ) 的区间 DP,类似二叉树的状态转移。
考虑通过对小数据打表找规律。
主要是去观察序列上哪些点最终符号为
+ + + ,哪些点符号为
− - − 。
惊讶的发现
n u m + + n ≡ 2 ( m o d 3 ) num_{+}+n\equiv 2\pmod 3 n u m + + n ≡ 2 ( mod 3 ) ,且符号序列中必然有相邻的两个符号相同。
直接暴力 DP,
d p i , ( 0 / 1 / 2 ) , ( 0 / 1 ) , ( 0 / 1 ) dp_{i,(0/1/2),(0/1),(0/1)} d p i , ( 0/1/2 ) , ( 0/1 ) , ( 0/1 ) 表示前
i i i 个数,
+ + + 号模
3 3 3 的个数,当前位置的符号是
− / + -/+ − / + ,是否已存在相邻两个符号相同的情况。
暴力转移,复杂度
O ( n ) \mathcal{O}(n) O ( n ) 。
Difficulty : 2500 \color{green}\text{Difficulty : 2500} Difficulty : 2500
首先考虑最优排列
p p p ,即满足
f ( p ) = f max ( n ) f(p)=f_{\max }(n) f ( p ) = f m a x ( n ) 的那些排列,有什么性质。
定义
n n n 在二进制的最高位为
k k k 。则
p 1 p_1 p 1 只有可能等于
2 k 2^k 2 k 或者
2 k − 1 × 3 2^{k-1}\times3 2 k − 1 × 3 且
2 k − 1 × 3 ≤ n 2^{k-1}\times 3\le n 2 k − 1 × 3 ≤ n 。(显然不可能是
2 k − 1 × 5 2^{k-1}\times 5 2 k − 1 × 5 因为
2 k + 1 < 2 k − 1 × 5 2^{k+1}<2^{k-1}\times 5 2 k + 1 < 2 k − 1 × 5 )
考虑将
p 1 = 2 k , p 1 = 2 k − 1 × 3 p_1=2^k,p_1=2^{k-1}\times 3 p 1 = 2 k , p 1 = 2 k − 1 × 3 分开计数。下面以
p 1 = 2 k p_1=2^k p 1 = 2 k 为例:
定义 d p i , j dp_{i,j} d p i , j 表示前 i i i 个数的最大公因数为 2 j 2^j 2 j 的方案数。下面考虑转移。
如果 i − 1 i-1 i − 1 位的最大公因数就已经是 2 j 2^j 2 j ,那么转移就是 d p i , j = d p i − 1 , j × ( ⌊ n 2 j ⌋ − i + 1 ) dp_{i,j}=dp_{i-1,j}\times (\lfloor\frac{n}{2^j}\rfloor-i+1) d p i , j = d p i − 1 , j × (⌊ 2 j n ⌋ − i + 1 ) 。比较好理解,因为这一位只需要是 2 j 2^j 2 j 的倍数且与前面不重即可。
如果 i − 1 i-1 i − 1 位的最大公因数是 2 j + 1 2^{j+1} 2 j + 1 ,到了这一位才衰减为 2 j 2^j 2 j ,这一位显然是 2 j 2^j 2 j 的倍数,却不是 2 j + 1 2^{j+1} 2 j + 1 的倍数,转移即 d p i , j = d p i − 1 , j + 1 × ( ⌊ n 2 j ⌋ − ⌊ n 2 j + 1 ⌋ ) dp_{i,j}=dp_{i-1,j+1}\times (\lfloor\frac{n}{2^j}\rfloor-\lfloor\frac{n}{2^{j+1}}\rfloor) d p i , j = d p i − 1 , j + 1 × (⌊ 2 j n ⌋ − ⌊ 2 j + 1 n ⌋)
初始值即
d p 1 , k = 1 dp_{1,k}=1 d p 1 , k = 1 ,答案就是
d p n , 0 dp_{n,0} d p n , 0 ,暴力转移即可,时空复杂度均为
O ( n log n ) \mathcal{O}(n\log n) O ( n log n ) 。
对于
p 1 = 2 k − 1 × 3 p_1=2^{k-1}\times 3 p 1 = 2 k − 1 × 3 的情况,多记一维
0 / 1 0/1 0/1 表示
3 3 3 的幂次,同上进行转移,不过需要多讨论一个从
2 j × 3 → 2 j 2^j\times 3\to 2^j 2 j × 3 → 2 j 这种衰减情况,应该是比较容易的。
Difficulty : 2600 \color{green}\text{Difficulty : 2600} Difficulty : 2600
我是一个拼命优化,交了
60 + 60+ 60 + 发准备
O ( n 3 ) \mathcal{O}(n^3) O ( n 3 ) 美梦过
2000 2000 2000 的巨型 SB,大家不要学习我。
当然,这个暴力
O ( n 3 ) \mathcal{O}(n^3) O ( n 3 ) 的区间 DP 应该是比较容易的,这里就不细讲了,讲一讲
O ( n 2 ) \mathcal{O}(n^2) O ( n 2 ) 怎么去做。
一段数字显然可以看成一个数字,缩下来之后,考虑一下左右括号的组成。
首先,右括号必然出现在数字后面,显然你符号后面是不可能出现右括号的。并且数字后面的右括号可以是任意个,只要和前面的左括号能匹配上。
其次,左括号也必然不会出现在数字后面,你总不可能数字和符号/数字之间凭空出现一个左括号。故左括号必然出现在符号后面,且每个符号后面应该必须出现刚好一个左括号,不多不少。
我们按照上面两种限制去填左右括号,且只需要满足最终填出来的括号刚好匹配,然后再算方案书貌似就是答案。
但是我们忽略了一种情况,就是
∗ , / *,/ ∗ , / 前面不能出现非数字,即
∗ , / *,/ ∗ , / 前面不能出现左括号,而在上述的两个情况中我们并没有考虑到,所以需要特判掉原数组中
∗ , / *,/ ∗ , / 之前出现了非数字的情况,直接输出
0 0 0 。
特判掉之后,根据上面的两条限制,我们直接 DP,定义
d p i , j dp_{i,j} d p i , j 表示前
i i i 位,填的若干个括号,匹配掉能匹配的括号之后,不存在失配的右括号,且左括号还剩下
j j j 个。转移比较简单:
a i = + , − , ∗ , / a_i=+,-,*,/ a i = + , − , ∗ , / ,d p i , j = d p i − 1 , j − 1 dp_{i,j}=dp_{i-1,j-1} d p i , j = d p i − 1 , j − 1 。
a i a_i a i 为数字,d p i , j = ∑ k = j i d p i − 1 , k dp_{i,j}=\sum_{k=j}^{i} dp_{i-1,k} d p i , j = ∑ k = j i d p i − 1 , k 。
初始值
d p 0 , 0 = 1 dp_{0,0}=1 d p 0 , 0 = 1 ,答案就是
d p n , 0 dp_{n,0} d p n , 0 。
Difficulty : 2500 \color{green}\text{Difficulty : 2500} Difficulty : 2500
以前应该是做过的,但是我为啥没有提交记录,那就再来自己做一遍。
又要看题解了,真的要哭了啊,为什么会想到去转化它呢。。。
一个很重要的转化是将
最小变化数 转化为
n n n 减去
最大不变数 。这也同样启示我们一定要学会向题目的反方向考虑。
定义
d p i dp_i d p i 表示
i → n i\to n i → n 中间这一段变为整齐的可以达到的最大不变数是多少,考虑转移(为什么要反过来定义,因为你是移到最后一位,当然更重要的是里面的转移促使你必须这么定义):
如果我们选择改变第 i i i 位的位置,有: d p i = d p i + 1 dp_i=dp_{i+1} d p i = d p i + 1 。
如果我们选择不改变第 i i i 位的位置,那么显然我们也不会改变所有和 i i i 颜色相同的点的位置,有 d p i = ∑ j = i n [ a j = a i ] dp_i=\sum_{j=i}^n[a_j=a_i] d p i = ∑ j = i n [ a j = a i ]
不改变第 i i i 位的情况,其实在这种情况下,我们忽略了另外一种转移。你虽然不改变所有和 i i i 不同的颜色,但他并不意味着其他颜色必须要改,但是第二种转移并没要考虑到。假设所有和 i i i 颜色相同的位置,最左边的位置是 l l l ,最右边的位置是 r r r 。发现对于 [ l , r ] [l,r] [ l , r ] 内的除开和 i i i 相同的所有位置,在和 i i i 颜色相同的位置都不改变的情况下,这些位置都是要改变的。但是对于 [ 1 , l − 1 ] , [ r + 1 , n ] [1,l-1],[r+1,n] [ 1 , l − 1 ] , [ r + 1 , n ] 这里面的位置,其实他们改不改对我们来说并没有所谓。故在 i = l i=l i = l 的情况下,有 d p i = d p r + 1 + c n t dp_i=dp_{r+1}+cnt d p i = d p r + 1 + c n t ,其中 c n t cnt c n t 表示和 i i i 相同的颜色的所有出现次数。
将三种转移取 max \max max 即可。
答案即 d p 1 dp_1 d p 1 。
边转移边打桶,时间复杂度应该是
O ( n ) \mathcal{O}(n) O ( n ) 。
Difficulty : 2400 \color{green}\text{Difficulty : 2400} Difficulty : 2400
首先有一个比较重要的东西,就是说,我们只关心
a i = 1 a_i=1 a i = 1 和
a i = 2 a_i=2 a i = 2 的点的个数,至于是什么顺序对答案是没有影响的,因为你可以选择任意两个交换。
说实话,最开始真没想到这个东东。
考虑
∀ i ∈ [ 1 , n ] , a i = 1 \forall i\in[1,n],a_i=1 ∀ i ∈ [ 1 , n ] , a i = 1 怎么做。
定义
d p i dp_i d p i 表示有
i i i 个
1 1 1 的方案数是多少,显然有
d p i = d p i − 1 + d p i − 2 × ( i − 1 ) dp_i=dp_{i-1}+dp_{i-2}\times (i-1) d p i = d p i − 1 + d p i − 2 × ( i − 1 ) ,分别表示
i i i 与自己交换和
i i i 找到剩下
i − 1 i-1 i − 1 中的一个交换的方案数。
然后考虑
∃ a i = 2 \exist a_i=2 ∃ a i = 2 的时候怎么做。
假设最终的排列第
i i i 个是原数组的
p i p_i p i 。考虑将
i → p i i\to p_i i → p i 连一条有向边,那么原图就会构成若干个环,且每个环上
a i = 1 a_i=1 a i = 1 的点最多只有两个。
假设
a i = 1 a_i=1 a i = 1 的点有
cnt1 \text{cnt1} cnt1 个,
a i = 2 a_i=2 a i = 2 的点有
cnt2 \text{cnt2} cnt2 个,考虑先求出
d p cnt1 dp_{\text{cnt1}} d p cnt1 ,然后在这些
a i = 1 a_i=1 a i = 1 的中间插入
a i = 2 a_i=2 a i = 2 的点。
先考虑插入一个
a i = 2 a_i=2 a i = 2 怎么插入,发现直接在
d p dp d p 中的若干个环上的任意一条边上断开,然后插入是一种方案,自己连向自己也是一种方案,此时方案数就是
d p cnt1 × ( c n t 1 + 1 ) dp_{\text{cnt1}}\times (cnt1+1) d p cnt1 × ( c n t 1 + 1 ) 。
那么对于
cnt2 \text{cnt2} cnt2 个
a i = 2 a_i=2 a i = 2 ,方案数就是
d p cnt1 × cnt1 × ( cnt1 + 1 ) × . . . . × ( cnt1 + cnt2 = n ) dp_\text{cnt1}\times\text{cnt1}\times(\text{cnt1}+1)\times....\times (\text{cnt1}+\text{cnt2}=n) d p cnt1 × cnt1 × ( cnt1 + 1 ) × .... × ( cnt1 + cnt2 = n )
总时空复杂度
O ( n ) \mathcal{O}(n) O ( n ) ,然后就做完了。
Difficulty : 2600 \color{green}\text{Difficulty : 2600} Difficulty : 2600
这个东西有点像分层图,每次将一个集合的
a a a 定义为当前的
max + 1 \max+1 max + 1 且保证合法。
具体来说,定义
i n y = ∑ ( x , y , w ) w , o u t x = ∑ ( x , y , w ) w in_y=\sum_{(x,y,w)}w,out_x=\sum_{(x,y,w)}w i n y = ∑ ( x , y , w ) w , o u t x = ∑ ( x , y , w ) w 。
那么答案就是
∑ i = 1 n a i × ( o u t i − i n i ) \sum_{i=1}^n a_i\times (out_i-in_i) ∑ i = 1 n a i × ( o u t i − i n i ) 。
考虑定义
d p i , j dp_{i,j} d p i , j 表示现在已经钦定出了
i i i 子集内所有节点的
a i a_i a i ,最大值为
j j j ,所可以得到的当前最大答案是多少。
考虑枚举
i i i 的子集
k k k ,只有满足
∀ ( x , y , w ) ∈ E , y ∈ k \forall(x,y,w)\in E,y\in k ∀ ( x , y , w ) ∈ E , y ∈ k ,有
x ∉ i x\notin i x ∈ / i ,才有转移
d p i , j = min { d p i − k , j − 1 + j × ( ∑ l ∈ i o u t l − i n l ) ) } dp_{i,j}=\min\{dp_{i-k,j-1}+j\times (\sum_{l\in i}out_l-in_l))\} d p i , j = min { d p i − k , j − 1 + j × ( ∑ l ∈ i o u t l − i n l ))}
应该是比较好理解的,输出方案直接打个
pre \text{pre} pre 记录前驱最优状态即可。
此时稍微预处理一些东西,时空复杂度
O ( n × 3 n ) \mathcal{O}(n\times 3^n) O ( n × 3 n ) ,依然不太可过。
可以考虑去把
j j j 这一维省掉,每次转移的时候写成
∑ i = 1 n ( o u t i − i n i ) − ∑ l ∈ i ( o u t l − i n l ) \sum_{i=1}^n(out_i-in_i)-\sum_{l\in i}(out_l-in_l) ∑ i = 1 n ( o u t i − i n i ) − ∑ l ∈ i ( o u t l − i n l ) ,应该就可以直接省掉这一维。
此时时间复杂度
O ( 3 n ) \mathcal{O}(3^n) O ( 3 n ) ,可以接受,因为枚举子集并不会枚举满,实际跑了
1999ms \text{1999ms} 1999ms 非常极限。
但是疑似是我写的太劣了,貌似同样的解法就我这么极限。
Difficulty : 3000 \color{green}\text{Difficulty : 3000} Difficulty : 3000
首先这个
q q q 非常的大,所以我们需要考虑离线下来。
最开始感觉就是排序之后将
x 1 x_1 x 1 从下到上指针移上去,这样只需要 DP 转移记录一行的到达性,使用
bitset \text{bitset} bitset 优化,空间复杂度
O ( n 3 8 ) \mathcal{O}(\frac{n^3}{8}) O ( 8 n 3 ) ,时间复杂度
O ( n 4 32 ) \mathcal{O}(\frac{n^4}{32}) O ( 32 n 4 ) ,看上去已经开的下了,但是时间复杂度仍然非常难受。
考虑离线利器
CDQ \text{CDQ} CDQ 分治。
考虑按照
x x x 坐标进行分治,假设当前分治区间为
[ l , r ] [l,r] [ l , r ] ,且有
mid = ⌊ l + r 2 ⌋ \text{mid}=\lfloor\frac{l+r}{2}\rfloor mid = ⌊ 2 l + r ⌋ 。
对于
x 1 ≤ mid , x 2 ≥ mid x_1\le \text{mid},x_2\ge \text{mid} x 1 ≤ mid , x 2 ≥ mid 的点对,他们为了到达
( x 2 , y 2 ) (x_2,y_2) ( x 2 , y 2 ) 必然会经过
mid \text{mid} mid 这一行。
考虑定义
d p i , j , k dp_{i,j,k} d p i , j , k 表示
( i , j ) (i,j) ( i , j ) 能否到达
( mid , k ) (\text{mid},k) ( mid , k ) ,定义
f i , j , k f_{i,j,k} f i , j , k 表示
( mid , k ) (\text{mid},k) ( mid , k ) 能否到达
( i , j ) (i,j) ( i , j ) 。
每层分治暴力转移,并且采用
bitset \text{bitset} bitset 优化时间复杂度应该是
O ( n × m 2 × log n 32 ) \mathcal{O}(\frac{n\times m^2\times\log n}{32}) O ( 32 n × m 2 × l o g n ) 。
对于满足
x 1 ≤ mid , x 2 ≥ mid x_1\le \text{mid},x_2\ge \text{mid} x 1 ≤ mid , x 2 ≥ mid 的点对
( x 1 , y 1 , x 2 , y 2 ) (x_1,y_1,x_2,y_2) ( x 1 , y 1 , x 2 , y 2 ) ,能到达的条件就是
∃ k ∈ [ 1 , m ] , d p x 1 , y 2 , k = true , f x 2 , y 2 , k = true \exist k\in [1,m],dp_{x_1,y_2,k}=\text{true},f_{x_2,y_2,k}=\text{true} ∃ k ∈ [ 1 , m ] , d p x 1 , y 2 , k = true , f x 2 , y 2 , k = true 。
对于剩下的点对,如果
x 2 < mid x_2<\text{mid} x 2 < mid 那就进入
[ l , mid ] [l,\text{mid}] [ l , mid ] 这个递归区间,否则进入
[ mid + 1 , r ] [\text{mid}+1,r] [ mid + 1 , r ] 这个递归区间。
然后就结束啦,时间复杂度瓶颈在于 DP 转移的
O ( n × m 2 × log n 32 ) \mathcal{O}(\frac{n\times m^2\times\log n}{32}) O ( 32 n × m 2 × l o g n ) ,求答案的时间复杂度是
O ( n × ( m + q ) 32 ) \mathcal{O}(\frac{n\times (m+q)}{32}) O ( 32 n × ( m + q ) ) ,空间复杂度
O ( n × m 2 8 ) \mathcal{O}(\frac{n\times m^2}{8}) O ( 8 n × m 2 ) ,都是可以接受的。
感觉难点不在 DP 上,而是你对于离线的处理。
Difficulty : 2300 \color{green}\text{Difficulty : 2300} Difficulty : 2300
起初是没什么思路的,但是我们回忆一下序列 DP 的常见类型,发现这个题影响序列从左向右进行 DP 的罪魁祸首是向左走这种情况。
但是向左走总感觉是在远离目标点,那能不能有些限制呢?
手玩一些小数据发现,每种路径总存在一种方案,只会最多连续向左走
1 1 1 步。(最开始不敢乱想,直接猜的是最多
3 3 3 步,但是其实都能做,无伤大雅。)
定义
d p i , 1 / 2 / 3 dp_{i,1/2/3} d p i , 1/2/3 表示走到
( 1 / 2 / 3 , i ) (1/2/3,i) ( 1/2/3 , i ) 的路径最大权值和是多少。考虑转移:
如果 i i i 并不会想左走到 i − 1 i-1 i − 1 ,那么就是从 d p i − 1 , 1 / 2 / 3 dp_{i-1,1/2/3} d p i − 1 , 1/2/3 直接走过来找最大值即可。
如果 i i i 会向左走到 i − 1 i-1 i − 1 ,那么就是 d p i − 2 , 1 / 2 / 3 dp_{i-2,1/2/3} d p i − 2 , 1/2/3 走过来找最大值即可。
注意一下里面两种转移的走法和细节即可。
Difficulty : 2400 \color{green}\text{Difficulty : 2400} Difficulty : 2400
感觉题目中的组合意义奇怪转移跟今天的考试非常像,正好我提前一天看了这道题,赢!
首先有两种考虑方法:
考虑自底向上,需要记录一直连败的叶子节点编号,以及当前的赢家和轮次,时空复杂度至少在 O ( 2 n × n 2 ) \mathcal{O}(2^n\times n^2) O ( 2 n × n 2 ) ,不太能接受。
考虑自顶向下,只需要记录当前的赢家,且钦定他在从上到下的过程中一直失败即可,时空复杂度至少是 O ( 2 n × n ) \mathcal{O}(2^n\times n) O ( 2 n × n ) 。
观察到只有“自顶向下”对我们来说才是有前途的。为了方便叙述,我们将题目中的编号小赢直接钦定为编号大赢,然后输出反过来就行了。
故我们定义
d p i , j dp_{i,j} d p i , j 表示从上至下第
i i i 层,当前的赢家是
j j j 且其输掉了前面的
i − 1 i-1 i − 1 场比赛的方案数,考虑怎么转移:
考虑顺推,即 d p i , j → d p i + 1 , k , k < j dp_{i,j}\to dp_{i+1,k},k< j d p i , j → d p i + 1 , k , k < j ,想一下系数是多少。发现实际上在 i + 1 i+1 i + 1 层 j j j 子树无论是什么方案都能赢,可以随便排列,实际上就是 d p i + 1 , k = ∑ j = k + 1 2 n d p i , j × C j − 2 n − i − 1 − 1 2 n − i − 1 − 1 × ( 2 n − i − 1 ) ! × 2 dp_{i+1,k}=\sum_{j=k+1}^{2^n}dp_{i,j}\times C_{j-2^{n-i-1}-1}^{2^{n-i-1}-1}\times (2^{n-i-1})!\times 2 d p i + 1 , k = ∑ j = k + 1 2 n d p i , j × C j − 2 n − i − 1 − 1 2 n − i − 1 − 1 × ( 2 n − i − 1 )! × 2 ,其中 C j − 2 n − i − 1 − 1 2 n − i − 1 − 1 × ( 2 n − i − 1 ) ! × 2 C_{j-2^{n-i-1}-1}^{2^{n-i-1}-1}\times (2^{n-i-1})!\times 2 C j − 2 n − i − 1 − 1 2 n − i − 1 − 1 × ( 2 n − i − 1 )! × 2 表示找出所有的 2 n − i − 1 − 1 2^{n-i-1}-1 2 n − i − 1 − 1 个放在 j j j 子树下的编号,将其任意排列,并且由于 j , k j,k j , k 可以交换,还要 × 2 \times 2 × 2 。
发现转移系数与 k k k 无关,直接前缀和优化即可。
总时间复杂度
O ( 2 n × n ) \mathcal{O}(2^n\times n) O ( 2 n × n ) 。
对于组合数系数的相关疑惑和相关代码可以参考这篇
题解。
Difficulty : 2800 \color{green}\text{Difficulty : 2800} Difficulty : 2800
草了,找半天给我找来一道限制为最多
k k k 个的题。
首先如果没有这个限制,显然可以直接暴力 DP,从
[ i − 1 , i − k − 1 ] [i-1,i-k-1] [ i − 1 , i − k − 1 ] 中间转移过来。
要去掉这个限制显然是一眼
wqs \text{wqs} wqs 二分。
假设
f x f_x f x 表示最多
x x x 个的最优答案。发现
( x , f x ) (x,f_x) ( x , f x ) 是一个下凸壳,直接套
wqs \text{wqs} wqs 二分硬做,二分里面暴力
O ( n ) \mathcal{O}(n) O ( n ) DP 就可以了。
时间复杂度
O ( n log n ) \mathcal{O}(n\log n) O ( n log n ) 。
我不会
wqs \text{wqs} wqs 二分的写法,我只是概念神,所以咕咕咕了。
Difficulty : 2400 \color{green}\text{Difficulty : 2400} Difficulty : 2400
神 TM
Div 3 \text{Div 3} Div 3 的 G 题评分
2400 2400 2400 。
完啦,被
Div 3 G \text{Div 3 G} Div 3 G 创死了。不是,LIS 这么经典的状态我为什么没想到啊。
首先有一个比较显然的
O ( n 2 ) \mathcal{O}(n^2) O ( n 2 ) 的可行性 DP,即
d p i , j , 0 / 1 dp_{i,j,0/1} d p i , j , 0/1 表示将前
i i i 个数分成 LIS 和 LDS 的 (0:LIS,1:LDS) 最后一位是
i i i ,(0:LDS,1:LIS) 的最后一位是
j j j 。转移应该是一个比较简单的
O ( 1 ) \mathcal{O}(1) O ( 1 ) 转移,这里就不细写了。
发现这个可行性 DP 状态非常的冗余,考虑模仿最长上升子序列单
log \log log 的做法,将状态定义为最后一位的最值。
具体来说,定义
d p i , 0 / 1 dp_{i,0/1} d p i , 0/1 表示将前
i i i 个数分成 LIS 和 LDS,
i i i 作为 (0:LIS,1:LDS) 的最后一位,(0:LDS 最后一位的最大值是多少,1:LIS 最后一位的最小值是多少。) 这样就非常好的使用了我们最长上升子序列的惯用套路,并且可以知道可行性。
考虑如何转移:
先看怎么转移 d p i , 0 dp_{i,0} d p i , 0 。
如果 a i > a i − 1 a_i>a_{i-1} a i > a i − 1 ,显然有 d p i , 0 = d p i − 1 , 0 dp_{i,0}=dp_{i-1,0} d p i , 0 = d p i − 1 , 0 。
如果 a i > d p i − 1 , 1 a_i>dp_{i-1,1} a i > d p i − 1 , 1 ,显然有 d p i , 0 = a i − 1 dp_{i,0}=a_{i-1} d p i , 0 = a i − 1 。
将两者取 max \max max 即可。
d p i , 1 dp_{i,1} d p i , 1 同理。然后可能需要再维护一个决策点数组来记录方案(但是这里貌似可以直接暴力向前跳没必要打数组。)
Difficulty : 2500 \color{green}\text{Difficulty : 2500} Difficulty : 2500
日常计数题最开始一点思路都没有。题解区怎么全都说是些经典套路啊啊啊啊啊。
又是经典的看完题解恍然大悟。
感觉正着做直接去 DP 的话是非常容易算重的,故考虑去看哪些数组
b b b 是合法的。
考虑将原数组
a a a 中所有为
1 1 1 的位置拿出来,假设为
a i a_i a i ,将
b b b 数组
1 1 1 的位置拿出来,假设为
b i b_i b i ,考虑去看哪些
b i b_i b i 合法。
注:后面所说的
a , b a,b a , b 都是这些为
1 1 1 的位置所构成的数组,
a i , b i a_i,b_i a i , b i 就是第
i i i 个为
1 1 1 的位置,且保证两者是排好序的。
c = ∣ a ∣ = ∣ b ∣ c=|a|=|b| c = ∣ a ∣ = ∣ b ∣ ,即这样的位置个数应该相同。
∑ i = 1 c ∣ a i − b i ∣ ≤ k ∧ 2 ∣ ( ( ∑ i = 1 c ∣ a i − b i ∣ ) − k ) \sum_{i=1}^c |a_i-b_i|\le k \land 2|((\sum_{i=1}^c|a_i-b_i|)-k) ∑ i = 1 c ∣ a i − b i ∣ ≤ k ∧ 2∣ (( ∑ i = 1 c ∣ a i − b i ∣ ) − k ) 。
后面有个
2 ∣ ∑ 2|\sum 2∣ ∑ 是因为你可以不停的交换两个
1 1 1 偶数次,但是数组本质上是不会变的。
故有一个很智慧的 DP,即定义
d p i , j , k dp_{i,j,k} d p i , j , k 表示考虑完了前
i i i 个位置,
b b b 数组中有
j j j 个
1 1 1 ,
k = ∑ l = 1 j ∣ b l − a l ∣ k=\sum_{l=1}^j|b_l-a_l| k = ∑ l = 1 j ∣ b l − a l ∣ 的方案数。
转移是非常简单的,直接
d p i , j , k → d p i + 1 , j + 1 , k + ∣ i + 1 − a l + 1 ∣ dp_{i,j,k}\to dp_{i+1,j+1,k+|i+1-a_{l+1}|} d p i , j , k → d p i + 1 , j + 1 , k + ∣ i + 1 − a l + 1 ∣ ,时间复杂度
O ( n 3 ) \mathcal{O}(n^3) O ( n 3 ) ,看了看,仍然失之毫厘。
有一个很套路的东西是,去计算每个位置
i i% i 要被
a l → b l a_l\to b_l a l → b l 这样的移动经过多少次,换句话说,定义
f b , i f_{b,i} f b , i 表示
b b b 方案中,所有在
i i i 之前的
1 1 1 的位置,比原方案中在
i i i 之前的
1 1 1 的位置多多少个。(这里可以是负数。)故最终操作次数就是
∑ i = 1 n ∣ f b , i ∣ \sum_{i=1}^n |f_{b,i}| ∑ i = 1 n ∣ f b , i ∣ 。
观察到
∣ f b , i − f b , i + 1 ∣ ≤ 1 |f_{b,i}-f_{b,i+1}|\le 1 ∣ f b , i − f b , i + 1 ∣ ≤ 1 ,故其
max ∣ f b , i ∣ \max|f_{b,i}| max ∣ f b , i ∣ 在最大的情况下,每次最多
+ 1 +1 + 1 ,增长途中其至少会构成一个等差数列,既然如此,
max ∣ f b , i ∣ ≤ k \max|f_{b,i}|\le \sqrt{k} max ∣ f b , i ∣ ≤ k ,因为等差数列的求和公式。
考虑换 DP 状态,定义
d p i , j , k dp_{i,j,k} d p i , j , k 表示表示考虑完了前
i i i 个位置,
f b , i = j , ∑ l = 1 i ∣ f b , i ∣ = k f_{b,i}=j,\sum_{l=1}^i |f_{b,i}|=k f b , i = j , ∑ l = 1 i ∣ f b , i ∣ = k ,每次转移同上,复杂度
O ( 1 ) \mathcal{O}(1) O ( 1 ) ,但是 DP 总状态只有
n 2 × k \mathcal{n^2\times \sqrt{k}} n 2 × k ,故总复杂度
O ( n 2 × k ) \mathcal{O}(n^2\times \sqrt{k}) O ( n 2 × k ) ,观察到是可以通过的。
Difficulty : 2800 \color{green}\text{Difficulty : 2800} Difficulty : 2800
故意找了一道和上一题比较类似的。但是依然不会。
为啥我感觉一点也不类似捏。。
”我们发现将两个相邻的且相同的数取反就是直接将原数组的所有奇数的位置取反,然后每次操作看成交换相邻两个不同的数,最后看是否和目标数组的奇数位取反相等。“然后就转化成了上一个题的操作。
不是哥们,你是神仙吗,怎么看出来的啊。。什么阴间转化啊。。
然后转化成上一道 CF1845E 的操作之后,我们仍然是类似的进行 DP,但是我们发现并不需要去记录
k k k 这一维,只需要在转移的时候将相应增加的操作次数记录下来即可,可以把每个 DP 当作一个
pair \text{pair} pair ,一个储存当前操作总数,一个储存方案数,这样直接仿照上一题进行转移即可。
这里由于并没有操作次数上限,所以
max ∣ f b , i ∣ \max|f_{b,i}| max ∣ f b , i ∣ 并不是
n \sqrt{n} n 级别的,而是
n n n 级别的,故总时间复杂度
O ( n 2 ) \mathcal{O}(n^2) O ( n 2 ) ,具体细节见代码。
Difficulty : 2900 \color{green}\text{Difficulty : 2900} Difficulty : 2900
感觉是比较弱智的题目,但是我最开始对于折半的答案合并并没有想的太清楚,所以还得练。
首先是比较显然的容斥,答案应该就是
g ∅ − g { 0 } − g { 1 } − g { 2 } + g { 0 , 1 } + g { 0 , 2 } + g { 1 , 2 } − g { 0 , 1 , 2 } g_{\varnothing}-g_{\{0\}}-g_{\{1\}}-g_{\{2\}}+g_{\{0,1\}}+g_{\{0,2\}}+g_{\{1,2\}}-g_{\{0,1,2\}} g ∅ − g { 0 } − g { 1 } − g { 2 } + g { 0 , 1 } + g { 0 , 2 } + g { 1 , 2 } − g { 0 , 1 , 2 } 。(
g S g_S g S 表示
S S S 集合内部的边权都不出现的方案数。)
然后为了方便计算,先把
m = 0 m=0 m = 0 直接给特判掉,然后一个一个看怎么求解。
g ∅ = 2 n g_{\varnothing}=2^n g ∅ = 2 n ,随意染色,显然。
g { 0 } g_{\{0\}} g { 0 } ,考虑求出图上的所有独立集,这些独立集内部的点可以都染上 0 0 0 ,其他点必须染上 1 1 1 。经典的独立集计数,观察到数据规模是 n ≤ 40 n\le 40 n ≤ 40 ,考虑折半搜索,合并两边的答案即可。合并的话应该就是一个简单的高维后缀和(因为有些点的限制,在左半选了,右半就必须不选,而且你可能需要求个补集什么的),这里不细讲了。时间复杂度 O ( 2 n 2 × n ) \mathcal{O}(2^{\frac{n}{2}}\times n) O ( 2 2 n × n ) 。
g { 1 } g_{\{1\}} g { 1 } ,对于一个连通块,任意一条边两端的点权应该一样,答案就是 2 siz 2^{\text{siz}} 2 siz 。(siz \text{siz} siz 表示连通块个数)
g { 2 } = g { 0 } g_{\{2\}}=g_{\{0\}} g { 2 } = g { 0 } ,显然,不过是所有的 1 1 1 必须构成一个独立集。
g { 0 , 1 } g_{\{0,1\}} g { 0 , 1 } ,如果一个连通块大小 ≥ 2 \ge 2 ≥ 2 ,那么显然里面的点的点权都必须为 1 1 1 ,如果一个连通块是一个单独的点,那么显然既可以是 0 0 0 也可以是 1 1 1 。答案就是 2 siz2 2^{\text{siz2}} 2 siz2 。(siz2 \text{siz2} siz2 表示连通块大小为 1 1 1 个数)
g { 0 , 2 } g_{\{0,2\}} g { 0 , 2 } ,显然,对于每个连通块,如果都是一个二分图,我们才有办法使得其没有 0 , 2 0,2 0 , 2 的边权,类似一个黑白染色,在满足都是二分图的情况下,答案就是 2 siz 2^{\text{siz}} 2 siz 。
g { 1 , 2 } = g { 0 , 1 } g_{\{1,2\}}=g_{\{0,1\}} g { 1 , 2 } = g { 0 , 1 } ,依然是比较显然的,就是反过来了而已。
g { 0 , 1 , 2 } = 0 g_{\{0,1,2\}}=0 g { 0 , 1 , 2 } = 0 ,显然。
华丽结束,总复杂度应该是
O ( 2 n 2 × n ) \mathcal{O}(2^{\frac{n}{2}}\times n) O ( 2 2 n × n ) ,
又是完成了 6 道题目的一天。
Difficulty : 2300 \color{green}\text{Difficulty : 2300} Difficulty : 2300
VP 遇到的一道题,感觉挺有价值的,而且也让我认识到了一种全新的数据结构优化 DP。
首先你肯定是想到统计对于一个权值有多少种方案会出现在最终集合里面,然后加起来就可以了。
然后有一个
O ( n 2 ) \mathcal{O}(n^2) O ( n 2 ) 的算法是,你考虑枚举权值
x ∈ [ 1 , 3 × 10 5 ] x\in [1,3\times 10^5] x ∈ [ 1 , 3 × 1 0 5 ] ,然后定义
d p i , 0 / 1 dp_{i,0/1} d p i , 0/1 表示进行完前面
i i i 次操作,他是否在集合里面的方案数,最终答案就是对于每个权值所求得的
d p n , 1 dp_{n,1} d p n , 1 之和。
稍微写一下这个柿子:
l i ≤ x ≤ r i d p i , 0 = d p i − 1 , 0 + d p i − 1 , 1 d p i , 1 = d p i − 1 , 0 × 2 + d p i − 1 , 1 × 2 Other Wise d p i , 0 = d p i − 1 , 0 × 3 + d p i − 1 , 1 d p i , 1 = d p i − 1 , 1 × 2 \begin{aligned}
&l_i\le x \le r_i\\
&dp_{i,0}=dp_{i-1,0}+dp_{i-1,1}\\
&dp_{i,1}=dp_{i-1,0}\times 2+dp_{i-1,1}\times 2\\
&\text{Other Wise}\\
&dp_{i,0}=dp_{i-1,0}\times 3+dp_{i-1,1}\\
&dp_{i,1}=dp_{i-1,1}\times 2\\
\end{aligned} l i ≤ x ≤ r i d p i , 0 = d p i − 1 , 0 + d p i − 1 , 1 d p i , 1 = d p i − 1 , 0 × 2 + d p i − 1 , 1 × 2 Other Wise d p i , 0 = d p i − 1 , 0 × 3 + d p i − 1 , 1 d p i , 1 = d p i − 1 , 1 × 2
观察到上述转移非常像矩阵的形式:
l i ≤ x ≤ r i ( d p i , 0 d p i , 1 ) = ( d p i − 1 , 0 d p i − 1 , 1 ) × ( 1 2 1 2 ) Otherwise ( d p i , 0 d p i , 1 ) = ( d p i − 1 , 0 d p i − 1 , 1 ) × ( 3 0 1 2 ) \begin{aligned}
&l_i\le x\le r_i\\
&\begin{pmatrix}
dp_{i,0}& dp_{i,1}\\
\end{pmatrix}=
\begin{pmatrix}
dp_{i-1,0}& dp_{i-1,1}\\
\end{pmatrix}\times
\begin{pmatrix}
1&2\\
1&2\\
\end{pmatrix}
\\
&\text{Otherwise}\\
&\begin{pmatrix}
dp_{i,0}& dp_{i,1}\\
\end{pmatrix}=
\begin{pmatrix}
dp_{i-1,0}& dp_{i-1,1}\\
\end{pmatrix}\times
\begin{pmatrix}
3&0\\
1&2\\
\end{pmatrix}
\end{aligned} l i ≤ x ≤ r i ( d p i , 0 d p i , 1 ) = ( d p i − 1 , 0 d p i − 1 , 1 ) × ( 1 1 2 2 ) Otherwise ( d p i , 0 d p i , 1 ) = ( d p i − 1 , 0 d p i − 1 , 1 ) × ( 3 1 0 2 )
你考虑对于每个
i i i 从
1 → n 1\to n 1 → n 枚举,对于所有的
x x x 同时执行以上过程,即开一颗线段树,每个叶子节点储存一下
d p x , i , 0 , d p x , i , 1 dp_{x,i,0},dp_{x,i,1} d p x , i , 0 , d p x , i , 1 他们两个构成的矩阵,然后每次修改就是区间
[ 1 , l i − 1 ] , [ l i , r i ] , [ r i + 1 , 3 × 10 5 ] [1,l_i-1],[l_i,r_i],[r_i+1,3\times 10^5] [ 1 , l i − 1 ] , [ l i , r i ] , [ r i + 1 , 3 × 1 0 5 ] 分别乘上对应的转移矩阵即可。
时间复杂度
O ( V log n ) \mathcal{O}(V\log n) O ( V log n ) ,但是因为有矩阵的常数,可能很容易被卡常。
经过自己的实现,确实需要主意矩阵乘法的时候尽量用
*= \text{*=} *= 不要直接用
* \text{*} * 因为后者会有很多的结构体赋值以及额外的空间开销导致常数爆炸。
这个旨在告诉你,对于一个二维甚至高维的 DP,你每次转移如果可以写成矩阵形式,并且是一整段一整段的乘上这个转移矩阵,那么你就可以直接把 DP 放进线段树上,然后区间乘矩阵。
Difficulty : 2500 \color{green}\text{Difficulty : 2500} Difficulty : 2500
题意是比较清楚的。
而你要从起点到达终点的一个充分必要条件是:
故你考虑对于起点和终点的颜色连一个自环,然后将相邻两个点分别对应的颜色连一条边。
故这个题就转化成了一个一般图最小带权点覆盖的问题。
而我们知道最小带权点覆盖
= = = 点权和
− - − 最大带权独立集。(
注意这个东西在一般图上也是存在的 )
故我们只需要知道这个图的最大带权独立集是什么。
首先有一个很
naive \texttt{naive} naive 的状压是定义
d p S dp_S d p S 表示只选择
S S S 内部的点可以构成的最大独立集是多少。
另外,我们定义点
x x x 的邻域的点构成的集合是
N ( x ) N(x) N ( x ) 。
转移的话本质上我们只需要考虑这个集合中的任意一个点就行了,为了方便我们后面的优化,考虑
highbit ( S ) \text{highbit}(S) highbit ( S ) ,假设是
u u u 。
显然有:
d p S = max ( d p S − u , d p S − N ( u ) − u + w u ( u ∉ N ( u ) ) ) dp_S=\max(dp_{S-u},dp_{S-N(u)-u}+w_u(u\not \in N(u))) d p S = max ( d p S − u , d p S − N ( u ) − u + w u ( u ∈ N ( u ))) 。(显然如果是自环的话你不能把这个点当作最大独立集上的点)
时间复杂度
O ( 2 n ) \mathcal{O}(2^n) O ( 2 n ) 。
但是这里
n ≤ 40 n\le 40 n ≤ 40 显然不可过啊。
于是我们考虑一个奇技淫巧,也是这个算法的关键所在。
首先先把这个
dp \text{dp} dp 搬到记忆化搜索上面。由于我们使用的是
highbit ( S ) \text{highbit}(S) highbit ( S ) ,故这个
S S S 在搜素过程中逐渐减小。故我们考虑只对
s < 2 n 2 s < 2^{\frac{n}{2}} s < 2 2 n 这部分进行记忆化,而剩下的部分直接爆搜。
时间复杂度我们简单的证明一下。
对于搜索的前
n 2 \frac{n}{2} 2 n 层,每向下递归一次,最多只会变成两个,故前半是
O ( 2 n 2 ) \mathcal{O}(2^{\frac{n}{2}}) O ( 2 2 n ) 。
对于后面的
n 2 \frac{n}{2} 2 n 层,显然都会被记忆化到,无论你前面有多少种状态,加起来仍然只有
2 n 2 2^{\frac{n}{2}} 2 2 n 级别。(就是在记忆化和非记忆化分层的哪些点只有
2 n 2 2^{\frac{n}{2}} 2 2 n 而他们分别向外扩展也只会扩展成
2 n 2 2^{\frac{n}{2}} 2 2 n 级别,有点像
Meet in the middle \text{Meet in the middle} Meet in the middle 那种感觉)
故总时间复杂度
O ( 2 n 2 ) \mathcal{O}(2^{\frac{n}{2}}) O ( 2 2 n ) 。
Difficulty : 2400 \color{green}\text{Difficulty : 2400} Difficulty : 2400
如此唐氏的 DP 我居然想了这么久我是不是废了。
我们先思考一下什么情况下会崩溃。
观察到对于一个脏格子
( i , j ) (i,j) ( i , j ) 如果
( 3 − i , j − 1 ) (3-i,j-1) ( 3 − i , j − 1 ) 是脏的,那么如果扫地机移动到了
( i , j − 1 ) (i,j-1) ( i , j − 1 ) ,它就会崩溃。
这指向我们去维护一下下一行上下两个格子的状态,即他们是否被清理。
故我们定义
d p i , 0 / 1 , 0 / 1 , 0 / 1 dp_{i,0/1,0/1,0/1} d p i , 0/1 , 0/1 , 0/1 表示当前停留在
( j , i ) (j,i) ( j , i ) 上,且
( 3 − j , i ) (3-j,i) ( 3 − j , i ) 如果是脏的,已被清理,第
i + 1 i+1 i + 1 列上下两个格子是否被清理的状态。
你考虑直接枚举
i − 1 i-1 i − 1 的
0 / 1 0/1 0/1 状态判断合法直接转移即可,细节见代码。
个人认为有一篇比较好的
解释。
Difficulty : 2400 \color{green}\text{Difficulty : 2400} Difficulty : 2400
有一个比较显然的
O ( h × t 1 × t 2 ) \mathcal{O}(h\times t_1\times t_2) O ( h × t 1 × t 2 ) 做法,即你定义一个状态表示当前敌方飞船的血量,飞船
1 / 2 1/2 1/2 分别的充能时间。
额这个状态及其的冗余啊。而且看了样例我才知道这个充能是可以两个飞船同时充能的。
定义
d p i dp_i d p i 表示进行完上次攻击之后,敌方飞船剩下的血量为
i i i 所需要的最少时间。
先看只需要蓄力一个的暴力转移,即:
d p i − ( p 1 − s ) = min ( d p i + t 1 ) d p i − ( p 2 − s ) = min ( d p i + t 2 ) \begin{aligned}
dp_{i-(p_1-s)}=\min(dp_i+t_1)\\
dp_{i-(p_2-s)}=\min(dp_i+t_2)\\
\end{aligned} d p i − ( p 1 − s ) = min ( d p i + t 1 ) d p i − ( p 2 − s ) = min ( d p i + t 2 )
考虑怎么对于同时蓄力的进行转移。观察到你可以把两个同时打出,看作打出一个的同时另外一个正好蓄好了力,正好可以打出去。
故你考虑枚举
p i p_i p i 打出去了
j j j 次,且第
j j j 次
p 3 − i p_{3-i} p 3 − i 会同时打出,然后算出
p 3 − i p_{3-i} p 3 − i 在这段时间内会有单独打出去多少次,毕竟不能干等着对吧。
首先显然要满足
t i × j ≥ t 3 − i t_i \times j \ge t_{3-i} t i × j ≥ t 3 − i 不然不会同时打出一次。
然后你看在这期间
p 3 − i p_{3-i} p 3 − i 会被打出去多少次。稍微算一下应该比较容易,懒得打
LaTeX \LaTeX L A T E X 了。
时间复杂度
O ( h 2 ) \mathcal{O}(h^2) O ( h 2 ) 。
MD,读错题了,浪费了我一个小时。
Difficulty : 2700 \color{green}\text{Difficulty : 2700} Difficulty : 2700
考试题,感觉自己的做法挺不错,搬过来。
题解非常清晰明了,这里懒得讲了,讲一下自己的巨恶心做法。
为了将这个做法优化到
O ( n 3 ) \mathcal{O}(n^3) O ( n 3 ) 我也是煞费苦心了。
说实话这个做法真的挺难有语言描述的。
首先你考虑维护一个
num i , l , r \text{num}_{i,l,r} num i , l , r ,表示对于第
i i i 行,找到最小的
j ≥ i j\ge i j ≥ i ,存在一个数
k 1 , k 2 ∈ [ l , r ] k_1,k_2\in[l,r] k 1 , k 2 ∈ [ l , r ] ,满足
a i , k 1 = a j , k 2 a_{i,k_1}=a_{j,k_2} a i , k 1 = a j , k 2 。
接着维护一个
nxt i , j \text{nxt}_{i,j} nxt i , j ,表示找到一个最大的
k k k 使得
a i , [ j , k ] a_{i,[j,k]} a i , [ j , k ] 中的数互不相同。
有了
nxt i , j \text{nxt}_{i,j} nxt i , j ,我们考虑再维护一个
b i , j , k b_{i,j,k} b i , j , k ,表示找到最大的
l ≥ i l\ge i l ≥ i ,使得对于
∀ x ∈ [ i , l ] , nxt x , j ≥ k \forall x\in[i,l],\text{nxt}_{x,j}\ge k ∀ x ∈ [ i , l ] , nxt x , j ≥ k ,如果没有满足的,就是
0 0 0 。
有了这三个数组之后,答案应该是非常好维护的。
我们考虑枚举这个长方形的的最上面一行,假设是第
i i i 行的
[ l , r ] [l,r] [ l , r ] 这个区间。
答案应该是
min ( min j = i num i , l , r num j , l , r − i + 1 , b i , l , r − l + 1 ) × ( r − l + 1 ) \min(\min_{j=i}^{\text{num}_{i,l,r}}\text{num}_{j,l,r}-i+1,b_{i,l,r-l+1})\times (r-l+1) min ( min j = i num i , l , r num j , l , r − i + 1 , b i , l , r − l + 1 ) × ( r − l + 1 ) 。
感觉还是比较好理解的。至于里面的那一坨
min \min min ,它有一些性质,你可以考虑打一个后缀最小值,具体细节可以看代码。
里面唯一的难点在于
num \text{num} num 的求法。
观察到
num i , l , r = min ( num i , l + 1 , r , num i , l , r − 1 ) \text{num}_{i,l,r}=\min(\text{num}_{i,l+1,r},\text{num}_{i,l,r-1}) num i , l , r = min ( num i , l + 1 , r , num i , l , r − 1 ) ,除了这两个产生的贡献,剩下的就只有第
l l l 和第
r r r 列对
a i , l , a i , r a_{i,l},a_{i,r} a i , l , a i , r 产生的贡献了。
Difficulty : 3000 \color{green}\text{Difficulty : 3000} Difficulty : 3000
好题,以前写过题解,直接搬进来。
f i , j , k , g i , j , k → ( i permutation , j premax or sufmax, k ( a [ l ] > a [ l − 1 ] ) ) Initialize : f 1 , 1 , 0 = g 1 , 1 , 0 = 1 Transfer for f,g f i , j , k = f i − 1 , j − 1 , k − 1 + f i − 1 , j , k × ( k + 1 ) + f i − 1 , j , k − 1 × ( i − k − 1 ) g i , j , k = g i − 1 , j − 1 , k + g i − 1 , j , k × k + g i − 1 , j , k − 1 × ( i − k ) Now you know f, g, a, b and c n = ∀ interger ∈ [ 1 , N ] , ans n = C N − 1 n − 1 × ∑ i = 1 , n ∑ j = 0 for premax, i − 1 ∑ k = 0 for sufmax, n − i ∑ l = 0 for f k , i − 2 ∑ m = 0 for g k n − i − 1 f i − 1 , j , l × g n − i , k , m × a j + 1 × b k + 1 × c l + m + [ i ≠ 1 ] Try to find ans of O ( N 3 ) Define F i , k = ∑ j = 0 n f i , j , k × a j + 1 , G i , k = ∑ j = 0 n g i , j , k × b j + 1 ans n = C N − 1 n − 1 × ∑ i = 1 , n ∑ l = 0 for f k , i − 2 ∑ m = 0 for g k n − i − 1 F i − 1 , l × G n − i , m × c l + m + [ i ≠ 1 ] Define H i , m = ∑ l = 0 i − 1 F i , l × c m + l + [ i ≠ 0 ] ans n = C N − 1 n − 1 × ∑ i = 1 n ∑ m = 0 for g k n − i − 1 G n − i , m × H i − 1 , m \begin{aligned}
&f_{i, j, k}, g_{i, j, k} \to (i \text{ permutation}, j \text{ premax or sufmax},k (a[l] > a[l - 1])) \\
&\text{Initialize : } f_{1,1,0}=g_{1,1,0}=1\\
&\text{Transfer for f,g}\\
&f_{i,j,k} = f_{i-1,j-1,k-1}+f_{i-1,j,k}\times(k+1)+f_{i-1,j,k-1}\times (i-k-1)\\
&g_{i,j,k} = g_{i-1,j-1,k}+g_{i-1,j,k}\times k+g_{i-1,j,k-1}\times (i-k)\\
&\text{Now you know f, g, a, b and c}\\
&n= \forall \texttt{interger} \in [1,N],\text{ans}_n=C_{N-1}^{n-1}\times \sum^n_{i = 1,} \sum^{i-1}_{j=0 \text{ for premax,}} \sum^{n-i}_{k=0\text{ for sufmax,}} \sum^{i-2}_{l=0 \text{ for }f_k,} \sum^{n-i-1}_{m=0 \text{ for } g_k}f_{i-1,j,l} \times g_{n-i,k,m} \times a_{j+1} \times b_{k+1} \times {c_{l+m+[i\not=1]}}\\
&\text{Try to find ans of } \mathcal{O}(N^3)\\
&\text{Define }F_{i,k}=\sum ^{n}_{j=0} f_{i,j,k}\times a_{j+1},G_{i,k}=\sum ^{n}_{j=0} g_{i,j,k}\times b_{j+1}\\
&\text{ans}_n=C_{N-1}^{n-1}\times\sum^n_{i=1,}\sum^{i-2}_{l=0 \text{ for }f_k,} \sum^{n-i-1}_{m=0 \text{ for } g_k} F_{i-1,l} \times G_{n-i,m}\times {c_{l+m+[i\not=1]}}\\
&\text{Define } H_{i,m}=\sum^{i-1}_{l=0} F_{i,l}\times c_{m+l+[i\not=0]}\\
&\text{ans}_n=C_{N-1}^{n-1}\times\sum^{n}_{i=1} \sum^{n-i-1}_{m=0 \text{ for } g_k} G_{n-i,m}\times H_{i-1,m}
\end{aligned} f i , j , k , g i , j , k → ( i permutation , j premax or sufmax , k ( a [ l ] > a [ l − 1 ])) Initialize : f 1 , 1 , 0 = g 1 , 1 , 0 = 1 Transfer for f,g f i , j , k = f i − 1 , j − 1 , k − 1 + f i − 1 , j , k × ( k + 1 ) + f i − 1 , j , k − 1 × ( i − k − 1 ) g i , j , k = g i − 1 , j − 1 , k + g i − 1 , j , k × k + g i − 1 , j , k − 1 × ( i − k ) Now you know f, g, a, b and c n = ∀ interger ∈ [ 1 , N ] , ans n = C N − 1 n − 1 × i = 1 , ∑ n j = 0 for premax, ∑ i − 1 k = 0 for sufmax, ∑ n − i l = 0 for f k , ∑ i − 2 m = 0 for g k ∑ n − i − 1 f i − 1 , j , l × g n − i , k , m × a j + 1 × b k + 1 × c l + m + [ i = 1 ] Try to find ans of O ( N 3 ) Define F i , k = j = 0 ∑ n f i , j , k × a j + 1 , G i , k = j = 0 ∑ n g i , j , k × b j + 1 ans n = C N − 1 n − 1 × i = 1 , ∑ n l = 0 for f k , ∑ i − 2 m = 0 for g k ∑ n − i − 1 F i − 1 , l × G n − i , m × c l + m + [ i = 1 ] Define H i , m = l = 0 ∑ i − 1 F i , l × c m + l + [ i = 0 ] ans n = C N − 1 n − 1 × i = 1 ∑ n m = 0 for g k ∑ n − i − 1 G n − i , m × H i − 1 , m
Difficulty : 2500 \color{green}\text{Difficulty : 2500} Difficulty : 2500
显然,定义
d p i , j dp_{i,j} d p i , j 表示当前的这棵树包含了
i i i 集合里面的点,其叶子集合为
j j j 的方案数。
考虑顺推,直接枚举一个不在
i i i 里面的点,找到一条边,使得这个点在这条边上且另一个点在
i i i 集合里面,然后叶子节点增加这个点,如果另一个点在
j j j 集合里,那就把另一个点从叶子节点里面剔除。
但是这样显然是会算重的,就是说你一课树可能会被计算多次。
手玩一下,发现对于每一个
d p i , j dp_{i,j} d p i , j ,转移完之后,会将其对应的树重复计算其叶子个数次,换句话说,每次转移玩直接除以一个
∣ j ∣ |j| ∣ j ∣ 即可完成去重。
然后就过了。。时间复杂度应该是
4 n × ( n + m ) \mathcal{4^n\times(n+m)} 4 n × ( n + m ) 。
Difficulty : 2600 \color{green}\text{Difficulty : 2600} Difficulty : 2600
好久没有自己做出来一道题了,老泪纵横啊。
定义
d p i , j dp_{i,j} d p i , j 表示两个无重复的
Melody \text{Melody} Melody 序列,一个以
a i a_i a i 结尾,另一个的末尾是
j j j 。
先考虑怎么暴力转移:
如果要将 i i i 自己加入第一个序列,考虑枚举 k ∈ [ 1 , i − 1 ] ∧ ( ∣ a k − a i ∣ = 1 ∨ a k ≡ a i ( m o d 7 ) ) k\in[1,i-1] \land (|a_k-a_i|=1\lor a_k\equiv a_i\pmod 7) k ∈ [ 1 , i − 1 ] ∧ ( ∣ a k − a i ∣ = 1 ∨ a k ≡ a i ( mod 7 )) ,有 d p i , j = max { d p k , j + 1 } dp_{i,j}=\max\{dp_{k,j}+1\} d p i , j = max { d p k , j + 1 } 。
如果要将 k k k 自己加入第二个序列,考虑枚举 k ∈ [ 1 , i − 1 ] ∧ l ∈ [ 1 , V ] ∧ ( ∣ l − a i ∣ = 1 ∨ l ≡ a i ( m o d 7 ) ) k\in[1,i-1]\land l\in[1,V] \land (|l-a_i|=1\lor l\equiv a_i\pmod 7) k ∈ [ 1 , i − 1 ] ∧ l ∈ [ 1 , V ] ∧ ( ∣ l − a i ∣ = 1 ∨ l ≡ a i ( mod 7 )) ,有 d p i , a k = max { d p k , l + 1 } dp_{i,a_k}=\max\{dp_{k,l}+1\} d p i , a k = max { d p k , l + 1 } 。
此时时间复杂度应该是
O ( n 2 × V ) \mathcal{O}(n^2\times V) O ( n 2 × V ) ,可以离散化做到
O ( n 3 ) \mathcal{O}(n^3) O ( n 3 ) 。
优化是非常简单的,考虑维护四个前缀
max \max max 数组,将括号中的通过”或者“连接起来的四个条件分别维护对应的最优情况。以第一个转移为例,具体来说,发现转移中可以预处理出满足条件的所有
max { d p k , j } \max\{dp_{k,j}\} max { d p k , j } ,从而我们只需要枚举一维
j j j 。第二种转移同理。
此时总时空复杂度均为
O ( n 2 ) \mathcal{O}(n^2) O ( n 2 ) ,因为数组开太多了甚至要开
short \text{short} short 才能过,还有一堆初始值的细节一定要注意。
Difficulty : 2500 \color{green}\text{Difficulty : 2500} Difficulty : 2500
可以把这个选择
k k k 个数定义为任意整数看作选这些数的时候不需要满足立方限制,先考虑暴力 DP。
定义
d p i , j dp_{i,j} d p i , j 表示前
i i i 个数,操作
j j j 次之后,连续字段的最小数量是多少。
考虑转移:
枚举 k ∈ [ 0 , i − 1 ] k\in [0,i-1] k ∈ [ 0 , i − 1 ] ,转移就是 d p i , j = min { d p k , j − cost ( k + 1 , i ) + 1 } dp_{i,j}=\min\{dp_{k,j-\text{cost}(k+1,i)}+1\} d p i , j = min { d p k , j − cost ( k + 1 , i ) + 1 } ,其中 cost ( l , r ) \text{cost}(l,r) cost ( l , r ) 表示将 [ l , r ] [l,r] [ l , r ] 看作一个字段最少需要操作多少次。
难点显然在于 cost ( l , r ) \text{cost}(l,r) cost ( l , r ) 怎么快速求。
这就牵扯到怎么看两个数的乘积是完全平方数了。考虑对于所有的 a i a_i a i ,找到最大的 x x x ,满足 x 2 ∣ a i x^2\mid a_i x 2 ∣ a i ,然后令 a i = a i x 2 a_i=\frac{a_i}{x^2} a i = x 2 a i ,那么要使两个数 i , j i,j i , j 的乘积是平方数的充要条件就是 a i = a j a_i=a_j a i = a j 。(这一步可以通过质数筛求得每个数的最小质因子来完成)
故进一步的,cost ( l , r ) \text{cost}(l,r) cost ( l , r ) 其实就是 r − l + 1 − num ( l , r ) r-l+1-\text{num}(l,r) r − l + 1 − num ( l , r ) ,num ( l , r ) \text{num}(l,r) num ( l , r ) 表示 [ l , r ] [l,r] [ l , r ] 这个区间中不同的数的个数。显然,因为每个子段只能保留互不相同的数,不然乘积就会出现完全平方数。
倒着枚举 k k k ,打个桶记录一下,应该就可以求出 cost ( k + 1 , i ) \text{cost}(k+1,i) cost ( k + 1 , i ) 。
此时时间复杂度应该是
O ( n 2 × k ) \mathcal{O}(n^2\times k) O ( n 2 × k ) 。
考虑怎么优化:
观察到,∀ j ∈ [ 0 , k ] , i ∈ [ 2 , n ] , d p i − 1 , j ≤ d p i , j \forall j\in[0,k],i\in[2,n],dp_{i-1,j}\le dp_{i,j} ∀ j ∈ [ 0 , k ] , i ∈ [ 2 , n ] , d p i − 1 , j ≤ d p i , j ,根据定义,这个应该是比较显然的。
发现所有能转移的 cost ( k + 1 , i ) \text{cost}(k+1,i) cost ( k + 1 , i ) 必然满足 ≤ K \le K ≤ K (这个 K K K 是题目里面输入的。)
并且,对于 cost ( k + 1 , i ) = x ∈ [ 0 , K ] \text{cost}(k+1,i)=x\in[0,K] cost ( k + 1 , i ) = x ∈ [ 0 , K ] ,x x x 显然只有 K + 1 K+1 K + 1 种。
对于这 K + 1 K+1 K + 1 种 x x x ,每种 x x x 的转移显然只需要找到最左边的 k k k 进行转移,正确性根据第一个性质即可得到。
发现此时每个 d p i , j dp_{i,j} d p i , j 的有效转移数量最多只有 K + 1 K+1 K + 1 个,复杂度瓶颈在于怎么找到每种 x x x 对应的满足条件的最左边的 k k k 。
发现可以维护 K + 1 K+1 K + 1 个双指针,对应每种 x x x 当前 k k k 最左边的位置,每次从 i → i + 1 i\to i+1 i → i + 1 的时候,去判断当前的指针是否合法,不合法就一直往右跳就行了,跳的中途打桶维护即可。
此时时间复杂度
O ( n × k 2 ) \mathcal{O}(n\times k^2) O ( n × k 2 ) ,是可以通过的。
Difficulty : 2300 \color{green}\text{Difficulty : 2300} Difficulty : 2300
首先,这个题应该可以直接暴力
LCT \text{LCT} LCT 或者是虚数统计方案直接暴力弄过去。
貌似是一道线段树分治的基础题,咳咳,这不重要。
我们考虑一些更简单的方式,比如树形 DP。
首先先考虑这个方案是怎么来的,本质上应该是去算每一种颜色的贡献。对于每一种颜色的贡献,可以看作是把这种颜色的边删掉,然后求出剩下的连通块大小,然后对于每条删掉的边,答案加上两个端点分别对应的连通块大小的乘积。
考虑如何快速计算这个过程。。
定义一个点的点权是其到其父亲节点的点的边权。
定义
d p i dp_i d p i 表示从
i i i 到
i i i 的子树中,不经过与
i i i 相同点权的点可以到达多少个点。
转移是比较容易的,考虑先将
d p i dp_i d p i 定义为其子树大小,然后减掉不能到达的点。用栈维护当前与
i i i 点权相同最近一次出现的且比它深度小的点的编号,假设是
y y y ,那么
d p y = d p y − siz i dp_y=dp_y-\text{siz}_i d p y = d p y − siz i 。
考虑如何通过
d p dp d p 数组来统计答案。对于每一个
d p i dp_i d p i ,依然用栈维护当前
i i i 点权相同最近一次出现的且比它深度小的点的编号
y y y ,那么答案就加上
d p i × d p y dp_i\times dp_y d p i × d p y 。
感觉是比较好理解的。看不懂我在写什么的,代码应该也是能看懂的。。
Difficulty : 2500 \color{green}\text{Difficulty : 2500} Difficulty : 2500
额,感觉是比较简单的树形
DP \texttt{DP} DP 。
转化一下题意,就是将一棵树删成若干条链的操作次数。
定义
d p x , 0 / 1 dp_{x,0/1} d p x , 0/1 表示将
x x x 的子树操作为一条链,
x x x 是否是链的端点的最小操作次数。
转移应该是比较简单的,如下:
CPP void dfs (int x, int last)
{
int sum[3 ] = {0 , 0 , 0 }, minn = INT_MAX, min2 = INT_MAX, son = 0 ;
for (int i = fst[x]; i; i = arr[i].nxt)
{
int j = arr[i].tar;
if (j == last) continue ;
dfs (j, x);
dp[x][0 ] += dp[j][1 ] + 1 ;
if (dp[j][0 ] - dp[j][1 ] < minn) min2 = minn, minn = dp[j][0 ] - dp[j][1 ];
else if (dp[j][0 ] - dp[j][1 ] < min2) min2 = dp[j][0 ] - dp[j][1 ];
sum[0 ] += dp[j][0 ] + 1 , sum[1 ] += dp[j][1 ] + 1 ;
++son;
}
if (son) dp[x][0 ] = min (dp[x][0 ], sum[1 ] + minn - 1 );
if (son >= 2 ) dp[x][1 ] = sum[1 ] + min2 + minn - 2 ;
dp[x][1 ] = min (dp[x][0 ], dp[x][1 ]);
}
然后输出方案就可以恶心到吐了。。
Difficulty : 3000 \color{green}\text{Difficulty : 3000} Difficulty : 3000
非常的妙啊,一道循序渐进的题。
先考虑链的情况,假设这个链没有灰色,你考虑将一段相同的黑色或者白色合并在一起,那么这条链就变成了黑白相间的,假设长度是
len \text{len} len ,你可以发现这条链的操作下限是
⌈ len 2 ⌉ + 1 \lceil\frac{\text{len}}{2}\rceil+1 ⌈ 2 len ⌉ + 1 。
感觉是比较好理解的。
然后考虑迁移到一棵树上。如果这棵树只有黑白,那么显然就是这棵树对应的链就是在黑白相同合并之后的直径。
而你现在就是要将灰色染成黑白然后求合并之后的直径的最小值。
考虑 DP,类似求树的直径,设
d p x , 0 / 1 dp_{x,0/1} d p x , 0/1 表示
x x x 染成白/黑,子树中某个点离它最大的距离,
f x , 0 / 1 f_{x,0/1} f x , 0/1 表示 染成
x x x 白/黑 经过
x x x 的直径答案。
类似直径的转移。比较容易。
答案就是
max ( min ( f x , 0 / 1 ) ) \max (\min(f_{x,0/1})) max ( min ( f x , 0/1 )) 。
Difficulty : 2900 \color{green}\text{Difficulty : 2900} Difficulty : 2900
首先,在环中的点一定不会被遍历。
用类似拓扑排序的过程可以把环上的点全部扔掉,剩下的点会构成若干个有根树和无根树,其中有根树的根是树中唯一与环中的点相连的点。
显然对于有根树,直接跑树上背包。
对于无根树,以树中每个点为根做一次有根树的树上背包,这样会发现每种选择
i i i 个点的方案会被算
s − i s - i s − i 次,其中
s s s 为这棵无根树的大小,那么除掉即可。
然后合并即可。
Difficulty : 2300 \color{green}\text{Difficulty : 2300} Difficulty : 2300
这题有个 DP 的标签仅仅只是因为它有个第二类斯特林数???然后这么SB的题我还做了半天???
考虑寻找这个题满足题目要求的性质。
本质上来说就是,第一列和最后一列的颜色数量相同,且第二列到倒数第二列中间的颜色必须既在第一列,又在最后一列出现过。
故考虑枚举第一列和最后一列的颜色数量
i i i ,然后再枚举两者颜色集合交集的大小
j j j 。
考虑如何计算答案。
先预处理一个数组
d p i , j dp_{i,j} d p i , j 表示将
i i i 个球,放入
j j j 个盒子中,球不同,盒子相同,且无空盒的方案数。
其实是第二类斯特林数,但是我不知道,现推了一遍,转移柿子是很简单且好理解的:
d p i , j = d p i − 1 , j − 1 + d p i − 1 , j × j dp_{i,j}=dp_{i-1,j-1}+dp_{i-1,j}\times j d p i , j = d p i − 1 , j − 1 + d p i − 1 , j × j 。
首先对于第一列和最后一列,假设这
i i i 种颜色已经确定,看怎么填的方案数就是
( d p n , i × i ! ) 2 (dp_{n,i}\times i!)^2 ( d p n , i × i ! ) 2 。(因为我们的
d p dp d p 定义盒子是没有顺序的。)
然后再看这
i i i 种颜色和
j j j 种两边都出现的颜色被选出来的方案数:
C k j × C k − j 2 × ( i − j ) × C 2 × ( i − j ) i − j C_{k}^{j}\times C_{k-j}^{2\times(i-j)}\times C_{2\times (i-j)}^{i-j} C k j × C k − j 2 × ( i − j ) × C 2 × ( i − j ) i − j 。(感觉比较好理解。)
最后中间的
m − 2 m-2 m − 2 的填颜色方案数量就是
j n × ( m − 2 ) j^{n\times (m-2)} j n × ( m − 2 ) 。(把这
j j j 种颜色随便填即可。)
故总答案就是
∑ i = 1 min ( n , k ) ∑ j = 0 i ( d p n , i × i ! ) 2 × C k j × C k − j 2 × ( i − j ) × C 2 × ( i − j ) i − j × j n × ( m − 2 ) \sum_{i=1}^{\min(n,k)}\sum_{j=0}^{i}(dp_{n,i}\times i!)^2\times C_{k}^{j}\times C_{k-j}^{2\times(i-j)}\times C_{2\times (i-j)}^{i-j} \times j^{n\times (m-2)} ∑ i = 1 m i n ( n , k ) ∑ j = 0 i ( d p n , i × i ! ) 2 × C k j × C k − j 2 × ( i − j ) × C 2 × ( i − j ) i − j × j n × ( m − 2 ) 。
Difficulty : 2400 \color{green}\text{Difficulty : 2400} Difficulty : 2400
日常做题遇到状压板子题,甚至分这么高。
考虑先把答案是
0 0 0 的情况特判掉,即输入的图两两之间都有边的情况,因为状压遇到这个会死。
然后很板的,定义
d p i dp_i d p i 表示
i i i 这个子集,两两都是直接朋友所需要的最小操作次数。
考虑顺推,即在知道
d p i dp_i% d p i 的情况下递推,找到
j ∈ i j\in i j ∈ i ,
d p i ∣ N ( j ) = min { d p i + 1 } dp_{i|N(j)}=\min \{dp_i+1\} d p i ∣ N ( j ) = min { d p i + 1 } ,
N ( j ) N(j) N ( j ) 表示
j j j 的邻域。
初始值,对于每个点
i i i ,有
d p N ( i ) = 1 dp_{N(i)}=1 d p N ( i ) = 1 。
时间复杂度
O ( 2 n × n ) \mathcal{O}(2^n\times n) O ( 2 n × n ) ,输出方案的话,打一个前驱数组记录从哪一个状态转移过来即可,
Difficulty : 2600 \color{green}\text{Difficulty : 2600} Difficulty : 2600
先观察一下在最优方案下,每个书如何分配的读者。
显然要将读者按照
a i a_i a i 从小到大排序,可以发现开心的读者必然是一个前缀。、
考虑一下方案是怎么构成的,发现只有以下两种情况:
将开心的读者分成若干个组,且每个组都能保证这些读者是开心的。
将所有开心的读者分在一组,外加一些不开心的读者来保证这个组的读者数量从而保证读者开心。
对于没有分配在这些组内的读者,一人占一个组。
容易发现,如果不是以上两种情况,那么显然可以通过调整得到这种情况。
故考虑定义
d p i dp_i d p i 表示保证前
i i i 个读者开心
最多 可以分成多少个组。
假设当前有
k k k 本书,那么能有
i i i 个读者开心的条件就是:
d p i + n − i ≥ k dp_i+n-i\ge k d p i + n − i ≥ k ,对应分成若干组的情况。
a i ≤ n − k + 1 , n − i ≥ i − 1 a_i\le n-k+1,n-i\ge i-1 a i ≤ n − k + 1 , n − i ≥ i − 1 ,对应将前 i i i 个分成一个组,补一些不开心的进去,然后剩下的一人一组的情况。
容易发现,随着
k k k 的增多,
max { i } \max\{i\} max { i } 在减小,随便写个指针或者二分就可以做到
O ( n log n ) \mathcal{O}(n\log n) O ( n log n ) 。
瓶颈在于排序。
Difficulty : 2300 \color{green}\text{Difficulty : 2300} Difficulty : 2300
最开始想了一个
O ( 26 × n × m ) \mathcal{O}(26\times n\times m) O ( 26 × n × m ) 的唐氏做法想半天还不觉得哪里有问题。。
其实是转移冗余了。
看到这个
n × m ≤ 10 7 n\times m\le 10^7 n × m ≤ 1 0 7 ,你考虑直接定义
d p i , j dp_{i,j} d p i , j 表
s s s 填好前
i i i 位,最后
j j j 位对应
t t t 的前
j j j 位的当前最大匹配次数。
然后发现这个东西多多少少跟
Border \text{Border} Border 有点关系,考虑先把
t t t 求一遍
KMP \text{KMP} KMP ,得到每个
[ 1.... i ] [1....i] [ 1.... i ] 的最长
Border \text{Border} Border 数组,假设是
pre i \text{pre}_i pre i 。
考虑顺推转移,即知道
d p i , j dp_{i,j} d p i , j 的情况下往后转移。
首先你可以直接失配,即 d p i + 1 , 0 = max { d p i , j } dp_{i+1,0}=\max \{dp_{i,j}\} d p i + 1 , 0 = max { d p i , j }
考虑向后匹配一位,即当 s i + 1 = t j + 1 s_{i+1}=t_{j+1} s i + 1 = t j + 1 或者 s i + 1 s_{i+1} s i + 1 是问号的时候,即 d p i + 1 , j + 1 = max { d p i , j } dp_{i+1,j+1}=\max\{dp_{i,j}\} d p i + 1 , j + 1 = max { d p i , j }
j = m j=m j = m 的时候,这个时候已经匹配完一个了,那么下面继续的话就需要用到 pre \text{pre} pre 数组了,考虑一直向前跳 Border \text{Border} Border ,假设当前的 Border k \text{Border k} Border k 满足 t [ 1.... k ] = t [ m − k + 1... m ] t_{[1....k]}=t_{[m-k+1...m]} t [ 1.... k ] = t [ m − k + 1... m ] ,如果满足 s i + 1 = t k + 1 s_{i+1}=t_{k+1} s i + 1 = t k + 1 或者 s i + 1 s_{i+1} s i + 1 是问号的时候,有 d p i + 1 , k + 1 = max { d p i , j + 1 } dp_{i+1,k+1}=\max \{dp_{i,j}+1\} d p i + 1 , k + 1 = max { d p i , j + 1 } 。
j = m j=m j = m 的时候,可以全部失配,显然可以 d p i + 1 , 0 = max { d p i , j + 1 } dp_{i+1,0}=\max \{dp_{i,j}+1\} d p i + 1 , 0 = max { d p i , j + 1 } 。
最后找到
max { d p n , j + [ j = m ] } \max\{dp_{n,j}+[j=m]\} max { d p n , j + [ j = m ]} 即可。
你可能会认为,你中途失配,即
d p i + 1 , 0 = max { d p i , j } dp_{i+1,0}=\max\{dp_{i,j}\} d p i + 1 , 0 = max { d p i , j } 这一步,他不一定会直接失配到
0 0 0 ,而是可以跳
pre \text{pre} pre 跳到中间满足
s i + 1 = t j + 1 s_{i+1}=t_{j+1} s i + 1 = t j + 1 的位置,其实这个是没有必要的,你应该会在第二种转移中考虑到这种情况。
说实话不太好解释,总之就是这种情况会被剩下的情况考虑到,这样就不用去枚举失配的时候下一位填什么了,直接失配到
0 0 0 就可以了。
时间复杂度
O ( n × m ) \mathcal{O}(n\times m) O ( n × m ) 。