首页 > 其他分享 >gcd之和(一维)

gcd之和(一维)

时间:2024-07-23 15:25:22浏览次数:17  
标签:gcd int sum varphi times 一维 ans

gcd之和

求 ∑ i = 1 n gcd ⁡ ( n , i ) \sum_{i=1}^{n}\gcd(n,i) ∑i=1n​gcd(n,i)。


那么我们这一道题讲得详细一点。因为这一道题目的 n ≤ 1 0 9 n \leq 10^9 n≤109。这也就导致了一些算法是过不了的,那么我们就先从最简单的讲起:


对每一项来一遍 gcd ⁡ \gcd gcd ,然后 gcd ⁡ \gcd gcd 我们也使用最简单的哪一种去做,也就是从小到大跑,时间复杂度 O ( n 2 ) O(n^2) O(n2)。

#include<bits/stdc++.h>
using namespace std;
int gcd(int a,int b)
{
    int ans=0;
    int n=min(a,b);
    for(int i=1;i<=n;++i)
	{
        if(a%i==0&&b%i==0)
		{
            ans=i;
        }
    }
    return ans;
}
int main()
{
    int n;
    cin>>n;
    int ans=0;
    for(int i=1;i<=n;++i)
	{
        ans+=gcd(n,i);
    }
    cout<<ans<<endl;
    return 0;
}

如果想要快点还可以使用分解质因数,前面讲过了,不说了,那么就可以得到这个式子:
gcd ⁡ ( a , b ) = ∏ i = 1 q p 1 min ⁡ ( x 1 , y 1 ) × p 2 min ⁡ ( x 2 , y 2 ) × ⋯ × p i min ⁡ ( x i , y i ) \gcd(a,b)=\prod_{i=1}^{q} p_1^{\min(x_1,y_1)} \times p_2^{\min(x_2,y_2)} \times \dots \times p_i^{\min(x_i,y_i)} gcd(a,b)=i=1∏q​p1min(x1​,y1​)​×p2min(x2​,y2​)​×⋯×pimin(xi​,yi​)​
那么只要把 gcd ⁡ \gcd gcd 改成这样子就好了:

int gcd(int a,int b)
{
	int ans=1;
	for(int i=2;i*i<=max(a,b);i++)
	{
		if(a%i==0||b%i==0)
		{
			while(a%i==0&&b%i==0)
			{
				ans*=i;
				a/=i;
				b/=i;
			}
			while(a%i==0)
			{
				a/=i;
			}
			while(b%i==0)
			{
				b/=i;
			}
		}
	}
	if(a==b)
		ans*=a;
	return ans;
}

那么因为分解质因数是 O ( n ) O(\sqrt{n}) O(n ​) 的时间复杂度,那么这个代码的时间复杂度就是 O ( n n ) O(n \sqrt{n}) O(nn ​)。


当然了,最经典的求 gcd ⁡ \gcd gcd 的方法当然是我们的辗转相除法啦,那么代码上面也有,再放一下吧。

int gcd(int a, int b)
{
	return b?gcd(b,a%b):a;
}

因为辗转相除法的时间复杂度是 O ( log ⁡ n ) O(\log n) O(logn),那么总的时间复杂度就是 O ( n log ⁡ n ) O(n \log n) O(nlogn) 。显然还是不够的。


我们现在不妨来推测一下,因为 n ≤ 2 × 1 0 9 n \leq 2 \times 10^9 n≤2×109 ,所以说连线性的复杂度都吃不消,那么我们只能想到了 l o g log log 或者是 n \sqrt{n} n ​。显然 log ⁡ \log log 我也不确定有没有,就算有我也不会,我太弱了qwq。所以我们就要奔着 n \sqrt n n ​ 的目标去。我们先来求一下线性的。首先我们要认清楚一件事情,既然是要线性的,那么也就是说我们的枚举目标要改了,如果在去枚举 i i i 的话,这样子的话也就是让 gcd ⁡ \gcd gcd 做到 O ( 1 ) O(1) O(1) 的时间复杂度,那是绝对不可能的吧。也就是我们要把枚举的东西从 i i i 换到 gcd ⁡ \gcd gcd 本身上。然后就得到了下面这个式子。
∑ i = 1 n gcd ⁡ ( i , n ) = ∑ d ∣ n d ∑ i = 1 n d [ gcd ⁡ ( i d , n ) = d ] \sum_{i=1}^n \gcd(i,n) = \sum_{d\mid n}d\sum_{i=1}^{\frac{n}{d}} \left[\gcd(id,n)=d\right] i=1∑n​gcd(i,n)=d∣n∑​di=1∑dn​​[gcd(id,n)=d]
再进行化简(这个方法的数学要求度极高,不过有用)
∑ d ∣ n d ∑ i = 1 n d [ gcd ⁡ ( i , n d ) = 1 ] = ∑ d ∣ n d ⋅ φ ( n d ) \sum_{d\mid n} d\sum_{i=1}^{\frac{n}{d}} \left[\gcd\left(i,\frac{n}{d}\right) = 1\right] = \sum_{d\mid n}d\cdot\varphi\left(\frac{n}{d}\right) d∣n∑​di=1∑dn​​[gcd(i,dn​)=1]=d∣n∑​d⋅φ(dn​)
然后我们就找到了一位好朋友,欧拉函数的影子(是根号做法的关键)。然后上面讲过欧拉函数是一个积性函数,对吧。也就是说 φ ( a b ) = φ ( a ) φ ( b ) \varphi(ab) = \varphi(a)\varphi(b) φ(ab)=φ(a)φ(b) ,不过 a , b a,b a,b 必须互质,具体的证明可以使用中国剩余定理,不会的同学,翻上面。开始证明:

对于任意正整数使得 x ≤ a , y ≤ b x \leq a,y \leq b x≤a,y≤b 使得 gcd ⁡ ( a , x ) = 1 , gcd ⁡ ( b , y ) = 1 \gcd(a,x)=1,\gcd(b,y)=1 gcd(a,x)=1,gcd(b,y)=1。

存在一个整数 z ≤ a b z \leq ab z≤ab 使得
gcd ⁡ ( z , a b ) = 1 ,   z ≡ x ( m o d a ) ,   z ≡ y ( m o d b ) \gcd(z,ab) = 1, \ z\equiv x\pmod a,\ z\equiv y \pmod b gcd(z,ab)=1, z≡x(moda), z≡y(modb)
那么我们开始构造, z ≡ y a A + x b B ( m o d a b ) z\equiv yaA+xbB\pmod {ab} z≡yaA+xbB(modab)。

其中 a A ≡ 1 ( m o d b ) ,    b B ≡ 1 ( m o d a ) aA\equiv 1\pmod b,\ \ bB\equiv 1 \pmod a aA≡1(modb),  bB≡1(moda)。

那么因为 a , b a,b a,b 互质,所以肯定存在 A , B A,B A,B。

然后对于任意的正整数 z ≤ z b z \leq zb z≤zb 使得 gcd ⁡ ( z , a b ) = 1 \gcd(z,ab)=1 gcd(z,ab)=1。

显然的, a a a 和 z z z , b b b 和 z z z 都是互质的。

也就是说一定存在正整数 x , y x,y x,y 满足:
gcd ⁡ ( a , x ) = gcd ⁡ ( b , y ) = 1 ,    z ≡ x ( m o d a ) ,    z ≡ y ( m o d b ) \gcd(a,x) = \gcd(b,y) = 1, \ \ z\equiv x\pmod a,\ \ z\equiv y\pmod b gcd(a,x)=gcd(b,y)=1,  z≡x(moda),  z≡y(modb)
所以存在一个从 { 0 < x ≤ a ∣ gcd ⁡ ( a , x ) = 1 } × { 0 < y ≤ b ∣ gcd ⁡ ( b , y ) = 1 } \{0< x\leq a|\gcd(a,x) = 1\}\times \{0< y\leq b|\gcd(b,y)=1\} {0<x≤a∣gcd(a,x)=1}×{0<y≤b∣gcd(b,y)=1} 到 { 0 < z ≤ a b ∣ gcd ⁡ ( z , a b ) = 1 } \{0< z\leq ab|\gcd(z,ab)=1\} {0<z≤ab∣gcd(z,ab)=1} 的双射,说明这两个集合的大小相同

所以 φ ( a b ) = φ ( a ) φ ( b ) \varphi(ab) = \varphi(a)\varphi(b) φ(ab)=φ(a)φ(b)。

所以我们可以得到 φ ( p x ) = p x − p x − 1 \varphi(p^x) = p^x - p^{x-1} φ(px)=px−px−1。

所以我们暴力枚举约数:

#include<bits/stdc++.h>
#define int long long
using namespace std;
int phi(int n)
{
	int ans=n;
	for(inti=2;i*i<=n;++i)
	{
		if(n%i)
			ans=ans/i*(i-1);
		while(n%i==0)
			n/=i;
	}
	if(n>1)
		ans=ans/n*(n-1);
	return ans;
}
signed main()
{
	int ans=0;
	int n;
	cin>>n;
	int i=1;
	for(;i*i<n;++i)
	{
		if(n%i==0)
		{
			ans+=i*phi(n/i)+n/i*phi(i);
		}
	}
	if(i*i==n)
		ans+=i*phi(i);
	cout<<ans<<endl;
	return 0;
}

时间复杂度接近于 O ( n ) O(n) O(n),那么很明显,还是过不了,怎么办?


接下来的话我们就需要发现~~(bdfs)~~得到一个结果: g ( n ) = ∑ d ∣ n d φ ( n d ) g(n)=\sum_{d|n}d\varphi(\frac{n}{d}) g(n)=∑d∣n​dφ(dn​)。

证明我也不会,直接求吧:

原式就等于 ∑ d ∣ n ∑ e ∣ m d e ⋅ φ ( m n d e ) = ∑ h ∣ m n h ⋅ φ ( m n h ) = g ( m n ) \sum_{d\mid n}\sum_{e\mid m}de\cdot \varphi(\frac{mn}{de}) = \sum_{h\mid mn} h\cdot \varphi(\frac{mn}h) = g(mn) ∑d∣n​∑e∣m​de⋅φ(demn​)=∑h∣mn​h⋅φ(hmn​)=g(mn)。

直接将 n n n 进行一波因式分解
n = ∏ i = 1 q p i a i = p 1 a 1 × p 2 a 2 × p 3 a 3 × ⋯ × p q a q n = \prod_{i=1}^q p_i^{a_i} = p_1^{a_1}\times p_2^{a_2}\times p_3^{a_3} \times \cdots \times p_q^{a_q} n=i=1∏q​piai​​=p1a1​​×p2a2​​×p3a3​​×⋯×pqaq​​
所以得到了一个式子
g ( n ) = ∏ i = 1 q g ( p i a i ) = g ( p 1 a 1 ) × g ( p 2 a 2 ) × g ( p 3 a 3 ) × ⋯ × g ( p q a q ) g(n) = \prod_{i=1}^q g(p_i^{a_i}) = g(p_1^{a_1})\times g(p_2^{a_2})\times g(p_3^{a_3})\times \cdots\times g(p_q^{a_q}) g(n)=i=1∏q​g(piai​​)=g(p1a1​​)×g(p2a2​​)×g(p3a3​​)×⋯×g(pqaq​​)
然后我们再考虑:
g ( p a ) = ∑ d ∣ p a d ⋅ φ ( p a d ) = ∑ i = 0 a p i φ ( p a − i ) = ∑ i = 0 a − 1 p i φ ( p a − i ) + p a φ ( 1 ) g(p^a) = \sum_{d\mid p^a}d\cdot \varphi(\frac{p^a}{d}) = \sum_{i=0}^a p^i\varphi(p^{a-i}) = \sum_{i=0}^{a-1}p^i\varphi(p^{a-i})+p^a\varphi(1) g(pa)=d∣pa∑​d⋅φ(dpa​)=i=0∑a​piφ(pa−i)=i=0∑a−1​piφ(pa−i)+paφ(1)

g ( p a ) = p a + ∑ i = 0 a − 1 p i ( p a − i − p a − i − 1 ) = p a + ∑ i = 0 a − 1 ( p a − p a − 1 ) = ( a + 1 ) p a − a p a − 1 g(p^a) = p^a + \sum_{i=0}^{a-1}p^i\left(p^{a-i}-p^{a-i-1}\right) = p^a + \sum_{i=0}^{a-1}\left(p^{a}-p^{a-1}\right) = (a+1)p^a-ap^{a-1} g(pa)=pa+i=0∑a−1​pi(pa−i−pa−i−1)=pa+i=0∑a−1​(pa−pa−1)=(a+1)pa−apa−1
至此,我们就可以以优秀的 O ( n ) O(\sqrt n) O(n ​) 的时间复杂度解决问题了,完结撒花!!!

#include<bits/stdc++.h>
using namespace std;
int main()
{
	long long n;
    long long phi=1;
    cin>>n;
    for(long long i=2;i*i<=n;++i)             
    {   
        if(n%i!=0)
            continue;
        long long p=0,t=1;   
        while(n%i==0)   
        {
            n=n/i;
            p++;
            t*=i;
        }
        phi*=p*(t-t/i)+t;  
    }
	if(n!=1)   
        phi*=2*n-1;              
    printf("%lld\n",phi);       
    return 0;
}

标签:gcd,int,sum,varphi,times,一维,ans
From: https://blog.csdn.net/mikeshizi1234/article/details/140628448

相关文章

  • C语言知识大闯关之一维数组
    引言数组由数据类型相同的一系列的数据组成;-数组存放的是一个或多个数据,但是数组内元素的个数不能为零。-数组存放的元素类型是相同的。数组分为一维数组和多维数组;本章我们讲解的是一位数组。一维数组的创建和初始化一维数组创建C语言中,需要使用数组时,通过声明告......
  • 如何构建一维数组的二维数组的特定 Python 结构?
    如何构建一维数组(即行向量)的二维数组的特定结构以满足特定我正在维护的遗留程序的结构?我可以在此结构中生成正确的内容all_measurements[:12]array([[0.,0.,0.,2.],[0.02,0.334,0.04,2.24],[0.04,0.668,0.08,2.48],...........
  • ##笔记day06-C语言基础:随机数、一维、二维数组、字符数组
    day07笔记1)rand生成随机数1)rand()随机函数头文件:#include<stdlib.h>函数原型:intrand(void);函数功能:生成大于等于0的随机整数参数:void返回值:生成的随机整数2)srand更新随机数种子(srand()函数用于给rand()函数设定种子)头文件:......
  • 二元一次不定方程(Exgcd)(更方便的解法)
    扩展欧几里得算法(Exgcd)裴蜀定理对于任意一组整数\(a,b\),存在一组整数\(x,y\),满足\(ax+by=\gcd(a,b)\)。Proof:考虑数学归纳法。当\(b=0\)时,由于\(\gcd(a,0)=a\),则对于\(ax+0y=a\)这个不定方程,\(x=1\),\(y\)取任意整数。假设存在一组整数\(x,y\),满足$bx+(a\bmodb)y......
  • 推式子——拓展欧几里德算法exgcd
    试求方程\(ax+by=\gcd(a,b)\)的一组整数解,其中\(a\)和\(b\)是给定的数提前准备好一个式子:辗转相除法\[\gcd(a,b)=\gcd(b,a\bmodb)\]同时我们可以注意到,\(\bmod\)的等价版本:\[a\bmodb=a-b\lfloor\frac{a}{b}\rfloor\]开始推式子首先考虑\(b=0\)的情况,因为......
  • vue3.0使用batchBarCode打印单个或当前页一维码
    1.在main.ts中导入importJsBarcodefrom'jsbarcode'//导入一维码插件app.component('JsBarcode',JsBarcode) 2.单个打印1<!--条形码-->2<el-dialogv-model="BarCodeVisible"width="60%"title="条形......
  • 对等式 gcd(x,y)=x⊕y 的一点思考
    前日打算法赛时遇到了一个等式\(\gcd(x,y)=x\oplusy\),要求给定\(x\)在最短时间内求得满足条件的一个\(y\)。赛中使用了暴力找规律大法过了,赛后决定认真严谨证明一下满足条件的\(y\)的相关性质,于是有了这篇文章(Part1:\(x\)是奇数先介绍【异或配对性定理】:若\(......
  • exgcd
    裴蜀定理对于任意整数\(a,b\)都存在整数\(x,y\),使得\(ax+by=gcd(a,b)\)扩展欧几里得算法(exgcd)设整数\(a,b,x,y\)满足\(ax+by=gcd(a,b)\)若\(b=0\),则\(x=1\),\(y\)取任意整数若\(b>0\)\[ax+by=gcd(a,b)\]\[=gcd(b,a\mod\b)\]\[=bx_0+(a\mod\b)y_0\]\[=bx_0+(a-......
  • iOS开发基础133-GCD相关
    先看一段代码,这是项目中图片上传的一部分代码。//开启线程组上传图片dispatch_group_tgroup=dispatch_group_create();[self.selectedPhotosenumerateObjectsUsingBlock:^(UIImage*_Nonnullobj,NSUIntegeridx,BOOL*_Nonnullstop){dispatch_gro......
  • 扩展欧几里得算法(exGcd)
    扩展欧几里得算法(ExtendedEuclideanalgorithm,EXGCD),常用于求\(ax+by=c\)的一组可行解。过程设\(ax_1+by_1=\gcd(a,b)\)\(bx_2+(a\modb)y_2=gcd(b,a\modb)\)由欧几里得算法:\(\gcd(a,b)=gcd(b,a\modb)\)所以:\(ax_1+by_1=bx_2+(a\modb)y_2\)又因为:\(a\mod......