「山东省队集训2021 Round 1」 半夜
考虑将 \(X\) 复制一次放到后面再对其长度为 \(n\) 的连续子串和 \(Y\) 求一波 \(\rm{Longest\ Common\ Subsequence}\) 就能得到 \(\Theta(n^3)\) 的分数了
那么设 \(f_{i,j,k}\) 表示 \(X[i\dots j],Y[1\dots k]\) 的 \(LCS\)
考虑如下两个性质:
\]
\]
下文受篇幅限制只证明第一个:
因为这个 \(\rm{DP}\) 类似于网格图上最大带权游走,那么设两个串的左端点为网格图起始点,右端点为终止点
不难发现两条路径必然存在交点,设 \((i-1,0)\) 到 \((j,k)\) 的 最靠左 路径为 \(C_1\),而 \((i,0)\) 到 \((j-1,k)\) 的最靠左的最优路径为 \(C_2\)
设两个路径公共部分是 \(C\),之前是 \(C_1A,C_2A\),之后的是 \(C_1B,C_2B\),把已知和结论统统表示出来互相推就行了
那么必然存在 \(\rm{p(j,k),q(j,k)}\) 满足:
\]
至此可以得到所有 \(p(n,x)\) 然后使用第一个等号后的式子递推 \(\rm{f(x,x+n-1,n)}\) 即可
考虑如何转移 \(\rm{p,q}\)?
设 \(P=p_{k-1,j},Q=q_{k,j-1}\)(认真注意变量定义)
\(X_i\ne Y_j\)
如果 \(P<Q\),把 \(f_{i,j-1,k},f_{i,j,k-1}\) 的转移结果写出来就能发现 \(p(k,j)=Q,q(k,j)=P\),因为 \(f_{i,j,k}\ge \max\{f_{i,j-1,k},f_{i,j,k-1}\}\)

而对于 \(P\ge Q\) 的情况,仍然是写出来转移的结果得到 \(p_{i,j}=P,q(i,j)=Q\)

\(X_i=Y_j\)
这里必然会有 \(f_{i,j,k}=f_{i,j-1,k-1}+1\),那么分开讨论究竟是哪边加了 \(1\),对转移有贡献的如下:
如果 \(f_{i,j,k}=f_{i,j-1,k}+1\),即上次不能转移,但是现在可以,那么必然满足 \(i\ge Q,p(k,j)=Q\)
如果 \(f_{i,j,k}=f_{i,j,k-1}\),即提前转移过了,现在不能转移,那么必然满足 \(i\ge P,q(k,j)=p\)
这样就可以了! 时间复杂度 \(O(n^2)\)
$\texttt{Talk is cheap,Show the Code}$
const int N=2010;
int p[N][N<<1],q[N][N<<1],f[N<<1][N<<1],n,ans;
char x[N<<1],y[N];
signed main(){
n=read(); scanf("%s%s",x+1,y+1); rep(i,1,n) x[i+n]=x[i];
rep(i,1,n*2) p[0][i]=i+1; rep(i,1,n*2) q[0][i]=1;
rep(i,1,n) rep(j,1,(n<<1)){
int P=p[i-1][j],Q=q[i][j-1];
if(P>=Q&&x[j]!=y[i]) p[i][j]=P,q[i][j]=Q;
else p[i][j]=Q,q[i][j]=P;
}
rep(i,0,(n<<1)) rep(j,i,(n<<1)) f[i][j]=f[i][j-1]+(i>=p[n][j]);
rep(i,1,n) ckmax(ans,f[i][i+n-1]); print(ans); return 0;
}
//Use The Time To Enrich This Selfclosing Youth
「山东省队集训2021 Round 1」 半夜的更多相关文章
- 【考试记录】2018 山东省队集训第一轮D4(雾)
T1题意: 给你一个$n\times m$的矩阵$B$,求它能由最少多少个形如两个向量之积$(n\times 1)\times(1\times m)$的矩阵相加得到. 题解: 考虑上界,最多需要$mi ...
- #6164. 「美团 CodeM 初赛 Round A」数列互质-莫队
#6164. 「美团 CodeM 初赛 Round A」数列互质 思路 : 对这个题来言,莫队可以 n*根号n 离线处理出各个数出现个的次数 ,同时可以得到每个次数出现的次数 , 但是还要处理有多少 ...
- loj #6046. 「雅礼集训 2017 Day8」爷
#6046. 「雅礼集训 2017 Day8」爷 题目描述 如果你对山口丁和 G&P 没有兴趣,可以无视题目背景,因为你估计看不懂 …… 在第 63 回战车道全国高中生大赛中,军神西住美穗带领 ...
- LOJ_6045_「雅礼集训 2017 Day8」价 _最小割
LOJ_6045_「雅礼集训 2017 Day8」价 _最小割 描述: 有$n$种减肥药,$n$种药材,每种减肥药有一些对应的药材和一个收益. 假设选择吃下$K$种减肥药,那么需要这$K$种减肥药包含 ...
- 「雅礼集训 2017 Day7」事情的相似度
「雅礼集训 2017 Day7」事情的相似度 题目链接 我们先将字符串建后缀自动机.然后对于两个前缀\([1,i]\),\([1,j]\),他们的最长公共后缀长度就是他们在\(fail\)树上对应节点 ...
- 「雅礼集训 2017 Day2」解题报告
「雅礼集训 2017 Day2」水箱 我怎么知道这种题目都能构造树形结构. 根据高度构造一棵树,在树上倍增找到最大的小于约束条件高度的隔板,开一个 \(vector\) 记录一下,然后对于每个 \(v ...
- 「雅礼集训 2017 Day1」 解题报告
「雅礼集训 2017 Day1」市场 挺神仙的一题.涉及区间加.区间除.区间最小值和区间和.虽然标算就是暴力,但是复杂度是有保证的. 我们知道如果线段树上的一个结点,\(max=min\) 或者 \( ...
- [LOJ 6031]「雅礼集训 2017 Day1」字符串
[LOJ 6031] 「雅礼集训 2017 Day1」字符串 题意 给定一个长度为 \(n\) 的字符串 \(s\), \(m\) 对 \((l_i,r_i)\), 回答 \(q\) 个询问. 每个询 ...
- [LOJ 6030]「雅礼集训 2017 Day1」矩阵
[LOJ 6030] 「雅礼集训 2017 Day1」矩阵 题意 给定一个 \(n\times n\) 的 01 矩阵, 每次操作可以将一行转置后赋值给某一列, 问最少几次操作能让矩阵全为 1. 无解 ...
随机推荐
- 记录一次现网MySQL内存增长超限问题定位过程
问题现象现网物理机内存近几日内爆涨使用率超过了90%,可用内存从250G,降低到20G以下,报告警.服务器使用情况来看,并没有什么异常.除了QPS缓慢增长外. MySQL内存分配结构 定位这个问题,先 ...
- Java8 Lambda表达式(二)
目录 一.Java8 内置的四大核心函数式接口 1. 消费型接口 Consumer 2. 供给型接口 Supplier 3. 函数型接口 Function 4.断言型接口 Predicate 二.方法 ...
- 深度学习算子优化-FFT
作者:严健文 | 旷视 MegEngine 架构师 背景 在数字信号和数字图像领域, 对频域的研究是一个重要分支. 我们日常"加工"的图像都是像素级,被称为是图像的空域数据.空域数 ...
- 靶机Cyberry
工具 hydra.crunch.dirbuster 涉及到的点 Port knocking(端口试探) Brainfuck编码 ftp爆破 ssh爆破 openssl enc加密 命令执行漏洞 Lin ...
- Docker入门第五章
常用其他命令 后台启动容器 #命令 docker run -d 镜像名! [root@lvshihao /]# docker run -d centos 757173133e8e73985f024dc ...
- Use Module and Function instead of Class in Python
The following scripts run in ipython demonstrate the differences between instance method and static ...
- Java - Enum 枚举类型
目录 前言 应用 定义 基本Enum特性 Enum的静态导入 Enum中添加新方法 Switch语句中的Enum Enum的继承 EnumSet的使用 EnumMap的使用 常量相关方法 枚举值向枚举 ...
- centos8安装mysql8.0
官网下载rpm地址 https://dev.mysql.com/downloads/repo/yum/ wget下载 wget https://repo.mysql.com//mysql80-comm ...
- 第12篇-认识CodeletMark
InterpreterCodelet依赖CodeletMark完成自动创建和初始化.CodeletMark继承自ResourceMark,允许自动析构,执行的主要操作就是,会按照Interpreter ...
- js继承函数封装
function extend(subClass,superClass) { //初始化一个中间空对象,为了转换主父类关系 var F = function() {}; F.prototype = s ...