1. 引入 Baby Step Giant Step算法(简称BSGS),用于求解形如\(a^x\equiv b\pmod p\)(\(a,b,p\in \mathbb{N}\))的同余方程,即著名的离散对数问题. 本文分为 \((a,p)=1\) 和 \((a,p)\neq 1\) 两种情况讨论. 2. 方程 \(a^x\equiv b \pmod p\) 的解性 因为若 \(a^{x}\equiv a^{x+n}\pmod p\),则 \(a^{x+i}\equiv a^{x+n+i}\).…