取模意义下的对数&生成元的查找

Posted 2020-11-28 heanda

取模意义下的对数&生成元(原根)的查找

取模意义下的对数

取模意义下的对数一般用在转化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所有的数
同理，所以换底公式需要分母的对数和底数都是生成元。

生成元(原根)的查找

一般题目里面给的模数如果需要你求原根的话原根都会非常小，我们直接暴力求即可
代码：