考虑将 \(X\) 复制一次放到后面再对其长度为 \(n\) 的连续子串和 \(Y\) 求一波 \(\rm{Longest\ Common\ Subsequence}\) 就能得到 \(\Theta(n^3)\) 的分数了

那么设 \(f_{i,j,k}\) 表示 \(X[i\dots j],Y[1\dots k]\) 的 \(LCS\)

考虑如下两个性质:

\[f_{i-1,j,k}>f_{i-1,j-1,k}\Rightarrow f_{i,j,k}>f_{i,j-1,k}
\]
\[f_{i,j,k}>f_{i,j,k-1}\Rightarrow f_{i-1,j,k}>f_{i-1,j,k-1}
\]

下文受篇幅限制只证明第一个:

因为这个 \(\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)}\) 满足:

\[\rm{f(i,j,k)=f(i,j-1,k)+[i\ge p(k,j)]=f(i,j,k-1)+[i<q(k,j)]}
\]

至此可以得到所有 \(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」 半夜的更多相关文章

  1. 【考试记录】2018 山东省队集训第一轮D4(雾)

    T1题意: 给你一个$n\times m$的矩阵$B$,求它能由最少多少个形如两个向量之积$(n\times 1)\times(1\times m)$的矩阵相加得到. 题解: 考虑上界,最多需要$mi ...

  2. #6164. 「美团 CodeM 初赛 Round A」数列互质-莫队

    #6164. 「美团 CodeM 初赛 Round A」数列互质 思路 : 对这个题来言,莫队可以 n*根号n 离线处理出各个数出现个的次数 ,同时可以得到每个次数出现的次数 , 但是还要处理有多少 ...

  3. loj #6046. 「雅礼集训 2017 Day8」爷

    #6046. 「雅礼集训 2017 Day8」爷 题目描述 如果你对山口丁和 G&P 没有兴趣,可以无视题目背景,因为你估计看不懂 …… 在第 63 回战车道全国高中生大赛中,军神西住美穗带领 ...

  4. LOJ_6045_「雅礼集训 2017 Day8」价 _最小割

    LOJ_6045_「雅礼集训 2017 Day8」价 _最小割 描述: 有$n$种减肥药,$n$种药材,每种减肥药有一些对应的药材和一个收益. 假设选择吃下$K$种减肥药,那么需要这$K$种减肥药包含 ...

  5. 「雅礼集训 2017 Day7」事情的相似度

    「雅礼集训 2017 Day7」事情的相似度 题目链接 我们先将字符串建后缀自动机.然后对于两个前缀\([1,i]\),\([1,j]\),他们的最长公共后缀长度就是他们在\(fail\)树上对应节点 ...

  6. 「雅礼集训 2017 Day2」解题报告

    「雅礼集训 2017 Day2」水箱 我怎么知道这种题目都能构造树形结构. 根据高度构造一棵树,在树上倍增找到最大的小于约束条件高度的隔板,开一个 \(vector\) 记录一下,然后对于每个 \(v ...

  7. 「雅礼集训 2017 Day1」 解题报告

    「雅礼集训 2017 Day1」市场 挺神仙的一题.涉及区间加.区间除.区间最小值和区间和.虽然标算就是暴力,但是复杂度是有保证的. 我们知道如果线段树上的一个结点,\(max=min\) 或者 \( ...

  8. [LOJ 6031]「雅礼集训 2017 Day1」字符串

    [LOJ 6031] 「雅礼集训 2017 Day1」字符串 题意 给定一个长度为 \(n\) 的字符串 \(s\), \(m\) 对 \((l_i,r_i)\), 回答 \(q\) 个询问. 每个询 ...

  9. [LOJ 6030]「雅礼集训 2017 Day1」矩阵

    [LOJ 6030] 「雅礼集训 2017 Day1」矩阵 题意 给定一个 \(n\times n\) 的 01 矩阵, 每次操作可以将一行转置后赋值给某一列, 问最少几次操作能让矩阵全为 1. 无解 ...

随机推荐

  1. RTB1靶机

    一.信息收集 信息收集 http://192.168.111.132/Hackademic_RTB1/?cat=1 http://192.168.111.132/Hackademic_RTB1/?ca ...

  2. C/C++入门

    C:面向过程-函数 C++:面向对象-类:向下兼容C 程序包含头文件+主函数 简单数据类型 long long型赋超过int型范围的初值,需要在初值后面加上LL,否则可能会编译错误 不要使用float ...

  3. Dubbo 实现一个Load Balance (用于灰度发布)

    Dubbo 可以实现的扩展很多, 官方文档在这: https://dubbo.apache.org/zh/docs/v2.7/dev/impls/ (太简单了....) 下面我们实现一个Load Ba ...

  4. Android中的一些小细节

    在代码中获取到的padding .margin.getWidth.event.getX.context.getResources().getDimensionPixelSize(R.dimen.key ...

  5. 攻防世界misc——János-the-Ripper

    攻防世界misc---János-the-Ripper 附件题目,题目的文件名为:misc100. 下载后,拖入linux中,binwalk发现有隐藏文件.用"strings  János- ...

  6. C++水仙花 (如:153 = 1*1*1 + 5*5*5 + 3*3*3)

    1 #include <iostream> 2 #include <ctime> 3 using namespace std; 4 5 int main() 6 { 7 int ...

  7. 关于Servlet技术

    1.Servlet 技术           a)什么是 Servlet                     1.Servlet 是 JavaEE 规范之一.规范就是接口              ...

  8. JS实现自定义工具类,隔行换色、复选框全选、隔行高亮等

    很多功能都可以放在js的工具类中,在使用的时候直接调用 本次实现的功能包括: /** 0.当点击表的整行的任意位置时,第一列的复选框或者单选框均选中  1.隔行换色 2.复选框的全选效果 3.实现表格 ...

  9. Linux线程简单介绍

    1.进程与线程 2.使用线程的理由 3.有关线程操作的函数 4.线程之间的互斥 5.线程之间的同步 6.试题最终代码 1.进程与线程 进程是程序执行时的一个实例,即它是程序已经执行到何种程度的数据结构 ...

  10. spring学习05(代理模式)

    8.代理模式 为什么要学习代理模式,因为AOP的底层机制就是动态代理! 代理模式: 静态代理 动态代理 8.1 静态代理 静态代理角色分析 抽象角色 : 一般使用接口或者抽象类来实现 真实角色 : 被 ...