问题:

给定一个字符串,仅由A、B、C3个字母组成。当出现连续两个不同的字母时,你可以用另外一个字母替换它,如有AB或BA连续出现,你把它们替换为字母C;有AC或CA连续出现时,你可以把它们替换为字母B;有BC或CB连续出现时,你可以把它们替换为字母A。可以不断反复按照这个规则进行替换,目标是使得最终结果所得到的字符串尽可能短,求最终结果的最短长度。

输入:字符串。长度不超过200,仅由ABC3个字母组成。 输出:按照上述规则不断消除替换,所得到的字符串最短的长度。

例如:

输入CAB,输出2。因为我们可以把它变为BB或者变为CC。

输入BCAB,输出1。我们可以把它变为AAB到AC到B,也可以把它变为BBB,但因为前者长度更短,所以输出1。

先给出几个概念

纯字符串:只含有一种字母的字符串称为纯字符串,例如AAA就是一个纯字符串

混字符串:含有至少两种字母的字符串称为混字符串,例如ABC就是一个混字符串

最优长度:字符串通过消除的最终结果的最短长度,称为该字符串的最优长度。上面的示例中,CAB的最优长度为2,BCAB的最优长度为1

最优串:字符串通过消除达到最优长度时的字符串称为最优串最优串可能不止一个。如CAB的最优串为BB和CC,而BCAB的最优串为B。最优串一定是纯字符串

统计向量:用(X,Y,Z)表示字符串的统计向量,其中X、Y、Z分别表示字符串中字母A、B、C的个数。上面的示例中,CAB的统计向量为(1,1,1),BCAB的统计向量为(1,2,1)

统计特征向量:用(X,Y,Z)表示字符串的统计特征向量,其中X、Y、Z分别表示字符串中字母A、B、C的个数的奇偶性,用“奇”、“偶”表示。CAB的统计特征向量为(奇,奇,奇),BCAB的统计特征向量为(奇,偶,奇)

再给出几个推论

推论1纯字符串最优长度就是纯字符串的长度。

很明显的,只有一个字母,没法消除,所以最优长度就是纯字符串的长度

推论2:在纯字符串前或后加另一个字母得到新的混字符串,则新混字符串最优长度为1

例如:BBBBBBBA。则消除的过程是,BBBBBBBA >> BBBBBBC >> BBBBBA >> BBBBC >> BBBA >> BBC >> BA >> C

其他的类似,不再赘述

推论3:若纯字符串的长度为偶数,则在前或后添加另一个字母得到新的混字符串,则新混字符串最优串为添加的字母;若纯字符串的长度为奇数,则新混字符串最优串为剩下的一个字母

假设纯字符串为BB,添加字母A,则新混字符串为BBA,BBA >> BC >> A

假设纯字符串为BBBB,添加字母A,则新混字符串为BBBBA,BBBBA >> BBA >> A

以此类推,推论3的前半部得证

假设纯字符串为B,添加字母A,则新混字符串为BA,BA >> C

假设纯字符串为BBB,添加字母A,则新混字符串为BBBA,BBBA >> BA >> C

以此类推,推论3的后半部得证

推论4混字符串最优长度不超过2(为1或2)

证明:

首先混字符串通过不停的消除,最终能得到一个纯字符串(因为若还有不同的字母,则必相邻,则还能继续消除)。

若该纯字符串的长度为1或2,则证明了该推论(不过,就算纯字符串长度为2,还没证明最优长度一定是2,可以肯定的是最优长度不超过2,即1或2都有可能)

若该纯字符串的长度大于2,不失一般性,假设该纯字符串的长度为K(K>2),该纯字符串都由字母B组成(字母A、C是一样的),该纯字符串是通过N(N≥1)步消除得到的

那么回退一步,第N-1步消除得到的混字符串为B……BACB……B,其中A前面有K1个B,C后面有K2个B,K1+K2=K-1。(也有可能是B……BCAB……B,和B……BACB……B是一致的,不再赘述了)

那么,根据K1和K2的取值不同,可以优化出不同的消除

K1是奇数,K2是奇数。利用推论3,可知B……BA >> C;CB……B >> A;B……BACB……B >> CA >> B,最优串是B,最优长度为1

K1是奇数,K2是偶数。利用推论3,可知B……BA >> C;CB……B >> C;B……BACB……B >> CC,则最优长度不超过2(因为还没法证明最优长度不会是1)

K1是偶数,K2是奇数。利用推论3,可知B……BA >> A;CB……B >> A;B……BACB……B >> AA,则最优长度不超过2(因为还没法证明最优长度不会是1)

K1是偶数,K2是偶数。利用推论3,可知B……BA >> A;CB……B >> C;B……BACB……B >> AC >> B,最优串是B,最优长度为1

综上所述,混字符串最优长度不超过2

推论5统计特征向量为(奇,奇,奇)或(偶,偶,偶)的混字符串最优长度为2;其余的混字符串最优长度为1

证明:

考察一下,每次消除,统计特征向量的变化过程

假设字符串的统计特征向量为(奇,奇,奇)

假设消除是AC(或CA) >> B,则A和C的个数减1,而B的个数增加1,则统计特征向量变为(偶,偶,偶)

假设消除是AB(或BA) >> C,则A和B的个数减1,而C的个数增加1,则统计特征向量变为(偶,偶,偶)

假设消除是BC(或CB) >> A,则B和C的个数减1,而A的个数增加1,则统计特征向量变为(偶,偶,偶)

综上所述,统计特征向量为(奇,奇,奇)的混字符串,经过1次消除后,统计特征向量变为(偶,偶,偶)

同理可证,统计特征向量为(偶,偶,偶)的混字符串,经过1次消除后,统计特征向量变为(奇,奇,奇)

由此可知,反复消除后,统计特征向量为(奇,奇,奇)的混字符串最优串统计特征向量是(偶,偶,偶)。(因为最优串纯字符串,只能有1种字符,所以最优串不可能是(奇,奇,奇))

同理可证,统计特征向量为(偶,偶,偶)的混字符串最优串统计特征向量也是(偶,偶,偶)。

因此,统计特征向量为(奇,奇,奇)或(偶,偶,偶)的混字符串最优串统计特征向量为(偶,偶,偶)

假设字符串的统计特征向量为(奇,偶,偶)

假设消除是AC(或CA) >> B,则A和C的个数减1,而B的个数增加1,则统计特征向量变为(偶,奇,奇)

假设消除是AB(或BA) >> C,则A和B的个数减1,而C的个数增加1,则统计特征向量变为(偶,奇,奇)

假设消除是BC(或CB) >> A,则B和C的个数减1,而A的个数增加1,则统计特征向量变为(偶,奇,奇)

综上所述,统计特征向量为(奇,偶,偶)的混字符串,经过1次消除后,统计特征向量变为(偶,奇,奇)

同理可证,统计特征向量为(偶,奇,奇)的混字符串,经过1次消除后,统计特征向量变为(奇,偶,偶)

由此可知,反复消除后,统计特征向量为(奇,偶,偶)的混字符串最优串统计特征向量是(奇,偶,偶)。(因为最优串纯字符串,只能有1种字符,所以最优串不可能是(偶,奇,奇))

同理可证,统计特征向量为(偶,奇,奇)的混字符串最优串统计特征向量也是(奇,偶,偶)。

因此,统计特征向量为(奇,偶,偶)或(偶,奇,奇)的混字符串最优串统计特征向量为(奇,偶,偶)

同理可证

统计特征向量为(偶,奇,偶)或(奇,偶,奇)的混字符串最优串统计特征向量为(偶,奇,偶)

统计特征向量为(偶,偶,奇)或(奇,奇,偶)的混字符串最优串统计特征向量为(偶,偶,奇)

由推论4可知,混字符串最优长度不超过2

如果,混字符串最优长度为1,则最优串是A,统计特征向量是(奇,偶,偶);是B,统计特征向量是(偶,奇,偶);是C,统计特征向量是(偶,偶,奇)

如果,混字符串最优长度为2,则最优串是AA或BB或CC,统计特征向量是(偶,偶,偶)

所以,统计特征向量为(奇,奇,奇)或(偶,偶,偶)的混字符串最优长度是2。

统计特征向量为(奇,偶,偶)或(偶,奇,奇)的混字符串最优长度为1,最优串是A

统计特征向量为(偶,奇,偶)或(奇,偶,奇)的混字符串最优长度为1,最优串是B

统计特征向量为(偶,偶,奇)或(奇,奇,偶)的混字符串最优长度为1,最优串是C

证明完毕

结论:

1、纯字符串最优串就是自身,最优长度就是自身的长度

2、统计特征向量为(奇,奇,奇)或(偶,偶,偶)的混字符串最优长度为2

3、其余的混字符串最优长度是1,其中统计特征向量为(奇,偶,偶)或(偶,奇,奇)的混字符串最优串是A;统计特征向量为(偶,奇,偶)或(奇,偶,奇)的混字符串最优串是B;统计特征向量为(偶,偶,奇)或(奇,奇,偶)的混字符串最优串是C

本文转自万仓一黍博客园博客,原文链接:http://www.cnblogs.com/grenet/p/3300591.html,如需转载请自行联系原作者

算法:字符串消除问题的数学证明相关推荐

  1. 较真的来了!这篇【硬核论文】为何恺明新作MAE提供了一种理论解释和数学证明...

    关注公众号,发现CV技术之美 昨天,arXiv上出现了一篇非常硬核的论文"How to Understand Masked Autoencoder".该论文为何恺明的最新一作论文& ...

  2. 【LuoguP4275】萃香的请柬-数学证明

    测试地址:萃香的请柬 做法:本题需要用到找规律(划掉)数学证明. 首先我们要猜(划掉)观察出两个结论: 第一:若第一个字符串为L,第二个字符串为B,则以后任意字符串都是前一个字符串后面接上前一个字符串 ...

  3. 歌德巴赫猜想数学证明

    歌德巴赫猜想数学证明 证明方法一: 歌德巴赫猜想的证明需要借助数学理论,其中包括数论和组合数学等方面的知识.以下是一种基于矩阵和组合数学的证明方法: 首先,定义一个n*n的01矩阵A,其中A[i][j ...

  4. 最小二乘法,简明公式整理,数学证明,matlab程序(自写代码、lsqcurvefit函数、fminsearch函数)

    目录 批处理最小二乘方法 递推最小二乘方法 带有遗忘因子的递推最小二乘方法 Matlab案例分析 自写代码 matlab之lsqcurvefit函数 matlab之fminsearch函数 附录1:递 ...

  5. rsa加密原理数学证明_非对称加密算法——RSA加密原理及数学推导

    说明:原创不易,著作权仅归作者本人所有,转载请注明出处. 建议:建议阅读时间15min+.证明过程可能看着枯燥,需要动手. 一.  RSA是什么? 看到标题的第一瞬间,先想一下,RSA是什么呢?百度百 ...

  6. 二叉树相关性质以及数学证明

    性质一: 在二叉树中,设度为0的结点数为n0,度为2的结点数为n2,有n0=n2+1在二叉树中,设度为0的结点数为n_0,度为2的结点数为n_2,有n_0=n_2+1在二叉树中,设度为0的结点数为n0 ...

  7. pongo - 字符串消除

    字符串消除 题目详情: 给定一个字符串,仅由a,b,c 3种小写字母组成.当出现连续两个不同的字母时,你可以用另外一个字母替换它,如 有ab或ba连续出现,你把它们替换为字母c: 有ac或ca连续出现 ...

  8. Algorithm:C++语言实现之字符串相关算法(字符串的循环左移、字符串的全排列、带有同个字符的全排列、串匹配问题的BF算法和KMP算法)

    Algorithm:C++语言实现之字符串相关算法(字符串的循环左移.字符串的全排列.带有同个字符的全排列.串匹配问题的BF算法和KMP算法) 目录 一.字符串的算法 1.字符串的循环左移 2.字符串 ...

  9. C++Rabin Karp算法字符串快速查找(附完整源码)

    C++Rabin Karp算法字符串快速查找 C++Rabin Karp算法字符串快速查找完整源码(定义,实现,main函数测试) C++Rabin Karp算法字符串快速查找完整源码(定义,实现,m ...

最新文章

  1. mSystem:西农韦革宏组细菌-真菌互作影响微生物多样性-土壤养分循环关系
  2. 腾讯张正友:计算机视觉的三生三世
  3. Django的静态文件的配置
  4. iOS 8以上的设置的跳转
  5. FTP基础知识及排障方法
  6. @RequestBody如何使用
  7. Linux命令速查(带参数说明)
  8. python3读取网页_python3+selenium获取页面加载的所有静态资源文件链接操作
  9. Spring Boot 之 ResourceHandlerRegistry 通过url直接访问本地服务器上指定路径的资源
  10. linux系统装psp,如何在Linux中玩PSP游戏
  11. select函数的使用
  12. JetPack之DataStore源码笔记
  13. 服务器网页上传附件按钮无法使用怎么解决,IE上传附件无法点击确定按钮的具体处理方法...
  14. 信息系统项目管理师考试难吗
  15. Echarts 自定义、覆盖legend点击事件、禁用legend默认的点击行为的实现
  16. fiddler mac教程_Mac os 安装fiddler
  17. 有钱人的心肠更硬吗?
  18. 连接可用AP,提示“已连接,但无法访问互联网”,过一会变成“网络连接受限”,实际可以上网
  19. HC-SR04超声波模块的使用(stm32f103c8t6/HAL)(超详细)
  20. Integer、new Integer()和int的区分与比较

热门文章

  1. linux location root访问文件夹404_如何使网站支持https访问?nginx配置https证书
  2. C# 多态相关的文章
  3. java如何使用配置文件_如何使用java.util.Properties读取配置文件?
  4. Object 及toString() 方法的重写
  5. 2018-06-29 西游记主题Python入门示例尝试-数据结构 5.1-5.1.2
  6. [HNOI2009]梦幻布丁
  7. Java:switch语句例子
  8. 说说“开源杀死商业开发工具”
  9. java数组 —(8)
  10. MySQL中varchar最大长度是多少