题面传送门

首先 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. java的加载与执行原理详解

    java程序从开发到最终运行经历了什么? (31) 编译期: 第一步:在硬盘某个位置(随意),新建一个xxx.java文件 第二步:使用记事本或者其他文本编辑器例如EditPlus打开xxx.java ...

  2. Linux命令查看内存、整体负载、端口查看、进程查看、vim编辑器(3)

    一.资源占用命令   1.查看内存(free) free命令默认是以kb为单位显示的. free -m用Mb单位来显示. free -h显示单位 . free -h -s 3 ,每隔三秒刷新一次,如果 ...

  3. Less-25 preg_replace2

    Less-25: 核心语句: 各种回显也均有. 通过blacklist,我们可以发现,本题屏蔽了and和or. preg_replace函数中正则表达式后面的i是一个修饰符,代表正则匹配时不区分大小写 ...

  4. Wireshark 过滤器的使用

    符号 例子 = = tcp.port = = 80 过滤出来TCP包含80端口的数据包 != ip.src != 127.0.0.1 ip的原地址不是127.0.0.1过滤出来 > lp.len ...

  5. 第三次Alpha Scrum Meeting

    本次会议为Alpha阶段第三次Scrum Meeting会议 会议概要 会议时间:2021年4月26日 会议地点:线上会议 会议时长:20min 会议内容简介:本次会议主要由每个人展示自己目前完成的工 ...

  6. Beta阶段第四次会议

    Beta阶段第四次会议 时间:2020.5.20 完成工作 姓名 工作 难度 完成度 ltx 1.对小程序进行修改2.提出相关api修改要求 轻 85% xyq 1.设计所需api文档2.编写相关技术 ...

  7. echart3 力引导布局实现节点的提示和折叠

    最近在项目中需要开发一个图表来显示人员的各种属性,类似于一种树形的结构进行显示数据.如果多个人员有同一个属性,那么需要将相同的属性进行连线,即关联起来.即形成一个关系图,由于我自身对echarts稍微 ...

  8. Go语言核心36讲(Go语言进阶技术八)--学习笔记

    14 | 接口类型的合理运用 前导内容:正确使用接口的基础知识 在 Go 语言的语境中,当我们在谈论"接口"的时候,一定指的是接口类型.因为接口类型与其他数据类型不同,它是没法被实 ...

  9. 【行人惯性导航】关于行人导航中IMU位姿推导的知识点及相关代码

    IMU姿态惯性推导 最近从事行人惯性导航的研究,本人也是一个小白,其中看了很多文献,有很多个人思考很费时间的地方,撰写此随笔的目的不仅是给自己做一个笔记,也是给各位有需要的仁兄一点个人理解. 本文只关 ...

  10. linux 内核源代码情景分析——linux 内存管理的基本框架

    386 CPU中的页式存管的基本思路是:通过页面目录和页面表分两个层次实现从线性地址到物理地址的映射.这种映射模式在大多数情况下可以节省页面表所占用的空间.因为大多数进程不会用到整个虚存空间,在虚存空 ...