题面传送门

首先 mol 一发现场 AC 的 csy 神仙

为什么这题现场这么多人过啊啊啊啊啊啊

继续搬运官方题解(

首先对于题目中的 \(k,P\)​,我们有若存在字符串 \(k,P,P’\)​ 满足 \(S=kP+P’\)​,且 \(P’\)​ 为 \(P\)​ 前缀,那么称 \(P\)​ 为 \(S\)​ 的一个周期,显然 \(k\)​ 最大等价于 \(|P|\)​ 最小,也就是说我们要找到对于每个 \(|P|\)​,最短周期长度为 \(|P|\)​ 的字符串个数,那么显然对于长度为 \(x\)​​ 的周期,如果一个字符串最短周期长度为 \(x\)​,那么其对应的 \(k=\lfloor\dfrac{|S|}{n}\rfloor\)​,也就是说,假设 \(f(i)\)​ 表示最短周期长度为 \(i\) 的字符串个数,那么

\[ans=\sum\limits_{i=1}^nf(i)\lfloor\dfrac{n}{i}\rfloor
\]

那么怎么求 \(f(i)\) 呢?我们不妨做以下猜想:

Observation \(-1\). 一个串 \(S\) 最小周期长度为 \(x\),当且仅当长度为 \(x\) 的前缀是 \(S\) 的周期且不存在某个 \(y\mid x\),满足长度为 \(y\) 的前缀是 \(S\) 的周期

为什么是 \(-1\) 呢?因为显然这个结论是错的,反例随便举,譬如 \(S='\text{abaa}',x=3\),u1s1 我现场开场 30min 就在肝这道题并猜了这个结论,然鹅意识到这个结论是错误的,并且注意到现场 30min 没人通过这道题,感觉不对劲就放弃了(

不过注意到违背这个结论的都是 \(x\) 比较大的情况,对于 \(x\) 比较小的情况这个结论是不是就对了呢?

事实果真如此。

Observation. 一个串 \(S\)​ 最小周期长度为 \(x(x\le\lfloor\dfrac{n}{2}\rfloor)\)​,当且仅当长度为 \(x\)​ 的前缀是 \(S\)​ 的周期且不存在某个 \(y\mid x\)​,满足长度为 \(y\)​ 的前缀是 \(S\)​ 的周期

证明:首先关于周期我们有一个周期引理(Periodicity Lemma),大概说的是如果一个字符串存在两个周期长度分别为 \(x,y\),且 \(x+y\le n+\gcd(x,y)\),那么长度为 \(\gcd(x,y)\) 的前缀也是 \(S\)​ 的周期。

这样就可以反证法了,假设存在一个 \(y<x\) 满足 \(y\nmid x\) 且长度为 \(y\) 的前缀也是 \(S\)​ 的周期,那么由于 \(x\le\lfloor\dfrac{n}{2}\rfloor\),必然有 \(x+y\le n<n+\gcd(x,y)\),套用 Periodicity Lemma 可得 \(\gcd(x,y)\) 也是 \(S\) 的周期,而 \(\gcd(x,y)\mid x\),与长度为 \(x\) 的前缀为 \(S\) 的最小周期矛盾,因此假设不成立。

注意到对于 \(x>\lfloor\dfrac{n}{2}\rfloor\),必然有 \(\lfloor\dfrac{n}{x}\rfloor=1\),因此

\[\begin{aligned}
res&=\sum\limits_{i=1}^n\lfloor\dfrac{n}{i}\rfloor f(i)\\
&=\sum\limits_{i=1}^{n/2}\lfloor\dfrac{n}{i}\rfloor f(i)+2^n-\sum\limits_{i=1}^{n/2}f(i)\\
&=2^n-\sum\limits_{i=1}^{n/2}(\lfloor\dfrac{n}{i}\rfloor-1)f(i)
\end{aligned}
\]

而对于 \(x\le\lfloor\dfrac{n}{2}\rfloor\),根据上面的性质有

\[f(x)=2^x-\sum\limits_{y\mid x,y\ne x}f(y)
\]

即枚举 \(S\) 的前 \(x\) 位是什么,这样即可确定整个 \(S\),同时需扣掉最小周期 \(<x\) 且是 \(x\) 的约数的串的个数。

这看起来和数论有点关系了,移个项:

\[f(x)+\sum\limits_{y\mid x,y\ne x}f(y)=2^x
\]

也即

\[\sum\limits_{y\mid x}f(y)=2^x
\]

\[f*I=2^x
\]

于是上面那个求答案的式子就可以整除分块+杜教筛了。时间复杂度 \(Tn^{2/3}\)

const int MAXV=5e6;
const int MOD=998244353;
int qpow(int x,int e){
int ret=1;
for(;e;e>>=1,x=1ll*x*x%MOD) if(e&1) ret=1ll*ret*x%MOD;
return ret;
}
int f[MAXV+5];
void init(){
for(int i=1,pw=2;i<=MAXV;i++,(pw<<=1)%=MOD) f[i]=pw;
for(int i=1;i<=MAXV;i++) for(int j=i<<1;j<=MAXV;j+=i) f[j]=(f[j]-f[i]+MOD)%MOD;
for(int i=1;i<=MAXV;i++) f[i]=(f[i-1]+f[i])%MOD;
}
unordered_map<int,int> sm;
int calc(int x){
if(x<=MAXV) return f[x];
if(sm.count(x)) return sm[x];int res=(qpow(2,x+1)-2+MOD)%MOD;
for(int l=2,r;l<=x;l=r+1){
r=x/(x/l);res=(res-1ll*(r-l+1)*calc(x/l)%MOD+MOD)%MOD;
} return res;
}
int main(){
init();int qu;scanf("%d",&qu);
while(qu--){
int n;scanf("%d",&n);int res=qpow(2,n);
for(int l=1,r;l<=(n>>1);l=r+1){
r=min(n/(n/l),n>>1);
res=(res+1ll*(calc(r)-calc(l-1)+MOD)*(n/l-1))%MOD;
} printf("%d\n",res);
}
return 0;
}

HDU 6987 - Cycle Binary(找性质+杜教筛)的更多相关文章

  1. 洛谷 P6860 - 象棋与马(找性质+杜教筛)

    题面传送门 首先我们来探究一下什么样的 \((a,b)\) 满足 \(p(a,b)=1\).不难发现只要点 \((1,0)\) 能够到达,那么网格上所有点都能到达,因为由于 \((1,0)\) 能够到 ...

  2. HDU 5608 function(莫比乌斯反演 + 杜教筛)题解

    题意: 已知\(N^2-3N+2=\sum_{d|N}f(d)\),求\(\sum_{i=1}^nf(i) \mod 1e9+7\),\(n\leq1e9\) 思路: 杜教筛基础题? 很显然这里已经设 ...

  3. CCPC 2019 网络赛 HDU huntian oy (杜教筛)

    1005 huntian oy (HDU 6706) 题意: 令,有T次询问,求 f(n, a, b). 其中 T = 10^4,1 <= n,a,b <= 1e9,保证每次 a,b互质. ...

  4. [HDU 5608]Function(莫比乌斯反演 + 杜教筛)

    题目描述 有N2−3N+2=∑d∣Nf(d)N^2-3N+2=\sum_{d|N} f(d)N2−3N+2=∑d∣N​f(d) 求∑i=1Nf(i)\sum_{i=1}^{N} f(i)∑i=1N​f ...

  5. HDU 6706 huntian oy(杜教筛 + 一些定理)题解

    题意: 已知\(f(n,a,b)=\sum_{i=1}^n\sum_{j=1}^igcd(i^a-j^a,i^b-j^b)[gcd(i,j)=1]\mod 1e9+7\),\(n\leq1e9\),且 ...

  6. BZOJ4916 神犇和蒟蒻 【欧拉函数 + 杜教筛】

    题目 很久很久以前,有一只神犇叫yzy; 很久很久之后,有一只蒟蒻叫lty; 输入格式 请你读入一个整数N;1<=N<=1E9,A.B模1E9+7; 输出格式 请你输出一个整数A=\sum ...

  7. Mobius 反演与杜教筛

    积性函数 积性函数 指对于所有互质的整数 aaa 和 bbb 有性质 f(ab)=f(a)f(b)f(ab)=f(a)f(b)f(ab)=f(a)f(b) 的数论函数. 特别地,若所有的整数 aaa ...

  8. LG4213 【模板】杜教筛(Sum)和 BZOJ4916 神犇和蒟蒻

    P4213 [模板]杜教筛(Sum) 题目描述 给定一个正整数$N(N\le2^{31}-1)$ 求 $$ans_1=\sum_{i=1}^n\varphi(i)$$ $$ans_2=\sum_{i= ...

  9. 我也不知道什么是"莫比乌斯反演"和"杜教筛"

    我也不知道什么是"莫比乌斯反演"和"杜教筛" Part0 最近一直在搞这些东西 做了将近超过20道题目吧 也算是有感而发 写点东西记录一下自己的感受 如果您真的 ...

随机推荐

  1. 8.5(337)——树形dp

    将题目进行翻译,就是遍历二叉树算出最大权值,在遍历过程中,不能同时选择两个相连的节点. 第一种子问题的构造,是以爷爷--父亲--孙子的"三代"节点一同构造的,将最优子问题的结构定义 ...

  2. ORB_SLAM3 -- 配置安装

    安装环境 Ubuntu20.04 ORB_SLAM3依赖项安装 opencv3 ORB_SLAM3可用opencv3或opencv4编译,作者这里安装测试了opencv3 Step1: 安装openc ...

  3. 安装多个版本的 JDK

    安装多个版本的 JDK 刚刚开始学 Java 的时候安装了 JDK9 版本,后续发现还是 JDK8 使用的多些,而又不想删除原先版本 因此安装两个版本的 JDK 在需要是切换一下即可 1. 安装第一个 ...

  4. [no code][scrum meeting] Alpha 13

    项目 内容 会议时间 2020-04-21 会议主题 OCR技术对接会议 会议时长 45min 参会人员 全体成员 $( "#cnblogs_post_body" ).catalo ...

  5. 《HelloGitHub》第 67 期

    兴趣是最好的老师,HelloGitHub 让你对编程感兴趣! 简介 分享 GitHub 上有趣.入门级的开源项目. https://github.com/521xueweihan/HelloGitHu ...

  6. Python NameError:name ‘xrange’ is not defined

    在python3 中会出这个问题,而xrange( )函数时在python 2.x中的一个函数,在Python 3中,range()的实现方式与xrange()函数相同,所以就不存在专用的xrange ...

  7. 从0到1搭建自己的组件(vue-code-view)库(上)

    0x00 前言 本文将从结构.功能等方面讲解下项目 vue-code-view 的搭建过程,您可以了解以下内容: 使用 vue cli 4从0搭建一个组件库及细致配置信息. 项目的多环境构建配置. 项 ...

  8. 浅谈对typora的使用

    内容概要 - 什么是typora - typora的具体使用 目录 内容概要 - 什么是typora - typora的具体使用 1. 什么是typora 2.typora的具体使用 1.标题级别 2 ...

  9. Spring源码学习之容器的基本实现(一)

    前言 最近学习了<<Spring源码深度解析>>受益匪浅,本博客是对学习内容的一个总结.分享,方便日后自己复习或与一同学习的小伙伴一起探讨之用. 建议与源码配合使用,效果更嘉, ...

  10. 用tsc编译ts文件的时候报错,tsc : 无法加载文件,因为在此系统上禁止运行脚本;

    用tsc编译ts文件的时候报错,tsc : 无法加载文件,因为在此系统上禁止运行脚本:SecurityError 在vscode的控制台或者Windows PowerShell中用tsc命令编译ts文 ...