zoukankan      html  css  js  c++  java
  • luogu P4762 [CERC2014]Virus synthesis (回文自动机)

    大意: 初始有一个空串, 操作(1)在开头或末尾添加一个字符. 操作(2)在开头或末尾添加该串的逆串. 求得到串$S$所需最少操作数.

    显然最后一定是由某个偶回文通过添加字符得到的, 那么只需要求出所有偶回文的最少操作数即可.

    结论: 偶回文最后一次进行翻倍操作一定最优.

    证明考虑数学归纳, 对于长为$2$的回文串显然成立.

    对长度$>2$的偶回文串$A$, 记最后一次翻倍得到的串$B$, $B$的一半为$C$. 

    记$f(S)$为串$S$的最优值, 就有$f(B)=f(C)+1$.

    考虑由$B$得到$A$的过程, 有$4$种情况:

    $1.$ $A=B$, 那么结论成立.

    $2.$ 同时在$B$的左端和右端添加字符. 那么$B$只能是由$A$去掉左右两端得到的串. 总操作数是$f(C)+3$, 在$C$一端添加一个字符再翻倍操作数为$f(C)+2$更优, 所以这种情况不成立.

    $3.$ 全部在$B$的左端添加字符. 那么$B$只能是$A$的最长偶回文后缀, 总操作数就为$f(C)+|A|-|B|+1$. 而在$C$的左侧添加字符然后再翻倍的操作数为$f(C)+frac{|A|}{2}-frac{|B|}{2}+1$更优, 所以不成立.

    $4.$ 全部在$B$的右端添加字符. 同情况$3.$

     

  • 相关阅读:
    java实验四
    C# 和SQL Server 类型转换
    C# 通过this关键字来扩展方法
    类型转换
    获取屏幕高度,兼容性问题解决
    LinqToDataTable
    jQuery层级元素选择器
    Javascript 常用系统内置函数
    JSON-JQuery常用技巧
    .net 调用SAP RFC函数获取数据的两种方式
  • 原文地址:https://www.cnblogs.com/uid001/p/10960511.html
Copyright © 2011-2022 走看看