欧拉函数总结

欧拉函数$O(\sqrt{n})$

$1\sim N$ 中与 $N$ 互质的数的个数被称为欧拉函数，记为 $\varphi (N)$
两个数互质就是这两个数只有 $1$ 这个公因子
若在算数基本定理中，$N=p_1^{a1}\ast p_2^{a_2}\dots p_m^{a_m}$，则：
$\varphi (N)=N\times \frac{p_1-1}{p_1}\times \frac{p_2-1}{p_2}\times \dots \times \frac{p_m-1}{p_m}$
上面这个式子是用容斥原理证明的

模板题：AcWing 873. 欧拉函数

#include<iostream>
#include<vector>
using namespace std;
#define ll long long
int n, a;

int main()
{
    scanf("%d", &n);
    while(n--)
    {
        scanf("%d", &a);
        int res = a;
        for(int i = 2; i <= a/i; ++i)
            if(a % i == 0)
            {
                while(a % i == 0)
                    a /= i;
                res/=i;
                res*=i-1;
            }
        if(a>1)
        {
            res/=a;
            res*=a-1;
        }
        printf("%d\n", res);
    }
    return 0;
}

筛法求欧拉函数$O(n)$

模板题：AcWing 874. 筛法求欧拉函数

解释：$phi数组存的是每个数的欧拉函数$，$primes数组存的是素数$
核心内容如下：
①：当 $i$ 是素数的时候，$phi[i]=i-1$

②：当 $i\%pj==0$ 时，因为此时pj是i的质因子，所以
$phi[pj\ast i]=pj\ast i\ast \frac{p_1-1}{p_1}\ast \frac{p_2-1}{p_2}\ast \cdot \cdot \cdot$
$pj$ 后面的就是 $phi[i]$
所以 $phi[pj\ast i]=pj\ast phi[i]$

③：当 $i\%pj!=0$ 时，
$phi[pj\ast i]=pj\ast i\ast \frac{p_1-1}{p_1}\ast \frac{p_2-1}{p_2}\ast \cdot \cdot \cdot \ast \frac{p_k-1}{p_k}\ast \frac{p_j-1}{p_j}$
所以
$phi[pj\ast i]=pj\ast \frac{p_j-1}{p_j}\ast i\ast \frac{p_1-1}{p_1}\ast \frac{p_2-1}{p_2}\ast \cdot \cdot \cdot \ast \frac{p_k-1}{p_k}$

最后一项是属于 $pj$ 的
所以$phi[pj\ast i]=phi[pj]\ast phi[i]$
所以$phi[pj\ast i]=(pj-1)\ast phi[i]$

int primes[MAXN], phi[MAXN], st[MAXN], cnt;
ll n, res;

void get_eulers()
{
    phi[1] = 1;
    for(int i = 2; i <= n; ++i)
    {
        if(!st[i])
        {
            primes[cnt++] = i;
            phi[i] = i - 1;

        }
        for(int j = 0; primes[j] <= n / i; ++j)
        {
            st[primes[j] * i] = true;
            if(i % primes[j] == 0)
            {
                phi[primes[j] * i] = phi[i] * primes[j];
                break;
            }
            else
                phi[primes[j] * i] = phi[i] * (primes[j] - 1);
        }
    }
}