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…

.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;要推公式估计要…

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

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

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

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

[SNOI2017]遗失的答案 (FWT)

description 小皮球在计算出答案之后&#xff0c;买了一堆皮肤&#xff0c;他心里很开心&#xff0c;但是一不小心&#xff0c;就忘记自己买了哪些皮肤了。 ||| 万幸的是&#xff0c;他还记得他把所有皮肤按照 1∼N 来编号&#xff0c;他买来的那些皮肤的编号&#xff08;他至…

Abp中使用可视化的日志面板

如果你还不了解LogDashboard请看这里 使用logdashboard查看可视化日志。ABP的相关知识不做介绍如果有需要请阅读ABP官方文档ABP是Net下非常优秀的开发框架,在中国很多的项目都正在使用它。现在我们可以使用LogDashboard增强在使用ABP开发中的查看日志能力。下载ABP模板项目打开…

J - Just Multiplicative Inverse Gym - 102875J

J - Just Multiplicative Inverse Gym - 102875J 题目&#xff1a; 题解&#xff1a; 给定一个x&#xff0c;求出F(1,x)F(2,x)…F(x-1,x) 的和除以&#xff08;x-1&#xff09; F(x,p)题目已经给出 我们观察F()含义&#xff0c;再结合本题含义&#xff0c;本题并不是要求F(x,…

利用Topshelf把.NET Core Generic Host管理的应用程序部署为Windows服务

2019第一篇文章。此文源于前公司在迁移项目到.NET Core的过程中&#xff0c;希望使用Generic Host来管理定时任务程序时&#xff0c;没法部署到Windows服务的问题&#xff0c;而且官方也没给出解决方案&#xff0c;只能关注一下官方issue #809 等他们方解决了。官方文档只提供了…

开源项目商业模式分析(2) - 持续维护的重要性 - Selenium和WatiN

该系列第一篇发布后收到不少反馈&#xff0c;包括&#xff1a;第一篇里说的MonicaHQ不一定盈利没错&#xff0c;但是问题在于绝大多数开源项目商业数据并没有公开&#xff0c;从而无法判断其具体是否盈利。难得MonicaHQ是公开的&#xff0c;所以才用来做这系列文章的开篇。很多…

深入业务成为更好的软件架构师——信息化建设图鉴一二例

软件开发实际上跟英语比较类似&#xff0c;都是一项工具&#xff0c;服务于各行各业。从程序员的个人修养上来讲&#xff0c;一是要研习好软件开发这门技艺&#xff0c;二是要深入到所服务的行业。说到底&#xff0c;软件的终极目标是模拟业务&#xff0c;在此期间常常会有一个…

恭贺微软技术俱乐部苏州站正式成立

今天去苏州微软中国&#xff0c;参加了微软技术俱乐部苏州站的成立大会。大会的历程悉数经历&#xff0c;这会儿仍在为各位大佬、社区领袖的奉献精神所感动。在通过我们公司同事分享的链接报名时就了解到&#xff0c;大会上有苏震巍老师和蒋金楠老师的分享&#xff0c;便笃定了…

[HNOI2013]消毒 (匈牙利最大匹配)

Description 最近在生物实验室工作的小T遇到了大麻烦。 由于实验室最近升级的缘故&#xff0c;他的分格实验皿是一个长方体,其尺寸为abc&#xff0c;a、b、c 均为正整数。为了实验的方便&#xff0c;它被划分为abc个单位立方体区域&#xff0c;每个单位立方体尺寸为111。用(i,…

.NET Core微服务之路:基于Ocelot的API网关实现--http/https协议篇

前言 最近一直在忙公司和私下的兼职&#xff0c;白天十个小时&#xff0c;晚上四个小时&#xff0c;感觉每天都是打了鸡血似的&#xff0c;精神满满的&#xff0c;连自己那已经学打酱油的娃都很少关心&#xff0c;也有很长一段时间没有更新博客了&#xff0c;特别抱歉&#…

[NOI2009] 变换序列 (匈牙利最大匹配)

description … solution 我竟然一眼题&#xff01;&#xff01; 变换后的TTT数组是[0,n)[0,n)[0,n)的排列&#xff0c;变换规则也有&#xff0c;距离DDD也知道 很明显可以求出iii的可能变换对象 这不就是个最大匹配&#xff1f;&#xff1f; 无解就是匹配数量达不到nnn罢了…

使用 WeihanLi.Npoi 操作 CSV

Intro最近发现 csv 文件在很多情况下都在使用&#xff0c;而且经过大致了解&#xff0c;csv 格式简单&#xff0c;相比 excel 文件要小很多&#xff0c;读取也很是方便&#xff0c;而且也很通用&#xff0c;微软的 ml.net 的示例项目 用来训练模型的数据也是使用的 csv 来保存的…

种类问题

几乎所有种类问题都可以转化成两种模型之一 1.直接维护ans数组 2.统计二维数点问题 前置知识 二维静态数点 以y为第一元素&#xff0c;x为第二元素&#xff0c;原点优先级大于查询点&#xff0c;对所有点&#xff08;原点查询点&#xff09;&#xff0c;然后求 for(int i1;…

「LibreOJ Round #11」Misaka Network 与测试 (网络流跑二分图匹配)

description 研究者们想要测试 Misaka Network&#xff0c;于是他们把 Misaka Network 中的所有妹妹们召集到了一起。 现在妹妹们排成了 N行 M 列&#xff0c;有的位置没有人。现在研究者们给每一个个体的超能力进行了评定&#xff0c;一共有三个能力等级&#xff1a;Level 1 …

YbtOJ-相似子串【SA,RMQ,二分】

正题 题目大意 给出一个长度为nnn的字符串&#xff0c;两个串相似当且仅当可以通过每种字符置换使得它们相同。 qqq次询问这个字符串所有子串中和这个串中sl,rs_{l,r}sl,r​子串有多少个相似的。 1≤n≤105,1≤q≤51051\leq n\leq 10^5,1\leq q\leq 5\times 10^51≤n≤105,1≤…