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 ...
随机推荐
- hadoop的Namenode HA原理详解
为什么要Namenode HA? 1. NameNode High Availability即高可用. 2. NameNode 很重要,挂掉会导致存储停止服务,无法进行数据的读写,基于此NameNod ...
- pytest测试框架+jenkins结合pytest+jenkins邮件通知配置
刚刚做完一个项目,由于这是一个方案项目,而不是产品,所以各种准备很不充分,很多公司的能力不能复用,整个团队又都是新员工,而且有部分实习生,匆忙上马,今天对我的自动化框架做一个回溯 自动化测试框架的选择 ...
- 配置七牛云图床 + Typora
配置七牛云图床工具 使用图床+Typora可以方便快捷的撰写图文博客 我这里以七牛云进行示例,讲解如何去配置 七牛云是属于收费图床,目前还在测试,不过对于使用量不大的我来说应该免费是足够了的,不过需要 ...
- Codeforces Round #638 (Div. 2)
Contest Info Practice Link Solved A B C D E F 4/6 O O Ø Ø O 在比赛中通过 Ø 赛后通过 ! 尝试了但是失败了 - 没有尝试 Sol ...
- 「SCOI2005」互不侵犯 (状压DP)
题目链接 在\(N\times N\) 的棋盘里面放 \(K\)个国王,使他们互不攻击,共有多少种摆放方案.国王能攻击到它上下左右,以及左上左下右上右下八个方向上附近的各一个格子,共\(8\) 个格子 ...
- SPOJ - PHRASES Relevant Phrases of Annihilation
传送门:SPOJ - PHRASES(后缀数组+二分) 题意:给你n个字符串,找出一个最长的子串,他必须在每次字符串中都出现至少两次. 题解:被自己蠢哭...记录一下自己憨憨的操作,还一度质疑评测鸡( ...
- 2019牛客多校 Round5
Solved:4 Rank:122 补题:8/10 A digits 2 签到 把这个数写n遍 #include <bits/stdc++.h> using namespace std; ...
- Kill pending windows service
Get-Service winrm -Verbose $winrmService=Get-CimInstance -ClassName win32_Service |? {$_.Name -eq &q ...
- 前端模块化之ES Module
一.概述 之前提到的几种模块化规范:CommonJS.AMD.CMD都是社区提出的.ES 2015在语言层面上实现了模块功能,且实现简单,可以替代CommonJS和AMD规范,成为在服务器和浏览器通用 ...
- Vue的七种传值方式
目录 1,父传子 2,子传父 3,兄弟组件传值 4,父组件使用子组件的数据和方法 5,子组件使用父组件的数据和方法 6,Vuex传值 6.1,定义store 6.2,挂载 6.3,使用 7,路由传值 ...