P3526 [POI2011]OKR-Periodicity 题解

前言

一道非常厉害的思维题。看题解得到了一些提示搞出来了。

作为 2011 年的题还是很厉害的。

约定

  • 定义 \(s[l,r]\) 为 \(s\) 当中下标为 \([l,r]\) 的字符组成的子串。
  • \(st,ed\) 表示字符串的某段前缀和后缀。
  • 一个串 \(t\) 是 \(s\) 的周期当且仅当 \(s=ttt\dots tt'\),其中 \(t'\) 是 \(t\) 的前缀。由此知道 \(s[i]=s[i+|t|]\)。
  • \(p(p<|s|)\) 是串 \(s\) 的 \(\texttt{border}\) 当且仅当 \(s[1,p]=s[|s|-p+1,|s|]\)。 不难发现 \(|s|-p\) 是 \(s\) 的周期。

题目简述

  • 给定由大写字母组成的字符串 \(s\),构造字典序最小的 \(\texttt{01}\) 串 \(t\) 使得 \(s,t\) 的所有周期长度组成集合相等。(下文称为 \(\texttt{01}\) 表示)
  • 多测,\(T\leq 20,|s|\leq 2\times 10^5\)。

解题思路

两个显著的情况:

  • 是如果 \(s\) 全部相等,那么肯定构造全 \(\texttt 0\) 串最优。
  • 如果 \(s\) 没有周期,那么构造 \(\texttt{000}\dots\texttt{001}\) 肯定最优。

我们先看一个引理:

Weak Periodicity Lemma: 假设 \(s\) 有长度为 \(p,q\) 的周期,且 \(p+q\leq |s|\) 则 \(s\) 有长度为 \(\gcd(p,q)\) 的周期。

证明: 不妨设 \(p<q\)。考虑对于 \(i\leq q-p\),必然能找到 \(i'\equiv i(\bmod p)\)。必然有 \(i'+q\leq n,i'+q-p> i'\)。由【约定】,我们知道 \(s[i]=s[i']=s[i'+q]=s[i'+q-p]=s[i+q-p]\),也就是 \(q-p\) 是 \(s\) 的周期。辗转相除可证。

由引理得到推论:

推论:对于 \(s\) 的最小周期 \(r\),则对于所有的周期 \(R\leq |s|-r\) 只有 \(R\in\{r,2r,\dots, \left\lfloor\dfrac{|s|-r}{r}\right\rfloor\times r\}\)。

转到 \(\texttt{border}\) 上也就是所有 \(\geq r\) 的 \(\texttt{border}\) 只有 \(r+|s|\bmod r,2r+|s|\bmod r+\dots,|s|-r\)。

回到本题当中,分为两种情况:

\(s\) 的最小周期 \(\leq \dfrac{|s|}{2}\)

也就是 \(s\) 可以表示为 \(tt\dots tt'\) 的形式(\(t'\) 是 \(t\) 的前缀)。也可以说 \(s\) 可以表示为 \(t'ttt\dots t\) 的形式(\(t'\) 是 \(t\) 的后缀)。我们先递归求出 \(t't\) 的最小 \(\texttt{01}\) 表示 \(p’p\)。我们下面说明 \(s\) 的最小 \(\texttt{01}\) 表示是 \(p'ppp\dots p\)。首先 \(s\) 的 \(\texttt{border}\) 肯定是 \(t\) 的 \(\texttt{border}\)。所以前 \(|t't|\) 的最小 \(\texttt{01}\) 表示为 \(p'p\)。

观察 \(s\) 的形式如下:

我们已经得到 \(a\) 被 \(t'\) 表示,\(ba\) 被 \(t\) 表示。考虑框起来的一个 \(\texttt{border}\),可以得到后面的所有 \(ba\) 都会被 \(t\) 表示,证明完毕。合法性显然。

\(s\) 的最小周期 \(>\dfrac{|s|}{2}\)

那么不难发现 \(s\) 可以被表示为 \(tat\) 的形式。其中 \(t\) 是 \(s\) 的最大 \(\texttt{border}\)。我们先求出 \(t\) 的最小表示 \(p\),下面讨论 \(a\) 可以被替换为 \(\texttt{00}\dots\texttt 0,\texttt{00}\dots\texttt{01}\) 之一。

  • 若 \(a\) 被替换为 \(\texttt{00}\dots\texttt 0\)。如果此时不合法,也就是有大于 \(|t|\) 的 \(\texttt{border}\) 出现,我们下面分类讨论。

    • 情况 \(1\):\(\texttt{border}\) 如下图所示:

这是会发现 \(p\texttt{0}\dots\texttt0=\texttt{0}\dots\texttt0p\),得到 \(p\) 是全 \(\texttt 0\) 串。

  • 情况 \(2\):\(\texttt{border}\) 对应情况如下图所示:

这个时候也不难得出 \(p\) 是全 \(\texttt0\) 串。

  • 情况 \(3\):\(\texttt{border}\) 对应关系如下图所示:

我们什么也得不到。但是不难得到全 \(\texttt 0\) 串也满足情况 \(3\),所以只有情况 \(3\) 不满足。当时当我们把 \(a\) 表示换为 \(\texttt 0\dots\texttt {01}\) 的时候,\(a\) 在 \(\texttt{border}\) 当中的位置肯定和上面的位置一样,这时候就不满足了。证毕。

至此我们讨论完了所有 \(s\) 的情况,可以递归解决。

具体实现

我们梳理一下我们的递归函数 dfs(p) 需要干什么。

他的目的应当是寻找 \(s[1,p]\) 的最小表示。上面讨论了 \(4\) 种情况:

  • \(s[1,p]\) 全部字符相等。把答案对应位全填 \(\texttt 0\)。
  • \(s[1,p]\) 没有 \(\texttt{border}\)。除了最后一位填 \(\texttt 1\) 其他填 \(\texttt 0\)。
  • \(s[1,p]\) 最小周期 \(len\) 满足 \(2len\leq p\),递归求出 \(p\bmod len+len\) 的表示,重复到后面得到答案。
  • 否则最大 \(\texttt{border}\) 为 \(len\),递归求 \(len\) 的表示。尝试把答案 \(len+1,p-len\) 填入全 \(\texttt 0\) 查询是否合法,不合法把最后一位改为 \(\texttt 1\)。

给一份 dfs 及其他函数的参考代码:

const int MAXN=2e5+5;
char s[MAXN];int border[MAXN],fail[MAXN];
char ans[MAXN];
void KMP(int n,char *t,int *p){
p[1]=0;
for(int i=2;i<=n;i++){
p[i]=p[i-1];
while(p[i]&&t[p[i]+1]!=t[i]) p[i]=p[p[i]];
if(t[p[i]+1]==t[i]) p[i]++;
}
}
void dfs(int p){
bool sm=1;
for(int i=1;i<=p;i++) if(s[i]!=s[1]) sm=0;
if(sm){for(int i=1;i<=p;i++) ans[i]='0';return;}
if(border[p]==0){for(int i=1;i<=p-1;i++) ans[i]='0';ans[p]='1';return;}
int len=p-border[p];// 周期长度
if(len*2<=p){
dfs(len+p%len);
for(int i=len+p%len+1;i<=p;i++)
ans[i]=ans[i-len];
return;
}
len=border[p];
dfs(len);
for(int i=len+1;i<=p-len;i++) ans[i]='0';
for(int i=1;i<=len;i++)
ans[p-len+i]=ans[i];
KMP(p,ans,fail);
if(fail[p]!=len) ans[p-len]='1';
return;
}
void solve(){
cin>>(s+1);int n=strlen(s+1);
KMP(n,s,border);
dfs(n);
for(int i=1;i<=n;i++) putchar(ans[i]);
puts("");
}

【思维题、KMP】P3526 [POI2011]OKR-Periodicity 题解的更多相关文章

  1. 【思维题 kmp 构造】bzoj4974: [Lydsy1708月赛]字符串大师

    字符串思博题这一块还是有点薄弱啊. Description 一个串T是S的循环节,当且仅当存在正整数k,使得S是T^k(即T重复k次)的前缀,比如abcd是abcdabcdab的循环节 .给定一个长度 ...

  2. 7月15日考试 题解(链表+状压DP+思维题)

    前言:蒟蒻太弱了,全打的暴力QAQ. --------------------- T1 小Z的求和 题目大意:求$\sum\limits_{i=1}^n \sum\limits_{j=i}^n kth ...

  3. ZOJ 3829 贪心 思维题

    http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemCode=3829 现场做这道题的时候,感觉是思维题.自己智商不够.不敢搞,想着队友智商 ...

  4. C. Nice Garland Codeforces Round #535 (Div. 3) 思维题

    C. Nice Garland time limit per test 1 second memory limit per test 256 megabytes input standard inpu ...

  5. PJ考试可能会用到的数学思维题选讲-自学教程-自学笔记

    PJ考试可能会用到的数学思维题选讲 by Pleiades_Antares 是学弟学妹的讲义--然后一部分题目是我弄的一部分来源于洛谷用户@ 普及组的一些数学思维题,所以可能有点菜咯别怪我 OI中的数 ...

  6. UVALive.3708 Graveyard (思维题)

    UVALive.3708 Graveyard (思维题) 题意分析 这标题真悲伤,墓地. 在周长为1e4的圆周上等距分布着n个雕塑,现在要加入进来m个雕塑,最终还要使得这n+m个雕塑等距,那么原来的n ...

  7. codeforces ~ 1009 B Minimum Ternary String(超级恶心的思维题

    http://codeforces.com/problemset/problem/1009/B B. Minimum Ternary String time limit per test 1 seco ...

  8. 计蒜客 28319.Interesting Integers-类似斐波那契数列-递推思维题 (Benelux Algorithm Programming Contest 2014 Final ACM-ICPC Asia Training League 暑假第一阶段第二场 I)

    I. Interesting Integers 传送门 应该是叫思维题吧,反正敲一下脑壳才知道自己哪里写错了.要敢于暴力. 这个题的题意就是给你一个数,让你逆推出递推的最开始的两个数(假设一开始的两个 ...

  9. little w and Soda(思维题)

    链接:https://ac.nowcoder.com/acm/contest/297/A 来源:牛客网 时间限制:C/C++ 1秒,其他语言2秒 空间限制:C/C++ 262144K,其他语言5242 ...

  10. BZOJ 2734 洛谷 3226 [HNOI2012]集合选数【状压DP】【思维题】

    [题解] 思维题,看了别人的博客才会写. 写出这样的矩阵: 1,3,9,... 2,6,18,... 4,12.36,... 8,24,72,... 我们要做的就是从矩阵中选出一些数字,但是不能选相邻 ...

随机推荐

  1. 深度学习应用篇-计算机视觉-目标检测[4]:综述、边界框bounding box、锚框(Anchor box)、交并比、非极大值抑制NMS、SoftNMS

    深度学习应用篇-计算机视觉-目标检测[4]:综述.边界框bounding box.锚框(Anchor box).交并比.非极大值抑制NMS.SoftNMS 1.目标检测综述 对计算机而言,能够&quo ...

  2. 图学习初探Paddle Graph Learning 构建属于自己的图【系列三】

    项目链接:https://aistudio.baidu.com/aistudio/projectdetail/5000517?contributionType=1 如遇到问题查看原项目解决 图学习温故 ...

  3. 5.14 汇编语言:仿写Switch选择结构

    选择结构,也称为switch语句,是计算机编程中的一种控制结构,用于根据表达式的值选择不同的执行路径.它允许程序根据表达式的值来决定执行哪个代码块,从而实现多分支选择逻辑.switch语句由一个表达式 ...

  4. 月薪40K+的测试老兵,测试开发学习实战心得分享

    1. 前言 大家好,我是Arthur,拥有超过10年以上的银行测试经验,目前在一家互联网创业公司担任测试经理.在我们那个年代,基本上都是不会写代码的做测试工作,而且基本都是纯手工:最近几年,测试开发开 ...

  5. Java 将PDF转为PowerPoint (2行代码)

    通过编程实现PDF转PPT的功能,可以自动化转换过程,减少手动操作的工作量,并根据需要进行批量转换.将PDF文件转换为PPT文档后,可以利用PPT的丰富功能和动画效果,达到更好的演示效果. 在Java ...

  6. HBase-compact的作用、两种实现方式、触发时机

    了解Flush触发条件后,这里产生了一个问题,频繁的flush会产生大量小文件,在对hbase进行查询时会产生大量IOPS,读取性能会受到很大的影响,同时也会给hdfs造成一定压力,hbase提供了一 ...

  7. 如何使用graalvm为带有反射功能的java代码生成native image

    译自Configure Native Image with the Tracing Agent graal官方文档 , 以下所有命令需要在linux环境下操作,graalvm也支持windows. 要 ...

  8. Shiro-00-shiro 概览

    RBAC RBCA RBCA zh_CN Shiro Apache Shiro 是一个强大且易于使用的 Java 安全框架,负责执行身份验证.授权.加密和会话管理. 通过 Shiro 的易于理解的 A ...

  9. ex命令

    ex命令 ex命令用于在Ex模式下启动vim文本编辑器,ex执行效果如同vi -e,如要从Ex模式回到普通模式,则在vim中输入:vi或:visual指令即可,可以通过运行vi -e来启动ex,也可以 ...

  10. Springboot AOP介绍及实战

    介绍 AOP是Aspect Oriented Program的首字母缩写:这种在运行时,动态地将代码切入到类的指定方法.指定位置上的编程思想就是面向切面的编程. 主要用于非核心业务处理,比如权限,日志 ...