标签：frac limits int sum varphi 毒瘤 cdot 之神 P4240
Description
Solution
首先想到要把 \(\varphi(ij)\) 拆开，这里有个公式
\[\varphi(ij)=\dfrac{\varphi(i)\varphi(j)\gcd(i,j)}{\varphi(\gcd(i,j))} \]考虑证明，有
\[\begin{aligned} \varphi(i)\varphi(j) &= i\prod\limits_{p|i,p\in \mathtt{prime}}\frac{p-1}{p}\cdot j \prod\limits_{p|j,p\in\mathtt{prime}}\frac{p-1}{p}\\ &= ij\prod\limits_{p|ij,p\in\mathtt{prime}}\frac{p-1}{p}\cdot \prod\limits_{p|\gcd(i,j),p\in\mathtt{prime}}\frac{p-1}{p} \end{aligned} \]也就是 \(i,j\) 的并加上 \(i,j\) 的交。 接下来进入推柿子环节
\[\begin{aligned} \sum\limits_{i=1}^{n}\sum\limits_{j=1}^{m} \varphi(ij) &= \sum\limits_{i=1}^{n}\sum\limits_{j=1}^{m} \frac{\varphi(i)\varphi(j)\gcd(i,j)}{\varphi(\gcd(i,j))} \\&= \sum\limits_{d=1}^{n}\sum\limits_{i=1}^{n}\sum\limits_{j=1}^{m} \frac{\varphi(i)\varphi(j)d[\gcd(i,j)=d]}{\varphi(d)} \\&= \sum\limits_{d=1}^{n}\frac{d}{\varphi(d)}\sum\limits_{i=1}^{n}\sum\limits_{j=1}^{m }\varphi(i)\varphi(j)[\gcd(i,j)=d] \\&= \sum\limits_{d=1}^{n}\frac{d}{\varphi(d)}\sum_{t=1}^{n/d}\mu(t)\cdot \sum\limits_{i=1}^{n/(dt)}\sum\limits_{j=1}^{m/(dt)}\varphi(idt)\varphi(jdt) \\&= \sum\limits_{k=1}^{n}\sum\limits_{d|k} \frac{d\cdot\mu(k/d)}{\varphi(d)} \sum\limits_{i=1}^{n/k }\varphi(ik)\sum\limits_{j=1}^{m/k }\varphi(jk) \end{aligned} \]记 \(\displaystyle f(k)=\sum\limits_{d|k} \frac{d\cdot\mu(k/d)}{\varphi(d)},g(k,n)=\sum\limits_{i=1}^{n}\varphi(ik)\)，容易发现这两个函数都容易在调和级数的复杂度内预处理出来。然而 \(\mathcal O(nT)\) 仍然是不现实的。如果是 CF 我就直接上了。
考虑怎么优化，还是将优化重点放在整除分块上
\[\sum_{i=1}^n\sum_{j=1}^m\varphi(ij)=\sum_{k=1}^nf(k)\cdot g(k,n/k)\cdot g(k,m/k) \]记 \(\displaystyle h(a,b,n)=\sum_{k=1}^nf(k)\cdot g(k,a)\cdot g(k,b)\)，于是可以整除分块
\[\sum_{i=1}^n\sum_{j=1}^m\varphi(ij)=\sum_{n/l=n/r,\ m/l=m/r}h(n/r,m/r,r)-h(n/r,m/r,l-1) \]问题是，预处理 \(h\) 的复杂度是很高的，这里可以考虑 根号分治 —— 设定阈值 \(B\)，将 \(a,b\leqslant B\) 的 \(h\) 预处理出来，不难发现这是 \(\mathcal O(nB^2)\) 的。当查询的时候，若 \(n/r\leqslant B\) 就直接 \(\mathcal O(1)\) 查询，否则有 \(r\leqslant n/B\)，干脆不差分直接暴力算就是 \(\mathcal O(n/B)\) 的。
复杂度 \(\mathcal O\left(n\ln n+nB^2+\left(n^{1/2}+n/B\right)T\right)\).
块长可以用均值不等式来算，总复杂度算出来大概是 \(\mathcal O(6\cdot 10^7)\).
Code
# include <cstdio>
# include <cctype>
# define print(x,y) write(x), putchar(y)
template <class T>
inline T read(const T sample) {
T x=0; char s; bool f=0;
while(!isdigit(s=getchar())) f|=(s=='-');
for(; isdigit(s); s=getchar()) x=(x<<1)+(x<<3)+(s^48);
return f? -x: x;
}
template <class T>
inline void write(T x) {
static int writ[50], w_tp=0;
if(x<0) putchar('-'), x=-x;
do writ[++w_tp]=x-x/10*10, x/=10; while(x);
while(putchar(writ[w_tp--]^48), w_tp);
}
# include <vector>
# include <iostream>
using namespace std;
const int B = 20;
const int maxn = 1e5+5;
const int mod = 998244353;
int inv(int x,int y=mod-2,int r=1) {
for(; y; y>>=1, x=1ll*x*x%mod)
if(y&1) r=1ll*r*x%mod; return r;
}
bool is[maxn];
vector <int> g[maxn]; int h[B+1][B+1][maxn];
int phi[maxn], mu[maxn], pc, p[maxn], f[maxn];
int beelzebul(int n,int m) {
int ans=0; if(n>m) swap(n,m);
for(int i=1;i<=m/B+1;++i)
ans = (ans+1ll*f[i]*g[i][n/i]%mod*g[i][m/i]%mod)%mod;
for(int l=m/B+2, r; l<=n; l=r+1) {
r = min(n, min(n/(n/l),m/(m/l)));
ans = (0ll+ans+h[n/r][m/r][r]-h[n/r][m/r][l-1])%mod;
}
return (ans+mod)%mod;
}
int func(int i,int a,int b) {
if(a>=g[i].size() || b>=g[i].size()) return 0;
return 1ll*f[i]*g[i][a]%mod*g[i][b]%mod;
}
void sieve() {
phi[1]=mu[1]=1;
for(int i=2;i<=maxn-5;++i) {
if(!is[i]) p[++pc]=i,
mu[i]=-1, phi[i]=i-1;
for(int j=1; j<=pc && i*p[j]<=maxn-5; ++j) {
is[i*p[j]] = true, mu[i*p[j]]=-mu[i];
if(i%p[j]==0) {
phi[i*p[j]] = phi[i]*p[j];
mu[i*p[j]]=0; break;
} phi[i*p[j]] = phi[i]*(p[j]-1);
}
}
for(int i=1;i<=maxn-5;++i) {
const int coe = 1ll*i*inv(phi[i])%mod;
g[i].emplace_back(0);
for(int j=i;j<=maxn-5;j+=i)
f[j] = (1ll*coe*mu[j/i]+f[j])%mod,
g[i].emplace_back((g[i][j/i-1]+phi[j])%mod);
}
for(int a=1;a<=B;++a) for(int b=1;b<=B;++b)
for(int i=1;i<=maxn-5;++i)
h[a][b][i] = (h[a][b][i-1]+func(i,a,b))%mod;
}
int main() {
sieve();
for(int T=read(9); T; --T) {
int n=read(9), m=read(9);
print(beelzebul(n,m),'\n');
}
return 0;
}
标签：frac,limits,int,sum,varphi,毒瘤,cdot,之神,P4240 来源： https://www.cnblogs.com/AWhiteWall/p/16448866.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。