[Luogu P2257] YY的GCD (莫比乌斯函数)
题面
传送门:洛咕
Solution
推到自闭,我好菜啊
显然,这题让我们求:
\(\large \sum_{i=1}^{n}\sum_{j=1}^{m}[gcd(i,j)\in prime]\)
根据套路,我们可以把判断是否为质数改为枚举这个质数,有:
为了方便枚举,我们在这里假设有\(m>n\)
\(\large \sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{k\in prime}^{n}[gcd(i,j)= k]\)
显然,要让\(gcd(i,j)=k\),必须要有\(i,j\)均为\(k\)的倍数,因此有:
\(\large \sum_{k\in prime}^{n}\sum_{i=1}^{n/k}\sum_{j=1}^{m/k}[gcd(i,j)= 1]\) (在这里除号指向下取整)
根据套路,我们要去掉这里的判断符号。因为我们的莫比乌斯函数有这个性质:\([x=1]=\sum_{d|x}\mu(d)\),我们这里可以直接把\(gcd(i,j)\)作为\(x\)带入这个性质里面,有:
\(\large \sum_{k\in prime}^{n}\sum_{i=1}^{n/k}\sum_{j=1}^{m/k}\sum_{d|gcd(i,j)}\mu(d)\)
然后根据套路,我们直接枚举这里的\(d\),有:
\(\large \sum_{k\in prime}^{n}\sum_{i=1}^{n/k}\sum_{j=1}^{m/k}\sum_{d=1}^{n/k}μ(d)[d|gcd(i,j)]\) (因为前面\(i,j\)中最小的是\(n/k\),所以说我们这里\(d\)的最大值也为\(n/k\))
然后我们这里的\(\sum_{d=1}^{n/k}\)显然可以直接往前提
\(\large \sum_{k\in prime}^{n}\sum_{d=1}^{n/k}\sum_{i=1}^{n/k}\sum_{j=1}^{m/k}μ(d)[d|gcd(i,j)]\)
这时候\(\mu(d)\)显然也可以往前提
\(\large \sum_{k\in prime}^{n}\sum_{d=1}^{n/k}μ(d)\sum_{i=1}^{n/k}\sum_{j=1}^{m/k}[d|gcd(i,j)]\)
这时候,我们可以发现后面那个判断式为1当且仅当\(i,j\)均为\(d\)的倍数,所以我们可以直接把那两个\(\sum\)简化掉
\(\large \sum_{k\in prime}^{n}\sum_{d=1}^{n/k}μ(d)\frac{n}{k*d}\frac{m}{k*d}\)
这时候,我们已经可以在\(O(logn*\sqrt n)\)的时间内算一次答案了(这里的\(log\)为质数个数),很可惜,这样的复杂度并不能通过这一题。
事实上,我们还有一个常见的套路来优化这里:
我们可以设\(T=k*d\),于是我们有:
\(\large \sum_{k\in prime}^{n}\sum_{d=1}^{n/k}μ(\frac{T}{k})\frac{n}{T}\frac{m}{T}\)
然后可以把后面那个和式提前,枚举T,有:
\(\large \sum_{T=1}^{n}\frac{n}{T}\frac{m}{T}\sum_{(k\in prime,k|T)}μ(\frac{T}{k})\)
搞定,到这里为止,我们一切东西都可以算了。
前面的\(\frac{n}{T}\frac{m}{T}\)可以整除分块来搞,后面那个\(μ\)可以在\(O(n)\)的时间预处理,然后算的时候前缀和一搞就ok啦。
如何预处理呢?我们可以考虑这样做:我们先枚举每一个质数\(x\),再考虑这个\(x\)对它的整数倍\(t\)的贡献为\(\mu(t)\)
酱紫,我们就可以在\(O(\sqrt n)\)的时间内处理每一个询问了。
完结撒花✿✿ヽ(°▽°)ノ✿
Code
//Luogu P2257 YY的GCD
//Jan,22ed,2019
//莫比乌斯反演
#include<iostream>
#include<cstdio>
using namespace std;
long long read()
{
	long long x=0,f=1; char c=getchar();
	while(!isdigit(c)){if(c=='-') f=-1;c=getchar();}
	while(isdigit(c)){x=x*10+c-'0';c=getchar();}
	return x*f;
}
const int N=10000000+1000;
const int M=10000000;
int mu[N],prime[N],cnt_p;
bool noPrime[N];
void GetPrime(int n)
{
	mu[1]=1;
	noPrime[1]=true;
	for(int i=2;i<=n;i++)
	{
		if(noPrime[i]==false)
			prime[++cnt_p]=i,mu[i]=-1;
		for(int j=1;j<=cnt_p and i*prime[j]<=n;j++)
		{
			noPrime[i*prime[j]]=true;
			if(i%prime[j]==0)
			{
				mu[i*prime[j]]=0;
				break;
			}
			mu[i*prime[j]]=mu[i]*mu[prime[j]];
		}
	}
}
long long f[N],pre_f[N];
int main()
{
	int t=clock();
	GetPrime(M);
	for(int i=1;i<=cnt_p;i++)
		for(int j=1;prime[i]*j<=M;j++)
			f[prime[i]*j]+=mu[j];
	for(int i=1;i<=M;i++)
		pre_f[i]=pre_f[i-1]+f[i];
	int T=read();
	for(;T>0;T--)
	{
		long long n=read(),m=read();
		if(n>m) swap(n,m);
		int l=1,r=1;
		long long ans=0;
		for(;l<=n;l=r+1)
		{
			r=min(n/(n/l),m/(m/l));
			ans+=(pre_f[r]-pre_f[l-1])*(n/l)*(m/l);
		}
		printf("%lld\n",ans);
	}
	cerr<<clock()-t;
	return 0;
}
												
											[Luogu P2257] YY的GCD (莫比乌斯函数)的更多相关文章
- Luogu P2257 YY的GCD 莫比乌斯反演
		
第一道莫比乌斯反演...$qwq$ 设$f(d)=\sum_{i=1}^n\sum_{j=1}^m[gcd(i,j)==d]$ $F(n)=\sum_{n|d}f(d)=\lfloor \frac{N ...
 - 洛谷 - P2257 - YY的GCD - 莫比乌斯反演 - 整除分块
		
https://www.luogu.org/problemnew/show/P2257 求 \(n,m\) 中 \(gcd(i,j)==p\) 的数对的个数 求 $\sum\limits_p \sum ...
 - BZOJ 2820 luogu 2257 yy的gcd (莫比乌斯反演)
		
题目大意:求$gcd(i,j)==k,i\in[1,n],j\in[1,m] ,k\in prime,n,m<=10^{7}$的有序数对个数,不超过10^{4}次询问 莫比乌斯反演入门题 为方便 ...
 - 洛谷P2257 YY的GCD 莫比乌斯反演
		
原题链接 差不多算自己推出来的第一道题QwQ 题目大意 \(T\)组询问,每次问你\(1\leqslant x\leqslant N\),\(1\leqslant y\leqslant M\)中有多少 ...
 - Luogu P2257 YY的GCD
		
莫比乌斯反演第一题.莫比乌斯反演入门 数论题不多BB,直接推导吧. 首先,发现题目所求\(ans=\sum_{i=1}^n\sum_{j=1}^m [\gcd(i,j)=prime]\) 考虑反演,我 ...
 - 【题解】Luogu P2257 YY的GCD
		
原题传送门 这题需要运用莫比乌斯反演(懵逼钨丝繁衍) 显然题目的答案就是\[ Ans=\sum_{i=1}^N\sum_{j=1}^M[gcd(i,j)=prime]\] 我们先设设F(n)表示满足\ ...
 - P2257 YY的GCD (莫比乌斯反演)
		
题意:求\[\sum_{i=1}^{n}\sum_{j=1}^{m}[gcd(i,j) = prim]\] 题解:那就开始化式子吧!! \[f(d) = \sum_{i=1}^{n}\sum_{j=1 ...
 - P2257 YY的GCD
		
P2257 YY的GCD 题目描述 神犇YY虐完数论后给傻×kAc出了一题 给定N, M,求1<=x<=N, 1<=y<=M且gcd(x, y)为质数的(x, y)有多少对 k ...
 - 洛谷 P2257 YY的GCD
		
洛谷 P2257 YY的GCD \(solution:\) 这道题完全跟[POI2007]ZAP-Queries (莫比乌斯反演+整除分块) 用的一个套路. 我们可以列出答案就是要我们求: \(ans ...
 
随机推荐
- 手把手撸套框架-Victory框架1.1 详解
			
目录 上一篇博客 Victory框架1.0 详解 有说道,1.0的使用过程中出现不少缺点,比如菜单不能折叠,权限没有权限组等等. 所以,我还是抽出时间在下班后,回到我的小黑屋里 完成了1.1的升级. ...
 - Java知识系统回顾整理01基础05控制流程04 for
			
一.for 比较for和while public class HelloWorld { public static void main(String[] args) { //使用while打印0到4 ...
 - Python3——字典
			
Python 字典(Dictionary) 字典是另一种可变容器模型,且可存储任意类型对象. 字典的每个键值(key=>value)对用冒号(:)分割,每个对之间用逗号(,)分割,整个字典包括在 ...
 - PADS Layout VX.2.3 修改层名
			
操作系统:Windows 10 x64 工具1:PADS Layout VX.2.3 点击菜单Setup > Layer Definition... 在Layers Setup窗口中,选择相应的 ...
 - tomcat 验证码显示问题
			
在Web开发中使用验证码时可能遇到的问题:java.lang.NoClassDefFoundError: Could not initialize class sun.awt.X11GraphicsE ...
 - 多测师讲解html _图片标签003_高级讲师肖sir
			
<!DOCTYPE html><html> <head> <meta charset="UTF-8"> <title>段 ...
 - OpenCV开发笔记(七十):红胖子带你傻瓜式编译VS2017x64版本的openCV4
			
前言 红胖子来也!!! opencv_contrib是opencv提供额外的工具,提供一些基础算法,之前编译了不带opencv_contrib的版本,不带opencv_contrib的cuda硬 ...
 - MeteoInfoLab脚本示例:站点填图
			
打开包含站点填图的站点数据文件(比如micaps 1)之后,用文件对象的smodeldata函数获取StationModel数据对象,然后用stationmodel函数绘制站点填图图层.脚本程序: # ...
 - MeteoInfoLab脚本示例:数据投影-FLEXPART
			
FLEXPART是一个类似HYSPLIT的扩散模式,它输出的netcdf文件参照了WRF,可惜全局属性没有写全,比如只有一个投影名称(例如Lambert),没有相关的投影参数:中央经度,标准纬度等等. ...
 - 单调队列+线性dp题Watching Fireworks is Fun (CF372C)
			
一.Watching Fireworks is Fun(紫题) 题目:一个城镇有n个区域,从左到右1编号为n,每个区域之间距离1个单位距离节日中有m个烟火要放,给定放的地点ai,时间ti当时你在x,那 ...