`算法知识` 欧拉函数, 积性函数

官方链接

oi-wiki

数论函数

数论里的函数 (积性函数, 欧拉函数等), 定义域都是 正整数
… 因为数论一般研究的都是: 自然数.
… 包括下面涉及的所有函数/变量, 都默认是在 (正整数)域的.

所以, 数论函数 也可以看成是一个 数列, 故, 一般写成 $f(n)$, 而不是 $f(x)$

积性函数

若函数 $f(n)$ 满足 $f(1)=1$ 且 $\forall (x,y)互质$ 都有 $f(xy)=f(x)f(y)$，则 $f(n)$ 为 积性函数。
… 可以发现, 积性函数 和 互质 是联系一起的; 只有两者互质, 才符合积性.

若函数 $f(n)$ 满足 $f(1)=1$ 且 $\forall x,y$ 都有 $f(xy)=f(x)f(y)$，则 $f(n)$ 为完全积性函数。

---

积性函数的例子:

• 欧拉函数
• 约数函数: F( x)表示x这个数的约数个数, 他等于: (a1 + 1) * (a2 + 1) * ... (ai为各个质因子的量级)
  … 令Pow( x)为: x的最小的质因子的量级.
  …

  if( i % Prime[ j] == 0){
       
  	F[ Prime[ j] * i] = F[ i] / Pow[ i] * ( Pow[ i] + 1);
  }
  else{
       
  	F[ Prime[ j] * i] = F[ i] * 2;
  }
  

• 约数之和函数: F( x)表示x这个数的 所有约数之和, 他等于: $(1+p_1+p_1^2+...)\ast (1+p_2+p_2^2+...)...$
  令Min( x)为: x的$(1+p_1+p_1^2+...),p_1为其最小质因子$

欧拉函数

欧拉函数 $\varphi (x)$, 定义域为 正整数, 表示: 在[1, x]内, 有多少整数与x互质.

$\varphi (1)=1=1$ (1与任何数互质, 包括自身)
$\varphi (2)=1=1$
$\varphi (3)=1,2=2$
$\varphi (4)=1,3=2$
$\varphi (5)=1,2,3,4=4$

如果x是质数, 显然其$\varphi (x)=x-1$, 除了x, 所有[1, x-1]范围的数 都与x互质.

性质

• 欧拉函数 是 积性函数.
  $\varphi (12)=4,\varphi (2)=1,\varphi (6)=2,\varphi (3)=2,\varphi (4)=2$
  因为3, 4互质, 但是2, 6不是互质的.
  故, $\varphi (3)\ast \varphi (4)=4=\varphi (12)$, 但是, 从$\varphi (2)\ast \varphi (6)$并不能推出$\varphi (12)$, 因为两者不互质.
  证明: 简单证明, 如果你知道欧拉函数的公式的话
  … 对于任意一个数, 其欧拉函数公式为: $\varphi (p$