勒让德符号
即:
定理
流程
- 随机找一个 $ \left( \frac{a^2 - n}{p} \right) = -1 $ ,令 $ \omega = \sqrt{a^2 - n} $ 。
- 合法解 $ x \equiv (a + \omega)^{\frac{p + 1}{2}} (\bmod p) $ 。
过程中实数运算需要用结构体维护正数部分和根号部分。
理论可以见 > here <。
1 | namespace Math { |
To love and win is the best thing. To love and lose is the next best thing.
即:
过程中实数运算需要用结构体维护正数部分和根号部分。
理论可以见 > here <。
1 | namespace Math { |