DZY Loves Math IV(杜教筛)

文章目录

  • title
  • solution
  • code

title

solution

这道题是多么的妙啊,完全不是我能推出来的式子呢!
在这里插入图片描述
观察数据范围,有点奇怪欸,在暗示我??
在这里插入图片描述
考虑暴力枚举nnn
S(n,m)=∑i=1mφ(n×i)S(n,m)=\sum_{i=1}^mφ(n\times i)S(n,m)=i=1mφ(n×i)
神奇的操作来了,将nnn质因数分解,并把不同的质因数分别拿出一个
n=∏piein=\prod p_i^{e_i}n=piei
q=∏piq=\prod p_iq=pi
p=∏piei−1p=\prod p_i^{e_i-1}p=piei1
则有p×q=np\times q=np×q=n

  1. i%j=0i\% j=0i%j=0,则φ(ij)=φ(i)×jφ(ij)=φ(i)\times jφ(ij)=φ(i)×j
  2. (i,j)=1(i,j)=1(i,j)=1,则φ(ij)=φ(i)×φ(j)φ(ij)=φ(i)\times φ(j)φ(ij)=φ(i)×φ(j)

S(n,m)=∑i=1mφ(n×i)S(n,m)=\sum_{i=1}^mφ(n\times i)S(n,m)=i=1mφ(n×i)=p⋅∑i=1mφ(q×i)=p\ ·\sum_{i=1}^mφ(q\times i)=p i=1mφ(q×i)=p⋅∑i=1mφ(qgcd(q,i)×i×gcd(q,i))=p\ ·\sum_{i=1}^mφ(\frac{q}{gcd(q,i)}\times i\times gcd(q,i))=p i=1mφ(gcd(q,i)q×i×gcd(q,i))=p⋅∑i=1mφ(qgcd(q,i))φ(i×gcd(q,i))=p\ ·\sum_{i=1}^mφ(\frac{q}{gcd(q,i)})φ(i\times gcd(q,i))=p i=1mφ(gcd(q,i)q)φ(i×gcd(q,i))=p⋅∑i=1mφ(qgcd(q,i))φ(i)gcd(q,i)=p\ ·\sum_{i=1}^mφ(\frac{q}{gcd(q,i)})φ(i)gcd(q,i)=p i=1mφ(gcd(q,i)q)φ(i)gcd(q,i)=p∑i=1mφ(qgcd(q,i))φ(i)∑d∣gcd(q,i)φ(d)=p\sum_{i=1}^mφ(\frac{q}{gcd(q,i)})φ(i)\sum_{d|gcd(q,i)}φ(d)=pi=1mφ(gcd(q,i)q)φ(i)dgcd(q,i)φ(d)=p∑i=1mφ(i)∑d∣i,d∣qφ(qd)=p\sum_{i=1}^mφ(i)\sum_{d|i,d|q}φ(\frac{q}{d})=pi=1mφ(i)di,dqφ(dq)=p∑d∣qφ(qd)∑i=1⌊md⌋φ(i×d)=p\sum_{d|q}φ(\frac{q}{d})\sum_{i=1}^{\lfloor\frac{m}{d}\rfloor}φ(i\times d)=pdqφ(dq)i=1dmφ(i×d)=p∑d∣qφ(qd)S(d,⌊md⌋)=p\sum_{d|q}φ(\frac{q}{d})S(d,\lfloor\frac{m}{d}\rfloor)=pdqφ(dq)S(d,dm)
在这里插入图片描述
φφφ用杜教筛,应该是老熟人了
S(n,m)S(n,m)S(n,m)记忆化一下,应该就没了

code

#include <cstdio>
#include <vector>
#include <map>
using namespace std;
#define mod 1000000007
#define int long long
#define maxn 200000
map < int, int > mp, s[maxn];
int cnt;
int minp[maxn + 5]; //minp[i]:i的最大质因子
int prime[maxn], phi[maxn + 5]; //phi[i]:1~i的phi的前缀和 
bool vis[maxn + 5];void init() {phi[1] = 1;for( int i = 2;i <= maxn;i ++ ) {if( ! vis[i] ) prime[++ cnt] = i, minp[i] = i, phi[i] = i - 1;for( int j = 1;j <= cnt && i * prime[j] <= maxn;j ++ ) {vis[i * prime[j]] = 1, minp[i * prime[j]] = prime[j];if( i % prime[j] == 0 ) {phi[i * prime[j]] = phi[i] * prime[j] % mod;//与式子推导的第二步为什么p能直接从φ里面拿出来呼应break;}elsephi[i * prime[j]] = phi[i] * ( prime[j] - 1 ) % mod;}}for( int i = 1;i <= maxn;i ++ ) phi[i] = ( phi[i] + phi[i - 1] ) % mod;
}int Phi( int n ) {if( n <= maxn ) return phi[n];if( mp[n] ) return mp[n];int ans = n * ( n + 1 ) / 2 % mod;for( int i = 2, r;i <= n;i = r + 1 ) {r = n / ( n / i );ans = ( ans - ( r - i + 1 ) * Phi( n / i ) % mod + mod ) % mod;}return mp[n] = ans;
}int solve( int n, int m ) {if( ! m ) return 0;if( s[n][m] ) return s[n][m];if( n == 1 ) return s[n][m] = Phi( m );if( m == 1 ) return s[n][m] = ( Phi( n ) - Phi( n - 1 ) + mod ) % mod;vector < int > g;int p = 1, q = 1, N = n, x;while( N > 1 ) {x = minp[N], q *= x, N /= x, g.push_back( x );while( N % x == 0 ) N /= x, p *= x;}int len = g.size(), ans = 0;for( int i = 0;i < ( 1 << len );i ++ ) { //枚举q的所有质因子(状压) int d = 1;for( int j = 0;j < len;j ++ )if( i & ( 1 << j ) ) d = d * g[j]; //二进制位为1则有该质因子ans = ( ans + ( Phi( q / d ) - Phi( q / d - 1 ) + mod ) % mod * solve( d, m / d ) % mod ) % mod;}return s[n][m] = ans * p % mod;
}signed main() {int n, m;scanf( "%lld %lld", &n, &m );init();int ans = 0;for( int i = 1;i <= n;i ++ ) ans = ( ans + solve( i, m ) ) % mod;printf( "%lld\n", ans );return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/317699.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

codeforces:CF1604 总结

前言 solve&#xff1a;4 rank&#xff1a;48&#xff01;&#xff01;&#xff01;&#xff01;&#xff01;&#xff01;&#xff01;&#xff01;&#xff01;&#xff01; 这排名我不理解了 solve4真真不算多啊… 而且前四题感觉也不算太难… 仔细看了看榜 哦… 因为这次…

IdentityServer4直播

大家好&#xff0c;很久没有更新公众号&#xff0c;让各位久等了&#xff0c;主要是最近出除了工作之外&#xff0c;一直私下在学习和研究IdentityServer4&#xff0c;后续会腾出一部分时间陆续更新公众号。对于IdentityServer4(简称IDS)&#xff0c;网上的资料少之可怜&#x…

P7988-[USACO21DEC] HILO G【set,线段树】

正题 题目链接:https://www.luogu.com.cn/problem/P7988 题目大意 给出一个长度为nnn的排列&#xff0c;开始有一个数字xxx&#xff0c;第一次询问回答x<a1x<a_1x<a1​&#xff08;记为LOLOLO&#xff09;或者x>a1x>a_1x>a1​&#xff08;记为HIHIHI&#…

Codeforces Round #712 (Div. 2)

题号题目知识点质量1504ADj Vu思维题1504BFlip the Bits贪心1504CBalance the Bits构造题1504D3-Coloring思维题&#xff0c;构造题1504ETravelling Salesman Problem思维题好题啊1504FFlip the Cards贪心&#xff0c;思维题现在还没搞明白&#xff0c;不错的思维题 A~D题解代码…

[AH2017/HNOI2017]礼物

Description 我的室友最近喜欢上了一个可爱的小女生。马上就要到她的生日了&#xff0c;他决定买一对情侣手 环&#xff0c;一个留给自己&#xff0c;一个送给她。每个手环上各有 n 个装饰物&#xff0c;并且每个装饰物都有一定的亮度。但是在她生日的前一天&#xff0c;我的室…

NOIP2017洛谷P3953:逛公园(分层图最短路、dp、拓扑)

解析 容易想到dp 先跑一遍最短路把每个点的dis求出来 设计dpu,xdp_{u,x}dpu,x​表示结点u多走了x的方案数 dp按照dis升序排列后&#xff0c;从前到后转移即可 如果有0边&#xff0c;求出只有0边时的拓扑序&#xff0c;作为第二关键字进行排序 关于0环&#xff0c;第一篇题解的…

.NET Core 3.0:System.Data的变化

System.Data虽然不引人关注&#xff0c;但在.NET中&#xff0c;System.Data对于各种关系数据库的连接是非常重要的。System.Data也被称为ADO.NET&#xff0c;其前身是ActiveX Data Objects。System.Data提供了通过的框架&#xff0c;在她的基础上.NET数据驱动应用可以被构建。这…

蓝桥杯国赛 皮亚诺曲线距离

参考博客 题意&#xff1a; 题解&#xff1a; 这个很恶魔 本质好说就是找规律&#xff0c;但是贼难写。。 找了篇题解&#xff0c;做法就是大化小&#xff0c;将大阶化为成小阶&#xff0c;计算出离远点的距离。。。我感觉我是写不出来。。 挺秒的&#xff0c;要推公式估计要…

P3369-[模板]普通平衡树【无旋Treap】

正题 题目链接:https://www.luogu.com.cn/problem/P3369 题目大意 一个空可重集&#xff0c;要求支持 插入一个数xxx删除一个数xxx询问一个数xxx的排名询问排名第xxx的数字询问xxx的前驱询问xxx的后继 1≤n≤105,1≤∣x∣≤1071\leq n\leq 10^5,1\leq |x|\leq 10^71≤n≤105…

[SDOI2015]序列统计 (NTT)

Description 小C有一个集合S&#xff0c;里面的元素都是小于M的非负整数。他用程序编写了一个数列生成器&#xff0c;可以生成一个长度为N的数列&#xff0c;数列中的每个数都属于集合S。小C用这个生成器生成了许多这样的数列。 但是小C有一个问题需要你的帮助&#xff1a;给定…

NOIP2016洛谷P1600:天天爱跑步

文章目录解析sol1:树剖mapsol2&#xff1a;树剖离线sol3&#xff1a;dfs维护树状数组差分解析 个人认为本题比同年的逛公园可做许多 本题的一个关键是&#xff1a;把慢跑者(u,v)(u,v)(u,v)转化为上升路径上满足depxtxdepudep_xt_xdep_udepx​tx​depu​的结点和下降路径上满足…

将 Visual Studio 的代码片段导出到 VS Code

导语和原文作者一样&#xff0c;水弟我现在也是使用 VS Code 和 Rider 作为主力开发工具&#xff0c;尤其是 VS Code 可以跨平台&#xff0c;又有丰富的插件支持和多种编程语言支持。当我从 VS 转移到以 VS Code 的开发过程中&#xff0c;遇到的最大问题就是代码提示的不完善&a…

2020 Jiangsu Collegiate Programming Contest

比赛链接 题号题目难易考点Gym 102875AArray难线段树&#xff0c;欧拉降幂Gym 102875BBuilding BlocksGym 102875CCats签到题贪心&#xff0c;思维Gym 102875DDelete Prime中模拟&#xff0c;暴力Gym 102875EEliminate the VirusGym 102875FFlee from MazeGym 102875GGrid Col…

P3835-[模板]可持久化平衡树【无旋Treap】

正题 题目链接:https://www.luogu.com.cn/problem/P3835 题目大意 一个空可重集&#xff0c;要求支持 插入一个数xxx删除一个数xxx询问一个数xxx的排名询问排名第xxx的数字询问xxx的前驱询问xxx的后继 但是所有操作都是基于某个历史版本 1≤n≤5105,1≤∣x∣≤1091\leq n\l…

洛谷P1450:硬币购物(背包、容斥)

解析 呜呜呜不废啊 我只会跑n遍多重背包 感觉非常神仙的一道题 之所以只是蓝的可能是因为代码实现难度太低了吧 但感觉思想真的很难想到 也可能是我太菜了 容斥相关还是需要加强啊qwq 考虑如果没有硬币个数的限制的情况 显然就是个简单的完全背包了 然而如今有了硬币个数的限…

Maze (FFT+快速幂)

Description 众维拉先后在中土大陆上创造了精灵、人类以及矮人&#xff0c;其中矮人是生性喜好常年居住在地下的洞穴的存在&#xff0c;他们挖掘矿物甚至宝石&#xff0c;甚至用他们的勤劳勇敢智慧在地底下创造出了辉煌宏大的宫殿&#xff0c;错综复杂的迷宫——嗯&#xff0c…

如何基于 Kubernetes 构建完整的 DevOps 流水线

前言关于 DevOps 是一个很大的话题&#xff0c;它可能既涉及到公司的技术文化构建&#xff0c;也包括开发者技术能力的支持&#xff0c;这次技术干货分享主要是侧重于技术方面&#xff0c;就是如何用 Kubernetes 来服务好 DevOps 的流水线。本文从 4 个方面介绍&#xff1a;什么…

C - Cats Gym - 102875C

C - Cats Gym - 102875C 题意&#xff1a; n个猫&#xff0c;猫的身高在1到20之间&#xff0c;现在求这些猫的排列&#xff0c;满足一样高的猫不靠着&#xff0c;且他们之间的最矮的猫不比他们高 输出任意符合条件的排列 题解&#xff1a; 构造题 题目的限制条件决定了&…

CF702F-T-Shirts【FhqTreap】

正题 题目链接:https://www.luogu.com.cn/problem/CF702F 题目大意 有nnn个物品&#xff0c;第iii个价格为cic_ici​&#xff0c;质量为qiq_iqi​。 然后有mmm个询问&#xff0c;假设一个人有viv_ivi​块&#xff0c;他每次会买他能买得起的qiq_iqi​最大的&#xff08;如果…

P3160:局部极小值(容斥、状压)

解析 又是一道我不会的容斥题 qwq 本题的一个关键性质:答案有解时&#xff0c;极小值不超过8个 所以可以对其进行状压 考虑从小到大填数 那么在极小值填完之前&#xff0c;它的八连通必然是不能填的 设计dpi,sdp_{i,s}dpi,s​表示从小到大填了i个数&#xff0c;已经填完的极…