luogu4464:莫比乌斯反演,积性函数和伯努利数
题目链接:https://www.luogu.com.cn/problem/P4464
简记$gcd(x,y)=(x,y)$。
推式子:
$\sum_{i=1}^{n}{(i,n)^xlcm(i,n)^y}$
$=\sum_{i=1}^{n}{(i,n)^{x-y}(in)^y}$
$=n^y\sum_{d|n}d^{x-y}\sum_{i}i^y[(i,n)=d]$
$=n^y\sum_{d|n}{d^{x-y}\sum_{i=1}^{\frac{n}{d}}{(id)^y[(i,\frac{n}{d})=1]}}$
$=n^y\sum_{d|n}{d^x\sum_{i=1}^{\frac{n}{d}}{i^y[(i,\frac{n}{d})=1]}}$
$=n^y\sum_{d|n}{d^x\sum_{i=1}^{\frac{n}{d}}{i^y\sum_{k|(i,\frac{n}{d})}{\mu(k)}}}$
改变最后的求和式的顺序,注意k的取值要整除$\frac{n}{d}$。
$=n^y\sum_{d|n}{d^x\sum_{k|\frac{n}{d}}{\mu(k)}\sum_{i=1}^{\frac{n}{dk}}{(ik)^y}}$
$=n^y\sum_{d|n}{d^x\sum_{k|\frac{n}{d}}{\mu(k)k^y}\sum_{i=1}^{\frac{n}{dk}}{i^y}}$
若我们把最后的和式看成是一个y+1次的多项式,它的第i项系数为$t_i$,那么
$=n^y\sum_{j=1}^{y+1}{t_i}\sum_{d|n}{d^x\sum_{k|\frac{n}{d}}{\mu(k)k^y}(\frac{n}{dk})^j}$
(注意最后一项的变化)
注意到后面所有的形式都是积性函数的卷积,因此我们尝试一个质数的若干次方的贡献,最后将其相乘就得到某一个对应的j的答案。
于是对于固定的$d=p^q,n=p^w$,最后一个和式的贡献为$(p^{w-q})^j-p^y(p^{w-q-1})^j$(分别考虑$d=1$和$d=p$)。特别地,若$d=n$,那么贡献为1。如果我们能快速得到所有$t_i$,那么就能在$O(n^{0.25}logn+ylog^3n)$的复杂度完成一次询问。
考虑如何得到$t_i$。一种方法是使用插值,这里讨论使用伯努利数的方法(应用,证明看https://www.luogu.com.cn/blog/chihik/bo-nu-li-shu)。
递归定义:$\sum_{i=0}^{n}{\tbinom{n+1}{i}B_i=[n=0]}$
令$S_m(n)=\sum_{i=0}^{n-1}{i^m}$,那么$S_m(n)=\frac{1}{m+1}\sum_{i=0}^{m}{\tbinom{m+1}{i}B_in^{m+1-i}}$
于是对于上面的y+1次多项式,有$S_y(\frac{n}{dk})=\sum_{i=0}^{\frac{n}{dk}-1}{i^y}=\frac{1}{y+1}\sum_{i=0}^{y}{\tbinom{y+1}{i}{B_i(\frac{n}{dk})^{y+1-i}}}$,所以$t_{y+1-i}=\frac{1}{y+1}\tbinom{y+1}{i}B_i$。(它的零次项系数为0!(这是感叹号,不是阶乘))
但我们注意到少了一项$(\frac{n}{dk})^y$,因此$t_y$需要增加1(对应了$i=1$)。


1 #include<bits/stdc++.h>
2 using namespace std;
3 typedef long long int ll;
4 typedef long double ld;
5 namespace MATH
6 {
7 inline ll mul(ll x,ll y,ll mod)
8 {
9 return ((x*y-(ll)((ld)x*y/mod)*mod)%mod+mod)%mod;
10 }
11 inline ll qpow(ll x,ll y,ll mod)
12 {
13 ll ans=1,base=x;
14 while(y)
15 {
16 if(y&1)
17 ans=mul(ans,base,mod);
18 base=mul(base,base,mod);
19 y>>=1;
20 }
21 return ans;
22 }
23 const int prime[10]={2,3,5,7,11,13,17,19,23,29};
24 const int LEN=10;
25 inline bool miller(ll x)
26 {
27 for(int i=0;i<LEN;++i)
28 {
29 if(x<prime[i])
30 return false;
31 else if(x==prime[i])
32 return true;
33 ll now=x-1,y=qpow(prime[i],x-1,x);
34 if(y!=1)
35 return false;
36 while(now%2==0&&y==1)
37 {
38 now>>=1;
39 y=qpow(prime[i],now,x);
40 if(y!=1&&y!=x-1)
41 return false;
42 }
43 }
44 return true;
45 }
46 ll gcd(ll x,ll y)
47 {
48 return x%y==0?y:gcd(y,x%y);
49 }
50 inline ll f(ll x,ll y,ll mod)
51 {
52 return (mul(x,x,mod)+y)%mod;
53 }
54 inline ll get(ll n,ll c,int steps)
55 {
56 if(!(n&1))
57 return 2;
58 ll x=2,y=2,d=1;
59 while(true)
60 {
61 ll tmpx=x,tmpy=y;
62 for(int i=1;i<=steps;++i)
63 {
64 x=f(x,c,n);
65 y=f(y,c,n);
66 y=f(y,c,n);
67 d=mul(d,((y-x)%n+n)%n,n);
68 }
69 d=gcd(d,n);
70 if(d==1)
71 continue;
72 if(d!=n)
73 return d;
74 x=tmpx,y=tmpy;
75 for(int i=1;i<=steps;++i)
76 {
77 x=f(x,c,n);
78 y=f(y,c,n);
79 y=f(y,c,n);
80 d=gcd(((y-x)%n+n)%n,n);
81 if(d!=1&&d!=n)
82 return d;
83 }
84 return 0;
85 }
86 }
87 vector<ll>wait;
88 void pollard(ll n)
89 {
90 if(miller(n))
91 {
92 wait.push_back(n);
93 return;
94 }
95 ll now=0,c=1,g=pow(n,0.1)+1;
96 while(!now)
97 now=get(n,++c,g);
98 pollard(now),pollard(n/now);
99 }
100 }
101 const ll mod=1000000007;
102 ll C[3005][3005],B[3005];
103 inline ll qpow(ll x,ll y)
104 {
105 ll ans=1,base=x%mod;
106 while(y)
107 {
108 if(y&1)
109 ans=ans*base%mod;
110 base=base*base%mod;
111 y>>=1;
112 }
113 return ans;
114 }
115 inline void init()
116 {
117 for(int i=0;i<=3004;++i)
118 {
119 C[i][0]=1;
120 for(int j=1;j<=i;++j)
121 C[i][j]=(C[i-1][j-1]+C[i-1][j])%mod;
122 }
123 B[0]=1;
124 for(int i=1;i<=3002;++i)
125 {
126 for(int j=0;j<i;++j)
127 B[i]=(B[i]+B[j]*C[i+1][j])%mod;
128 B[i]=(B[i]*qpow(-i-1,mod-2)%mod+mod)%mod;
129 }
130 }
131 ll tmp[3005];
132 inline void solve()
133 {
134 ll n,x,y;
135 cin>>n>>x>>y;
136 MATH::wait.clear();
137 MATH::pollard(n);
138 vector<ll>wait=MATH::wait;
139 map<ll,int>vis;
140 for(ll x:wait)
141 ++vis[x];
142 ll ans=0;
143 for(int i=0;i<=y;++i)
144 tmp[y+1-i]=C[y+1][i]*B[i]%mod*qpow(y+1,mod-2)%mod;
145 tmp[y]+=1;
146 for(int i=1;i<=y+1;++i)
147 {
148 ll s=1;
149 for(auto A:vis)
150 {
151 ll p=A.first,k=A.second;
152 ll g=0;
153 ll now=1,delta=qpow(p,x);
154 ll G=qpow(p,y);
155 for(int j=0;j<k;++j,now=now*delta%mod)
156 g=(g+now*(qpow(qpow(p,k-j),i)-G*qpow(qpow(p,k-j-1),i)%mod)%mod)%mod;
157 g=(g+now%mod)%mod;
158 s=s*g%mod;
159 }
160 ans=(ans+tmp[i]*s)%mod;
161 }
162 ans=ans*qpow(n%mod,y)%mod;
163 ans=(ans%mod+mod)%mod;
164 cout<<ans<<endl;
165 }
166 int main()
167 {
168 ios::sync_with_stdio(false);
169 init();
170 int T;
171 cin>>T;
172 while(T--)
173 solve();
174 return 0;
175 }
luogu4464:莫比乌斯反演,积性函数和伯努利数的更多相关文章
- BZOJ 2693: jzptab 莫比乌斯反演 + 积性函数 +筛法
Code: #include<bits/stdc++.h> #define ll long long #define M 10001000 #define maxn 10200100 #d ...
- BZOJ 2694: Lcm 莫比乌斯反演 + 积性函数 + 线性筛 + 卡常
求 $\sum_{i=1}^{n}\sum_{j=1}^{m}lcm(i,j)\mu(gcd(i,j))^2$ $\Rightarrow \sum_{d=1}^{n}\mu(d)^2\sum_{i ...
- bzoj2693--莫比乌斯反演+积性函数线性筛
推导: 设d=gcd(i,j) 利用莫比乌斯函数的性质 令sum(x,y)=(x*(x+1)/2)*(y*(y+1)/2) 令T=d*t 设f(T)= T可以分块.又由于μ是积性函数,积性函数的约束和 ...
- 莫比乌斯反演/线性筛/积性函数/杜教筛/min25筛 学习笔记
最近重新系统地学了下这几个知识点,以前没发现他们的联系,这次总结一下. 莫比乌斯反演入门:https://blog.csdn.net/litble/article/details/72804050 线 ...
- P6222 「简单题」加强版 莫比乌斯反演 线性筛积性函数
LINK:简单题 以前写过弱化版的 不过那个实现过于垃圾 少预处理了一个东西. 这里写一个实现比较精细了. 最后可推出式子:\(\sum_{T=1}^nsum(\frac{n}{T})\sum_{x| ...
- Mobius反演与积性函数前缀和演学习笔记 BZOJ 4176 Lucas的数论 SDOI 2015 约数个数和
下文中所有讨论都在数论函数范围内开展. 数论函数指的是定义域为正整数域, 且值域为复数域的函数. 数论意义下的和式处理技巧 因子 \[ \sum_{d | n} a_d = \sum_{d | n} ...
- 积性函数&线性筛&欧拉函数&莫比乌斯函数&因数个数&约数个数和
只会搬运YL巨巨的博客 积性函数 定义 积性函数:对于任意互质的整数a和b有性质f(ab)=f(a)f(b)的数论函数. 完全积性函数:对于任意整数a和b有性质f(ab)=f(a)f(b)的数论函数 ...
- bzoj 4407 于神之怒加强版 —— 反演+筛积性函数
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4407 推导如这里:https://www.cnblogs.com/clrs97/p/5191 ...
- bzoj 2693: jzptab 线性筛积性函数
2693: jzptab Time Limit: 10 Sec Memory Limit: 512 MBSubmit: 444 Solved: 174[Submit][Status][Discus ...
随机推荐
- freemarket+itext+springboot将html静态页面渲染后导出为pdf文件
1.maven依赖 <dependency> <groupId>com.itextpdf</groupId> <artifactId>itextpdf& ...
- nginx教程<一>
2020最新Nginx教程全面讲解教程,感觉讲的很不错但是需要有docker基础,因为是基于docker快速搭建的nginx. 1.为什么要学习Nginx 肯定是工作和业务需求催生的学习需要哈哈,不过 ...
- 使用 with as 优化SQL
当我们书写一些结构相对复杂的SQL语句时,可能某个子查询在多个层级多个地方存在重复使用的情况,这个时候我们可以使用 with as 语句将其独立出来,极大提高SQL可读性,简化SQL~ with as ...
- gym100923C. Por Costel and Bujor (高斯消元)
题意:简化一下 就是解N个 系数矩阵一样 等式右边列矩阵不一样的方程组 题解:系数矩阵一样 为什么我却毫无办法???? 其实只要把等式右边的矩阵都排在后面就好了啊 就变成解一个N x 2N的方程组了 ...
- Codeforces Round #479 (Div. 3) D. Divide by three, multiply by two (DFS)
题意:给你一个长度为\(n\)的序列\(a\).对它重新排列,使得\(a_{i+1}=a_{i}/3\)或\(a_{i+1}=2*a_{i}\).输出重新排列后的序列. 题解:经典DFS,遍历这个序列 ...
- Codeforces Global Round 9 C. Element Extermination (思维,栈)
题意:有一个长度\(n\)的序列,如果\(a_{i}<a_{i+1}\),那么可以选择删除\(a_{i}\)或者\(a_{i+1}\),再继续操作,问是否能够将序列删到只剩一个元素. 题解:感觉 ...
- Java基础(第一期)
Java基础 1.注释 Java中注释有三种: 单行注释 // 多行注释 /* */ 文本注释(用的较少) /** */ 书写注释是一个非常好的习惯 BAT 平时写代码一定要注意规范 //有趣的代码注 ...
- HttpClient客户端网络编程——高可用、高并发
本文是HttpClient的学习博客,RestTemplate是基于HttpClient的封装,feign可基于HttpClient进行网络通信. 那么作为较底层的客户端网络编程框架,该怎么配置使其能 ...
- 使VS开发的程序在Win7系统运行时自动提升权限
软件开发时,总是会遇到在Win7系统上运行不起来或者异常的情况,这通常是用户的权限不够引起的. 下面提供一个可以使程序运行时,自动提升用户权限的方法. 1.右键点击启动项目,单击"属性&qu ...
- JavaScript DOM操作之查找元素节点
概要: 编程接口 可通过 JavaScript 对 HTML DOM 进行访问. 所有 HTML 元素被定义为对象,而编程接口则是对象方法和对象属性. 方法是您能够执行的动作(比如添加或修改元素). ...