Learning：数论（三）欧拉函数

最新推荐文章于 2021-11-05 18:27:05 发布

ezoiHQM

最新推荐文章于 2021-11-05 18:27:05 发布

阅读量414

点赞数 1

分类专栏：欧拉函数 Learning 数论数学文章标签：欧拉函数

本文链接：https://blog.csdn.net/ezoiHQM/article/details/81203126

版权

Learning 同时被 3 个专栏收录

8 篇文章 0 订阅

订阅专栏

数学

7 篇文章 2 订阅

订阅专栏

数论

4 篇文章 0 订阅

订阅专栏

定义：

对正整数，欧拉函数是小于等于的数中与互质的数的数目，又称 $\phi$ 函数。例如 $\phi(8)=4$ 。

引理：

如果为某个素数，则 $\phi(p)=p-1$ 。
如果为某个素数的幂次 $\phi(p^a)=p^{a-1}(p-1)$ 。
$\phi$ 函数为积性函数。
设 $n=\sum_{i=0}^kp_i^{a_i}$ 为正整数的素数幂乘积表达式，则： $\phi(n)=n\prod_{i=1}^k\frac{p_i-1}{p_i}$ 。

证明都不难，自己推一推吧。

由引理1,2,3，我们不难可以想到怎么对欧拉函数进行线性筛。代码如下：

int n,m,cnt,ans,x,y,phi[N],prm[N],vis[N];
void init(){
    phi[1]=1;
    for(int i=2;i<N;i++){
        if(!vis[i]){
            prm[cnt++]=i;
            phi[i]=i-1;
        }
        for(int j=0,k=prm[0]*i;j<cnt&&k<N;j++,k=prm[j]*i){
            vis[k]=1;
            if(!(i%prm[j])){
                phi[k]=phi[i]*prm[j];
                break;
            }
            phi[k]=phi[i]*phi[prm[j]];
        }
    }
    return;
}

给几道题：

【POJ3090】Visible Lattice Points

【bzoj4804】欧拉心算

欧拉定理：

若与互质，则 $a^{\phi(m)}\equiv1\pmod m$ 。

在证明这个定理之前，我们要先证明另外两个东西：

1.若 gcd(a,m)=1,gcd(b,m)=1 ，则 $gcd(ab\mod m,m)=1$ 。

证明：

$\because gcd(a,m)=1,gcd(b,m)=1$

$\therefore gcd(ab,m)=1$

设 $ab=km+c(k,c\in Z_+,c<m)$

$\therefore ab\mod m=c,gcd(km+c,m)=1$

不难发现当 $gcd(c,m)\neq 1$ 时， $gcd(km+c,m)\neq1$

$\therefore gcd(c,m)\neq1$

$\therefore gcd(ab\mod m,m)=1$

2.对于任意的 $c,p\in\{x|x\in Z\},gcd(c,p)=1,c<p$ ，不存在两个数 $a,b,a\not\equiv b\pmod p$ ，使得 $ac\equiv bc\pmod p$ 。这个很简单，留给大家自己去想一想吧。

接下来我们来证明一下欧拉定理。

证明：

设集合 $Z=\{x|gcd(x,m)=1,x<m\}$ ， $S=\{ax\mod m|x\in Z\}$ 。

又 $\because gcd(a,m)=1$

$\therefore$ 不难得到 S=Z

$\therefore \prod_{i=1}^{\phi(m)}ax_i\equiv\prod_{i=1}^{\phi(m)}x_i\pmod m$

$\therefore a^{\phi(m)}\prod_{i=1}^{\phi(m)}x_i=\prod_{i=1}^{\phi(m)}x_i\pmod m$

又 $\because gcd(\prod_{i=1}^{\phi(m)}x_i,m)=1$

$\therefore a^{\phi(m)}\equiv1\pmod m$

扩展欧拉定理

$a^n\equiv\left\{\begin{matrix} a^{n\mod\phi(m)}&gcd(a,m)=1\\ a^n & gcd(a,m)\not=1,n<\phi(m)\\ a^{(n\mod\phi(m))+\phi(m) &gcd(a,m)\not=1,n\geq\phi(m) \end{matrix}\right.\pmod m$