原根学习笔记+BSGS复习笔记
学原根发现拔山盖世算法忘光了，干脆一块儿写了吧。
\(BSGS\) 算法
\(BSGS\) 算法，又名拔山盖世算法、北上广深算法。他解决的问题如下：
求解最小的可行的 \(k\)，满足 \(a^k\equiv b(\bmod p)\)，其中保证 \(\gcd(a,p)=1\)。
容易想到暴力枚举，时间复杂度 \(O(p)\)，但是巨劣，考虑优化。
优化算法哪家强，出门右转找分块。我们尝试使用分块的思路优化。
开始推导公式：
那我们考虑对 \(m\in[0,A)\) 进行暴力计算，用 \(map\) 或 \(unordered\_map\) 存储，然后暴力枚举 \(n\)，寻找此时有没有值与他同余。
时间复杂度 \(O(A+\frac pA)\)，当 \(A=\sqrt p\) 时，时间复杂度最小，为 \(O(\sqrt p)\)。
int bsgs(int a,int b,int p){
int kl=ceil(sqrt(p)),tmp=qpow(a,kl);
for(int i=0;i<kl;i++) mp[b]=i,b=b*a%p;
for(int i=1,c=1;i<=kl;i++)
if(mp[c=c*tmp%p]) return i*kl-mp[c];
return 0;
}
原根
定义：\(m\in \mathbb{N^*},g\in \mathbb{Z}\)，若 \(\gcd(m,g)=1\) 且 \(\delta_m(g)=\varphi(m)\)，我们称 \(g\) 为 \(m\) 的原根。
判定定理：\(g\) 为 \(m\) 原根，当且仅当 \(\forall p\in\{x|(x|\varphi(m),x\in prime)\},g^{\frac{\varphi(m)}{p}}\not\equiv1(\bmod m)\)。
对于一个有原根的数 \(m\)，它的原根个数为 \(\varphi(\varphi(m))\)。
若\(g\) 为 \(m\) 原根，则有 \(\forall i,j\in[0,p),g^i\not\equiv g^j(\bmod m)\)。
一个数 \(m\) 有原根，当且仅当 \(m\in\{2,4,p^a,2p^a\}\)。
对于一个有原根的数，它的最小正原根大小为 \(O(p^{0.25+\epsilon})\)，其中 \(\epsilon>0\)。
注：王元先生似乎的确没有证明非质数的情况，但是其他人证了，所以可以直接用，没有问题。
【推荐】国内首个AI IDE，深度理解中文开发场景，立即下载体验Trae
【推荐】编程新体验，更懂你的AI，立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包，你的智能百科全书，全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell：AI 加持，快人一步
· DeepSeek 开源周回顾「GitHub 热点速览」
· 记一次.NET内存居高不下排查解决与启示
· 物流快递公司核心技术能力-地址解析分单基础技术分享
· .NET 10首个预览版发布：重大改进与新特性概览！
· .NET10 - 预览版1新功能体验（一）