标签：原根 理解 运算 转化 素数 生成 题目 构造 class
取模意义下的对数一般用在转化ntt式内的乘法成加法
贯穿这一块的一句话同时也是最难理解的一句话:素数p的乘法群同构与p-1的加法群
例如:
\(Z*_{13}\) 1 2 4 8 3 6 12 11 9 5 10 7 (素数13的乘法群)
\(Z+_{12}\) 0 1 2 3 4 5 6 7 8 9 10 11 (素数13-1的加法群)
可以发现\(Z*_{13}\)中两个数做乘法的结果对应\(Z+_{12}\)中两个数做加法的结果
乘法同构与加法容易想到对数运算
可以发现我们要得到一个素数的乘法群需要知道它的原根，原根不知道的同学可以补习一下，内容不多。
如果知道了原根应该就能理解取模意义下的对数怎么弄了
例子中是用2作为生成元也就是13的原根，生成了这个数列，既然和\(Z+_{12}\)同构，就可以表示对数了
举个例子，13的乘法群中3是由2的4次方模上13得到的，同构出来则是
在模13意义下：\(log_{2}3 = 4 mod 12\)
这样子我们就可以对取模意义下的对数进行运算了
但是，底数不是生成元，也就是不是原根的时候是没法进行对数运算的，因为没法构造出1到p-1所有的数
同理，所以换底公式需要分母的对数和底数都是生成元。
一般题目里面给的模数如果需要你求原根的话原根都会非常小，我们直接暴力求即可
代码：
标签：原根 理解 运算 转化 素数 生成 题目 构造 class
原文地址：https://www.cnblogs.com/heanda/p/12378660.html
